Search for persons
X
?
2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits) ,
1
E-Core Implementation in Intel 4 with PowerVia (Backside Po..:
, In:
?
The City Project; Information and Communications Technologies for Smart Cities and Societies ,
4
Paving the Way to Society/Industry 5.0: The SmartMe.IO Expe..:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
5
On the Trade-Off Between Efficiency and Precision of Neural..:
, In:
?
2022 IEEE International Symposium on Medical Measurements and Applications (MeMeA) ,
6
A Simple and Efficient Near-lossless Compression Algorithm ..:
, In:
?
Lecture Notes in Computer Science; Principles of Systems Design ,
7
Symbolic Analysis of Linear Hybrid Automata – 25 Years Late:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
8
Neural termination analysis:
, In:
?
Lecture Notes in Networks and Systems; New Metropolitan Perspectives ,
9
Intra-scale Design and Benefit Assessment of Green Stormwat..:
, In:
?
2022 IEEE Biennial Congress of Argentina (ARGENCON) ,
10
Intelligent policy determination in Petri Nets:
, In:
?
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ,
11
FOSSIL : a software tool for the formal synthesis of lya..:
, In:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
12
Shielding Atari Games with Bounded Prescience:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
13
Learning Probabilistic Termination Proofs:
, In:
?
Lecture Notes in Mechanical Engineering; Proceedings of XXIV AIMETA Conference 2019 ,
15