Fabian Meier

According to our database, Fabian Meier authored at least 3 papers between 2007 and 2017.

Collaborative distances:

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

2017

Foundational nonuniform (Co)datatypes for higher-order logic.

Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu, Dmitriy Traytel

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.

Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2007

Combined SOA Maturity Model (CSOAMM): Towards a Guide for SOA Adoption.

Eva Söderström, Fabian Meier

Proceedings of the Enterprise Interoperability II, 2007