Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter Csaba Ölveczky

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Probabilistic Real-Time Rewrite Theories and Their Expressive Power

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

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