Search results
From MaRDI portal
- 2023-06-02 Paper Concurrent Program Verification with Invariant-Guided Underapproximation 2022-08-12 Paper Sequentialization Using Timestamps 2017-05-19 Paper...10 bytes (16 words) - 10:04, 7 October 2023
- 2023-05-26 Paper Concurrent Program Verification with Invariant-Guided Underapproximation 2022-08-12 Paper...10 bytes (16 words) - 22:51, 27 December 2023
- the Cube 2010-09-10 Paper Testing graph isomorphism 2010-08-16 Paper Underapproximation for model-checking based on universal circuits 2010-04-08 Paper Testing...10 bytes (16 words) - 12:43, 7 October 2023
- Publication Type OKFDDs versus OBDDs and OFDDs 2019-01-10 Paper Proof-guided underapproximation-widening for multi-process systems 2017-07-14 Paper https://portal...10 bytes (16 words) - 12:21, 22 September 2023
- 2015-01-13 Paper Deciding Conditional Termination 2014-09-05 Paper Underapproximation of Procedure Summaries for Integer Programs 2013-08-05 Paper Accelerating...10 bytes (16 words) - 09:42, 6 October 2023
- Cyclic-routing of unmanned aerial vehicles 2019-06-25 Paper Proof-guided underapproximation-widening for multi-process systems 2017-07-14 Paper Decision procedures...10 bytes (16 words) - 20:10, 6 October 2023
- Publication Date of Publication Type Proof-guided underapproximation-widening for multi-process systems 2017-07-14 Paper https://portal.mardi4nfdi.de/entity/Q2845503...10 bytes (16 words) - 10:00, 6 October 2023
- Publication Type Concurrent Program Verification with Invariant-Guided Underapproximation 2022-08-12 Paper Model checking boot code from AWS data centers 2021-08-30...10 bytes (16 words) - 11:11, 6 October 2023
- 2022-08-12 Paper Concurrent Program Verification with Invariant-Guided Underapproximation 2022-08-12 Paper Lifting CDCL to Template-Based Abstract Domains for...10 bytes (16 words) - 16:16, 6 October 2023
- 2022-08-12 Paper Concurrent Program Verification with Invariant-Guided Underapproximation 2022-08-12 Paper A formal methods approach to predicting new features...10 bytes (17 words) - 10:00, 24 September 2023
- programs 2014-04-10 Paper Ordered Counter-Abstraction 2014-03-31 Paper Underapproximation of Procedure Summaries for Integer Programs 2013-08-05 Paper Parikh's...10 bytes (16 words) - 10:01, 6 October 2023
- Publication Date of Publication Type A threshold for the best two-term underapproximation by Egyptian fractions 2024-04-03 Paper Approximation by Egyptian fractions...10 bytes (19 words) - 22:28, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2845504 2013-08-30 Paper Underapproximation of Procedure Summaries for Integer Programs 2013-08-05 Paper The Tree...10 bytes (16 words) - 07:39, 7 October 2023
- Abstraction and Abstraction Refinement 2018-07-20 Paper Proof-guided underapproximation-widening for multi-process systems 2017-07-14 Paper A game-based framework...10 bytes (17 words) - 00:32, 10 December 2023
- Point Spread Functions 2015-10-30 Paper Sparse nonnegative matrix underapproximation and its application to hyperspectral image analysis 2014-01-21 Paper...10 bytes (18 words) - 18:59, 11 December 2023
- the basis of holistic preference statements 2010-06-11 Paper Using underapproximations for sparse nonnegative matrix factorization 2010-04-07 Paper An interior-point...10 bytes (17 words) - 18:24, 9 December 2023
- Through Data Preprocessing 2014-04-01 Paper Sparse nonnegative matrix underapproximation and its application to hyperspectral image analysis 2014-01-21 Paper...10 bytes (17 words) - 09:48, 6 October 2023
- 2013-03-18 Paper A Probabilistic Kleene Theorem 2012-11-21 Paper Bounded underapproximations 2012-09-27 Paper Adding Pebbles to Weighted Automata 2012-09-20 Paper...10 bytes (16 words) - 10:01, 6 October 2023
- of zeros of polynomials and multiplicity matrices 2022-11-11 Paper Underapproximation by Egyptian fractions 2022-09-30 Paper Curious convergent series of...10 bytes (19 words) - 18:08, 8 December 2023
- https://portal.mardi4nfdi.de/entity/Q3165951 2012-10-19 Paper Bounded underapproximations 2012-09-27 Paper DISCOUNTING AND AVERAGING IN GAMES ACROSS TIME SCALES...10 bytes (17 words) - 10:01, 6 October 2023
