Hanna Lachnitt

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	Relational Models of Microarchitectures for Formal Security Analyses	2021	Nicholas Mosier Hanna Lachnitt Hamed Nemati Caroline Trippel
+ PDF Chat	Certified Quantum Computation in Isabelle/HOL	2020	Anthony Bordg Hanna Lachnitt Yijun He
+ PDF Chat	Formalizing Graph Trail Properties in Isabelle/HOL	2020	Laura Kovács Hanna Lachnitt Stefan Szeider
+ PDF Chat	Induction with Generalization in Superposition Reasoning	2020	Laura Kovács Hanna Lachnitt Stefan Szeider

Common Coauthors

Coauthor	Papers Together
Stefan Szeider	2
Laura Kovács	2
Nicholas Mosier	1
Hamed Nemati	1
Yijun He	1
Caroline Trippel	1
Anthony Bordg	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Monotone paths in edge-ordered sparse graphs	2001	Y. Roditty B. Shoham Raphael Yuster	2
+ PDF Chat	Large Monotone Paths in Graphs with Bounded Degree	2001	Raphael Yuster	2
+	Monotone Paths in Dense Edge-Ordered Graphs	2015	Kevin G. Milans	2
+ PDF Chat	Increasing Paths in Edge-Ordered Graphs: The Hypercube and Random Graph	2016	Jessica De Silva Theodore Molla Florian Pfender Troy Retter Michael Tait	1
+ PDF Chat	AN INTRODUCTION TO QUANTUM GAME THEORY	2002	Adrian P. Flitney Derek Abbott	1
+ PDF Chat	Formalization of Quantum Protocols using Coq	2015	Jaap Boender Florian Kammüller Rajagopal Nagarajan	1
+ PDF Chat	The inductive approach to verifying cryptographic protocols	1998	Lawrence C. Paulson	1
+ PDF Chat	QWIRE Practice: Formal Verification of Quantum Circuits in Coq	2018	Robert W. Rand Jennifer Paykin Steve Zdancewic	1
+	Nearly-linear monotone paths in edge-ordered graphs.	2018	Matija Bucić Matthew Kwan Alexey Pokrovskiy Benny Sudakov Tuan Tran Adam Zsolt Wagner	1
+	Increasing paths in edge-ordered graphs: the hypercube and random graphs	2015	Jessica De Silva Theodore Molla Florian Pfender Troy Retter Michael Tait	1
+ PDF Chat	Coming to terms with quantified reasoning	2017	Laura Kovács Simon Robillard Андрей Воронков	1
+ PDF Chat	Quantum Games and Quantum Strategies	1999	Jens Eisert Martin Wilkens Maciej Lewenstein	1
+ PDF Chat	Comment on “Quantum Games and Quantum Strategies''	2001	Simon C. Benjamin Patrick Hayden	1