×
Edit Profile (opens in new tab)

Sheridan, Daniel

Co-Author Distance
Author ID: sheridan.daniel Recent zbMATH articles by "Sheridan, Daniel"
Published as: Sheridan, Daniel
External Links: MGP
Documents Indexed: 6 Publications since 2001
Co-Authors: 5 Co-Authors with 4 Joint Publications
228 Co-Co-Authors

Co-Authors

2 single-authored
2 Jackson, Paul B.
1 Cimatti, Alessandro
1 Frisch, Alan M.
1 Roveri, Marco
1 Walsh, Toby

Serials

Fields

6 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 15 times in 12 Documents Cited by ▼ Year ▼
Bounded verification of past LTL. Zbl 1117.68424
Cimatti, Alessandro; Roveri, Marco; Sheridan, Daniel
6
2004
Clause form conversions for Boolean circuits. Zbl 1122.68603
Jackson, Paul; Sheridan, Daniel
6
2005
A fixpoint based encoding for bounded model checking. Zbl 1019.68590
Frisch, Alan; Sheridan, Daniel; Walsh, Toby
3
2002
Clause form conversions for Boolean circuits. Zbl 1122.68603
Jackson, Paul; Sheridan, Daniel
6
2005
Bounded verification of past LTL. Zbl 1117.68424
Cimatti, Alessandro; Roveri, Marco; Sheridan, Daniel
6
2004
A fixpoint based encoding for bounded model checking. Zbl 1019.68590
Frisch, Alan; Sheridan, Daniel; Walsh, Toby
3
2002
all cited Publications top 5 cited Publications
all top 5

Cited by 30 Authors

2 Giunchiglia, Enrico
2 Maratea, Marco
1 Baarir, Souheib
1 Biere, Armin
1 Cérin, Christophe
1 Dax, Christian
1 Di Rosa, Emanuele
1 Dong, Wei
1 Fu, Xianjin
1 Geatti, Luca
1 Gigante, Nicola
1 Heule, Marijn J. H.
1 Jackson, Paul B.
1 Järvisalo, Matti
1 Kheireddine, Anissa
1 Klaedtke, Felix
1 Lange, Martin
1 Liu, Wanwei
1 Mao, Xiaoguang
1 Montanari, Angelo
1 Ngoko, Yanik
1 Renault, Etienne
1 Schuppan, Viktor
1 Sheridan, Daniel
1 Trystram, Denis R.
1 Vardi, Moshe Ya’akov
1 Vavrille, Mathieu
1 Venturato, Gabriele
1 Wang, Ji
1 Wang, Rui
all top 5

Cited in 6 Serials

3 Constraints
2 Journal of Automated Reasoning
1 Acta Informatica
1 Science of Computer Programming
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Applied Mathematics

Cited in 5 Fields

12 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
1 Numerical analysis (65-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year