※一部利用できない機能があります
- European Conferences on Theory and Practice of Software (10)
- IEEE Power Electronics Specialists Conference (9)
- ACM Special Interest Group on Algorithms and Computation Theory (8)
- ACM Symposium on Theory of Computing (8)
- 光産業技術振興協会 (6)
- IEEE Power Electronics Society (5)
- European Symposium on Programming (4)
- VMCAI (4)
- Voronkov, A. (Andreĭ), 1959- (4)
- ATVA (3)
- International Colloquium on Automata, Languages and Programming (3)
- International Conference on Rewriting Techniques and Applications (3)
- International Workshop on Compiler Construction (3)
- Jansen, Klaus (3)
- LPAR (3)
- SAS (3)
- Workshop on Approximation Algorithms for Combinatorial Optimization Problems (3)
- Baader, Franz (2)
- Baier, Christel (2)
- Bruynooghe, Maurice (2)
- CAV (Conference) (2)
- CG (2)
- Conference on Foundations of Software Technology and Theoretical Computer Science (2)
- Cortesi, Agostino (2)
- DISC (2)
- European Association for Computer Science Logic (2)
- European Conference on Object-Oriented Programming (2)
- European PVM/MPI Users' Group Meeting (2)
- FORMATS (2)
- FOSSACS (2)
- Friedrichs, Peter (2)
- Gibbons, Jeremy (2)
- Herik, H. Jaap van den (2)
- Hermanns, Holger, 1967- (2)
- ICTAC (2)
- International Computing and Combinatorics Conference (2)
- International Conference on Concurrency Theory (2)
- International Workshop on Formal Approaches to Testing of Software (2)
- International Workshop on Randomization and Computation (2)
- JELIA (2)
- Ley, Lothar, 1943- (2)
- Meersman, R. (2)
- Pensl, G. (Gerhard) (2)
- Rolim, José D. P. (2)
- Scandinavian Workshop on Algorithm Theory (2)
- Stenström, Per (2)
- Tari, Zahir (2)
- Vardi, Moshe (2)
- Workshop on Computer Science Logic (2)
- Workshop on Languages and Compilers for Parallel Computing (2)
- 木本, 恒暢 (2)
- ACG (1)
- ACM/IFIP/USENIX International Middleware Conference (1)
- ACNS (1)
- ADHOC-NOW (1)
- APLAS (1)
- Aagaard, Mark D. (1)
- Abramsky, Samson, 1953- (1)
- Adams, Niall M. (1)
- Advanced Course in Artificial Intelligence (1)
- Alferes, José Júlio (1)
- Anderson, James H. (1)
- Arge, L. (Lars) (1)
- Arun-Kumar, S (1)
- Arvind, V. (1)
- Asian Computing Science Conference (1)
- Attie, Paul C. (1)
- Baaz, Matthias (1)
- Backhouse, Roland C., 1948- (1)
- Ball, Thomas (1)
- Bampis, Evripidis (1)
- Barthe, Gilles (1)
- Beckert, Bernhard (1)
- Bella, Giampaolo (1)
- Best, Eike, 1951- (1)
- Björnsson, Yngvi, 1964- (1)
- Bolton, Richard (1)
- Bošnački, Dragan (1)
- Bradfield, Julian (1)
- Broy, M., 1949- (1)
- Bugliesi, Michele (1)
- Burmester, Mike (1)
- Bücher, Philipp (1)
- CALCO (1)
- CBSE (1)
- Cachin, Christian (1)
- Caferra, Ricardo (1)
- Calzarossa, Maria Carla, 1958- (1)
- Castro, Jaelson (1)
- Cervesato, Iliano (1)
- Cesana, Matteo (1)
- Chekuri, Chandra (1)
- Chen, Denny Z (1)
- Chin, Wei-Ngan (1)
- Christensen, H. I. (Henrik I.), 1962- (1)
- Chwa, Kyung-Yong (1)
- Ciancarini, Paolo, 1959- (1)
- Coen-Porisini, Alberto (1)
- Comon-Lundh, Hubert (1)
- Computer Technology Institute (1)