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

Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the "Control-D" System.. New York University, USA, (1995)Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers., and . ICRA, page 1441-1446. IEEE Computer Society, (1995)CLAZY: Lazy Calling for Common Lisp.. ELS, page 125-132. ELSAA, (2008)CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks, , , , , and . BMC Bioinformatics, (Feb 4, 2016)Learning mutational graphs of individual tumor evolution from multi-sample sequencing data., , , , and . CoRR, (2017)Algorithmic Algebraic Model Checking I: Challenges from Systems Biology., , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 5-19. Springer, (2005)A Bayesian method to infer copy number clones from single-cell RNA and ATAC sequencing., , , , , , , , and . PLoS Comput. Biol., (November 2023)Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic., , , , and . Description Logics, volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Investigating the Role of Network Topology and Dynamical Regimes on the Dynamics of a Cell Differentiation Model., , , , , , and . WIVACE, volume 445 of Communications in Computer and Information Science, page 151-168. Springer, (2014)Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp.. CoRR, (2020)