Works matching IS 14324350 AND DT 2011 AND VI 48 AND IP 3
Results: 14
Generating Shorter Bases for Hard Random Lattices.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 535, doi. 10.1007/s00224-010-9278-3
- By:
- Publication type:
- Article
Model Checking Weighted Integer Reset Timed Automata.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 648, doi. 10.1007/s00224-010-9253-z
- By:
- Publication type:
- Article
Tractable Structures for Constraint Satisfaction with Truth Tables.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 444, doi. 10.1007/s00224-009-9248-9
- By:
- Publication type:
- Article
Semi-Online Preemptive Scheduling: One Algorithm for All Variants.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 577, doi. 10.1007/s00224-010-9287-2
- By:
- Publication type:
- Article
Preface: Special Issue on Theoretical Aspects of Computer Science (STACS).
- Published in:
- 2011
- By:
- Publication type:
- Editorial
Ambiguity and Communication.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 517, doi. 10.1007/s00224-010-9277-4
- By:
- Publication type:
- Article
Weak MSO with the Unbounding Quantifier.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 554, doi. 10.1007/s00224-010-9279-2
- By:
- Publication type:
- Article
On the Complexity of Computing Winning Strategies for Finite Poset Games.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 680, doi. 10.1007/s00224-010-9254-y
- By:
- Publication type:
- Article
Enhanced Mobile Membranes: Computability Results.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 715, doi. 10.1007/s00224-010-9256-9
- By:
- Publication type:
- Article
Computability in Europe 2008.
- Published in:
- 2011
- By:
- Publication type:
- Editorial
Randomness on Computable Probability Spaces-A Dynamical Point of View.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 465, doi. 10.1007/s00224-010-9263-x
- By:
- Publication type:
- Article
Topological Dynamics of Cellular Automata: Dimension Matters.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 693, doi. 10.1007/s00224-010-9255-x
- By:
- Publication type:
- Article
Computability and Complexity in Self-assembly.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 617, doi. 10.1007/s00224-010-9252-0
- By:
- Publication type:
- Article
Fragments of First-Order Logic over Infinite Words.
- Published in:
- Theory of Computing Systems, 2011, v. 48, n. 3, p. 486, doi. 10.1007/s00224-010-9266-7
- By:
- Publication type:
- Article