Fundamental Computing

  • Postal addressShow on map

    Nijenborgh9

    9747 AG Groningen

    Netherlands

Filter
Conference contribution

Search results

  • 2025

    Axiomatizing the Logic of Ordinary Discourse

    Greati, V., Marcelino, S. & Rivieccio, U., 1-May-2025, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems: 20th International Conference, IPMU 2024, Lisbon, Portugal, July 22-26, 2024, Proceedings, Volume 2. Lesot, M.-J., Vieira, S., Reformat, M. Z., Carvalho, J. P., Batista, F., Bouchon-Meunier, B. & Yager, R. R. (eds.). Springer, p. 390-405 16 p. (Lecture Notes in Networks and Systems ; vol. 1175).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Context-Dependent Effects in Guarded Interaction Trees

    Stepanenko, S., Nardino, E., Frumin, D., Timany, A. & Birkedal, L., 2025, Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Vafeiadis, V. (ed.). Springer Science and Business Media Deutschland GmbH, p. 286-313 28 p. (Lecture Notes in Computer Science; vol. 15695 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • First-Person Choreographic Programming with Continuation-Passing Communications

    Jongmans, S.-S., 2025, Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II. Vafeiadis, V. (ed.). Springer, Vol. 2. p. 62-90 29 p. (Lecture Notes in Computer Science; vol. 15695).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    7 Downloads (Pure)

  • Multiparty Session Typing, Embedded

    Jongmans, S.-S., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, Vol. 1. p. 145-164 20 p. (Lecture Notes in Computer Science; vol. 15696).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Downloads (Pure)
  • 2024

    Around Classical and Intuitionistic Linear Processes

    Jaramillo, J. C., Frumin, D. & Pérez, J. A., Sept-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    45 Downloads (Pure)

  • Correspondence Between Composite Theories and Distributive Laws

    Rosset, A., Zwart, M., Hansen, H. H. & Endrullis, J., 2024, Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-215 22 p. (Lecture Notes in Computer Science ; vol. 14617 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    28 Downloads (Pure)

  • Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete

    Rodrigues Greati, V. & Ramanayake, R., 21-Oct-2024, (E-pub ahead of print) Proceedings of Advances in Modal Logic (AiML 2024). College Publications, p. 401-422 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients

    Chernev, A., Hansen, H. H. & Kupke, C., 22-Nov-2024, Theoretical Aspects of Computing – ICTAC 2024 - 21st International Colloquium, Proceedings. Anutariya, C. & Bonsangue, M. M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 96-113 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15373 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Downloads (Pure)

  • Exact and Parameterized Algorithms for Choosability

    Bliznets, I. & Nederlof, J., 7-Feb-2024, SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Proceedings. Fernau, H., Gaspers, S. & Klasing, R. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 111 - 124 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14519 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    74 Downloads (Pure)

  • Fair Division with Bounded Sharing: Binary and Non-degenerate Valuations

    Bismuth, S., Bliznets, I. & Segal-Halevi, E., 2024, Algorithmic Game Theory: 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings.. Schäfer, G. & Ventre, C. (eds.). Springer, p. 89–107 19 p. (Lecture Notes in Computer Science; vol. 15156).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    16 Downloads (Pure)

  • Implementing Intermediate Logics

    Haaksema, B., Otten, J. & Ramanayake, R., 1-Jul-2024, Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024. Benzmüller, C., Otten, J. & Ramanayake, R. (eds.). CEUR Workshop Proceedings (CEUR-WS.org), Vol. 3875. p. 14-23 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    28 Downloads (Pure)

  • Information Flow Control in Cyclic Process Networks

    van den Heuvel, B., Derakhshan, F. & Balzer, S., 12-Sept-2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30 p. 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    64 Downloads (Pure)

  • Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph

    Alferov, V., Bliznets, I. & Brilliantov, K., 25-Mar-2024, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 7918-7925 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 8).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    57 Downloads (Pure)

  • Parameterized Algorithms for Covering by Arithmetic Progressions

    Bliznets, I., Nedelof, J. & Szilágyi, K., 2024, SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Proceedings. Fernau, H., Gaspers, S. & Klasing, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 125-138 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14519 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    75 Downloads (Pure)

  • Parameterized Complexity of Paired Domination

    Andreev, N., Bliznets, I., Kundu, M., Saurabh, S., Tripathi, V. & Verma, S., 22-Jun-2024, Combinatorial Algorithms: 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024, Proceedings. Rescigno, A. A. & Vaccaro, U. (eds.). Springer, p. 523-536 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    102 Downloads (Pure)

  • Tight Double Exponential Lower Bounds

    Bliznets, I. & Hecher, M., 3-May-2024, Theory and Applications of Models of Computation - 18th Annual Conference, TAMC 2024, Proceedings. Chen, X. & Li, B. (eds.). Springer, p. 124-136 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14637 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    46 Downloads (Pure)
  • 2023

    Analytic Proof Theory for Aqvist's System F

    Ciabattoni, A., Olivetti, N., Parent, X., Ramanayake, R. & Rozplokhas, D., Jul-2023, Deontic Logic and Normative Systems: 16th International Conference, DEON 2023. Maranhão, J., Peterson, C., Straßer, C. & van der Torre, L. (eds.). College Publications, p. 79-98 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    41 Downloads (Pure)

  • Automatically Identifying Relations Between Self-Admitted Technical Debt Across Different Sources

    Li, Y., Soliman, M. & Avgeriou, P., 10-Aug-2023, Proceedings - 2023 ACM/IEEE International Conference on Technical Debt, TechDebt 2023. IEEE, p. 11-21 11 p. (Proceedings - 2023 ACM/IEEE International Conference on Technical Debt, TechDebt 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    123 Downloads (Pure)

  • Cut-Restriction: From Cuts to Analytic Cuts

    Ciabattoni, A., Lang, T. & Ramanayake, R., 2023, Cut-Restriction: From Cuts to Analytic Cuts. IEEE, p. 1-13 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    71 Downloads (Pure)

  • DebtViz: A Tool for Identifying, Measuring, Visualizing, and Monitoring Self-Admitted Technical Debt

    Li, Y., Soliman, M., Avgeriou, P. & Van Ittersum, M., Dec-2023, Proceedings - 2023 IEEE International Conference on Software Maintenance and Evolution, ICSME 2023. IEEE, p. 558-562 5 p. (Proceedings - 2023 IEEE International Conference on Software Maintenance and Evolution, ICSME 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    54 Downloads (Pure)

  • Monitoring Blackbox Implementations of Multiparty Session Protocols

    van den Heuvel, B., Pérez, J. A. & Dobre, R. A., 1-Oct-2023, Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer, p. 66-85 20 p. (Lecture Notes in Computer Science; vol. 14245).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    93 Downloads (Pure)

  • Termination in Concurrency, Revisited

    Paulus, J. W. N., Pérez, J. A. & Nantes-Sobrinho, D., 22-Oct-2023, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023. Association for Computing Machinery, 14 p. 3. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    58 Downloads (Pure)

  • Typed Non-determinism in Functional and Concurrent Calculi

    van den Heuvel, B., Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 2023, Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Hur, C.-K. (ed.). Singapore: Springer Science and Business Media Deutschland GmbH, p. 112-132 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14405 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    57 Downloads (Pure)
  • 2022

    Algebraic Presentation of Semifree Monads

    Rosset, A., Hansen, H. H. & Endrullis, J., 2022, Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Proceedings. Hansen, H. H. & Zanasi, F. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 110-132 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    234 Downloads (Pure)

  • Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library

    Vindum, S. F., Frumin, D. & Birkedal, L., 17-Jan-2022, CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. Popescu, A. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 100-115 16 p. (CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    148 Downloads (Pure)

  • Preface to the Proceedings of CMCS 2022

    Hansen, H. H. & Zanasi, F., 3-Apr-2022, 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science: Proceedings. Hansen, H. H. & Zanasi, F. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. v-vi 281219. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Scalable Typestate Analysis for Low-Latency Environments

    Arslanagic, A., Pérez, J. A. & Subotić, P., 1-Jun-2022, Integrated Formal Methods: 17th International Conference, IFM 2022 Lugano, Switzerland, June 7–10, 2022 Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Cham: Springer, p. 322–340 9 p. (Lecture Notes in Computer Science; vol. 13274).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    906 Downloads (Pure)

  • Semantic cut elimination for the logic of bunched implications, formalized in Coq

    Frumin, D., 17-Jan-2022, CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. Popescu, A. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 291-306 16 p. (CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    93 Downloads (Pure)

  • Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)

    Hansen, H. H. (Editor) & Zanasi, F. (Editor), 27-May-2022, COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022). 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    185 Downloads (Pure)

  • Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes

    Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 4-Aug-2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 11.1-11.24 24 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 239).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    46 Downloads (Pure)
  • 2021

    A Deep Quantitative Type System

    Guerrieri, G., Heijltjes, W. B. & Paulus, J. W. N., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 24:1-24:24 24 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    58 Downloads (Pure)

  • Compositional non-interference for fine-grained concurrent programs

    Frumin, D., Krebbers, R. & Birkedal, L., May-2021, Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021. Institute of Electrical and Electronics Engineers Inc., p. 1416-1433 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    273 Downloads (Pure)

  • Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq

    Gore, R., Ramanayake, R. & Shillito, I., 2021, Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021.. Das, A. & Negri , S. (eds.). Cham: Springer, p. 299-313 14 p. ( Lecture Notes in Computer Science; vol. 12842)(Lecture Notes in Artificial Intelligence ; vol. 12842).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    19 Citations (Scopus)

  • Deadlock Freedom for Asynchronous and Cyclic Process Networks

    van den Heuvel, B. & Pérez, J. A., 2-Oct-2021, Proceedings 14th Interaction and Concurrency Experience (ICE 2021). Lange, J., Mavridou, A., Safina, L. & Scalas, A. (eds.). Open Publishing Association, p. 38-56 19 p. (Electronic Proceedings in Theoretical Computer Science; vol. 347).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    61 Downloads (Pure)

  • Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

    Balasubramanian, A. R., Lang, T. & Ramanayake, R., 7-Jul-2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    228 Downloads (Pure)

  • Minimal Session Types for the π-calculus

    Arslanagic, A., Palamariuc, A. & Pérez, J. A., 6-Sept-2021, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming. Veltri, N., Benton, N. & Ghilezan, S. (eds.). New York: Association for Computing Machinery, 15 p. 12

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    85 Downloads (Pure)

  • Non-Deterministic Functions as Non-Deterministic Processes

    Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 6-Jul-2021, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Kobayashi, N. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 22 p. 21

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    62 Downloads (Pure)

  • Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

    Keizer, A. C., Basold, H. & Pérez, J. A., 2021, Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Yoshida, N. (ed.). Cham: Springer, p. 375-403 29 p. (Lecture Notes in Computer Science; vol. 12648).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    7 Citations (Scopus)
    146 Downloads (Pure)
  • 2020

    Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains

    Soelman, M., Andrikopoulos, V., Perez, J. A., Theodosiadis, V., Goense, K. & Rutjes, A., Aug-2020, 2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). IEEE, p. 145-152 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    1017 Downloads (Pure)
  • 2019

    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. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 35:1-35:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 140).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    96 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. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    113 Downloads (Pure)

  • Reversible Session-Based Concurrency in Haskell

    Vries, de, F. & Perez, J. A., 2019, Trends in Functional Programming . Palka, M. & Myreen, M. (eds.). Cham: Springer, p. 20-45 ( Lecture Notes in Computer Science; vol. 11457).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    327 Downloads (Pure)
  • 2018

    Long-term values in Markov decision processes, (Co)algebraically

    Feys, F. M. V., Hansen, H. H. & Moss, L. S., 2018, 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018. Cîrstea, C. (ed.). Springer, p. 78-99 (Lecture Notes in Computer Science ; vol. 11202).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)

  • Relating Process Languages for Security and Communication Correctness (Extended Abstract)

    Nantes, D. & Pérez, J. A., 2018, 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Springer, p. 79-100 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    241 Downloads (Pure)
  • 2017

    Causally consistent reversible choreographies: A monitors-as-memories approach

    Mezzina, C. A. & Perez , J. A., 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017). ACM Press Digital Library, p. 127-138

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    15 Citations (Scopus)

  • Efficient compensation handling via subjective updates

    Dedeić, J., Pantović, J. & Pérez, J. A., 3-Apr-2017, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, p. 51-58 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F128005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • Linearity, Control Effects, and Behavioral Types

    Caires, L. & Perez Parra, J. A., 2017, Programming Languages and Systems. Yang, H. (ed.). Springer, p. 229-259 31 p. ( Lecture Notes in Computer Science ; vol. 10201).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    30 Citations (Scopus)

  • Session-Based Concurrency, Reactively

    Cano Grijalba, M., Arias, J. & Perez Parra, J. A., 2017, Proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects,Components, and Systems (FORTE 2017): FORTE 2017: Formal Techniques for Distributed Objects, Components, and Systems. Springer, p. 74-91 18 p. (Lecture Notes in Computer Science ; vol. 10321).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)
  • 2016

    An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

    Di Giusto, C. & Pérez, J. A., 2016, Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers. Ravara, A., Hildebrandt, T., Weidlich, M. & van der Werf, J. M. (eds.). Springer, p. 67-85 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9421).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)

  • Multiparty Session Types Within A Canonical Binary Theory, and Beyond

    Caires, L. & Perez Parra, J. A., Jun-2016, Formal Techniques for Distributed Objects, Components, and Systems: 6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Springer, p. 74–95 ( Lecture Notes in Computer Science; vol. 9688).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    32 Citations (Scopus)