 [2017-12-8] A compositional semantics for the reversible pi-calculus
|
2019-12-23 |
| [2017-12-8] Can we make readable formal proofs ?
|
2019-12-23 |
| [2017-11-17] Programming with Higher Inductive Types
|
2019-12-23 |
| [2017-11-15]An Introduction to Quantum Programming using Quipper
|
2019-12-23 |
| [2017-11-10] Verification of Concurrent Data Structures
|
2019-12-23 |
| [2017-11-09] Efficient classical simulation of noisy quantum circuit
|
2019-12-23 |
| [2017-11-07] Compositional Methods for CPS Design
|
2019-12-23 |
| [2017-11-03] Visual Creativity for Art and Science
|
2019-12-20 |
| [2017-10-25] Formal Methods: A Historical Perspective
|
2019-12-20 |
| [10-12] AN ARITHMETIC FOR ROOTED TREES
|
2017-10-11 |
| [10-9]Deep View Morphing
|
2017-10-09 |
| [9-5] Global Structure-from-Motion and Its Application
|
2017-09-01 |
| [8-16]From Clarity to Efficiency for Distributed Algorithms
|
2017-08-14 |
| [7-26]From Big Data to Big Knowledge: Knowledge Engineering with Big Data
|
2017-07-19 |
| [7-12]Checking Crash Consistency on Storage Systems
|
2017-07-11 |
