Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Viktor Schuppan

RATSY – A New Requirements Analysis Tool With Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Shortest Counterexamples for Symbolic Model Checking of LTL With Past

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

JNuke: Efficient Dynamic Analysis for Java

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Related publications

Expository Research Papers

SIAM Review
Computational MathematicsApplied MathematicsTheoretical Computer Science
2011English

On-Demand Generation and Characterization of a Microwave Time-Bin Qubit

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2020English

Hierarchical Quantum Classifiers

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Survey and Review

SIAM Review
Computational MathematicsApplied MathematicsTheoretical Computer Science
2012English

Direct Observation of Broadband Nonclassical States in a Room-Temperature Light–matter Interface

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Learning Hard Quantum Distributions With Variational Autoencoders

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Observation of Topological Uhlmann Phases With Superconducting Qubits

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

An Efficient Evolutionary Algorithm for Chance-Constrained Bi-Objective Stochastic Optimization

IEEE Transactions on Evolutionary Computation
Theoretical Computer ScienceComputational TheorySoftwareMathematics
2013English

Engineering the Quantum-Classical Interface of Solid-State Qubits

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2015English

Quantum Annealing Versus Classical Machine Learning Applied to a Simplified Computational Biology Problem

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy