Martin Lange

Identifiers

• name variant Martin Lange 0.60 · backfill

Papers (9)

1. The Complexity of Verifying Feedforward Neural Networks in Quantised Settings cs.CC · 2026 · author #2
2. Reachability In Simple Neural Networks cs.CC · 2022 · author #2
3. Protein search for multiple targets on DNA q-bio.SC · 2015 · author #1
4. The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs cs.CY · 2015 · author #3
5. Room-temperature condensation in whispering gallery microresonators assisted by longitudinal optical phonons cond-mat.mes-hall · 2015 · author #4
6. On Guarded Transformation In The Modal Mu-Calculus cs.LO · 2013 · author #3
7. Extended Computation Tree Logic cs.LO · 2010 · author #4
8. On the Hybrid Extension of CTL and CTL+ cs.LO · 2009 · author #2
9. The Complexity of Model Checking Higher-Order Fixpoint Logic cs.LO · 2007 · author #2

Mentions

• 1507.03666 #3 · backfill · confidence 0.70 Martin Lange
• 1501.01255 #4 · backfill · confidence 0.70 Martin Lange
• 2605.29537 #2 · arxiv_oai · confidence 0.70 Martin Lange
• 1305.0648 #3 · backfill · confidence 0.70 Martin Lange
• 1006.3709 #4 · backfill · confidence 0.70 Martin Lange
• 0906.2541 #2 · backfill · confidence 0.70 Martin Lange
• 0704.3931 #2 · backfill · confidence 0.70 Martin Lange

Frequent Coauthors

• Marco S\"alzer 2 shared papers
• Roland Axelsson 2 shared papers
• Ahmet Kara 1 shared papers
• Anatoly B. Kolomeisky 1 shared papers
• Arno Ehle 1 shared papers
• Christof P. Dietrich 1 shared papers
• Eric Alsmann 1 shared papers
• Florian Bruse 1 shared papers
• Maria Kochugaeva 1 shared papers
• Marius Grundmann 1 shared papers
• Markus Latte 1 shared papers
• Matthew Hague 1 shared papers
• Norbert Hundeshagen 1 shared papers
• Oliver Friedmann 1 shared papers
• Rafal Somla 1 shared papers
• R\"udiger Schmidt-Grund 1 shared papers
• Stephan Kreutzer 1 shared papers
• Thomas Schwentick 1 shared papers
• Tom Michalsky 1 shared papers
• Volker Weber 1 shared papers