Ramunas Gutkovas

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 8

Top Venues

Log. Methods Comput. Sci.

CoRR

ACM Trans. Embed. Comput. Syst.

PLACES

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. Log. Methods Comput. Sci. 20 (3) (2024)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. Log. Methods Comput. Sci. 17 (1) (2021)
Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. CoRR (2019)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. CoRR (2019)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi. Log. Methods Comput. Sci. 12 (1) (2016)
Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas
Modal Logics for Nominal Transition Systems. Arch. Formal Proofs 2016 (2016)
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. CONCUR (2015)
Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay
Session Types for Broadcasting. PLACES (2014)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). TGC (2013)
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
A Parametric Tool for Applied Process Calculi. ACSD (2013)

Ramunas Gutkovas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ramunas Gutkovas