Fernando Pastawski

According to our database, Fernando Pastawski authored at least 5 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Unifying flavors of fault tolerance with the ZX calculus.

Hector Bombin, Daniel Litinski, Naomi H. Nickerson, Fernando Pastawski, Sam Roberts

Quantum, 2024

2018

The boundaries and twist defects of the color code and their applications to topological quantum computation.

Markus S. Kesselring, Fernando Pastawski, Jens Eisert, Benjamin J. Brown

Quantum, 2018

2010

Limitations of passive protection of quantum information.

Fernando Pastawski, Alastir Kay, Norbert Schuch, J. Ignacio Cirac

Quantum Inf. Comput., 2010

2006

CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.

Gilles Barthe, Benjamin Grégoire, Fernando Pastawski

Proceedings of the Logic for Programming, 2006

2005

Practical Inference for Type-Based Termination in a Polymorphic Setting.

Gilles Barthe, Benjamin Grégoire, Fernando Pastawski

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005