Scott A. Smolka - Publications, H-index & Citations

Scott A. Smolka

Technische Universitat Wien

42H指数

325论文数

6.8K被引数

收录论文 16

发表时间

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

IF2.6

2025-09-01

OAAI

Chen, Hongkai; Zhang, Zeyu; Roy, Shouvik; Bartocci, Ezio; Smolka, Scott A.; Stoller, Scott; Lin, Shan

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2024-12-01

PREAI

Karimoddini, Ali; Smolka, Scott A.; Karimadini, Mohammad

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2023-01-01

OAAI

Mehmood, Usama; Roy, Shouvik; Damare, Amol; Grosu, Radu; Smolka, Scott A.; Stoller, Scott D.

IEEE ACCESS

IF3.6

2023-01-01

OAAI

Krish, Veena; Paoletti, Nicola; Smolka, Scott A. A.; Rahmati, Amir

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2020-11-01

OAAI

Paoletti, Nicola; Liu, Kin Sum; Chen, Hongkai; Smolka, Scott A.; Lin, Shan

IEEE ACCESS

IF3.6

2020-01-01

OAAI

Shmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka, Scott A.; Zuliani, Paolo

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2019-09-01

OAAI

Abbas, Houssam; Rodionova, Alena; Mamouras, Konstantinos; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2017-02-01

PREAI

Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2013-03-01

OAAI

Murthy, Abhishek; Bartocci, Ezio; Fenton, Flavio H.; Glimm, James; Gray, Richard A.; Cherry, Elizabeth M.; Smolka, Scott A.; Grosu, Radu

COMMUNICATIONS OF THE ACM

IF12.2

2009-03-01

OAAI

Grosu, Radu; Smolka, Scott A.; Corradini, Flavio; Wasilewska, Anita; Entcheva, Emilia; Bartocci, Ezio

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2007-07-01

PREAI

Basu, Samik; Smolka, Scott A.

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2004-03-01

PREAI

Hansel, D; Cleaveland, R; Smolka, SA

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

IF6

1998-01-01

PREAI

Joung, YJ; Smolka, SA

ACM COMPUTING SURVEYS

IF28

1996-12-01

OAAI

Cleaveland, R; Smolka, SA; Alur, R; Baeten, J; Bergstra, JA; Best, E; DeNicola, R; Gill, H; Gorrieri, R; Gouda, MG; Groote, JF; Henzinger, TA; Hoare, CAR; Luginbuhl, D; Meyer, A; Miller, D; Misra, J; Moller, F; Montanari, U; Pnueli, A; Prasad, S; Pratt, VR; Sifakis, J; SmolkaChair, SA; Steffen, B; Thomsen, B; Vaandrager, F; Vardi, M; Wolper, P

ACM COMPUTING SURVEYS

IF28

1995-06-01

OAAI

MOLLER, F; SMOLKA, SA

ACM COMPUTING SURVEYS

IF28

1994-03-01

OAAI

GUPTA, R; SMOLKA, SA; BHASKAR, S

研究方向