Jorge A. Pérez

Jorge Andrés Pérez

	2013
c21		Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho: Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP 2013: 330-349
c20		Cinzia Di Giusto, Jorge A. Pérez: Disciplined structured communications with consistent runtime adaptation. SAC 2013: 1913-1918
	2012
j4		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Adaptable processes. Logical Methods in Computer Science 8(4) (2012)
c19		Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho: Linear Logical Relations for Session-Based Concurrency. ESOP 2012: 539-558
c18		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Towards the Verification of Adaptable Processes. ISoLA (1) 2012: 269-283
	2011
j3		Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2): 198-226 (2011)
c17		Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão: Type-Based Access Control in Data-Centric Systems. ESOP 2011: 136-155
c16		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105
c15		Hugo A. López, Jorge A. Pérez: Time and Exceptional Behavior in Multiparty Structured Interactions. WS-FM 2011: 48-63
	2010
j2		Jorge A. Pérez: Higher-Order Concurrency: Expressiveness and Decidability. Bulletin of the EATCS 101: 92-124 (2010)
c14		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Steps on the Road to Component Evolvability. FACS 2010: 295-299
c13		Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. ICALP (2) 2010: 442-453
	2009
c12		Jesú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. ICLP 2009: 509-513
c11		Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC 2009: 155-169
c10		Cinzia Di Giusto, Jorge A. Pérez: Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. ICTCS 2009: 107-112
c9		Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149
c8		Hugo A. López, Carlos Olarte, Jorge A. Pérez: Towards a Unified Framework for Declarative Structured Communications. PLACES 2009: 1-15
	2008
c7		Jorge A. Pérez, Camilo Rueda: Non-determinism and Probabilities in Timed Concurrent Constraint Programming. ICLP 2008: 677-681
c6		Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP 2008: 682-686
c5		Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155
	2007
j1		Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Timed Concurrent Constraint Programming for Analysing Biological Systems. Electr. Notes Theor. Comput. Sci. 171(2): 117-137 (2007)
	2006
c4		Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia: A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP 2006: 449-450
	2005
c3		Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda: Implementing an Abstraction Framework for Soft Constraints. SARA 2005: 60-75
	2004
c2		Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda: Implementing Semiring-Based Constraints Using Mozart. MOZ 2004: 224-236
c1		Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda: An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. MOZ 2004: 317-327

Coauthor Index

Last update Wed May 22 04:06:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page