Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Julian Tschannen
Program Checking With Less Hassle
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Runtime Checking for Program Verification
Less Cash, Less Crime: Evidence From the Electronic Benefit Transfer Program
Symbolic Checking of Fuzzy CTL on Fuzzy Program Graph
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination Checking With Types
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Checking Pedigree Consistency With PCS
There's Less "Crocking," Less "Tarnishing" With PLIOLITE LATEX
Chemical and Engineering News
Chemical Engineering
Architecture Conformance Checking With Description Logics
Model Checking MANETs With Arbitrary Mobility
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
