Author
SpringerLink (Online service)
ETAPS (Conference)
10 results
Olsson, Mikael
7 results
Bjørner, D. (Dines), 1937-
6 results
Freeman, Adam
6 results
Libby, Alex
6 results
Maciaszek, Leszek A.
6 results
Mailund, Thomas
6 results
Biswas, Nabendu
4 results
Davis, Adam L.
4 results
European Association for Theoretical Computer Science
4 results
Singh, Pramod
4 results
Backhouse, Roland C., 1948-
3 results
Bordini, Rafael H.
3 results
Both, David
3 results
Broy, M., 1949-
3 results
Cosmina, Iuliana
3 results
Del Sole, Alessandro
3 results
Dershowitz, Nachum
3 results
Elrom, Elad
3 results
Fill, Hans-Georg
3 results
Hagos, Ted
3 results
Hughes, John
3 results
Kaindl, Hermann
3 results
Kozen, Dexter, 1951-
3 results
Margenstern, Maurice
3 results
Morgan, Carroll, 1952-
3 results
North Atlantic Treaty Organization. Scientific Affairs Division
3 results
Robinet, B. (Bernard), 1941-
3 results
Rothwell, William "Bo"
3 results
Sabharwal, Navin
3 results
Sarcar, Vaskaran
3 results
Shivakumar, Shailesh Kumar
3 results
Singh, Himanshu
3 results
Sinha, Sanjib
3 results
Späth, Peter
3 results
Wiley, Joshua F.
3 results
Wiley, Matt
3 results
Zammetti, Frank
3 results
de Supinski, Bronis R.
3 results
van Sinderen, Marten
3 results
Abramsky, Samson, 1953-
2 results
Aceto, Luca
2 results
Albers, Susanne
2 results
Ali, Raian
2 results
Altenkirch, Thorsten, 1962-
2 results
Araujo, Theo
2 results
Arefin, Mohammad Shamsul
2 results
Ashley, W. David
2 results
Attardi, Joe
2 results
more…