Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Bondavalli
Analysis of Temporal Properties of Data Flow Control Systems
IFAC Proceedings Volumes
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements
Related publications
Support of Temporal Data in Database Systems
International Journal of Computer Applications
Verifying Information Flow Properties of Hybrid Systems
Flow Properties of Aluminum Soaps-Hydrocarbon Systems
Bulletin of the Chemical Society of Japan
Chemistry
Temporal Analysis of Time Bounded Digital Systems
Modelling and Control of Systems With Flow
Getting in Control of Your Control Flow With Control-Data Isolation
Sampled-Data Control Systems.
Journal of the Royal Statistical Society. Series A (General)
Abstraction of Clocks in Synchronous Data-Flow Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Data-Driven Spatio-Temporal Discretization for Pedestrian Flow Characterization
Transportation Research, Part C: Emerging Technologies
Transportation
Management Science
Automotive Engineering
Structural Engineering
Civil
Computer Science Applications
Operations Research