39 citations
- TU WienAT3 papers
- Linköping UniversitySE2 papers
- University of ViennaAT2 papers
- Analysis Group (United States)US1 paper
- Austrian Academy of SciencesAT1 paper
- Barcelona Institute of Science and TechnologyES1 paper
- Budapest University of Technology and EconomicsHU1 paper
- Center for Integrated Quantum Science and TechnologyDE1 paper
- Czech Academy of Sciences, Institute of Organic Chemistry and BiochemistryCZ1 paper
- Eötvös Loránd UniversityHU1 paper
- Graz University of TechnologyAT1 paper
- Hasselt UniversityBE1 paper
11 papers
Software Defined Networks Key Relay for Large-Scale Quantum Key Distribution Networks
Stephan Laschet, Gergely Lendvay, Thomas Lorünser +3
This work addresses the orchestration of large-scale Quantum Key Distribution Networks (QKDNs) using Software Defined Networking (SDN). Building on ETSI and ITU specifications, com…
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…
Physically Large Apertures for Wireless Power Transfer: Performance and Regulatory Aspects
Benjamin J. B. Deutschmann, Ulrich Muehlmann, Ahmet Kaplan +7
Wireless power transfer (WPT) is a promising service for the Internet of Things, providing a cost-effective and sustainable solution to deploy so-called energy-neutral devices on a…
Better Together? The Role of Explanations in Supporting Novices in Individual and Collective Deliberations about AI
Timothée Schmude, Laura Koesten, Torsten Möller +1
Deploying AI systems in public institutions can have far-reaching consequences for many people, making it a matter of public interest. Providing opportunities for stakeholders to c…
FPGA-based LQG controller and hardware-in-the-loop simulator implementation for nanomechanical systems
VojtÄch MlynáÅ, Johannes Berndorfer, Andreas Kugi +1
We present an open-source framework for real-time Linear Quadratic Gaussian (LQG) control and hardware-in-the-loop (HIL) simulation on the affordable Red Pitaya STEMlab FPGA platfo…
Continuous-variable quantum communication
Vladyslav C. Usenko, Antonio AcÃn, Romain Alléaume +8
Tremendous progress in experimental quantum optics in recent decades has enabled the advent of quantum technologies, one of which is quantum communication. Aimed at novel methods f…