I. Walukiewicz

发表

Igor Walukiewicz, P. S. Thiagarajan, P. Thiagarajan, 1997, Inf. Comput..
Andreas Podelski, Witold Charatonik, Igor Walukiewicz, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
David Janin, I. Walukiewicz, 1995 .
A. Muscholl, I. Walukiewicz, H. Gimbert, 2022, 2204.12409.
I. Walukiewicz, 2007 .
Igor Walukiewicz, I. Walukiewicz, 1995 .
Christof Löding, Igor Walukiewicz, Arnaud Carayol, 2010 .
Igor Walukiewicz, P. S. Thiagarajan, P. Thiagarajan, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
I. Walukiewicz, B. Srivathsan, F. Herbreteau, 2012, LICS.
A. Muscholl, I. Walukiewicz, M. Zeitoun, 2008 .
Igor Walukiewicz, Mikolaj Bojanczyk, I. Walukiewicz, 2008, Logic and Automata.
A. Muscholl, I. Walukiewicz, 2021, LICS.
I. Walukiewicz, S. Lasota, 2017 .
Ivan Damgård, Igor Walukiewicz, Luca Aceto, 2008, Lecture Notes in Computer Science.
Igor Walukiewicz, Mikolaj Bojanczyk, I. Walukiewicz, 2006, Theor. Comput. Sci..
Igor Walukiewicz, Sylvain Salvati, Sylvain Salvati, 2011, Inf. Comput..
Igor Walukiewicz, I. Walukiewicz, 2005, FSTTCS.
Andrzej S. Murawski, Igor Walukiewicz, C.-H. Luke Ong, 2005, ICALP.
Igor Walukiewicz, Dileep Kini, Frédéric Herbreteau, 2011, FSTTCS.
P. Thiagarajan, I. Walukiewicz, 1996, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Igor Walukiewicz, Stefan Dziembowski, Marcin Jurdzinski, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Igor Walukiewicz, I. Walukiewicz, 1998, Formal Methods Syst. Des..
Lorenzo Clemente, Igor Walukiewicz, Pawel Parys, 2015, FSTTCS.
Igor Walukiewicz, I. Walukiewicz, 1996, Inf. Comput..
Anca Muscholl, Igor Walukiewicz, A. Muscholl, 2014, FSTTCS.
Igor Walukiewicz, Swarup Mohalik, I. Walukiewicz, 2003, FSTTCS.
Bruno Courcelle, Igor Walukiewicz, B. Courcelle, 1995 .
Igor Walukiewicz, Julian C. Bradfield, Julian Bradfield, 2018, Handbook of Model Checking.
A. Muscholl, I. Walukiewicz, M. Zeitoun, 2008 .
Igor Walukiewicz, I. Walukiewicz, 2007 .
Igor Walukiewicz, I. Walukiewicz, 1996, Bulletin of Symbolic Logic.
Igor Walukiewicz, David Janin, David Janin, 1995 .
Igor Walukiewicz, Damian Niwinski, D. Niwinski, 2003, Theor. Comput. Sci..
Igor Walukiewicz, I. Walukiewicz, 2002, WoLLIC.
Igor Walukiewicz, Erich Grädel, E. Grädel, 2006, Log. Methods Comput. Sci..
Igor Walukiewicz, Pawel Urzyczyn, Damian Niwinski, 2005, ICALP.
Igor Walukiewicz, Aymeric Vincent, André Arnold, 2003, Theor. Comput. Sci..
Igor Walukiewicz, I. Walukiewicz, 2000, Inf. Comput..
Igor Walukiewicz, I. Walukiewicz, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Igor Walukiewicz, David Janin, Julien Bernet, 2002, RAIRO Theor. Informatics Appl..
Igor Walukiewicz, Erich Grädel, E. Grädel, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Igor Walukiewicz, Damian Niwinski, D. Niwinski, 1996, Theor. Comput. Sci..
Anca Muscholl, Igor Walukiewicz, Hugo Gimbert, 2010, ICALP.
Igor Walukiewicz, Patrick Chervet, I. Walukiewicz, 2007, MFCS.
Anca Muscholl, Igor Walukiewicz, Marie Fortin, 2016, ArXiv.
W. A. Apaza-Perez, C. Combastel, A. Zolghadri, 2021, Eur. J. Control.
Igor Walukiewicz, Fr'ed'eric Herbreteau, B. Srivathsan, 2019, CONCUR.
Lorenzo Clemente, Igor Walukiewicz, Pawel Parys, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Slawomir Lasota, Igor Walukiewicz, I. Walukiewicz, 2005, TOCL.
Anca Muscholl, Igor Walukiewicz, Salvatore La Torre, 2015, CONCUR.
Igor Walukiewicz, I. Walukiewicz, 2021, Handbook of Automata Theory.
Igor Walukiewicz, I. Walukiewicz, 2010, ATVA.
Anca Muscholl, Igor Walukiewicz, Hugo Gimbert, 2012, ICALP.
I. Walukiewicz, M. Bojanczyk, Mikolaj Bojanczyk, 2008, Logic and Automata.
Igor Walukiewicz, Olivier Serre, Alexis-Julien Bouquet, 2003, FSTTCS.
Igor Walukiewicz, I. Walukiewicz, 1996, STACS.
Igor Walukiewicz, Pawel Parys, I. Walukiewicz, 2009, ICALP.
Igor Walukiewicz, A. R. Balasubramanian, I. Walukiewicz, 2020, CONCUR.
Igor Walukiewicz, Frédéric Herbreteau, B. Srivathsan, 2011, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Igor Walukiewicz, Frédéric Herbreteau, B. Srivathsan, 2010, Formal Methods in System Design.
Frédéric Herbreteau, B. Srivathsan, I. Walukiewicz, 2011 .
Igor Walukiewicz, Frédéric Herbreteau, Thanh-Tung Tran, 2016, FSTTCS.
Igor Walukiewicz, Frédéric Herbreteau, B. Srivathsan, 2013, CAV.
Igor Walukiewicz, I. Walukiewicz, 2005 .
Igor Walukiewicz, Damian Niwinski, D. Niwinski, 1998, STACS.
Igor Walukiewicz, Howard Straubing, Mikolaj Bojanczyk, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.