Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the Computational Power of Dynamical Systems and Hybrid Systems., and . Theor. Comput. Sci., 168 (2): 417-459 (1996)Orthogonal Polyhedra: Representation and Computation., , and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 46-60. Springer, (1999)Automated Generation of Kinetic Chemical Mechanisms Using Rewriting., , , , and . International Conference on Computational Science, volume 2659 of Lecture Notes in Computer Science, page 367-376. Springer, (2003)Rewriting Logic and Probabilities., and . RTA, volume 2706 of Lecture Notes in Computer Science, page 61-75. Springer, (2003)Reachability Problems for One-Dimensional Piecewise Affine Maps., , and . Int. J. Found. Comput. Sci., 29 (4): 529-549 (2018)Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length., , and . CoRR, (2016)On the Functions Generated by the General Purpose Analog Computer., , and . CoRR, (2016)A Survey on Continuous Time Computations, and . (2008)Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length (Journal version)., , and . CoRR, (2016)Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer., , and . TAMC, volume 7876 of Lecture Notes in Computer Science, page 169-180. Springer, (2013)