Andrzej S. Murawski

发表

Andrzej S. Murawski, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Andrzej S. Murawski, David Purser, Dmitry Chistikov, 2018, ATVA.
Andrzej S. Murawski, Nikos Tzevelekos, 2017, CONCUR.
Andrzej S. Murawski, Nikos Tzevelekos, Steven J. Ramsay, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Andrzej S. Murawski, C.-H. Luke Ong, David Hopkins, 2011, ICALP.
Andrzej S. Murawski, A. Murawski, 2005, Theor. Comput. Sci..
Andrzej S. Murawski, Nikos Tzevelekos, 2014, FoSSaCS.
Joël Ouaknine, Andrzej S. Murawski, J. Ouaknine, 2005, CONCUR.
Andrzej S. Murawski, Nikos Tzevelekos, 2018, Formal Methods Syst. Des..
Andrzej S. Murawski, Dan R. Ghica, 2008, Ann. Pure Appl. Log..
Andrzej S. Murawski, C.-H. Luke Ong, David Hopkins, 2012, CAV.
Andrzej S. Murawski, C.-H. Luke Ong, 2004, Theor. Comput. Sci..
Andrzej S. Murawski, Samson Abramsky, Ian Stark, 2004, LICS 2004.
Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre, 2008, LICS.
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2012, CAV.
Andrzej S. Murawski, Igor Walukiewicz, 2005, FoSSaCS.
Andrzej S. Murawski, C.-H. Luke Ong, C. Ong, 2001, TLCA.
Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Andrzej S. Murawski, Nikos Tzevelekos, Steven J. Ramsay, 2015, ATVA.
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2012, Formal Aspects of Computing.
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2011, CAV.
Andrzej S. Murawski, C.-H. Luke Ong, 1999, CTCS.
Thomas Ehrhard, Andrzej S. Murawski, Jean-Yves Girard, 2006 .
Andrzej S. Murawski, Nikos Tzevelekos, 2014, POPL.
Andrzej S. Murawski, Nikos Tzevelekos, Steven J. Ramsay, 2014, J. Comput. Syst. Sci..
Andrzej S. Murawski, Nikos Tzevelekos, 2011, ESOP.
Andrzej S. Murawski, Nikos Tzevelekos, 2020 .
Andrzej S. Murawski, Igor Walukiewicz, 2008, Theor. Comput. Sci..
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2011, FoSSaCS.
Andrzej S. Murawski, Nikos Tzevelekos, 2013, Ann. Pure Appl. Log..
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2013, Formal Methods Syst. Des..
Andrzej S. Murawski, Igor Walukiewicz, Andrea Schalk, 2010, Game Semantics and Program Verification.
Andrzej S. Murawski, Michael Benedikt, Stefan Kiefer, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Andrzej S. Murawski, Atsushi Igarashi, Nikos Tzevelekos, 2015, NII Shonan Meet. Rep..
Andrzej S. Murawski, Dan R. Ghica, 2006, TACAS.
Andrzej S. Murawski, C.-H. Luke Ong, Conrad Cotton-Barratt, 2019, TOPL.
Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre, 2020, ArXiv.
Andrzej S. Murawski, Nikos Tzevelekos, Steven J. Ramsay, 2015, ATVA.
Andrzej S. Murawski, Nikos Tzevelekos, Steven J. Ramsay, 2018, MFCS.
Andrzej S. Murawski, Nikos Tzevelekos, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Andrzej S. Murawski, C.-H. Luke Ong, C. Ong, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Joël Ouaknine, James Worrell, Andrzej S. Murawski, 2013, Log. Methods Comput. Sci..
Andrzej S. Murawski, Pierre Clairambault, 2019, MFCS.
Andrzej S. Murawski, Stefan Kiefer, Dmitry Chistikov, 2020, Log. Methods Comput. Sci..
Andrzej S. Murawski, C.-H. Luke Ong, C. Ong, 2003, Theor. Comput. Sci..
Andrzej S. Murawski, C.-H. Luke Ong, Samson Abramsky, 2004, TACAS.
Andrzej S. Murawski, Michael Benedikt, Stefan Kiefer, 2012, ArXiv.
Andrzej S. Murawski, Charles Grellois, Pierre Clairambault, 2018, Proc. ACM Program. Lang..
Andrzej S. Murawski, Igor Walukiewicz, Andrea Schalk, 2010, Game Semantics and Program Verification.
Andrzej S. Murawski, Guilhem Jaber, A. Murawski, 2021, ESOP.
Andrzej S. Murawski, Igor Walukiewicz, Alex Dixon, 2020 .
Andrzej S. Murawski, C.-H. Luke Ong, Conrad Cotton-Barratt, 2017, ESOP.
Joël Ouaknine, James Worrell, Lijun Zhang, 2011, ICALP.
Ofer Strichman, Mattias Ulbrich, Andrzej S. Murawski, 2018, Dagstuhl Reports.
Andrzej S. Murawski, C.-H. Luke Ong, Samson Abramsky, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Andrzej S. Murawski, C.-H. Luke Ong, Conrad Cotton-Barratt, 2015, FoSSaCS.
Andrzej S. Murawski, Samson Abramsky, Dan R. Ghica, 2004, LICS 2004.
Andrzej S. Murawski, Nikos Tzevelekos, A. Murawski, 2010, FoSSaCS.
Andrzej S. Murawski, Nikos Tzevelekos, 2009, FoSSaCS.
Andrzej S. Murawski, A. Murawski, 2010, MFPS.
Andrzej S. Murawski, C.-H. Luke Ong, 2000, CSL.
Andrzej S. Murawski, Nikos Tzevelekos, 2016, SIGL.
Andrzej S. Murawski, Nikos Tzevelekos, Steven J. Ramsay, 2014, MFCS.
Andrzej S. Murawski, 2007, CSL.
Joël Ouaknine, James Worrell, Axel Legay, 2008, TACAS.
Andrzej S. Murawski, A. Murawski, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Andrzej S. Murawski, Dan R. Ghica, 2004, FoSSaCS.
Andrzej S. Murawski, Igor Walukiewicz, C.-H. Luke Ong, 2005, ICALP.
Andrzej S. Murawski, C.-H. Luke Ong, Dan R. Ghica, 2004, ICALP.
Andrzej S. Murawski, 2005, Theor. Comput. Sci..
Andrzej S. Murawski, C.-H. Luke Ong, Dan R. Ghica, 2006, Theor. Comput. Sci..
Andrzej S. Murawski, C.-H. Luke Ong, C. Ong, 2006, TOCL.
Andrzej S. Murawski, Nikos Tzevelekos, A. Murawski, 2016, Found. Trends Program. Lang..
Andrzej S. Murawski, Nikos Tzevelekos, 2013, Computation, Logic, Games, and Quantum Foundations.
Andrzej S. Murawski, Ranko Lazic, R. Lazic, 2016, FoSSaCS.
Andrzej S. Murawski, Pierre Clairambault, 2013, FSTTCS.
Andrzej S. Murawski, C.-H. Luke Ong, Conrad Cotton-Barratt, 2015, LATA.
Andrzej S. Murawski, Igor Walukiewicz, Ranko Lazić, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Andrzej S. Murawski, Guilhem Jaber, A. Murawski, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).