A Split-Based Incremental Deterministic Automata Minimization Algorithm.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 319, doi. 10.1007/s00224-014-9588-y
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2015 AND VI 57 AND IP 2
Results: 8
1
2
Schemas for Unordered XML on a DIME.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 337, doi. 10.1007/s00224-014-9593-1
- By:
- Publication type:
- Article
3
The Strong Price of Anarchy of Linear Bottleneck Congestion Games.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 377, doi. 10.1007/s00224-014-9598-9
- By:
- Publication type:
- Article
4
FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 397, doi. 10.1007/s00224-014-9599-8
- By:
- Publication type:
- Article
5
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 426, doi. 10.1007/s00224-014-9600-6
- By:
- Publication type:
- Article
6
Enhancing the Computation of Distributed Shortest Paths on Power-law Networks in Dynamic Scenarios.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 444, doi. 10.1007/s00224-015-9608-6
- By:
- Publication type:
- Article
7
An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 478, doi. 10.1007/s00224-015-9609-5
- By:
- Publication type:
- Article
8
Synchronizing Relations on Words.
- Published in:
- Theory of Computing Systems, 2015, v. 57, n. 2, p. 287, doi. 10.1007/s00224-014-9584-2
- By:
- Publication type:
- Article