Publications
Author(s):
Krishnendu Chatterjee; Laurent Doyen
Published in:
LICS, Issue 1, 2021
Publisher:
IEEE
DOI:
10.1109/lics52264.2021.9470595
Author(s):
Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný; Đorđe Žikelić
Published in:
PLDI, Issue 1, 2021
Publisher:
ACM
DOI:
10.1145/3453483.3454093
Author(s):
Ali Asadi; Krishnendu Chatterjee; Hongfei Fu; Amir Kafshdar Goharshady; Mohammad Mahdavi
Published in:
https://hal.archives-ouvertes.fr/hal-03183862, Issue 1, 2021
Publisher:
ACM
DOI:
10.1145/3453483.3454076
Author(s):
Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias
Published in:
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds), Issue 1, 2020
Publisher:
Springer
DOI:
10.1007/978-3-030-53291-8_21
Author(s):
Henzinger, Thomas A.; Lechner, Mathias; Žikelić, Đorđe
Published in:
Issue 5, 2021
Publisher:
Springer
DOI:
10.48550/arxiv.2012.08185
Author(s):
Suguman Bansal; Krishnendu Chatterjee; Moshe Y. Vardi
Published in:
TACAS (1), Issue 12, 2021
Publisher:
Springer
DOI:
10.26226/morressier.604907f41a80aac83ca25ce8
Author(s):
Toman, Viktor
Published in:
Issue 7, 2021
Publisher:
ISTA
DOI:
10.15479/at:ista:10199
Author(s):
Jakub Svoboda; Josef Tkadlec; Andreas Pavlogiannis; Krishnendu Chatterjee; Martin A. Nowak
Published in:
Scientific Reports, Vol 12, Iss 1, Pp 1-11 (2022), Issue 2, 2021, ISSN 2045-2322
Publisher:
Nature Publishing Group
DOI:
10.1038/s41598-022-05333-5
Author(s):
Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil
Published in:
LICS, Issue 2, 2021, ISSN 1043-6871
Publisher:
IEEE
DOI:
10.48550/arxiv.2104.07466
Author(s):
Chatterjee, Krishnendu; Goharshady, Ehsan Kafshdar; Novotný, Petr; Zárevúcky, Jiří; Žikelić, Đorđe
Published in:
Formal Methods (FM) 2021, Issue 2, 2021, ISSN 0302-9743
Publisher:
Springer Verlag
DOI:
10.48550/arxiv.2108.02188
Author(s):
Truc Lam Bui; Krishnendu Chatterjee; Tushar Gautam; Andreas Pavlogiannis; Viktor Toman
Published in:
OOPSLA, Issue 1, 2021, ISSN 2475-1421
Publisher:
ACM
DOI:
10.48550/arxiv.2011.11763
Author(s):
Krishnendu Chatterjee; Laurent Doyen
Published in:
LICS, Issue 1, 2022, ISSN 0022-0000
Publisher:
Academic Press
DOI:
10.1016/j.jcss.2022.04.003
Author(s):
Krishnendu Chatterjee; Wolfgang Dvořák; Monika Henzinger; Alexander Svozil
Published in:
Artificial Intelligence (AI), Issue 11, 2021, ISSN 1573-7462
Publisher:
Elsevier
DOI:
10.48550/arxiv.1804.07031
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available