Search Results - Hofman, Piotr

Refine Results
  1. 1
    Linear equations for unordered data vectors in $[D]^k\to{}Z^d

    Linear equations for unordered data vectors in $[D]^k\to{}Z^d by Hofman, Piotr, Różycki, Jakub

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Relating timed and register automata

    Relating timed and register automata by FIGUEIRA, DIEGO, HOFMAN, PIOTR, LASOTA, SŁAWOMIR

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Shortest paths in one-counter systems

    Shortest paths in one-counter systems by Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Simulation Problems Over One-Counter Nets

    Simulation Problems Over One-Counter Nets by Hofman, Piotr, Lasota, Slawomir, Mayr, Richard, Totzke, Patrick

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Trace inclusion for one-counter nets revisited

    Trace inclusion for one-counter nets revisited by Hofman, Piotr, Totzke, Patrick

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Orbit-finite linear programming

    Orbit-finite linear programming by Ghosh, Arka, Hofman, Piotr, Lasota, Sławomir

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Reachability Problem for Weak Multi-Pushdown Automata

    Reachability Problem for Weak Multi-Pushdown Automata by Czerwiński, Wojciech, Hofman, Piotr, Lasota, SŁawomir

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Approximating Weak Bisimilarity of Basic Parallel Processes

    Approximating Weak Bisimilarity of Basic Parallel Processes by Hofman, Piotr, Totzke, Patrick

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Relating timed and register automata

    Relating timed and register automata by Figueira, Diego, Hofman, Piotr, Lasota, Sławomir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    A lower bound for the coverability problem in acyclic pushdown VAS

    A lower bound for the coverability problem in acyclic pushdown VAS by Englert, Matthias, Hofman, Piotr, Lasota, Sławomir, Lazić, Ranko, Leroux, Jérôme, Straszyński, Juliusz

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

    Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable by Czerwiński, Wojciech, Hofman, Piotr

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Decidability of Weak Simulation on One-Counter Nets

    Decidability of Weak Simulation on One-Counter Nets by Hofman, Piotr, Mayr, Richard, Totzke, Patrick

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Orbit-finite linear programming

    Orbit-finite linear programming by Ghosh, Arka, Hofman, Piotr, Lasota, Sławomir

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes

    Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes by Czerwiński, Wojciech, Hofman, Piotr, Lasota, Sławomir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    The complexity of regular abstractions of one-counter languages

    The complexity of regular abstractions of one-counter languages by Atig, Mohamed Faouzi, Chistikov, Dmitry, Hofman, Piotr, Kumar, K Narayan, Saivasan, Prakash, Zetzsche, Georg

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Linear equations for unordered data vectors in \([D]^k\to{}Z^d\)

    Linear equations for unordered data vectors in \([D]^k\to{}Z^d\) by Hofman, Piotr, Różycki, Jakub

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Solvability of orbit-finite systems of linear equations

    Solvability of orbit-finite systems of linear equations by Ghosh, Arka, Hofman, Piotr, Lasota, Sławomir

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Linear Equations with Ordered Data

    Linear Equations with Ordered Data by Hofman, Piotr, Lasota, Sławomir

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Shortest paths in one-counter systems

    Shortest paths in one-counter systems by Chistikov, Dmitry, Czerwiński, Wojciech, Hofman, Piotr, Pilipczuk, Michał, Wehar, Michael

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Universality Problem for Unambiguous VASS

    Universality Problem for Unambiguous VASS by Czerwiński, Wojciech, Figueira, Diego, Hofman, Piotr

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: