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:1717
blz. (Leibniz International Proceedings in Informatics
(LIPIcs); vol. 140).
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).
Francalanza, A., Pérez, J.
A. & Sánchez, C., feb.-2018, Lectures on Runtime
Verification. Bartocci, E. & Falcone, Y. (redactie).
Springer, blz. 176-21035 blz.
van den Heuvel, B., Pérez, J. A. & Dobre, R.
A., 1-okt.-2023, Runtime
Verification: 23rd International Conference, RV 2023, Thessaloniki,
Greece, October 3–6, 2023, Proceedings. Katsaros, P.
& Nenzi, L. (redactie). Springer, blz. 66-8520
blz. (Lecture Notes in Computer Science; vol. 14245).
Paulus, J. W. N., Pérez, J. A. &
Nantes-Sobrinho, D., 22-okt.-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 blz. 3. (ACM International
Conference Proceeding Series).
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. (redactie). Singapore: Springer Science and Business
Media Deutschland GmbH, blz.
112-13221 blz. (Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics); vol.
14405 LNCS).
