Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Persoonlijk profiel
Speerpunten
Rigorous programming models for concurrent and message-passing computation.
Netwerk
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
On the relative expressiveness of higher-order session processes
Kouzapas, D., Perez, J. A. & Yoshida, N., okt.-2019, In: Information and Computation. 268, 54 blz., 104433.Onderzoeksoutput: Article › Academic › peer review
Open AccessBestand7 Citaten (Scopus)25 Downloads (Pure) -
Domain-Aware Session Types
Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & Glabbeek, R. V. (redactie). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, blz. 35:1-35:17 17 blz. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 140).Onderzoeksoutput › Academic › peer review
Open AccessBestand2 Citaten (Scopus)50 Downloads (Pure) -
Minimal Session Types
Arslanagic, A., Pérez, J. A. & Voogd, E., 2019, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Donaldson, A. F. (redactie). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 blz. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).Onderzoeksoutput › Academic › peer review
Open AccessBestand2 Citaten (Scopus)75 Downloads (Pure) -
Runtime Verification for Decentralised and Distributed Systems
Francalanza, A., Pérez, J. A. & Sánchez, C., feb.-2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (redactie). Springer, blz. 176-210 35 blz.Onderzoeksoutput › Academic › peer review
Open AccessBestand33 Citaten (Scopus)538 Downloads (Pure) -
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., okt.-2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, blz. 841-869 29 blz., 155.Onderzoeksoutput › Academic › peer review
Open AccessBestand5 Downloads (Pure)
-
Dutch National Association for Software Engineering (VERSEN) (Externe Organisatie)
Jorge Perez Parra (Member of board)
2020 → …Activiteit: Membership › Academic
-
Young Academy of Groningen (YAG) (Externe Organisatie)
Jorge Perez Parra (Member)
2019 → …Activiteit: Membership › Academic
-
Linearity, Control Effects, and Behavioral Types
Jorge Perez Parra (Invited speaker)
12-jan.-2021Activiteit: Academic presentation › Academic
-
FORTE 2021: 41th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Jorge Perez Parra (Member of scientific committee)
14-jun.-2021 → 18-jun.-2021Activiteit: Organising and contributing to an event › Academic
-
Session Types and Higher-Order Concurrency
Jorge Perez Parra (Invited speaker)
24-feb.-2021Activiteit: Academic presentation › Academic
Knipsels
-
Research minute - Young Academy Groningen
03/09/2019
1 Mediabijdrage
Pers / media: Activiteiten met een maatschappelijk belang › Popular
-
The power of logic in computation
Helle Hvid Hansen, Jorge Perez Parra & Dan Frumin
19/04/2022
1 item van Media-aandacht
Pers / media: Overig › Professional
Prijzen
-
NWO VIDI: Unifying Correctness for Communicating Software
Perez Parra, Jorge (Recipient), jun.-2018
Prijs: Fellowship awarded competitively › Academic