Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jan Otop
Nested Weighted Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Related publications
General Indexation of Weighted Automata
Logical Characterization of Weighted Pebble Walking Automata
Lower-Bound Constrained Runs in Weighted Timed Automata
Equivalences Between Ranked and Unranked Weighted Tree Automata via Binarization
Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems
ACM SIGPLAN Notices
Computer Science
Weighted Logics for Nested Words and Algebraic Formal Power Series
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata
On Weighted Time-Optimal Control for Linear Hybrid Automata Using Quantifier Elimination
IFAC Proceedings Volumes
Multiple Timing of Nested Intervals: Further Evidence for a Weighted Sum of Segments Account
Psychonomic Bulletin and Review
Developmental
Arts
Educational Psychology
Cognitive Psychology
Humanities
Experimental
