Search Results - Information Technology Journal

Refine Results
  1. Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling

    Get full text
    Online Article RSS Article
  2. A Fully Abstract Model of PCF Based on Extended Addressing Machines

    Get full text
    Online Article RSS Article
  3. Feasability of Learning Weighted Automata on a Semiring

    Get full text
    Online Article RSS Article
  4. MacroSwarm: A Field-based Compositional Framework for Swarm Programming

    Get full text
    Online Article RSS Article
  5. Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

    Get full text
    Online Article RSS Article
  6. Synthesis with Privacy Against an Observer

    Get full text
    Online Article RSS Article
  7. A Categorical Treatment of Open Linear Systems

    Get full text
    Online Article RSS Article
  8. Boolean basis, formula size, and number of modal operators

    Get full text
    Online Article RSS Article
  9. Learning Concepts Definable in First-Order Logic with Counting

    Get full text
    Online Article RSS Article
  10. Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions

    Get full text
    Online Article RSS Article
  11. The Church Synthesis Problem over Continuous Time

    Get full text
    Online Article RSS Article
  12. Rewriting techniques for relative coherence

    Get full text
    Online Article RSS Article
  13. A Monoidal View on Fixpoint Checks

    Get full text
    Online Article RSS Article
  14. A Curry-Howard Correspondence for Linear, Reversible Computation

    Get full text
    Online Article RSS Article
  15. The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

    Get full text
    Online Article RSS Article
  16. Automata Linear Dynamic Logic on Finite Traces

    Get full text
    Online Article RSS Article
  17. A Behavioral Theory for Distributed Systems with Weak Recovery

    Get full text
    Online Article RSS Article
  18. Hydra Battles and AC Termination

    Get full text
    Online Article RSS Article
  19. Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

    Get full text
    Online Article RSS Article
  20. Algorithms for Markov Binomial Chains

    Get full text
    Online Article RSS Article