Witold Charatonik

发表

Witold Charatonik, 1994, CCL.

Supratik Mukhopadhyay, Andreas Podelski, Witold Charatonik, 2002, ICLP.

Andreas Podelski, Witold Charatonik, Martin Müller, 1999, ESOP.

Andreas Podelski, Witold Charatonik, 1998, SAS.

Andreas Podelski, Witold Charatonik, 2002, Inf. Comput..

Witold Charatonik, 1998, Inf. Comput..

Witold Charatonik, Patrick Maier, Lilia Georgieva, 2005, CSL.

Andreas Podelski, Witold Charatonik, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

Witold Charatonik, Harald Ganzinger, H. Ganzinger, 2002 .

Witold Charatonik, Bartosz Bednarczyk, 2017, FSTTCS.

Witold Charatonik, Maciej Gebala, Mirosław Kutyłowski, 2009, Lecture Notes in Computer Science.

Supratik Mukhopadhyay, Andreas Podelski, Witold Charatonik, 2002, VMCAI.

Witold Charatonik, Agata Chorowska, 2013, Int. J. Comput. Math..

Witold Charatonik, Leszek Pacholski, Witold Charatonik, 2010, JACM.

Witold Charatonik, Malgorzata Biernacka, Witold Charatonik, 2019, FSCD.

Witold Charatonik, Leszek Pacholski, Witold Charatonik, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

Andreas Podelski, Witold Charatonik, Jean-Marc Talbot, 2000, POPL '00.

Witold Charatonik, 2007, PPDP '07.

Witold Charatonik, Bartosz Bednarczyk, Emanuel Kieronski, 2017, CSL.

Witold Charatonik, Maciej Gebala, Mirosław Kutyłowski, 2009 .

Witold Charatonik, 1998, Inf. Process. Lett..

Witold Charatonik, Piotr Witkowski, Witold Charatonik, 2016, ArXiv.

Witold Charatonik, Filip Mazowiecki, Emanuel Kieronski, 2014, CSL-LICS.

James Worrell, Witold Charatonik, Michael Benedikt, 2013, ACM Trans. Comput. Log..

Witold Charatonik, Michal Wrona, 2008, CSL.

Andreas Podelski, Witold Charatonik, Igor Walukiewicz, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

Witold Charatonik, Leszek Pacholski, Witold Charatonik, 1991, IWWERT.

Andreas Podelski, Witold Charatonik, 1996, CP.

Witold Charatonik, Jean-Marc Talbot, Andrew D. Gordon, 2001, FoSSaCS.

Andreas Podelski, Witold Charatonik, A. Podelski, 1998, TACAS.

Witold Charatonik, Jean-Marc Talbot, 2002, RTA.

Witold Charatonik, Michal Wrona, 2007, 37th International Symposium on Multiple-Valued Logic (ISMVL'07).

Witold Charatonik, Harald Ganzinger, Yevgeny Kazakov, 2002, LICS 2002.

Witold Charatonik, Piotr Witkowski, 2015, CSL.

Witold Charatonik, Roberto M. Amadio, Witold Charatonik, 2002, CONCUR.

Witold Charatonik, Jean-Marc Talbot, Andrew D. Gordon, 2002, ESOP.

Witold Charatonik, Piotr Witkowski, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Witold Charatonik, Harald Ganzinger, Patrick Maier, 2002, LICS 2002.

Witold Charatonik, Ian Pratt-Hartmann, Piotr Witkowski, 2018, LPAR.

Andreas Podelski, Witold Charatonik, A. Podelski, 1998, RTA.

Witold Charatonik, Dariusz Biernacki, Malgorzata Biernacka, 2020, APLAS.

James Worrell, Witold Charatonik, Michael Benedikt, 2013, ICALP.

Witold Charatonik, Malgorzata Biernacka, Klara Zielinska, 2017, FSCD.

Supratik Mukhopadhyay, Witold Charatonik, Jean-Marc Talbot, 2003, Theor. Comput. Sci..

Witold Charatonik, Filip Mazowiecki, Emanuel Kieronski, 2013, ArXiv.

Witold Charatonik, Piotr Witkowski, Witold Charatonik, 2010, LPAR.

Andreas Podelski, Witold Charatonik, Harald Ganzinger, 2002, LICS 2002.

Witold Charatonik, Leszek Pacholski, 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

Witold Charatonik, Jean-Marc Talbot, Witold Charatonik, 2001, CSL.

Andreas Podelski, Witold Charatonik, A. Podelski, 1997 .

Witold Charatonik, Malgorzata Biernacka, Tomasz Drab, 2021, PPDP.

Witold Charatonik, Malgorzata Biernacka, Tomasz Drab, 2021, ArXiv.

Witold Charatonik, Witold Charatonik, 1999 .

Witold Charatonik, Leszek Pacholski, 1993 .