Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Timon Gehr
Fine-Grained Semantics for Probabilistic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Revisiting the Semantics of Interval Probabilistic Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Hybrid Agent-Based and Probabilistic Model for Fine-Grained Behavioural Energy Waste Simulation
Behavioral Profiles: A Fine-Grained and Quantitative Approach in Corpus-Based Lexical Semantics
The Mental Lexicon
Linguistics
Language
Cognitive Neuroscience
The Ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Evaluation of Mechanisms for Fine-Grained Parallel Programs in the J-Machine and the Cm-5
Fine-Grained Categorization for 3D Scene Understanding
Discovering Localized Attributes for Fine-Grained Recognition
Communication Optimizations for Fine-Grained UPC Applications
Fine-Grained Open Learner Models
