Institute of Electrical and Electronics Engineers (26)
Wert ausschließen
Association for Computing Machinery (23)
Wert ausschließen
Vassiliadis, Stamatis (6)
Wert ausschließen
Yang, Laurence Tianruo (6)
Wert ausschließen
Association for Computing Machinery Special Interest Group on Design Automation (5)
Wert ausschließen
Teich, Jürgen (5)
Wert ausschließen
Wong, Stephan (5)
Wert ausschließen
Bereković, Mladen (4)
Wert ausschließen
Dimopoulos, Nikitas (4)
Wert ausschließen
Guo, Minyi (4)
Wert ausschließen
Hämäläinen, Timo D. (4)
Wert ausschließen
Ijspeert, Auke Jan (4)
Wert ausschließen
Steffen, Bernhard (4)
Wert ausschließen
Haubelt, Christian (3)
Wert ausschließen
Hutchison, David (3)
Wert ausschließen
International Federation for Information Processing (3)
Wert ausschließen
Kanade, Takeo (3)
Wert ausschließen
Kittler, Josef (3)
Wert ausschließen
Kleinberg, Jon (3)
Wert ausschließen
Mattern, Friedemann (3)
Wert ausschließen
Mitchell, John C. (3)
Wert ausschließen
Naor, Moni (3)
Wert ausschließen
Nierstrasz, Oscar (3)
Wert ausschließen
Pandu Rangan, C. (3)
Wert ausschließen
Peled, Doron (3)
Wert ausschließen
Sudan, Madhu (3)
Wert ausschließen
Terzopoulos, Demetri (3)
Wert ausschließen
Tygar, Doug (3)
Wert ausschließen
Vardi, Moshe Y. (3)
Wert ausschließen
Weikum, Gerhard (3)
Wert ausschließen
Ada Europe (2)
Wert ausschließen
Bertels, Koen (2)
Wert ausschließen
Bouyssounouse, Bruno (2)
Wert ausschließen
Broy, Manfred (2)
Wert ausschließen
Bräunl, Thomas (2)
Wert ausschließen
Bultan, Tevfik (2)
Wert ausschließen
Cernat, Mihai (2)
Wert ausschließen
Choi, Jin-Young (2)
Wert ausschließen
Davidson, Jack (2)
Wert ausschließen
De Micheli, Giovanni (2)
Wert ausschließen
Denko, Mieso K. (2)
Wert ausschließen
Deprettere, Ed F. (2)
Wert ausschließen
EUC 2007 Taipeh (2)
Wert ausschließen
Fengler, Wolfgang (2)
Wert ausschließen
Frensch, Ewald (2)
Wert ausschließen
Fröhlich, Dominik (2)
Wert ausschließen
Gerstlauer, Andreas (2)
Wert ausschließen
González Harbour, Michael (2)
Wert ausschließen
Graf, Susanne (2)
Wert ausschließen
Gupta, Rajesh Kumar (2)
Wert ausschließen
Higashino, Teruo (2)
Wert ausschließen
Hsiung, Pao-Ann (2)
Wert ausschließen
Hung, Shih-Hao (2)
Wert ausschließen
Hutter, Dieter (2)
Wert ausschließen
Hämäläinen, Timo (2)
Wert ausschließen
IEEE Circuits and Systems Society (2)
Wert ausschließen
IEEE Council on Electronic Design Automation (2)
Wert ausschließen
Jeuring, Johan (2)
Wert ausschließen
Kim, Moonzoo (2)
Wert ausschließen
Kirchhoff, Michael (2)
Wert ausschließen
Ko, Young-Bae (2)
Wert ausschließen
Krüger, Ingolf (2)
Wert ausschließen
Kuo, Tei-Wei (2)
Wert ausschließen
Lee, Insup (2)
Wert ausschließen
Lee, Yann-Hang (2)
Wert ausschließen
Leivant, Daniel (2)
Wert ausschließen
Li, Kuan-Ching (2)
Wert ausschließen
Liu, Zhiming (2)
Wert ausschließen
Meisinger, Michael (2)
Wert ausschließen
Mitschele-Thiel, Andreas (2)
Wert ausschließen
Murata, Masayuki (2)
Wert ausschließen
Namjoshi, Kedar S. (2)
Wert ausschließen
Nauber, Jens (2)
Wert ausschließen
Nauth, Peter (2)
Wert ausschließen
Okamura, Yoshio (2)
Wert ausschließen
Olderog, Ernst-Rüdiger (2)
Wert ausschließen
Park, Soo-Hyun (2)
Wert ausschließen
Petrenko, Alexandre (2)
Wert ausschließen
Ravn, Anders P. (2)
Wert ausschließen
Rößler, Marko (2)
Wert ausschließen
Schepers, Henk (2)
Wert ausschließen
Sha, Edwin (2)
Wert ausschließen
Shao, Zili (2)
Wert ausschließen
Silvano, Cristina (2)
Wert ausschließen
Stapelkamp, Torsten (2)
Wert ausschließen
Tsao, Shiao-Li (2)
Wert ausschließen
Viswanathan, Mahesh (2)
Wert ausschließen
Wakamiya, Naoki (2)
Wert ausschließen
Wang, Farn (2)
Wert ausschließen
Yoneda, Tomohiro (2)
Wert ausschließen
Zeng, Qing-An (2)
Wert ausschließen
Zhang, Wenhui (2)
Wert ausschließen
ACM-IEEE International Conference on Formal Methods and Models for System Design 16. 2018 Peking (1)
Wert ausschließen
ACM-IEEE International Conference on Formal Methods and Models for System Design 18. 2020 Online (1)
Wert ausschließen
ACM/IEEE International Conference on Formal Methods and Models for Codesign 13. 2015 Austin, Tex (1)
Wert ausschließen
ACM/IEEE International Conference on Formal Methods and Models for System Design 14. 2016 Kanpur (1)
Wert ausschließen
ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis 2015 Amsterdam (1)
Wert ausschließen
ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis 2022 Schanghai; Phoenix, Ariz.; Online (1)
Wert ausschließen
ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis 2023 Hamburg (1)
Wert ausschließen
ATVA 2 2004 Taipeh (1)
Wert ausschließen