J.W.N. (Joseph) Paulus, M

Paulus, J., Nantes-Sobrinho, D. & Pérez, J. A., 10-Oct-2023, In: Logical Methods in Computer Science. 19, 4, 120 p.

Research output: Contribution to journal › Article › Academic › peer-review

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

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

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

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

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