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
Selvaraj Y
JSON
CSV
XLSX
TXT
Family name
Selvaraj
Given name
Yuvaraj
Initials
Y
ORCID
ORCID
0000-0003-2184-3069
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