Ramunas Gutkovas

12 papers B 1Journal 7Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Session Type System for Asynchronous Unreliable Broadcast Communication. Log. Methods Comput. Sci. Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
2021	J	`jnl`	Modal Logics for Nominal Transition Systems. Log. Methods Comput. Sci. Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2019	J	`jnl`	A Session Type System for Asynchronous Unreliable Broadcast Communication. CoRR Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
2019	J	`jnl`	Modal Logics for Nominal Transition Systems. CoRR Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2016	J	`jnl`	A Sorted Semantic Framework for Applied Process Calculi. Log. Methods Comput. Sci. Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
2016	—	`—`	Languages, Logics, Types and Tools for Concurrent System Modelling. Ramunas Gutkovas
2016	J	`jnl`	Modal Logics for Nominal Transition Systems. Arch. Formal Proofs Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas
2015	B	`conf`	Modal Logics for Nominal Transition Systems. CONCUR Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2015	J	`jnl`	The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. ACM Trans. Embed. Comput. Syst. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
2014	—	`conf`	Session Types for Broadcasting. PLACES Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay
2013	—	`conf`	A Parametric Tool for Applied Process Calculi. ACSD Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
2013	—	`conf`	A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). TGC Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski