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
Krook J
JSON
CSV
XLSX
TXT
Family name
Krook
Given name
Jonas
Initials
J
ORCID
ORCID
0000-0002-9810-4697
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