Jean-Baptiste Jeannin

Artificial Intelligence · 2014–2016

A researcher in the Science corpus: 3 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 10 citations into it
• Computer Networks and Communications — 9 citations into it
• Computational Theory and Mathematics — 5 citations into it
• Hardware and Architecture — 5 citations into it

Whom Jean-Baptiste Jeannin trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. André Platzer
2. Mykel J. Kochenderfer
3. Sarah M. Loos
4. Jan-David Quesel
5. Jessica E. Holland

Who trusts Jean-Baptiste Jeannin overall

1. Guy Katz
2. Clark W. Barrett
3. David L. Dill

Papers from Jean-Baptiste Jeannin's perspective

Ordered by how strongly the researchers Jean-Baptiste Jeannin trusts endorse each paper. Same corpus, a different order for every researcher.

1. Differential Dynamic Logic for Hybrid Systems (Journal of automated reasoning)
2. Next-Generation Airborne Collision Avoidance System
3. Formal verification of distributed aircraft controllers
4. KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (International Joint Conference on Automated Reasoning)
5. OpenFlow: enabling innovation in campus networks (CCRV)
6. Towards Type Inference for JavaScript
7. The ins and outs of gradual type inference
8. Composing Software Defined Networks (Symposium on Networked Systems Design and Implementation)
9. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
10. Participatory networking: an API for application control of SDNs (Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication)

Their papers

• Type inference for static compilation of JavaScript (2016) — 42 citations
• A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (2015) — 84 citations
• NetKAT: semantic foundations for networks (2014) — 494 citations