Ambrus Kaposi
发表
Thorsten Altenkirch,
Simon Boulier,
Ambrus Kaposi,
2019,
MPC.
Ambrus Kaposi,
András Kovács,
2020,
Log. Methods Comput. Sci..
Simon Huber,
Ambrus Kaposi,
Christian Sattler,
2019,
FSCD.
Ambrus Kaposi,
Ádám Rák,
Robin Palotai,
2012
.
Thorsten Altenkirch,
Ambrus Kaposi,
Thorsten Altenkirch,
2016,
POPL.
Thorsten Altenkirch,
Ambrus Kaposi,
2016,
FSCD.
Ambrus Kaposi,
András Kovács,
2018,
FSCD.
Thorsten Altenkirch,
Ambrus Kaposi,
2015,
TYPES.
Thorsten Altenkirch,
Ambrus Kaposi,
Thorsten Altenkirch,
2016,
Log. Methods Comput. Sci..
Ambrus Kaposi,
Andreas Abel,
Fredrik Nordvall Forsberg,
2018,
TYPES.
Ambrus Kaposi,
A. Kaposi,
2017
.
Ambrus Kaposi,
Paolo Capriotti,
2014,
MSFP.
Thorsten Altenkirch,
Ambrus Kaposi,
András Kovács,
2019,
Proc. ACM Program. Lang..
Ambrus Kaposi,
András Kovács,
Nicolai Kraus,
2019,
MPC.
Thorsten Altenkirch,
Simon Boulier,
Ambrus Kaposi,
2021,
FoSSaCS.
Ambrus Kaposi,
Rafael Bocquet,
Christian Sattler,
2021,
ArXiv.
Ambrus Kaposi,
Rafael Bocquet,
Christian Sattler,
2021,
2102.11649.