Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yi-Yan Fan
Claudia Calabrese
Daniele Ferdani
Hao Mao
Peter Malec
Giovanni Venturelli
Chandana R. Unnithan
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DIMITRIS KARADIMAS
Author Info
Open Visualization
Name
Affiliation
Papers
DIMITRIS KARADIMAS
AVN Innovat Technol Solut Ltd, Limassol, Cyprus
1
Collaborators
Citations
PageRank
25
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (25 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
0
0.34
2022
1