CUFinder

Daniel STAN

About Daniel STAN

Daniel STAN, With an exceptional h-index of 3 and a recent h-index of 3 (since 2020), a distinguished researcher at Technische Universität Kaiserslautern, specializes in the field of Parameterized Verification, Game theory, Quantitative verification, Stochastic games.

His recent articles reflect a diverse array of research interests and contributions to the field:

SAT-based Learning of Computation Tree Logic

Concurrent Stochastic Lossy Channel Games

Learning Union of Integer Hypercubes with Queries: (with Applications to Monadic Decomposition)

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

Daniel STAN Information

University

Position

___

Citations(all)

78

Citations(since 2020)

53

Cited By

45

hIndex(all)

3

hIndex(since 2020)

3

i10Index(all)

2

i10Index(since 2020)

2

Email

University Profile Page

Google Scholar

Daniel STAN Skills & Research Interests

Parameterized Verification

Game theory

Quantitative verification

Stochastic games

Top articles of Daniel STAN

SAT-based Learning of Computation Tree Logic

2024/2/9

Daniel Stan
Daniel Stan

H-Index: 3

Concurrent Stochastic Lossy Channel Games

2024/2/7

Daniel Stan
Daniel Stan

H-Index: 3

Muhammad Najib
Muhammad Najib

H-Index: 3

Anthony Widjaja Lin
Anthony Widjaja Lin

H-Index: 15

Learning Union of Integer Hypercubes with Queries: (with Applications to Monadic Decomposition)

2021/7/15

Daniel Stan
Daniel Stan

H-Index: 3

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

2021/5/3

Daniel Stan
Daniel Stan

H-Index: 3

See List of Professors in Daniel STAN University(Technische Universität Kaiserslautern)