constraint automata
Recently Published Documents

TOTAL DOCUMENTS

29
(FIVE YEARS 1)

H-INDEX

6
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Soft constraint automata with memory

2021 ◽  
Vol 118 ◽  
pp. 100615
Author(s):  
Kasper Dokter ◽  
Fabio Gadducci ◽  
Benjamin Lion ◽  
Francesco Santini
Keyword(s):  
Soft Constraint ◽  
Constraint Automata ◽  
With Memory

scholarly journals Soft Constraint Automata with Memory

2018 ◽  
pp. 70-85
Author(s):  
Kasper Dokter ◽  
Fabio Gadducci ◽  
Francesco Santini
Keyword(s):  
Soft Constraint ◽  
Constraint Automata ◽  
With Memory

scholarly journals Constraint automata with memory cells and their composition

2017 ◽  
Vol 146 ◽  
pp. 50-86 ◽  
Author(s):  
S.-S.T.Q. Jongmans ◽  
T. Kappé ◽  
F. Arbab
Keyword(s):  
Memory Cells ◽  
Constraint Automata ◽  
With Memory

scholarly journals Data optimizations for constraint automata

2017 ◽  
Vol 12 (3) ◽  
Author(s):  
Sung-Shik Jongmans ◽  
Farhad Arbab
Keyword(s):  
Constraint Automata

scholarly journals Composing Constraint Automata, State-by-State

2016 ◽  
pp. 217-236 ◽  
Author(s):  
Sung-Shik T. Q. Jongmans ◽  
Tobias Kappé ◽  
Farhad Arbab
Keyword(s):  
Constraint Automata

scholarly journals Partially distributed coordination with Reo and constraint automata

2015 ◽  
Vol 9 (3-4) ◽  
pp. 311-339 ◽  
Author(s):  
Sung-Shik T. Q. Jongmans ◽  
Francesco Santini ◽  
Farhad Arbab
Keyword(s):  
Distributed Coordination ◽  
Constraint Automata

scholarly journals Symbolic execution of Reo circuits using constraint automata

2012 ◽  
Vol 77 (7-8) ◽  
pp. 848-869 ◽  
Author(s):  
Bahman Pourvatan ◽  
Marjan Sirjani ◽  
Hossein Hojjat ◽  
Farhad Arbab
Keyword(s):  
Symbolic Execution ◽  
Constraint Automata

Decomposition of Constraint Automata

2012 ◽  
pp. 237-258
Author(s):  
Bahman Pourvatan ◽  
Marjan Sirjani ◽  
Farhad Arbab ◽  
Marcello M. Bonsangue
Keyword(s):  
Constraint Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document