Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Oded Maler
Learning Regular Languages Over Large Alphabets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Measuring With Timed Patterns
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robust Satisfaction of Temporal Logic Over Real-Valued Signals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry Breaking for Multi-Criteria Mapping and Scheduling on Multicores
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Online Timed Pattern Matching Using Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Performance Evaluation of Schedulers in a Probabilistic Setting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimizing Explicit Data Transfers for Data Parallel Applications on the Cell Architecture
Transactions on Architecture and Code Optimization
Hardware
Information Systems
Architecture
Software
On Universal Search Strategies for Multi-Criteria Optimization Using Weighted Sums
Control From Computer Science
Annual Reviews in Control
Control
Systems Engineering
Software
On Omega-Languages Defined by Mean-Payoff Conditions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›