( en | de | ru )

 

Disambiguierung von "Olarte, Carlos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.

, , , , , , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 509-513. Springer, (2009)

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.

Andrés Alfonso Peña Olarte

Carlos Bäzner

Carlos Cardonha

Carlos Köhler

Carlos Oberacker

 

Weitere Publikationen von Autoren mit dem selben Namen

A General Proof System for Modalities in Concurrent Constraint Programming., , und . CONCUR, Volume 8052 von Lecture Notes in Computer Science, Seite 410-424. Springer, (2013)Session types for communicating systems in event-B., und . SAC, Seite 1686-1693. ACM, (2016)Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité).. École Polytechnique, Palaiseau, France, (2009)Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving., , , , , und . Petri Nets, Volume 13929 von Lecture Notes in Computer Science, Seite 369-392. Springer, (2023)A Fresh View of Linear Logic as a Logical Framework., , und . LSFA, Volume 351 von Electronic Notes in Theoretical Computer Science, Seite 143-165. Elsevier, (2020)Universal Timed Concurrent Constraint Programming., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 464-465. Springer, (2007)Compositional modelling of signalling pathways in timed concurrent constraint programming., , , und . BCB, Seite 414-417. ACM, (2010)Stochastic modelling of non Markovian Dynamics in Biochemical Reactions., , , , und . IWBBIO, Seite 537-544. Copicentro Editorial, (2013)The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security., und . PPDP, Seite 8-19. ACM, (2008)Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata., , , , , und . FTSCS, Seite 3-15. ACM, (2022)