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

From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research., , , , , , , , and . PLoS Comput. Biol., (2007)The Influence of Nutrients Diffusion on a Metabolism-driven Model of a Multi-cellular System., , , , , , , , , and . Fundam. Informaticae, 171 (1-4): 279-295 (2020)CLAZY: Lazy Calling for Common Lisp.. ELS, page 125-132. ELSAA, (2008)Design of the TRONCO BioConductor Package for TRanslational ONCOlogy., , , , , , and . R J., 8 (2): 39 (2016)Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge., , , , , and . Knowl. Eng. Rev., 24 (3): 205-224 (2009)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)Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp.. CoRR, (2020)Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes., , , , and . Pacific Symposium on Biocomputing, page 116-127. (2003)Self-Stabilization in Membrane Systems., , , and . Comput. Sci. J. Moldova, 20 (2): 133-146 (2012)