Frank D. Valencia

58 papers A* 1A 2B 12C 8Misc 4Journal 19Unranked 10

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Catuscia Palamidessi: a journey from logic and concurrency to security and privacy. ACM SIGLOG News Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia
2019	J	`jnl`	Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
2018	J	`jnl`	Characterizing right inverses for spatial constraint systems with applications to modal logic. Theor. Comput. Sci. Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
2017	J	`jnl`	Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebraic Methods Program. Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
2017	—	`conf`	D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. ICSC Stefan Haar, Salim Perchy, Frank D. Valencia
2017	J	`jnl`	Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebraic Methods Program. Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
2016	C	`conf`	Deriving Inverse Operators for Modal Logic. ICTAC Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
2016	—	`conf`	On the Expressiveness of Spatial Constraint Systems. ICLP (Technical Communications) Michell Guzmán, Frank D. Valencia
2016	J	`jnl`	Preface to special issue: EXPRESS 2010. Math. Struct. Comput. Sci. Sibylle B. Fröschle, Frank D. Valencia
2016	J	`jnl`	Preface to special issue: EXPRESS 2011. Math. Struct. Comput. Sci. Bas Luttik, Frank D. Valencia
2015	C	`conf`	A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
2015	C	`conf`	An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. PPDP Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
2015	J	`jnl`	Efficient algorithms for program equivalence for confluent concurrent constraint programming. Sci. Comput. Program. Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
2015	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings ICTAC Martin Leucker, Camilo Rueda, Frank D. Valencia
2015	J	`jnl`	Weak CCP bisimilarity with strong procedures. Sci. Comput. Program. Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia
2014	C	`conf`	A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. ICTAC Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
2013	C	`conf`	Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
2013	J	`jnl`	Models and emerging trends of concurrent constraint programming. Constraints An Int. J. Carlos Olarte, Camilo Rueda, Frank D. Valencia
2012	—	`conf`	Hide and New in the Pi-Calculus EXPRESS/SOS Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
2012	J	`jnl`	Partition Refinement for Bisimilarity in CCP CoRR Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia
2012	Misc	`conf`	Partition refinement for bisimilarity in CCP. SAC Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino
2012	B	`conf`	Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
2011	B	`conf`	Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FoSSaCS Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia
2011	Misc	`conf`	Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia
2010	—	`ch.`	Concurrent and Reactive Constraint Programming. 25 Years GULP Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia
2010	—	`ed.`	Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. EXPRESS Sibylle B. Fröschle, Frank D. Valencia
2009	B	`conf`	An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
2009	J	`jnl`	Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. Marco Carbone, Pawel Sobocinski, Frank D. Valencia
2009	B	`conf`	On the Expressive Power of Restriction and Priorities in CCS with Replication. FoSSaCS Jesús Aranda, Frank D. Valencia, Cristian Versari
2009	B	`ed.`	SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings SOFSEM Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia
2008	—	`conf`	On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia
2008	B	`conf`	Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
2008	C	`conf`	The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP Carlos Olarte, Frank D. Valencia
2008	Misc	`conf`	Universal concurrent constraint programing: symbolic semantics and applications to security. SAC Carlos Olarte, Frank D. Valencia
2007	B	`conf`	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. APLAS Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
2007	—	`conf`	Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. EXPRESS Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia
2006	B	`conf`	A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
2006	J	`jnl`	Languages for Concurrency. Bull. EATCS Catuscia Palamidessi, Frank D. Valencia
2006	—	`conf`	On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
2006	A*	`conf`	On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
2006	—	`conf`	Preface. LIX Catuscia Palamidessi, Frank D. Valencia
2006	—	`conf`	Timed Concurrent Constraint Programming for Analysing Biological Systems. MeCBIC@ICALP Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
2005	J	`jnl`	Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci. Frank D. Valencia
2005	Misc	`conf`	On the computational limits of infinite satisfaction. SAC Stefan S. Dantchev, Frank D. Valencia
2005	J	`jnl`	Recursion vs Replication in Process Calculi: Expressiveness. Bull. EATCS Catuscia Palamidessi, Frank D. Valencia
2004	B	`conf`	Non-viability Deductions in Arc-Consistency Computation. ICLP Camilo Rueda, Frank D. Valencia
2004	B	`conf`	On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
2004	J	`jnl`	On validity in modelization of musical problems by CCP. Soft Comput. Camilo Rueda, Frank D. Valencia
2003	B	`conf`	Concurrency, Time, and Constraints. ICLP Frank D. Valencia
2003	—	`conf`	Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets Mogens Nielsen, Frank D. Valencia
2003	B	`conf`	Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. ICLP Frank D. Valencia
2002	C	`conf`	On the expressive power of temporal concurrent constraint programming languages. PPDP Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
2002	—	`conf`	Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing Mogens Nielsen, Frank D. Valencia
2002	J	`jnl`	Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
2001	A	`conf`	A Temporal Concurrent Constraint Programming Calculus. CP Catuscia Palamidessi, Frank D. Valencia
2001	J	`jnl`	Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. Constraints An Int. J. Camilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag
2001	A	`conf`	Temporal Concurrent Constraint Programming. CP Frank D. Valencia
1998	J	`jnl`	Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. CLEI Electron. J. Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia