Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarJorge A. Pérez
Jorge Andrés Pérez
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j22]- [p1]Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210 - 2017
- [j21]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic bisimulation for higher-order session processes. Acta Inf. 54(3): 271-341 (2017) - [j20]Claudio Antares Mezzina, Jorge A. Pérez:
Reversibility in session-based concurrency: A fresh look. J. Log. Algebr. Meth. Program. 90: 2-30 (2017) - [j19]
- [j18]Jorge A. Pérez:
Report on CWI lectures in honor of Adriaan van Wijngaarden. SIGLOG News 4(1): 40-41 (2017) - [j17]
- [j16]
- [c42]
- [c41]Mauricio Cano, Jaime Arias, Jorge A. Pérez:
Session-Based Concurrency, Reactively. FORTE 2017: 74-91 - [c40]Claudio Antares Mezzina, Jorge A. Pérez:
Causally consistent reversible choreographies: a monitors-as-memories approach. PPDP 2017: 127-138 - [c39]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
Efficient compensation handling via subjective updates. SAC 2017: 51-58 - [i4]Claudio Antares Mezzina, Jorge A. Pérez:
Causally Consistent Reversible Choreographies. CoRR abs/1703.06021 (2017) - 2016
- [j15]Cinzia Di Giusto, Jorge A. Pérez:
Event-based run-time adaptation in communication-centric systems. Formal Asp. Comput. 28(4): 531-566 (2016) - [j14]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic role authorization in multiparty conversations. Formal Asp. Comput. 28(4): 643-667 (2016) - [j13]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-adaptation and secure information flow in multiparty communications. Formal Asp. Comput. 28(4): 669-696 (2016) - [j12]
- [j11]Jorge A. Pérez:
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. SIGLOG News 3(1): 74-77 (2016) - [j10]
- [j9]
- [j8]
- [c38]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016: 446-475 - [c37]Luís Caires, Jorge A. Pérez:
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. FORTE 2016: 74-95 - [c36]
- [c35]Claudio Antares Mezzina, Jorge Andrés Pérez:
Reversible Semantics in Session-based Concurrency. ICTCS 2016: 221-226 - [c34]Jaime Arias, Mauricio Cano, Jorge Andrés Pérez:
Towards A Practical Model of Reactive Communication-Centric Software. ICTCS 2016: 227-233 - [c33]
- [e1]César A. Muñoz, Jorge A. Pérez:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 [contents] - 2015
- [j7]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebr. Meth. Program. 84(6): 763-780 (2015) - [j6]Cinzia Di Giusto, Jorge A. Pérez:
Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97: 235-265 (2015) - [c32]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic Bisimulation for Higher-Order Session Processes. CONCUR 2015: 398-411 - [c31]Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez:
Declarative interpretations of session-based concurrency. PPDP 2015: 67-78 - [c30]Cinzia Di Giusto, Jorge A. Pérez:
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. WS-FM 2015: 67-85 - [c29]Ornela Dardha, Jorge A. Pérez:
Comparing Deadlock-Free Session Typed Processes. EXPRESS/SOS 2015: 1-15 - [c28]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On Compensation Primitives as Adaptable Processes. EXPRESS/SOS 2015: 16-30 - [c27]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
A Typed Model for Dynamic Authorizations. PLACES 2015: 73-84 - [i3]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. CoRR abs/1502.02585 (2015) - [i2]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - 2014
- [j5]Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239: 254-302 (2014) - [c26]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1-8 - [c25]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT 2014: 9-18 - [i1]Luís Caires, Jorge A. Pérez:
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions. CoRR abs/1407.4242 (2014) - 2013
- [c24]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP 2013: 330-349 - [c23]Cinzia Di Giusto, Jorge A. Pérez:
Disciplined structured communications with consistent runtime adaptation. SAC 2013: 1913-1918 - [c22]Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro:
Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14 - [c21]Cinzia Di Giusto, Jorge A. Pérez:
Session Types with Runtime Adaptation: Overview and Examples. PLACES 2013: 21-32 - [c20]Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz:
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. DCM 2013: 57-72 - 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
2000 – 2009
- 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
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-13 18:31 CEST by the dblp team