arXiv
2019-10-30
EN
Zemín, Luciano · Brida, Simón Gutiérrez · Bermúdez, Santiago · De Rosso, Santiago Perez
+4
arXiv
2019-07-04
EN
Govind, R. · Herbreteau, Frédéric · Srivathsan, B. · Walukiewicz, Igor
arXiv
2019-07-01
EN
Rahman, Mohammad Ashiqur · Shahriar, Md Hasan · Al-Shaer, Ehab · Zhu, Quanyan
arXiv
2019-01-30
EN
Bruda, Stefan D. · Singh, Sunita · Uddin, A. F. M. Nokib · Zhang, Zhiyu
+1
arXiv
2018-11-29
EN
Quentin, Bouillaguet · François, Bobot · Mihaela, Sighireanu · Boris, Yakobowski
arXiv
2018-06-28
EN
Gastin, Paul · Mukherjee, Sayan · Srivathsan, B
arXiv
2018-05-04
EN
Hayes, Ian J. · Meinicke, Larissa A.
arXiv
2018-02-08
EN
Laarman, Alfons
arXiv
2016-07-26
EN
Vigo, Roberto · Nielson, Flemming · Nielson, Hanne Riis
arXiv
2016-05-27
EN
Nigam, Vivek · Talcott, Carolyn · Urquiza, Abraão Aires
arXiv
2015-01-12
EN
Bouajjani, Ahmed · Calin, Georgel · Derevenetc, Egor · Meyer, Roland
arXiv
2014-09-12
EN
Bezděk, Peter · Beneš, Nikola · Barnat, Jiří · Černá, Ivana
arXiv
2014-07-21
EN
Arapinis, Myrto · Cheval, Vincent · Delaune, Stéphanie
arXiv
2014-04-28
EN
Derevenetc, Egor · Meyer, Roland
arXiv
2014-04-04
EN
Burghardt, Jochen
arXiv
2014-03-05
EN
Spichkova, Maria
arXiv
2013-06-12
EN
Abdulla, Parosh Aziz · Mayr, Richard · Sangnier, Arnaud · Sproston, Jeremy
arXiv
2013-05-22
EN
Abdulla, Parosh Aziz · Clemente, Lorenzo · Mayr, Richard · Sandberg, Sven
arXiv
2012-11-26
EN
Li, Yongming · Droste, Manfred · Lei, Lihui
arXiv
2012-08-30
EN
Bouajjani, Ahmed · Derevenetc, Egor · Meyer, Roland
