CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.
I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .
Pubblicazioni
Autori:
Krishnendu Chatterjee; Laurent Doyen
Pubblicato in:
LICS, Numero 1, 2021
Editore:
IEEE
DOI:
10.1109/lics52264.2021.9470595
Autori:
Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný; Đorđe Žikelić
Pubblicato in:
PLDI, Numero 1, 2021
Editore:
ACM
DOI:
10.1145/3453483.3454093
Autori:
Ali Asadi; Krishnendu Chatterjee; Hongfei Fu; Amir Kafshdar Goharshady; Mohammad Mahdavi
Pubblicato in:
https://hal.archives-ouvertes.fr/hal-03183862, Numero 1, 2021
Editore:
ACM
DOI:
10.1145/3453483.3454076
Autori:
Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias
Pubblicato 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), Numero 1, 2020
Editore:
Springer
DOI:
10.1007/978-3-030-53291-8_21
Autori:
Henzinger, Thomas A.; Lechner, Mathias; Žikelić, Đorđe
Pubblicato in:
Numero 5, 2021
Editore:
Springer
DOI:
10.48550/arxiv.2012.08185
Autori:
Suguman Bansal; Krishnendu Chatterjee; Moshe Y. Vardi
Pubblicato in:
TACAS (1), Numero 12, 2021
Editore:
Springer
DOI:
10.26226/morressier.604907f41a80aac83ca25ce8
Autori:
Toman, Viktor
Pubblicato in:
Numero 7, 2021
Editore:
ISTA
DOI:
10.15479/at:ista:10199
Autori:
Jakub Svoboda; Josef Tkadlec; Andreas Pavlogiannis; Krishnendu Chatterjee; Martin A. Nowak
Pubblicato in:
Scientific Reports, Vol 12, Iss 1, Pp 1-11 (2022), Numero 2, 2021, ISSN 2045-2322
Editore:
Nature Publishing Group
DOI:
10.1038/s41598-022-05333-5
Autori:
Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil
Pubblicato in:
LICS, Numero 2, 2021, ISSN 1043-6871
Editore:
IEEE
DOI:
10.48550/arxiv.2104.07466
Autori:
Chatterjee, Krishnendu; Goharshady, Ehsan Kafshdar; Novotný, Petr; Zárevúcky, Jiří; Žikelić, Đorđe
Pubblicato in:
Formal Methods (FM) 2021, Numero 2, 2021, ISSN 0302-9743
Editore:
Springer Verlag
DOI:
10.48550/arxiv.2108.02188
Autori:
Truc Lam Bui; Krishnendu Chatterjee; Tushar Gautam; Andreas Pavlogiannis; Viktor Toman
Pubblicato in:
OOPSLA, Numero 1, 2021, ISSN 2475-1421
Editore:
ACM
DOI:
10.48550/arxiv.2011.11763
Autori:
Krishnendu Chatterjee; Laurent Doyen
Pubblicato in:
LICS, Numero 1, 2022, ISSN 0022-0000
Editore:
Academic Press
DOI:
10.1016/j.jcss.2022.04.003
Autori:
Krishnendu Chatterjee; Wolfgang Dvořák; Monika Henzinger; Alexander Svozil
Pubblicato in:
Artificial Intelligence (AI), Numero 11, 2021, ISSN 1573-7462
Editore:
Elsevier
DOI:
10.48550/arxiv.1804.07031
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile