Verifying the steane code with quantomatic

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

;Lucas, Maxime
Référence Electronic proceedings in theoretical computer science, 171, page (33-49)
Publication Publié, 2014-12

Article révisé par les pairs

Fichier importé via le DOI

Constructing Hopf bifurcation lines for the stability of nonlinear systems with two time delays
par Nguimdo, Romain
Publication 2018-03
Achieving estimated health and budget gains through combined HIV prevention: theoretical results require real-world effort
par Vermeersch, Sebastian , Callens, Steven , De Wit, Stéphane , Goffard, Jean-Christophe , Van Beckhoven, Dominique , Annemans, Lieven
Publication 2018-03
Choice of chemotherapy regimen for early HER2-positive breast cancer in elderly patients
par Pondé, Noam , de Azambuja, Evandro
Publication 2018-02
Large h → b s in generic two-Higgs-doublet models
par Crivellin, Andreas , Heeck, Julian , Müller, Dario
Publication 2018-02
Reply to the letter to the editor 'Toxicity adjustment in the ESMO-MCBS: A Gestalt approach?' by Del Paggio
par Cherny, Nathan NI , de Vries, Elisabeth Ge E Liesbeth E. , Dafni, Urania , Bogaerts, Jan , Latino, N.J. , Pentheroudakis, George , Douillard, Jean-Yves , Tabernero, Josep , Zielinski, Christoph , Piccart-Gebhart, Martine
Publication 2018-02

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.