Search Results - Computer Engineering

Refine Results
  1. Cover Image

    Relating Reversible Petri Nets and Reversible Event Structures, categorically

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Stochastic Window Mean-Payoff Games

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Discounted-Sum Automata with Multiple Discount Factors

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Completions of Kleene's second model

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Structural Reductions and Stutter Sensitive Properties

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    The categorical contours of the Chomsky-Schützenberger representation theorem

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    The Many-Worlds Calculus

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Ranked Enumeration of Conjunctive Query Results

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Drawing with Distance

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    String Diagrams for Premonoidal Categories

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Left-Linear Completion with AC Axioms

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    A robust graph-based approach to observational equivalence

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Decidability of Querying First-Order Theories via Countermodels of Finite Width

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Crash-Stop Failures in Asynchronous Multiparty Session Types

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Safety and Liveness of Quantitative Properties and Automata

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    A Game of Pawns

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    About the Expressive Power and Complexity of Order-Invariance with Two Variables

    Subjects: “…Computer Science & Information Science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: