Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mistral Contrastin
Automatic Reordering for Dataflow Safety of Datalog
Related publications
A Framework for Testing Safety and Effective Computability of Extended Datalog
An Operational Semantics for Network Datalog
Monotonicity Types for Distributed Dataflow
On Abstraction Refinement for Program Analyses in Datalog
Arduino-Based Automatic Safety Vehicle Control
Top-Down Beats Bottom-Up for Constraint Extensions of Datalog
Fuzzy Datalog With Background Knowledge
Teaching Mathematics and Computer Science
Use of Automatic Identification System Data for Estimation of Marine Traffic Safety
Vestnik Gosudarstvennogo universiteta morskogo i rechnogo flota imeni admirala S. O. Makarova
Evaluation of Dataflow Programming Models for Electronic Structure Theory
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software