Search results
From MaRDI portal
- Fixpoint Logic 2014-09-15 Paper Model Checking for String Problems 2014-06-24 Paper Branching-time logics with path relativisation 2013-12-13 Paper Satisfiability...10 bytes (16 words) - 03:46, 25 September 2023
- predicate stashing copy problem and the Steiner problem in graphs 2001-09-03 Paper https://portal.mardi4nfdi.de/entity/Q4945800 2000-03-23 Paper The partial...10 bytes (18 words) - 05:44, 12 December 2023
- clustered shortest-path tree problem 2019-06-25 Paper Trainyard is NP-hard 2018-11-23 Paper Fault-tolerant approximate shortest-path trees 2018-10-18 Paper...10 bytes (16 words) - 05:37, 7 October 2023
- Complexity of conjunctive regular path query homomorphisms 2020-05-12 Paper On the Complexity of the Model Checking Problem 2018-07-19 Paper Quantified Constraints...10 bytes (18 words) - 06:11, 13 December 2023
- verification problem for weak memory models 2015-06-11 Paper ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS 2015-04-23 Paper Budget-bounded model-checking pushdown...10 bytes (18 words) - 20:11, 6 October 2023
- the fixed-parameter tractability of parameterized model-checking problems 2010-04-19 Paper On the power of deep pushdown stacks 2009-11-16 Paper Program...10 bytes (18 words) - 00:40, 10 December 2023
- Publication Date of Publication Type Interaction between path and type constraints 2017-06-13 Paper https://portal.mardi4nfdi.de/entity/Q5714254 2005-12-28...10 bytes (17 words) - 10:15, 7 October 2023
- multilevel path simulation: going beyond the complexity $\varepsilon^{-2}$ 2014-12-12 Paper Remarks on Afriat's theorem and the Monge-Kantorovich problem 2014-01-16...10 bytes (16 words) - 13:40, 7 October 2023
- unidirectional hypercubes and unidirectional folded hypercubes 2019-06-20 Paper Path and cycle fault tolerance of bubble-sort graph networks 2019-06-06 Paper...10 bytes (17 words) - 18:12, 11 December 2023
- for singularity-free path-planning of parallel manipulators. 2003-10-15 Paper Domain mapping as an expeditionary strategy for fast path planning. 2003-10-15...10 bytes (17 words) - 17:58, 9 December 2023
- parameter based on weighted log-rank estimating func\-tions 2011-11-26 Paper Checking the censored two-sample accelerated life model using integrated cumulative...10 bytes (17 words) - 22:07, 11 December 2023
- Algorithm for a Generalization of the Shortest-Path Problem 1996-10-16 Paper Bounded incremental computation 1996-07-24 Paper New sequential and parallel...10 bytes (16 words) - 08:51, 6 October 2023
- Reachability of scope-bounded multistack pushdown systems 2020-12-15 Paper On the path-width of integer linear programming 2017-03-16 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 05:10, 12 December 2023
- surgery allocation 2018-10-30 Paper A shortest-path-based approach for the stochastic knapsack problem with non-decreasing expected overfilling costs 2018-07-11...10 bytes (18 words) - 19:25, 24 September 2023
- of the Equivalence Problem for Simple Programs 1981-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3940845 1981-01-01 Paper Path Systems: Constructions...10 bytes (18 words) - 10:01, 24 September 2023
- line length problem 2001-11-06 Paper https://portal.mardi4nfdi.de/entity/Q4944305 2000-08-10 Paper Errata to: ``An optimal control student problem and a marketing...10 bytes (17 words) - 02:56, 11 December 2023
- a temporal logic model checking problem 2022-06-24 Paper Modal Logics and Group Polarization 2022-01-03 Paper On the right path: a modal logic for supervised...10 bytes (18 words) - 01:53, 25 September 2023
- complexity of dynamic graph problems 1997-02-27 Paper An Incremental Algorithm for a Generalization of the Shortest-Path Problem 1996-10-16 Paper https://portal...10 bytes (19 words) - 17:23, 12 December 2023
- Relation tioco 2008-09-11 Paper Generating Path Conditions for Timed Systems 2007-11-29 Paper Model Checking Software 2007-09-28 Paper Formal Modeling and...10 bytes (17 words) - 19:45, 24 September 2023
- 2008-08-19 Paper On the optimal reachability problem of weighted timed automata 2007-10-11 Paper Real-Time Model-Checking: Parameters everywhere 2007-10-11 Paper...10 bytes (16 words) - 07:37, 9 December 2023