VS

Vienna Science and Technology Fund

Organization

Visit Website →

4,293

Papers

141,331

Citations

159

h-index

2,041

i10-index

4.23

2yr Impact

Loading papers...

Search by keywords

Filter by Type

Article (3,146)
Preprint (658)
Review (161)
Book Chapter (76)
Letter (23)

Filter by Open Access Type

Open Access (712)
Closed Access (3,443)

Filter by Authors

Claus Lamm (84)
Ulf Dieckmann (49)
Jan‐Michael Peters (46)
Krishnendu Chatterjee (45)
Chris Oostenbrink (44)

Filter by Topics

Formal Methods in Verification (179)
Logic, Reasoning, and Knowledge (147)
Logic, programming, and type systems (122)
Semantic Web and Ontologies (99)
Human-Animal Interaction Studies (88)