※一部利用できない機能があります
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (16)
- Symposium on Foundations of Computer Science (11)
- Symposium on Logic in Computer Science (9)
- IEEE Computer Society. Technical Committee on Parallel Processing (6)
- IPDPS (4)
- ACM Special Interest Group for Automata and Computability Theory (3)
- Bjørner, D. (Dines), 1937- (3)
- European Association for Theoretical Computer Science (3)
- IEEE Computer Society (3)
- ACM SIGARCH (2)
- Association for Symbolic Logic (2)
- Hromkovic̆, Juraj, 1958- (2)
- IEEE Computer Society Technical Committee on Computer Architecture (2)
- IEEE Computer Society Technical Committee on Distributed Processing (2)
- Kozen, Dexter, 1951- (2)
- Vivien, Frederic (2)
- ACM Special Interest Group in Programming Languages (1)
- ACM Special Interest Group on Algorithms and Computation Theory (1)
- ACM Symposium on Principles of Programming Languages (1)
- Aanestad, Margunn (1)
- Abramsky, Samson, 1953- (1)
- Academy of Finland (1)
- Al Agha, Khaldoun (1)
- Aleksy, Markus (1)
- Apte, Uday M. (1)
- Arge, Lars (1)
- Asanee, Kawtrakul (1)
- Asia-Pacific Conference on IAT (1)
- Association of Symbolic Logic (1)
- Auler, Rafael (1)
- Bassett, Lindsay (1)
- Benoit, Anne (1)
- Biggs, Norman L. (1)
- Blaum, Mario, 1951- (1)
- Bloem, Roderick (1)
- Boca, Paul (1)
- Bonneau, Georges-Pierre (1)
- Bowen, Jonathan P. (1)
- Bradshaw, Jeffrey M. (1)
- Bunke, Horst O. (1)
- Buono, Salvatore A., (1)
- Bérard, Béatrice (1)
- Börger, Egon, 1946- (1)
- Carter, Colin (1)
- Chi, Ed H. (1)
- Chia, Siow Yue (1)
- Choe, Geon Ho (1)
- Clarke, Edmund M. (1)
- Cohn, Ronald (1)
- D'Souza, Deepak (1)
- Dathan, Brahma (1)
- Desai, Uday B. (1)
- Diehl, Moritz (1)
- Downey, R. G. (Rod G.) (1)
- Duin, Robert P. W. (1)
- European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research (1)
- Farrell, Patrick G. (1)
- Feynman, Richard Phillips, 1918-1988 (1)
- Fields Institute for Research in Mathematical Sciences (1)
- Fomin, Fedor V. (1)
- Forall Systems IBM (1)
- Fransis, Paul (1)
- Fuhrmann, Paul Abraham, 1983- (1)
- Gabbay, Dov M., 1945- (1)
- Gong, Shaogang (1)
- Gross, Hans-Gerhard (1)
- Guan, Ling (1)
- Hankin, Chris (1)
- Harel, David, 1950- (1)
- Hartley, Richard (1)
- Helmke, Uwe, 1952- (1)
- Henson, Martin C. (1)
- Henzinger, Thomas A. (1)
- Hirschfeldt, Denis R. (1)
- Homer, S. (Steven) (1)
- IEEE Computer Society. TC on Distributed Processing (1)
- IEEE Computer Society. Technical Committee on Computer Architecture (1)
- IEEE Computer Society. Technical society on Foundations of Computing (1)
- IEEE Symposium on Parallel and Distributed Processing (1)
- Institute of Electrical and Electronics Engineers (1)
- International Workshop on Academic Information Networks and Systems (1)
- Italiano, Giuseppe F. (1)
- Izquierdo, E. (Ebroul) (1)
- Jain, Anil K., 1948- (1)
- Jalloul, Ghinwa (1)
- Jalote, P. (1)
- Kandel, Abraham (1)
- Karmarkar, Uday S. (Uday Sadashiv) (1)
- Kaufmann, Matt (1)
- Kiesler, Sara (1)
- Kluge, Werner (1)
- Kopparapu, Sunil K. (1)
- Korthaus, A. (Axel), 1969- (1)
- Kratsch, D. (Dieter) (1)
- Kumar, Vijay (1)
- Le Centre de Recherches Mathématiques (CRM) (1)
- Leonard, Naomi Ehrich (1)
- Leung, Kwong Sak, 1955- (1)
- Li, Stan Z., 1958- (1)
- Li, Xiaobo (1)