Follow
Radu Grosu
Radu Grosu
Professor of Computer Science
Verified email at tuwien.ac.at
Title
Cited by
Year
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
H Huang, J Seyster, S Callanan, K Dixit, R Grosu, S Smolka, S Stoller, ...
Journal of Hydrology and Hydromechanics 66, 257-260, 2018
12018
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
Z Jaksic, E Bartocci, R Grosu, R Kloibhofer, T Nguyen, D Nickovic
Journal Of Nanophotonics 3, 1, 2009
32009
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
D Ratasich, B Frömel, O Höftberger, R Grosu
Computer Graphics Forum (eingeladen) 32 (2), 175-184, 2013
2013
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
S Bogomolov, G Frehse, R Grosu, H Ladan, A Podelski
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
L Esterle, R Grosu
Elektrotechnik und Informationstechnik (eingeladen) 133 (7), 299-303, 2016
12016
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
G Radu-last modified Jun, A Murthy, A Islam, SA Smolka, R Grosu, ...
27th International Conference on Concurrency Theory (CONCUR 2016)
F Dahlqvist, V Danos, I Garnier, O Kammar, F Rossi, M Shapiro, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016
2016
3D-OOCS: Learning Prostate Segmentation with Inductive Bias
S Bhandary, Z Babaiee, D Kostyszyn, T Fechter, C Zamboglou, AL Grosu, ...
arXiv preprint arXiv:2110.15664, 2021
12021
4.5 Application Domain: Automotive–Solutions
P Derler, E Bartocci, R Grosu, I Hasuo, P Katsaros, A Marron, S Music, ...
Safety Assurance for Autonomous Mobility, 108, 0
A box-based distance between regions for guiding the reachability analysis of SpaceEx
S Bogomolov, G Frehse, R Grosu, H Ladan, A Podelski, M Wehrle
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
222012
A Change of Perspective Yields Formal Analysis
R Grosu, F Fenton, S Smolka, E Bartocci
2011 IEEE 34th Software Engineering Workshop, 69-76, 2011
12011
A component-based simplex architecture for high-assurance cyber-physical systems
D Phan, J Yang, M Clark, R Grosu, J Schierman, S Smolka, S Stoller
2017 17th International Conference on Application of Concurrency to System …, 2017
412017
A compressive sensing framework for distributed detection of high closeness centrality nodes in networks
H Mahyar, R Hasheminezhad, E Ghalebi, R Grosu, HE Stanley
Complex Networks and Their Applications VII: Volume 2 Proceedings The 7th …, 2019
12019
A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks
R Grosu, HE Stanley
Complex Networks and Their Applications VII: Volume 2 Proceedings The 7th …, 2018
2018
A cycle-linear approach to modeling action potentials
P Ye, E Entcheva, SA Smolka, MR True, R Grosu
2006 International Conference of the IEEE Engineering in Medicine and …, 2006
62006
A Deep Variational Autoencoder for Spatial Patterns Clustering in Wafemap Measurement Data
H Mahyar, E Ghalebi, R Grosu
A Denotational Model for Mobile Many-to-many Data-flow Networks
R Grosu, K Stølen
61996
A denotational model for mobile point-to-point data-flow networks with channel sharing
R Grosu, K Stølen, M Broy
81997
A denotational model for mobile point-to-point dataflow networks
R Grosu, K Stølen
151995
A distributed simplex architecture for multi-agent systems
U Mehmood, SD Stoller, R Grosu, S Roy, A Damare, SA Smolka
International Symposium on Dependable Software Engineering: Theories, Tools …, 2021
92021
The system can't perform the operation now. Try again later.
Articles 1–20