Author
SpringerLink (Online service)
21
Blass, Andreas, 1947-
2
De Nicola, Rocco,
2
Beek, Maurice H. ter,
1
Beklemishev, Lev Dmitrievich, 1967-
1
Bodei, Chiara,
1
Boreale, Michele,
1
Breitman, K. K.
1
Börger, E. 1946-
1
Coecke, Bob
1
Corradini, Flavio,
1
Cégielski, Patrick, 1954-
1
De Nicola, Rocco
1
Degano, Pierpaolo, 1950-
1
Dershowitz, Nachum
1
Dershowitz, Nachum,
1
Droste, Manfred, 1956-
1
Fantechi, Alessandro,
1
Ferrari, Gian-Luigi,
1
Finkbeiner, Bernd
1
Finkbeiner, Bernd,
1
Futatsugi, Kokichi,
1
Gnesi, Stefania, 1954-
1
Grumberg, Orna
1
Gurevich, Yuri,
1
He, Jifeng, 1943-
1
Heisel, Maritta
1
Hennicker, Rolf, 1952-
1
Horspool, R. Nigel, 1948-
1
Iida, Shusaku,
1
International Andrei Ershov Memorial Conference
1
International Andrei Ershov Memorial Conference Kazanʹ and Innopolis, Russia)
1
International Conference on Algorithms and Architectures for Parallel Processing
1
International Conference on Algorithms and Architectures for Parallel Processing Zhangjiajie Shi, China)
1
Jones, Cliff,
1
Kaschek, Roland H., 1955-
1
Kelly, Richard V.
1
Li, Kenli,
1
Lindley, Sam,
1
Liu, Zhiming, 1961-
1
Loreti, Michele,
1
Martinez Pérez, Gregorio,
1
Mazzara, Manuel,
1
McBride, Conor,
1
Meseguer, José
1
Meseguer, José,
1
Montanari, Ugo
1
Münch, Jürgen, 1968-
1
Ogata, Kazuhiro,
1
Ong, Luke
1
more ...