Search results
From MaRDI portal
- proximal-type methods in vector variational inequality problems 2018-09-28 Paper Partial order reduction for checking LTL formulae with the next-time operator 2018-02-13...10 bytes (16 words) - 15:33, 10 December 2023
- Parameterized maximum path coloring 2014-01-13 Paper Parameterized Algorithms for Modular-Width 2013-12-10 Paper Model Checking Lower Bounds for Simple...10 bytes (16 words) - 19:22, 6 October 2023
- Spanning Tree Congestion Problem 2013-11-28 Paper The path-distance-width of hypercubes 2013-11-11 Paper Base Location Problems for Base-Monotone Regions...10 bytes (17 words) - 19:18, 6 October 2023
- Paper An optimal choice problem for a set of checking procedures 1992-11-12 Paper A Stochastic Model for a Researcher's Problem 1992-09-27 Paper A new continuous-time...10 bytes (16 words) - 11:47, 8 December 2023
- of \(\mathrm{ECTL}^*\) with local tree constraints 2017-10-20 Paper Path Checking for MTL and TPTL over Data Words 2017-10-12 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 10:06, 6 October 2023
- constraints 2010-09-15 Paper Model checking memoryful linear-time logics over one-counter automata 2010-05-27 Paper When Model-Checking Freeze LTL over Counter Machines...10 bytes (18 words) - 07:38, 9 December 2023
- Paper Exact methods for solving the elementary shortest and longest path problems 2017-03-03 Paper Derivative-Free Optimization: Lifting Single-Objective...10 bytes (16 words) - 22:30, 11 December 2023
- Satisfiability Problem: Simple Algorithms and Inapproximability Bounds 2017-06-28 Paper On the optimality of Bellman-Ford-Moore shortest path algorithm 2016-04-13...10 bytes (17 words) - 17:56, 9 December 2023
- between the maximum multiplicity and path cover number for tree-like graphs 2005-10-17 Paper The copositive completion problem 2005-10-10 Paper Spectral graph...10 bytes (17 words) - 13:59, 7 December 2023
- and Related Problems 2009-02-17 Paper https://portal.mardi4nfdi.de/entity/Q3602883 2009-02-12 Paper On the all-pairs-shortest-path problem in unweighted...10 bytes (16 words) - 17:10, 12 December 2023
- programs 2018-11-15 Paper Left-eigenvectors are certificates of the Orbit problem 2018-10-23 Paper Symbolic reachability analysis of FIFO-channel systems...10 bytes (16 words) - 03:52, 25 September 2023
- SPL Model Checking Using Parity Games with Variability 2022-10-13 Paper Off-the-shelf automated analysis of liveness properties for just paths (extended...10 bytes (20 words) - 19:33, 12 December 2023
- efficient first-order model-checking 2011-02-18 Paper https://portal.mardi4nfdi.de/entity/Q3077955 2011-02-18 Paper Constrained-path labellings on graphs of...10 bytes (17 words) - 10:24, 8 December 2023
- 2017-09-22 Paper Infinite-state invariant checking with IC3 and predicate abstraction 2017-07-26 Paper Satisfiability checking and symbolic computation 2017-06-21...10 bytes (17 words) - 10:34, 11 December 2023
- Paper The Bicycle Network Improvement Problem 2021-07-09 Paper Nutmeg: a MIP and CP hybrid solver using branch-and-check 2021-02-08 Paper Communication-Constrained...10 bytes (18 words) - 01:06, 10 December 2023
- mardi4nfdi.de/entity/Q3624016 2009-04-28 Paper Dynamic Path Reduction for Software Model Checking 2009-02-24 Paper Reveal: A Formal Verification Tool for...10 bytes (18 words) - 06:55, 13 December 2023
- Publication Date of Publication Type Foundations of graph path query languages. Course notes for the reasoning web summer school 2021 2023-08-03 Paper...10 bytes (16 words) - 12:19, 24 September 2023
- application in the problem of compression of an infinite well 2015-11-26 Paper Simultaneous identification of bi-directional paths in closed-loop systems...10 bytes (17 words) - 14:18, 10 December 2023
- and metaquerying in \texttt{OWL 2 QL} 2021-11-02 Paper The what-to-ask problem for ontology-based peers 2020-06-04 Paper https://portal.mardi4nfdi.de/entity/Q5282975...10 bytes (17 words) - 14:35, 11 December 2023
- 2007-09-11 Paper Multi-objective Model Checking of Markov Decision Processes 2007-09-03 Paper Adaptive Model Checking 2007-02-15 Paper Automata, Languages...10 bytes (17 words) - 23:51, 11 December 2023