Profiles

German Vidal

Prof. Computer Science, MIST, VRAIN, Universitat Politècnica de València

Verified email at dsic.upv.es

Cited by 2145

logic programming explainable artificial intelligence debugging software testing and verification reversible computation

Iain Phillips

Senior Lecturer, Department of Computing, Imperial College London

Verified email at imperial.ac.uk

Cited by 1522

Concurrency Theory Reversible Computation

Irek Ulidowski

School of Computing and Mathematical Sciences, University of Leicester

Verified email at le.ac.uk

Cited by 1367

Reversible Computation Concurrency Theory

Torben Ægidius Mogensen

Computer Science, DIKU, University of Copenhagen

Verified email at di.ku.dk

Cited by 1335

programming languages reversible computation

Markus Schordan

Google

Verified email at google.com

Cited by 1289

Program Analysis Software Verification High-Performance Computing Reversible Computation

Holger Bock Axelsen

Edlund A/S

Verified email at edlund.dk

Cited by 1158

Quantum computation automata theory reversible computation program analysis and transformation computer systems

Claudio Antares Mezzina

Università degli studi di Urbino

Verified email at uniurb.it

Cited by 1132

Theoretical Computer Science Programming Languages Process Calculi Concurrency Theory Reversible Computation

Moein Sarvaghad-Moghaddam

PhD student in Amirkabir University of Technology - Tehran Polytechnic

Verified email at aut.ac.ir

Cited by 175

Quantum Cryptography Distributed Quantum Computation Reversible Computation Quantum Evolutionary Algorithm Quantum Error Cor

Sajib Kumar Mitra

Engineer at Bangladesh Bank

Verified email at bb.org.bd

Cited by 123

Reversible Computation Quantum Computing Enterprise Applications Development

James Hoey

University of Leicester

Verified email at leicester.ac.uk

Cited by 89

Reversible computation

1 - 10