default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJorge A. Pérez 0001
Jorge Andrés Pérez
Person information
- affiliation: University of Groningen, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j51]Bas van den Heuvel
, Jorge A. Pérez:
Comparing session type systems derived from linear logic. J. Log. Algebraic Methods Program. 142: 101004 (2025)- 2024
- [j50]Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc:
Minimal session types for the π-calculus. Inf. Comput. 297: 105148 (2024) - [j49]Bas van den Heuvel, Jorge A. Pérez:
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks. Log. Methods Comput. Sci. 20(4) (2024) - [c61]Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez:
Around Classical and Intuitionistic Linear Processes. CONCUR 2024: 30:1-30:19 - [i22]Bas van den Heuvel, Jorge A. Pérez:
Comparing Session Type Systems derived from Linear Logic. CoRR abs/2401.14763 (2024) - [i21]Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez:
Around Classical and Intuitionistic Linear Processes. CoRR abs/2407.06391 (2024) - 2023
- [j48]Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
Bit-Vector Typestate Analysis. Formal Aspects Comput. 35(3): 19:1-19:36 (2023) - [j47]Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez:
Session-based concurrency in Maude: Executable semantics and type checking. J. Log. Algebraic Methods Program. 133: 100872 (2023) - [j46]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). Log. Methods Comput. Sci. 19(4) (2023) - [c60]Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Typed Non-determinism in Functional and Concurrent Calculi. APLAS 2023: 112-132 - [c59]Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho:
Termination in Concurrency, Revisited. PPDP 2023: 3:1-3:14 - [c58]Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre:
Monitoring Blackbox Implementations of Multiparty Session Protocols. RV 2023: 66-85 - [i20]Alen Arslanagic, Jorge A. Pérez, Dan Frumin:
A Minimal Formulation of Session Types. CoRR abs/2301.05301 (2023) - [i19]Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre:
Monitoring Blackbox Implementations of Multiparty Session Protocols. CoRR abs/2306.04204 (2023) - [i18]Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho:
Termination in Concurrency, Revisited. CoRR abs/2308.01165 (2023) - 2022
- [j45]Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda:
Session-based concurrency, declaratively. Acta Informatica 59(1): 1-87 (2022) - [j44]Ornela Dardha, Jorge A. Pérez:
Comparing type systems for deadlock freedom. J. Log. Algebraic Methods Program. 124: 100717 (2022) - [j43]Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez:
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. Proc. ACM Program. Lang. 6(OOPSLA2): 841-869 (2022) - [j42]Bas van den Heuvel, Jorge A. Pérez:
A decentralized analysis of multiparty protocols. Sci. Comput. Program. 222: 102840 (2022) - [j41]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 9(1): 22 (2022) - [j40]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 9(2): 30 (2022) - [j39]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 9(3): 60 (2022) - [j38]Alex C. Keizer, Henning Basold, Jorge A. Pérez:
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. ACM Trans. Program. Lang. Syst. 44(3): 18:1-18:45 (2022) - [c57]Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
Scalable Typestate Analysis for Low-Latency Environments. IFM 2022: 322-340 - [c56]Carlos Alberto Ramírez Restrepo, Jorge A. Pérez:
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. WRLA@ETAPS 2022: 230-250 - [c55]Bas van den Heuvel, Jorge A. Pérez:
Asynchronous Functional Sessions: Cyclic and Concurrent. EXPRESS/SOS 2022: 75-94 - [i17]Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
Scalable Typestate Analysis using Bit-Vector Machines. CoRR abs/2201.10627 (2022) - [i16]Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Functions as Processes: The Case of Collapsing Non-determinism. CoRR abs/2205.00680 (2022) - [i15]Bas van den Heuvel, Jorge A. Pérez:
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version). CoRR abs/2208.07644 (2022) - [i14]Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez:
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency. CoRR abs/2209.05421 (2022) - 2021
- [j37]Jorge A. Pérez, Simone Tini:
Preface to Special Issue: EXPRESS/SOS 2018. Inf. Comput. 281: 104670 (2021) - [j36]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On primitives for compensation handling as adaptable processes. J. Log. Algebraic Methods Program. 121: 100675 (2021) - [j35]Claudio Antares Mezzina, Jorge A. Pérez:
Causal Consistency for Reversible Multiparty Protocols. Log. Methods Comput. Sci. 17(4) (2021) - [j34]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 8(4): 22 (2021) - [c54]Alex C. Keizer, Henning Basold, Jorge A. Pérez:
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. ESOP 2021: 375-403 - [c53]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Non-Deterministic Functions as Non-Deterministic Processes. FSCD 2021: 21:1-21:22 - [c52]Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez:
Minimal Session Types for the π-calculus. PPDP 2021: 12:1-12:15 - [c51]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. TYPES 2021: 11:1-11:24 - [c50]Bas van den Heuvel, Jorge A. Pérez:
Deadlock Freedom for Asynchronous and Cyclic Process Networks. ICE 2021: 38-56 - [i13]Bas van den Heuvel, Jorge A. Pérez:
A Decentralized Analysis of Multiparty Protocols. CoRR abs/2101.09038 (2021) - [i12]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). CoRR abs/2104.14759 (2021) - [i11]Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez:
Minimal Session Types for the π-calculus (Extended Version). CoRR abs/2107.10936 (2021) - [i10]Bas van den Heuvel, Jorge A. Pérez:
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version). CoRR abs/2111.13091 (2021) - [i9]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version). CoRR abs/2112.01593 (2021) - 2020
- [j33]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 7(1): 46 (2020) - [j32]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 7(2): 15 (2020) - [j31]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 7(3): 44 (2020) - [c49]Mark Soelman, Vasilios Andrikopoulos, Jorge A. Pérez, Vasileios Theodosiadis, Karel Goense, Arne Rutjes:
Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains. DAPPS 2020: 145-152 - [c48]Bas van den Heuvel, Jorge A. Pérez:
Session Type Systems based on Linear Logic: Classical versus Intuitionistic. PLACES@ETAPS 2020: 1-11 - [i8]Alex C. Keizer, Henning Basold, Jorge A. Pérez:
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. CoRR abs/2011.05712 (2020)
2010 – 2019
- 2019
- [j30]Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
Minimal Session Types (Artifact). Dagstuhl Artifacts Ser. 5(2): 05:1-05:3 (2019) - [j29]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019) - [j28]Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia:
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29(1): 1-2 (2019) - [j27]Jorge A. Pérez:
Conference Reports. ACM SIGLOG News 6(1): 40 (2019) - [j26]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 6(3): 6 (2019) - [j25]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 6(4): 23 (2019) - [c47]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Domain-Aware Session Types. CONCUR 2019: 39:1-39:17 - [c46]Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
Minimal Session Types (Pearl). ECOOP 2019: 23:1-23:28 - [e4]Jorge A. Pérez, Nobuko Yoshida:
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11535, Springer 2019, ISBN 978-3-030-21758-7 [contents] - [e3]Jorge A. Pérez, Jurriaan Rot:
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. EPTCS 300, 2019 [contents] - [i7]Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
Minimal Session Types (Extended Version). CoRR abs/1906.03836 (2019) - [i6]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Domain-Aware Session Types (Extended Version). CoRR abs/1907.01318 (2019) - 2018
- [j24]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(1): 20 (2018) - [j23]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(2): 57 (2018) - [j22]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(3): 83 (2018) - [j21]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(4): 47 (2018) - [c45]Daniele Nantes, Jorge A. Pérez:
Relating Process Languages for Security and Communication Correctness (Extended Abstract). FORTE 2018: 79-100 - [c44]Folkert de Vries, Jorge A. Pérez:
Reversible Session-Based Concurrency in Haskell. TFP 2018: 20-45 - [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 - [e2]Jorge A. Pérez, Simone Tini:
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EPTCS 276, 2018 [contents] - [i5]Ornela Dardha, Jorge A. Pérez:
Comparing Type Systems for Deadlock-Freedom. CoRR abs/1810.00635 (2018) - 2017
- [j20]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic bisimulation for higher-order session processes. Acta Informatica 54(3): 271-341 (2017) - [j19]Claudio Antares Mezzina, Jorge A. Pérez:
Reversibility in session-based concurrency: A fresh look. J. Log. Algebraic Methods Program. 90: 2-30 (2017) - [j18]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 4(1): 37 (2017) - [j17]Jorge A. Pérez:
Report on CWI lectures in honor of Adriaan van Wijngaarden. ACM SIGLOG News 4(1): 40-41 (2017) - [j16]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 4(2): 90 (2017) - [j15]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 4(3): 62 (2017) - [c43]Luís Caires, Jorge A. Pérez:
Linearity, Control Effects, and Behavioral Types. ESOP 2017: 229-259 - [c42]Mauricio Cano, Jaime Arias, Jorge A. Pérez:
Session-Based Concurrency, Reactively. FORTE 2017: 74-91 - [c41]Claudio Antares Mezzina, Jorge A. Pérez:
Causally consistent reversible choreographies: a monitors-as-memories approach. PPDP 2017: 127-138 - [c40]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
- [j14]Cinzia Di Giusto, Jorge A. Pérez:
Event-based run-time adaptation in communication-centric systems. Formal Aspects Comput. 28(4): 531-566 (2016) - [j13]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28(4): 643-667 (2016) - [j12]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28(4): 669-696 (2016) - [j11]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(1): 73 (2016) - [j10]Jorge A. Pérez:
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. ACM SIGLOG News 3(1): 74-77 (2016) - [j9]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(2): 78 (2016) - [j8]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(3): 77 (2016) - [j7]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(4): 47 (2016) - [c39]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016: 446-475 - [c38]Luís Caires, Jorge A. Pérez:
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. FORTE 2016: 74-95 - [c37]Jorge A. Pérez:
The Challenge of Typed Expressiveness in Concurrency. FORTE 2016: 239-247 - [c36]Claudio Antares Mezzina, Jorge Andrés Pérez:
Reversible Semantics in Session-based Concurrency. ICTCS 2016: 221-226 - [c35]Jaime Arias, Mauricio Cano, Jorge Andrés Pérez:
Towards A Practical Model of Reactive Communication-Centric Software. ICTCS 2016: 227-233 - [c34]Claudio Antares Mezzina, Jorge A. Pérez:
Reversible Sessions Using Monitors. PLACES 2016: 56-64 - [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
- [j6]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. Algebraic Methods Program. 84(6): 763-780 (2015) - [j5]Cinzia Di Giusto, Jorge A. Pérez:
Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97: 235-265 (2015) - [c33]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic Bisimulation for Higher-Order Session Processes. CONCUR 2015: 398-411 - [c32]Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez:
Declarative interpretations of session-based concurrency. PPDP 2015: 67-78 - [c31]Cinzia Di Giusto, Jorge A. Pérez:
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. WS-FM 2015: 67-85 - [c30]Ornela Dardha, Jorge A. Pérez:
Comparing Deadlock-Free Session Typed Processes. EXPRESS/SOS 2015: 1-15 - [c29]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On Compensation Primitives as Adaptable Processes. EXPRESS/SOS 2015: 16-30 - [c28]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
- [j4]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) - [c27]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1-8 - [c26]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
- [c25]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP 2013: 330-349 - [c24]Cinzia Di Giusto, Jorge A. Pérez:
Disciplined structured communications with consistent runtime adaptation. SAC 2013: 1913-1918 - [c23]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 - [c22]Cinzia Di Giusto, Jorge A. Pérez:
Session Types with Runtime Adaptation: Overview and Examples. PLACES 2013: 21-32 - [c21]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
- [j3]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable processes. Log. Methods Comput. Sci. 8(4) (2012) - [c20]Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear Logical Relations for Session-Based Concurrency. ESOP 2012: 539-558 - [c19]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Towards the Verification of Adaptable Processes. ISoLA (1) 2012: 269-283 - 2011
- [j2]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) - [c18]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 - [c17]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105 - [c16]Hugo A. López, Jorge A. Pérez:
Time and Exceptional Behavior in Multiparty Structured Interactions. WS-FM 2011: 48-63 - 2010
- [j1]Jorge A. Pérez:
Higher-Order Concurrency: Expressiveness and Decidability. Bull. EATCS 101: 92-124 (2010) - [c15]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Steps on the Road to Component Evolvability. FACS 2010: 295-299 - [c14]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
- [c13]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 - [c12]Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC 2009: 155-169 - [c11]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 - [c10]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149 - [c9]Hugo A. López, Carlos Olarte, Jorge A. Pérez:
Towards a Unified Framework for Declarative Structured Communications. PLACES 2009: 1-15 - 2008
- [c8]Jorge A. Pérez, Camilo Rueda:
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. ICLP 2008: 677-681 - [c7]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 - [c6]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155 - 2006
- [c5]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 - [c4]Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia:
Timed Concurrent Constraint Programming for Analysing Biological Systems. MeCBIC@ICALP 2006: 117-137 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
