The following pages link to Acta Informatica (Q161641):
Displaying 28 items.
- Concurrent abstract state machines (Q303691) (← links)
- Dynamic controllability via timed game automata (Q329422) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Project scheduling with irregular costs: complexity, approximability, and algorithms (Q707495) (← links)
- Final and sequential behaviours of M-automata (Q731331) (← links)
- Two-way pebble transducers for partial functions and their composition (Q748432) (← links)
- Automating the Knuth Bendix ordering (Q751830) (← links)
- Multi-letter quantum finite automata: decidability of the equivalence and minimization of states (Q766174) (← links)
- On some variants of Post's correspondence problem (Q792770) (← links)
- An algorithm for merging heaps (Q797280) (← links)
- Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories (Q799371) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Graph theoretic closure properties of the family of boundary NLC graph languages (Q1084870) (← links)
- Optimal worst case trees (Q1101234) (← links)
- Testing attribute grammars for circularity (Q1162165) (← links)
- Probabilistic models of computer systems. I: Exact results (Q1232750) (← links)
- Proving and applying program transformations expressed with second-order patterns (Q1251063) (← links)
- Towards a theory of consistency enforcement (Q1284698) (← links)
- Decomposing a window into maximal quadtree blocks (Q1323351) (← links)
- Safraless LTL synthesis considering maximal realizability (Q1674867) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- Reachability analysis of reversal-bounded automata on series-parallel graphs (Q1741900) (← links)
- Memory requirements for silent stabilization (Q1818300) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Symmetric binary B-trees: Data structure and maintenance algorithms (Q2551313) (← links)
- A construction of distributed reference counting (Q5941636) (← links)
- Step traces (Q5963403) (← links)
