Joseph W. N. Paulus

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 10

Top Topics

Vector Valued Functions

Sequent Calculi

Concurrency Control Protocols

Rewrite Systems

Top Venues

Log. Methods Comput. Sci.

Publications

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)
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
Termination in Concurrency, Revisited. PPDP (2023)
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
Termination in Concurrency, Revisited. CoRR (2023)
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)
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 (2022)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). CoRR (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. TYPES (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes. FSCD (2021)
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 (2021)
Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus
A Deep Quantitative Type System. CSL (2021)