The Orbit Problem in Higher Dimensions

Authors: Ventsislav Chonev, Joël Ouaknine, James Worrell

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ox.ac.uk/joel.ouaknine/publications/orbit13.pdf.

Subject Terms: F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems—Number-theoretic computations, F.4.3 [Formal Languages, Decision problems General Terms Algorithms, Theory, Verification Keywords Matrix powers, Orbit Problem, Skolem’s Problem

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1387; http://www.cs.ox.ac.uk/joel.ouaknine/publications/orbit13.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1387
http://www.cs.ox.ac.uk/joel.ouaknine/publications/orbit13.pdf

The Tree Width of Auxiliary Storage

Authors: P. Madhusudan, Gennaro Parlato

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www-faculty.cs.uiuc.edu/%7Emadhu/graphautomata-popl11.pdf.

Subject Terms: Software/Program Verification, Model checking, F.4.3 [Theory of Computation, Formal Languages, Decision problems General Terms Algorithms, Reliability, Theory, Verification Keywords model checking, automata, decision procedures, bounded tree-width

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3624

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3624
http://www-faculty.cs.uiuc.edu/%7Emadhu/graphautomata-popl11.pdf