5
Publications
101
Citations
5
H-Index
2001
Active since
Affiliations
Martin Gasbichler is an author at University of Tübingen specializing in engineering, program analysis, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal MethodsTeachingEducationSystem SoftwareLearning AnalyticsParallel ComputingAutomated Reasoning
Publications per year
2001–2008
5
5
Martin Gasbichler, Michael Sperber · 2002 · 29 citations
Matthias Neubauer, Peter Thiemann, Martin Gasbichler et al. · 2002 · 26 citations
Computational Logic, Engineering, Functional Logic Overloading +13
A Functional Notation for Functional Dependencies
Matthias Neubauer, Peter Thiemann, Martin Gasbichler et al. · 2001 · 25 citations
How to Add Threads to a Sequential LanguageWithout Getting Tangled Up
Martin Gasbichler · 2008 · 11 citations
Htdp and dmda in the battlefield
Annette Bieniusa, Markus Degen, Phillip Heidegger et al. · 2008 · 10 citations
Rows per page
1–5 of 5