Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Martin Hofmann

A 2D Typology Generator for Historical Masonry Elements

Construction and Building Materials
BuildingCivilConstructionStructural EngineeringMaterials Science
2018English

On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Verifying a Local Generic Solver in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amortized Resource Analysis With Polynomial Potential

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Pure Pointer Programs and Tree Isomorphism

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Learn With SAT to Minimize Büchi Automata

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2012English

Exploiting Gradient Histograms for Gait-Based Person Identification

2013English

Hypergraphs for Joint Multi-View Reconstruction and Multi-Object Tracking

2013English

Splicing Choice From Ten Variant Exons Establishes CD44 Variability

Nucleic Acids Research
Genetics
1993English

Type-Based Amortised Heap-Space Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy