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

Kaira: Generating Parallel Libraries and Their Usage with Octave., , and . LCPC, volume 7760 of Lecture Notes in Computer Science, page 268-269. Springer, (2012)HyperLoom: A Platform for Defining and Executing Scientific Pipelines in Distributed Environments., , , , , , , and . PARMA-DITAM@HiPEAC, page 1-6. ACM, (2018)Equivalence of deterministic one-counter automata is NL-complete., , and . STOC, page 131-140. ACM, (2013)Bisimulation equivalence and regularity for real-time one-counter automata., , and . J. Comput. Syst. Sci., 80 (4): 720-743 (2014)Inductive effects in radicals calculated from DFT energies; substituted bicyclo2.2.2octan-1-yloxy radicals., and . Journal of Computational Chemistry, 28 (11): 1783-1789 (2007)Parallelization of ant colony optimization algorithm using Kaira., , , , and . ISDA, page 510-515. IEEE, (2011)Haydi: Rapid Prototyping and Combinatorial Objects., , and . FoIKS, volume 10833 of Lecture Notes in Computer Science, page 133-149. Springer, (2018)Active diagnosis with observable quiescence., , , , and . CDC, page 1663-1668. IEEE, (2015)Are calculated enthalpies of formation sometimes more reliable than experimental? A test on alkyl substituted benzoic acids., and . Journal of Computational Chemistry, 27 (5): 571-577 (2006)On Büchi One-Counter Automata., , , and . STACS, volume 66 of LIPIcs, page 14:1-14:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)