Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Bernard Berthomieu

Presentation of the 9th Edition of the Model Checking Contest

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Symmetry Reduced State Classes for Time Petri Nets

2015English

Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

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