Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, József Kovács, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Last Will Letter: A Secure Federated P2P Scheme for Blockchain-Oriented Virtual Redundancy and Backup2025 IEEE Access article Computer Science Blockchain Technology Applications and Security Open access
César Cazal, Su Mon Tun, Leonardo Leonzi, Stefan Lankes, Ferdinanda Ponci, Antonello Monti
0citations -
Development of an Augmented Reality User Interface for Collaborative Robotics in Quality Inspection for Manufacturing2023 International Conference on Control and Robotics (ICCR) conference-paper Computer Science Augmented Reality Applications
David Kötter, Gabriel Wiedon, Daniel Meierkord, Minh Trinh, Oliver Petrović, Christian Brecher
0citations -
Visual or Textual: Effects of Explanation Format and Personal Characteristics on the Perception of Explanations in an Educational Recommender System2026 arXiv (Cornell University) preprint Computer Science Recommender Systems and Techniques Open access
Qurat Ul Ain, Mohamed Amine Chatti, Nasim Yazdian Varjani, Farah Kamal, Astrid Marieke Rosenthal-Von Der Pütten
0citations