Search results
From MaRDI portal
- Publication Type On certifying distributed algorithms: problem of local correctness 2024-02-06 Paper On a Verification Framework for Certifying Distributed...10 bytes (14 words) - 21:13, 27 December 2023
- systems 2022-05-17 Paper Non-interference and local correctness in transactional memory 2017-06-19 Paper Correctness of concurrent executions of closed nested...10 bytes (16 words) - 12:17, 7 October 2023
- 2015-07-06 Paper Local correctability of expander codes 2015-06-09 Paper Building Lossy Trapdoor Functions from Lossy Encryption 2013-12-10 Paper Local Correctability...10 bytes (17 words) - 20:32, 6 October 2023
- mardi4nfdi.de/entity/Q5363803 2017-09-29 Paper Non-interference and local correctness in transactional memory 2017-06-19 Paper In the Search for Optimal...10 bytes (16 words) - 05:34, 7 October 2023
- random right censoring 2019-06-17 Paper Local robust estimation of the Pickands dependence function 2018-10-30 Paper Local Estimation of the Conditional Stable...10 bytes (16 words) - 00:04, 10 December 2023
- Three-Dimensional Improved-Quality Triangulations Using Local Transformations 1996-11-26 Paper Quality Local Refinement of Tetrahedral Meshes Based on Bisection...10 bytes (16 words) - 16:21, 12 December 2023
- 1997-12-14 Paper https://portal.mardi4nfdi.de/entity/Q4343591 1997-11-09 Paper CORRECTNESS PROOF OF A GEOMETRIC CONSTRAINT SOLVER 1997-10-05 Paper https://portal...10 bytes (18 words) - 13:45, 7 December 2023
- Triangulations 2023-04-28 Paper Local criteria for triangulating general manifolds 2023-01-23 Paper The topological correctness of PL approximations of isomanifolds...10 bytes (22 words) - 18:28, 11 December 2023
- Publication Date of Publication Type A triangular system for local character expansions of Iwahori-spherical representations of general linear groups 2023-02-10...10 bytes (17 words) - 14:51, 10 December 2023
- models of transmissive diseases with SEI-SEIR systems 2016-10-12 Paper Non-local method of improving controls in the linear phase variable wave problems 2016-09-23...10 bytes (18 words) - 03:32, 10 December 2023
- Paper THE CORRECTNESS OF A DIRICHLET TYPE PROBLEM FOR THE DEGENERATE MULTIDIMENSIONAL HYPERBOLIC-ELLIPTIC EQUATIONS 2019-12-10 Paper THE CORRECTNESS OF THE...10 bytes (18 words) - 01:42, 11 December 2023
- propositional tautologies and quantifier-free correctness 2024-01-18 Paper The two halves of disjunctive correctness 2023-05-02 Paper Full satisfaction classes...10 bytes (16 words) - 14:15, 24 September 2023
- Repair of Process Models Using Non-local Constraints 2022-09-01 Paper Automated Repair of Process Models with Non-local Constraints Using State-Based Region...10 bytes (18 words) - 02:50, 7 October 2023
- Axiomatic Approach 2022-12-08 Paper Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory 2022-10-13 Paper https://portal...10 bytes (16 words) - 13:42, 28 January 2024
- power of a collectivity to act 2017-09-05 Paper Parallel dictionaries with local rules on AVL and brother trees 2016-06-09 Paper The Robustness of Periodic...10 bytes (16 words) - 21:57, 10 December 2023
- Publication Type On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues 2024-03-19 Paper On the expressiveness of multiplicities...10 bytes (18 words) - 09:57, 8 December 2023
- Publication Date of Publication Type On algebra of program correctness and incorrectness 2023-03-30 Paper The $$\theta $$-Join as a Join with $$\theta...10 bytes (17 words) - 01:01, 11 December 2023
- to Software Testing 2008-06-16 Paper Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global...10 bytes (16 words) - 03:13, 25 September 2023
- On the Boolean-like Law I(x, I(y, x)) = 1 2015-11-04 Paper Implementing Local Intervals in CASL 2014-01-17 Paper Fuzzy Implication Classes Satisfying a...10 bytes (20 words) - 18:00, 11 December 2023
- associated with a given pair of functions 2016-04-07 Paper Development of local, global, and trace estimates for the solutions of elliptic equations 2003-04-27...10 bytes (18 words) - 09:41, 9 December 2023