Items where Author is "Chatterjee, Krishnendu"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 23.

Journal Paper

  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Svozil, Alexander and Henzinger, Monika ISSN 0004-3702 (2021)
  • Chatterjee, Krishnendu and Henzinger, Monika and Loitzenbauer, Veronika ISSN 1860-5974 (2017)
  • Chatterjee, Krishnendu and Henzinger, Monika and Krinninger, Sebastian and Loitzenbauer, Veronika and Raskin, Michael A. pp. 104-116 ISSN 0304-3975 (2014)
  • Chatterjee, Krishnendu and Henzinger, Monika 15:1-15:40 ISSN 0004-5411 ACM (2014)
  • Chatterjee, Krishnendu and Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon pp. 457-492 ISSN 0178-4617 (2014)
  • Chatterjee, Krishnendu and Henzinger, Monika and Joglekar, Manas and Shah, Nisarg Formal Methods in System Design, 42 (3). pp. 301-327 ISSN 0925-9856 Kluwer (2013)
  • Paper in Conference Proceedings or in Workshop Proceedings

  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Svozil, Alexander and Henzinger, Monika In: 36th Annual Symposium on Logic in Computer Science (LICS 2021) , 29 June - 02 July, 2021 , Online (2021)
  • Schmid, Laura and Chatterjee, Krishnendu and Schmid, Stefan In: 23rd International Conference on Principles of Distributed Systems (OPODIS) , December 2019 , Neuchâtel, Switzerland (2019)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Svozil, Alexander In: CONCUR 2019, the 30th International Conference on Concurrency Theory , August 26-31, 2019 , Amsterdam, The Netherlands (2019)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Svozil, Alexander In: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) , 16-21 November, 2018 , Awassa, Ethiopia (2018)
  • Chatterjee, Krishnendu and Henzinger, Monika and Loitzenbauer, Veronika and Oraee, Simin and Toman, Viktor In: 30th International Conference on Computer Aided Verification (CAV 2018) , July 14-17 , Oxford, UK (2018)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Svozil, Alexander In: The 28th International Conference on Automated Planning and Scheduling , 27-29 June 2018 , Delft, The Netherlands (2018)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 29th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018) , January 7-10, 2018 , New Orleans, LA, USA (2018)
  • Chatterjee, Krishnendu and Henzinger, Monika and Svozil, Alexander In: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS) 2017 , 21-25 August 2017 , Aalborg, Denmark (2017)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden , 20-24 August 2017 , Stockholm (2017)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) , August 22-26, 2016 , Krakow (Poland) (2016)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , July 5-8, 2016 , New York City, USA (2016)
  • Chatterjee, Krishnendu and Henzinger, Monika and Loitzenbauer, Veronika In: Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) , July 6–10, 2015 , Kyoto, Japan (2015)
  • Chatterjee, Krishnendu and Henzinger, Monika and Krinninger, Sebastian and Loitzenbauer, Veronika In: Fourth International Symposion on Games, Automata, Logics and Formal Verification (GandALF 2013) , 29 - 31 Aug 2013 , Borca di Cadore, Dolomites, Italy (2013)
  • Chatterjee, Krishnendu and Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: 20th Annual European Symposium on Algorithms (ESA 2012) , 10-12 Sep 2012 , Ljubljana, Slovenia (2012)
  • Chatterjee, Krishnendu and Henzinger, Monika In: ACM Symposium on Discrete Algorithms (SODA12) , 17-19 Jan, 2012 , Kyoto, Japan (2012)
  • Chatterjee, Krishnendu and Henzinger, Monika and Manas, Joglekar and Nisarg, Shah In: Proc. 23rd International Conference on Computer Aided Verification (CAV) , July 14-20, 2011 , Cliff Lodge, Snowbird, Utah (In Press) (2011)
  • Henzinger, Monika and Chatterjee, Krishnendu In: Symposium on Discrete Algorithms (SODA) , 2010-09-28 , San Francisco, USA (2011)
  • This list was generated on Sun Jun 20 23:54:51 2021 UTC.