Publications
Download CSV
Download XLSX
Download TXT
Tables
2026 (60)
2025 (847)
2024 (934)
2023 (918)
2022 (1034)
2021 (1042)
2020 (875)
2019 (789)
2018 (914)
2017 (936)
2016 (881)
2015 (693)
2014 (619)
2013 (473)
2012 (344)
2011 (199)
2010 (72)
2009 (38)
2008 (39)
2007 (13)
2006 (19)
2005 (9)
2004 (3)
2003 (2)
2002 (1)
All (11754)
Labels
Labels list
Labels table
Researchers
Subset
Documentation
About
Contact
Software
Login
Ahrendt W
JSON
CSV
XLSX
TXT
Family name
Ahrendt
Given name
Wolfgang
Initials
W
ORCID
ORCID
0000-0002-5671-2555
Affiliations
1 publications
DOI
Crossref
On proving that an unsafe controller is not proven safe
Selvaraj Y
,
Krook J
,
Ahrendt W
,
Fabian M
Journal of Logical and Algebraic Methods in Programming
137
(-) 100939 [2024-02-00; online 2024-02-00]
SciLifeLab Data Centre
Publications
9.5.1