Bartek Klin
发表
Bartek Klin,
2004,
J. Log. Algebraic Methods Program..
Bartek Klin,
Mateusz Lelyk,
2019,
Log. Methods Comput. Sci..
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
2001,
MFCS.
Bartek Klin,
Clovis Eberhart,
Bartek Klin,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bartek Klin,
Beata Nachyla,
2017,
J. Log. Algebraic Methods Program..
Bartek Klin,
Beata Nachyla,
2014,
EXPRESS/SOS.
Bartek Klin,
Mateusz Lelyk,
2017,
CSL.
Till Mossakowski,
Bartek Klin,
2001,
WADT.
Daniele Gorla,
Filippo Bonchi,
Sibylle B. Fröschle,
2012,
Math. Struct. Comput. Sci..
Szymon Torunczyk,
Joanna Ochremiak,
Eryk Kopczynski,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Bartek Klin,
Bartek Klin,
2005,
SOS@CONCUR.
Bartek Klin,
Bartek Klin,
2009,
Semantics and Algebraic Specification.
Bartek Klin,
Bartek Klin,
2007,
MFPS.
Pawel Sobocinski,
Bartek Klin,
2003,
CONCUR.
Jurriaan Rot,
Bartek Klin,
2015,
FoSSaCS.
Vladimiro Sassone,
Pawel Sobocinski,
Bartek Klin,
2005,
CALCO.
Andrew M. Pitts,
Alexander Kurz,
Mikolaj Bojanczyk,
2013,
Dagstuhl Reports.
Bartek Klin,
2004,
CMCS.
Helle Hvid Hansen,
Bartek Klin,
2011,
Math. Struct. Comput. Sci..
Bartek Klin,
Beata Nachyla,
2015,
CALCO.
Bartek Klin,
Michal Szynwelski,
2016,
MSFP.
Jurriaan Rot,
Bartek Klin,
Bartek Klin,
2015,
FoSSaCS.
Bartek Klin,
Bartek Klin,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Prakash Panangaden,
Bartek Klin,
Nathanaël Fijalkow,
2017,
ICALP.
Bartek Klin,
Pawel Soboci'nski,
2010
.
Vladimiro Sassone,
Bartek Klin,
V. Sassone,
2013,
Inf. Comput..
Bartek Klin,
2005,
CALCO.
Matthew Hennessy,
Bartek Klin,
2009,
Electron. Notes Theor. Comput. Sci..
Ichiro Hasuo,
Bartek Klin,
Shin-ya Katsumata,
2019,
New Generation Computing.
Slawomir Lasota,
Szymon Torunczyk,
Mikolaj Bojanczyk,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Corina Cîrstea,
Andrea Corradini,
Bartek Klin,
2011
.
Alexandra Silva,
Bartek Klin,
Matteo Sammartino,
2016,
POPL.
Corina Cîrstea,
Andrea Corradini,
Bartek Klin,
2011,
CALCO.
Bartek Klin,
2021,
CSL.
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2014,
CSL-LICS.
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2018,
Log. Methods Comput. Sci..
Bartek Klin,
Bartek Klin,
2010,
CMCS@ETAPS.
Bartek Klin,
Julian Salamanca,
Bartek Klin,
2018,
MFPS.
Bartek Klin,
Pawel Sobocinski,
Bartek Klin,
2003
.
Bartek Klin,
Mikolaj Boja'nczyk,
2019,
Log. Methods Comput. Sci..
Bartek Klin,
Bartek Klin,
2011,
Theor. Comput. Sci..
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2016,
FSTTCS.
Bartek Klin,
2007,
Electron. Notes Theor. Comput. Sci..
Slawomir Lasota,
Mikolaj Bojanczyk,
Bartek Klin,
2012,
POPL '12.
Vladimiro Sassone,
Bartek Klin,
V. Sassone,
2008,
FoSSaCS.
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
2005,
Theor. Comput. Sci..
Slawomir Lasota,
Mikolaj Bojanczyk,
Bartek Klin,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Mikolaj Bojanczyk,
Bartek Klin,
Bartek Klin,
2018,
ArXiv.
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
2001,
FASE.
Bartek Klin,
2009,
Inf. Comput..
Prakash Panangaden,
Bartek Klin,
Nathanaël Fijalkow,
2019,
Inf. Comput..
Slawomir Lasota,
Mikolaj Bojanczyk,
Bartek Klin,
2014,
Log. Methods Comput. Sci..
Bartek Klin,
Mikolaj Boja'nczyk,
Julian Salamanca,
2022,
ArXiv.
Bartek Klin,
Szymon Toruńczyk,
Sławomir Lasota,
2021,
FoSSaCS.
Bartek Klin,
Joshua Moerman,
Mikolaj Boja'nczyk,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bartek Klin,
Mateusz Łełyk,
2017
.
Bartek Klin,
Bartek Klin,
2007
.