Autor der Publikation

Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems?

. ACM Comput. Surv., 28 (2): 303-305 (1996)

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

Modular Sequent Calculi for Classical Modal Logics., und . Studia Logica, 103 (1): 175-217 (2015)Towards formalizing Virtual Enterprise Architecture., , und . EDOCW, Seite 238-242. IEEE Computer Society, (2009)A machine learning approach for generating temporal logic classifications of complex model behaviours., , , und . Winter Simulation Conference, Seite 294:1-294:12. WSC, (2012)Executable LOTOS: Using PARLOG to Implement an FDT.. PSTV, Seite 281-294. North-Holland, (1987)Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481)., , , und . Dagstuhl Reports, 4 (11): 138-226 (2014)A Constraint Based Structure Description Language for Biosequences., , , , und . Constraints, 6 (2/3): 173-200 (2001)Integrative machine learning approach for multi-class SCOP protein fold classification., , und . German Conference on Bioinformatics, Seite 153-159. (2003)FURY: Fuzzy Unification and Resolution Based on Edit Distance., und . BIBE, Seite 330-336. IEEE Computer Society, (2000)Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing., , , , , und . IEEE/ACM Trans. Comput. Biology Bioinform., 10 (2): 337-351 (2013)GeneRank: Using search engine technology for the analysis of microarray experiments., , , und . BMC Bioinformatics, (2005)