The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Carlos Olarte Carlos Alberto Olarte ( http://dblp.L3S.de/Authors/Carlos_Olarte )

Publication years (Num. hits)
2004-2011 (15) 2012-2015 (18) 2016-2018 (19) 2019 (3)
Publication types (Num. hits)
article(26) inproceedings(28) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 10 keywords

Results
Found 56 publication records. Showing 55 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Beniamino Accattoli, Carlos Olarte Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller A Game Model for Proofs with Costs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller A Game Model for Proofs with Costs. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam Mechanizing Focused Linear Logic in Coq. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis The ILLTP Library for Intuitionistic Linear Logic. Search on Bibsonomy Linearity-TLLA@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel, Camilo Rueda A Concurrent Constraint Programming Interpretation of Access Permissions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte An Assertion language for slicing Constraint Logic Languages. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel, Camilo Rueda A concurrent constraint programming interpretation of access permissions. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte A Logical Framework for Modelling Breast Cancer Progression. Search on Bibsonomy MLCSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel, Camilo Rocha Proving Structural Properties of Sequent Systems in Rewriting Logic. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte An Assertion Language for Slicing Constraint Logic Languages. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel Hybrid and Subexponential Linear Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel On concurrent behaviors and focusing in linear logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vivek Nigam, Carlos Olarte, Elaine Pimentel On subexponentials, focusing and modalities in concurrent systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Björn Lellmann, Carlos Olarte, Elaine Pimentel A uniform framework for substructural logics with modalities. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Linda Brodo, Carlos Olarte Symbolic Semantics for Multiparty Interactions in the Link-Calculus. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith A proof theoretic view of spatial and temporal dependencies in biochemical systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi Slicing Concurrent Constraint Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel Hybrid and Subexponential Linear Logics Technical Report. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlos Olarte, Camilo Rueda Session types for communicating systems in event-B. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi Slicing Concurrent Constraint Programs. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jaime Arias, Michell Guzmán, Carlos Olarte A Symbolic Model for Timed Concurrent Constraint Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel Proving Concurrent Constraint Programming Correct, Revisited. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte Verification of Spatial and Temporal Modalities in Biochemical Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel, Vivek Nigam Subexponential concurrent constraint programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Abstract interpretation of temporal concurrent constraint programs. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella Modelling non-Markovian dynamics in biochemical reactions. Search on Bibsonomy BMC Systems Biology The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda Foundations for Reliable and Flexible Interactive Multimedia Scores. Search on Bibsonomy MCM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi A Declarative View of Signaling Pathways. Search on Bibsonomy Programming Languages with Applications to Biology and Security The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Vivek Nigam, Elaine Pimentel Dynamic Spaces in Concurrent Constraint Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elaine Pimentel, Carlos Olarte, Vivek Nigam A Proof Theoretic Study of Soft Concurrent Constraint Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Elaine Pimentel, Carlos Olarte, Vivek Nigam A Proof Theoretic Study of Soft Concurrent Constraint Programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte A framework for modelling spatially dependent interactions of biological systems in CCP. Search on Bibsonomy IWBBIO The full citation details ... 2014 DBLP  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte Simulating Signalling Pathways With BioWayS. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Abstract Interpretation of Temporal Concurrent Constraint Programs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Carlos Olarte, Camilo Rueda, Frank D. Valencia Models and emerging trends of concurrent constraint programming. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vivek Nigam, Carlos Olarte, Elaine Pimentel A General Proof System for Modalities in Concurrent Constraint Programming. Search on Bibsonomy CONCUR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. Search on Bibsonomy IWBBIO The full citation details ... 2013 DBLP  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño A linear concurrent constraint approach for the automatic verification of access permissions. Search on Bibsonomy PPDP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. Search on Bibsonomy PACBB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Compositional modelling of signalling pathways in timed concurrent constraint programming. Search on Bibsonomy BCB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hugo A. López, Carlos Olarte, Jorge A. Pérez Towards a Unified Framework for Declarative Structured Communications Search on Bibsonomy PLACES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi A framework for abstract interpretation of timed concurrent constraint programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
1Carlos Olarte Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité). Search on Bibsonomy 2009   RDF
1Carlos Olarte, Frank D. Valencia Universal concurrent constraint programing: symbolic semantics and applications to security. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF symbolic semantics, security, mobility, concurrent constraint programming
1Carlos Olarte, Frank D. Valencia The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
1Carlos Olarte, Catuscia Palamidessi, Frank Valencia Universal Timed Concurrent Constraint Programming. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia Declarative Diagnosis of Temporal Concurrent Constraint Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic
1Carlos Olarte, Camilo Rueda A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. Search on Bibsonomy CLEI Electron. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Camilo Rueda A stochastic non-deterministic temporal concurrent constraint calculus. Search on Bibsonomy SCCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda Implementing Semiring-Based Constraints Using Mozart. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #55 of 55 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license