Institute of Electrical and Electronics Engineers (24)
Wert ausschließen
Börger, Egon (15)
Wert ausschließen
Hutchison, David (10)
Wert ausschließen
Kanade, Takeo (10)
Wert ausschließen
Kittler, Josef (10)
Wert ausschließen
Kleinberg, Jon (10)
Wert ausschließen
Mattern, Friedemann (10)
Wert ausschließen
Mitchell, John C. (10)
Wert ausschließen
Naor, Moni (10)
Wert ausschließen
Nerode, Anil (10)
Wert ausschließen
Nierstrasz, Oscar (10)
Wert ausschließen
Pandu Rangan, C. (10)
Wert ausschließen
Steffen, Bernhard (10)
Wert ausschließen
Sudan, Madhu (10)
Wert ausschließen
Terzopoulos, Demetri (10)
Wert ausschließen
Tygar, Doug (10)
Wert ausschließen
Vardi, Moshe Y. (10)
Wert ausschließen
Weikum, Gerhard (10)
Wert ausschließen
Association for Computing Machinery (8)
Wert ausschließen
Woodcock, Jim (8)
Wert ausschließen
IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (7)
Wert ausschließen
Kleine Büning, Hans (7)
Wert ausschließen
Broy, Manfred (6)
Wert ausschließen
IEEE Computer Society (6)
Wert ausschließen
ISO International Organization for Standardization (6)
Wert ausschließen
ISO Internationale Organisation für Normung (6)
Wert ausschließen
ISO Organisation Internationale de Normalisation (6)
Wert ausschließen
Retoré, Christian (6)
Wert ausschließen
Richter, Michael M. (6)
Wert ausschließen
Bekki, Daisuke (5)
Wert ausschließen
Pogodalla, Sylvain (5)
Wert ausschließen
Artemov, Sergei (4)
Wert ausschließen
Barringer, Howard (4)
Wert ausschließen
CEI Commission Electrotechnique Internationale (4)
Wert ausschließen
DIN Deutsches Institut für Normung e. V. (4)
Wert ausschließen
DIN German Institute for Standardization (4)
Wert ausschließen
European Association for Computer Science Logic (4)
Wert ausschließen
Gabbay, Dov M. (4)
Wert ausschließen
Garcia-Alfaro, Joaquin (4)
Wert ausschließen
Havelund, Klaus (4)
Wert ausschließen
IEC International Electrotechnical Commission (4)
Wert ausschließen
IEC Internationale Elektrotechnische Kommission (4)
Wert ausschließen
IEEE Computer Society Technical Committee on Multiple Valued Logic (4)
Wert ausschließen
Lecomte, Alain (4)
Wert ausschließen
Marchiori, Massimo (4)
Wert ausschließen
Meseguer, José (4)
Wert ausschließen
Murakami, Yohei (4)
Wert ausschließen
Polleres, Axel (4)
Wert ausschließen
Abramsky, Samson (3)
Wert ausschließen
Alex, Jürgen (3)
Wert ausschließen
Artemov, Sergej N. (3)
Wert ausschließen
Cai, Jin-Yi (3)
Wert ausschließen
DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (3)
Wert ausschließen
Deza, Michel (3)
Wert ausschließen
Dix, Jürgen (3)
Wert ausschließen
Finkbeiner, Bernd (3)
Wert ausschließen
Franconi, Enrico (3)
Wert ausschließen
German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (3)
Wert ausschließen
Grohe, Martin (3)
Wert ausschließen
Leucker, Martin (3)
Wert ausschließen
Lomuscio, Alessio (3)
Wert ausschließen
Manna, Zohar (3)
Wert ausschließen
Martin-Löf, Per (3)
Wert ausschließen
Małuszyński, Jan (3)
Wert ausschließen
McCready, Eric (3)
Wert ausschließen
Meyer, Albert R. (3)
Wert ausschließen
Pacholski, Leszek (3)
Wert ausschließen
Roever, Willem-Paul de (3)
Wert ausschließen
Sanderson, John G. (3)
Wert ausschließen
Schmidt, Renate A. (3)
Wert ausschließen
Siefkes, Dirk (3)
Wert ausschließen
Sokolsky, Oleg (3)
Wert ausschließen
Thomas, Wolfgang (3)
Wert ausschließen
Adjan, Sergej I. (2)
Wert ausschließen
Agha, Gul (2)
Wert ausschließen
Arnold, André (2)
Wert ausschließen
Backhouse, Roland C. (2)
Wert ausschließen
Barahona, Pedro (2)
Wert ausschließen
Baroglio, Cristina (2)
Wert ausschließen
Barthe, Gilles (2)
Wert ausschließen
Bensalem, Saddek (2)
Wert ausschließen
Berardi, Stefano (2)
Wert ausschließen
Best, Eike (2)
Wert ausschließen
Bezhanishvili, Nick (2)
Wert ausschließen
Bibel, Wolfgang (2)
Wert ausschließen
Blache, Philippe (2)
Wert ausschließen
Blum, Edward K. (2)
Wert ausschließen
Bochmann, Gregor von (2)
Wert ausschließen
Bonatti, Piero A. (2)
Wert ausschließen
Boztaş, Serdar (2)
Wert ausschließen
CAV 4 1992 Montréal (2)
Wert ausschließen
COCOON 1 1995 Xi'an (2)
Wert ausschließen
COCOON 2 1996 Hongkong (2)
Wert ausschließen
COLOG 1 1988 Tallin (2)
Wert ausschließen
CSL 3 1989 Kaiserslautern (2)
Wert ausschließen
CSL 4 1990 Heidelberg (2)
Wert ausschließen
CSL 6 1992 San Miniato (2)
Wert ausschließen
CSL 7 1993 Swansea (2)
Wert ausschließen
CSL 8 1994 Kazimierz (2)
Wert ausschließen
CSL 9 1995 Paderborn (2)
Wert ausschließen