Ellie D Hondt - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Classical Knowledge for Quantum SecurityEllie D Hondt, Mehrnoosh Sadrzadeh. ENTCS, 270(1):155-163, 2011. [doi]

2009

Distributed Quantum ProgrammingEllie D Hondt, Yves Vandriessche. uc 2009: 110-124 [doi]

Quantum approaches to graph colouringEllie D Hondt. TCS, 410(4-5):302-309, 2009. [doi]

2008

Classical Knowledge for Quantum Cryptographic ReasoningVincent Danos, Ellie D Hondt. ENTCS, 192(3):39-58, 2008. [doi]

2007

Distributed Measurement-based Quantum ComputationVincent Danos, Ellie D Hondt, Elham Kashefi, Prakash Panangaden. ENTCS, 170:73-94, 2007. [doi]

2006

A Model Curriculum for Aspect-Oriented Software DevelopmentJohan Brichau, Ruzanna Chitchyan, Siobhán Clarke, Ellie D Hondt, Alessandro Garcia, Michael Haupt, Wouter Joosen, Shmuel Katz, Jacques Noyé, Awais Rashid, Mario Südholt. IEEE Software, 23(6):53-61, 2006. [doi]

Quantum weakest preconditionsEllie D Hondt, Prakash Panangaden. mscs, 16(3):429-451, 2006. [doi]

2005

Reasoning About Quantum KnowledgeEllie D Hondt, Prakash Panangaden. fsttcs 2005: 553-564 [doi]

2001

Amorphous GeometryEllie D Hondt, Theo D Hondt. ecal 2001: 645-648 [doi]