Autor der Publikation

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions.

, , , , , , , und . CS2Bio, Volume 293 von Electronic Notes in Theoretical Computer Science, Seite 35-49. Elsevier, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computational and mathematical models of the JAK-STAT signal transduction pathway., und . SummerSim, Seite 15. Society for Computer Simulation International / ACM DL, (2013)Boxed ambients with communication interfaces., , , und . Math. Struct. Comput. Sci., 17 (4): 587-645 (2007)Multipoint Session Types for a Distributed Calculus., und . TGC, Volume 4912 von Lecture Notes in Computer Science, Seite 240-256. Springer, (2007)On Object Calculus with Algebraic Rewriting., und . PLILP, Volume 1292 von Lecture Notes in Computer Science, Seite 17-31. Springer, (1997)Decidability of Higher-Order Subtyping with Intersection Types.. CSL, Volume 933 von Lecture Notes in Computer Science, Seite 46-60. Springer, (1994)Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape., , , , , und . BCB, Seite 613. ACM, (2013)Simulation and study of large-scale bacteria-materials interactions via BioScape enabled by GPUs., , , und . BCB, Seite 610-612. ACM, (2012)Boxed Ambients with Communication Interfaces., , , und . MFCS, Volume 3153 von Lecture Notes in Computer Science, Seite 119-148. Springer, (2004)Computational modeling of the effects of counterfeit components., , und . SummerSim, Seite 50. SCS/ ACM, (2014)Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks., , und . CASSIS, Volume 3956 von Lecture Notes in Computer Science, Seite 37-56. Springer, (2005)