Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S Aananthakrishnan
Compositional Dataflow via Abstract Transition Systems
Related publications
Formalization of Abstract State Transition Systems for SAT
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Classification of Dataflow Actors With Satisfiability and Abstract Interpretation
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Compositional Optimization of Disjunctive Abstract Interpretations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Scaling Data Mining in Massively Parallel Dataflow Systems
Compositional Transient Stability Analysis of Power Systems via the Computation of Reachable Sets
Learning Monolingual Compositional Representations via Bilingual Supervision
Compositional Models in Valuation-Based Systems
Belief Functions: Theory and Applications
Quasi-Static Scheduling of Reconfigurable Dataflow Graphs for DSP Systems
