| Event Structures for the Reversible Early Internal π-Calculus
|
2020 |
Graversen, Eva |
| Hermes: A Language for Light-Weight Encryption
|
2020 |
Mogensen, Torben Egidius |
| Toward a Curry-Howard Equivalence for Linear, Reversible Computation: Work-in-Progress
|
2020 |
Chardonnet, Kostia |
| Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem
|
2020 |
Brugière, Timothée Goubault de |
| ReverCSP: Time-Travelling in CSP Computations
|
2020 |
Galindo, Carlos |
| Towards a Formal Account for Software Transactional Memory
|
2020 |
Medic, Doriana |
| Maximality of Reversible Gate Sets
|
2020 |
Boykett, Tim |
| Fractional Types: Expressive and Safe Space Management for Ancilla Bits
|
2020 |
Chen, Chao-Hong |
| Reversible Computations in Logic Programmi
|
2020 |
Vidal, Germán |
| A Reversible Runtime Environment for Parallel Programs
|
2020 |
Ikeda, Takashi |
| Involutory Turing Machines
|
2020 |
Nakano, Keisuke |
| Reversible Occurrence Nets and Causal Reversible Prime Event Structures
|
2020 |
Melgratti, Hernán |
| On the Expressivity of Total Reversible Programming Languages
|
2020 |
Matos, Armando B. |
| Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems
|
2020 |
Perkowski, Marek |
| Reversible Programming Languages Capturing Complexity Classes
|
2020 |
Kristiansen, Lars |
| A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quippe
|
2020 |
Fu, Peng |
| Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
|
2020 |
Miller, D. Michael |
| Encoding Reversing Petri Nets in Answer Set Programming
|
2020 |
Dimopoulos, Yannis |
Tag hinzufügen