| Publication | Date of Publication | Type |
|---|
Reasoning and interaction for social artificial intelligence AI Communications | 2022-12-12 | Paper |
Non-speculative and upward invocation of continuations in a parallel language TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
A distributed garbage collector with diffusion tree reorganisation and mobile objects Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
Stability of multiagent systems with time-dependent communication links IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
A unified framework for input-to-state stability in systems with two time scales IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
The semantics of Scheme with future Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
Input to state set stability for pulse width modulated control systems with disturbances Systems & Control Letters | 2006-09-21 | Paper |
Periodic output feedback stabilization of single-input single-output continuous-time systems with odd relative degree Systems & Control Letters | 2006-09-21 | Paper |
Feedback tuning of bifurcations Systems & Control Letters | 2006-09-21 | Paper |
Using delays and time-varying gains to improve the static output feedback stabilizability of linear systems: a comparison IMA Journal of Mathematical Control and Information | 2005-04-05 | Paper |
A Novel Variational Method for Deriving Lagrangian and Hamiltonian Models of Inductor-Capacitor Circuits SIAM Review | 2005-02-25 | Paper |
| Stability of continuous-time distributed consensus algorithms | 2004-09-01 | Paper |
| scientific article; zbMATH DE number 2090684 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090696 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2084802 (Why is no real title available?) | 2004-08-09 | Paper |
Trajectory-Based Local Approximations of Ordinary\ Differential\ Equations SIAM Journal on Control and Optimization | 2004-01-08 | Paper |
| scientific article; zbMATH DE number 1977107 (Why is no real title available?) | 2003-09-08 | Paper |
| Time-dependent unidirectional communication in multi-agent systems | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1760055 (Why is no real title available?) | 2002-11-06 | Paper |
A duality principle for homogeneous vectorfields with applications. Systems & Control Letters | 2002-08-05 | Paper |
Tree rerooting in distributed garbage collection: Implementation and performance Evaluation Higher-Order and Symbolic Computation | 2002-06-16 | Paper |
Robustness of nonlinear delay equations with respect to input perturbations: a trajectory-based approach. MCSS. Mathematics of Control, Signals, and Systems | 2002-01-01 | Paper |
A construction of distributed reference counting Acta Informatica | 2001-08-20 | Paper |
Practical stability and stabilization IEEE Transactions on Automatic Control | 2001-08-05 | Paper |
Asymptotic methods in the stability analysis of parametrized homogeneous flows Automatica | 2001-05-02 | Paper |
Distributed directory service and message routing for mobile agents Science of Computer Programming | 2001-04-17 | Paper |
Optimization of discontinuous functions: A generalized theory of differentiation SIAM Journal on Optimization | 2001-03-19 | Paper |
A syntactic theory of dynamic binding Higher-Order and Symbolic Computation | 2000-04-13 | Paper |
| scientific article; zbMATH DE number 1361606 (Why is no real title available?) | 2000-02-23 | Paper |
On the Expressiveness of Links in Hypertext Systems The Computer Journal | 1999-05-31 | Paper |