Michael Marz

According to our database, Michael Marz authored at least 9 papers between 1998 and 2017.

Collaborative distances:

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

2017

Precision Farming - Langzeitversuche mit Grunddüngungsstrategien.

Peter Wagner, Michael Marz

Proceedings of the Informatik in der Land-, Forst- und Ernährungswirtschaft, Fokus: Digitale Transformation, 2017

Precision Farming - Direkte und indirekte Erhebung von Makronährstoffen.

Peter Wagner, Michael Marz

Proceedings of the Informatik in der Land-, Forst- und Ernährungswirtschaft, Fokus: Digitale Transformation, 2017

Sensor Fusion - Evaluierung der Eignung von geoelektrischer und Gammasensorik für die indirekte Bestimmung von Phosphor im Boden.

Alexander Mizgirev, Thomas Chudy, Michael Marz, Peter Wagner, Jörg Rühlmann

Proceedings of the Informatik in der Land-, Forst- und Ernährungswirtschaft, Fokus: Digitale Transformation, 2017

2016

Mobile Röntgenfluoreszenzanalytik als Baustein für Sensorfusion-Ansätze für die Bestimmung von Makronährstoffen im Boden? - ein Werkstattbericht.

Michael Marz, Peter Wagner, Linara Arslanova

Proceedings of the Informatik in der Land-, Forst- und Ernährungswirtschaft, Fokus: Intelligente Systeme, 2016

2015

Data-Mining zur Bestimmung von Makronährstoffen (P) auf Basis kleinräumig erhobener Variablen.

Michael Marz, Peter Wagner, Thomas Chudy

Proceedings of the Informatik in der Land-, 2015

2000

A fully abstract model for sequential computation.

Michael Marz

PhD thesis, 2000

1999

An Algebraic View on Recursive Types.

Michael Marz

Appl. Categorical Struct., 1999

Full Abstraction and Universality via Realisability.

Michael Marz, Alexander Rohr, Thomas Streicher

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

A fully abstract model for sequential computation.

Michael Marz

Proceedings of the Workshop on Domains IV 1998, 1998