Search results
From MaRDI portal
- Publication Date of Publication Type Synthesis of fault-tolerant concurrent programs 2016-03-02 Paper Synthesis of concurrent systems for an atomic read/atomic...10 bytes (19 words) - 03:23, 9 December 2023
- Paper On dual programs in co-logic programming and the Horn \({\mu}\)-calculus 2017-06-01 Paper On Dual Programs in Co-Logic Programming 2016-02-05 Paper...10 bytes (16 words) - 15:10, 23 September 2023
- checking of sequential programs 2003-02-13 Paper https://portal.mardi4nfdi.de/entity/Q4553260 2002-11-04 Paper Which Branching-Time Properties are Effectively...10 bytes (17 words) - 00:32, 10 December 2023
- Probabilistic Logic Programs 2018-12-04 Paper Compositional Branching-Time Measurements 2014-07-24 Paper Inference in probabilistic logic programs with continuous...10 bytes (18 words) - 03:05, 25 September 2023
- boundedness problems for datalog programs 1997-04-17 Paper On the equivalence of recursive and nonrecursive Datalog programs 1997-03-18 Paper Computing with...10 bytes (19 words) - 07:50, 9 December 2023
- power of hybrid branching-time logics 2020-04-21 Paper Model checking for hybrid branching-time logics 2020-01-31 Paper Specifying program properties using...10 bytes (16 words) - 03:46, 25 September 2023
- of asynchronous programs 2014-09-12 Paper Proving non-termination 2014-09-12 Paper Unary Pushdown Automata and Straight-Line Programs 2014-07-01 Paper...10 bytes (17 words) - 10:01, 6 October 2023
- ECTL\(^*\) as fragments of the modal \(\mu\)-calculus 1994-05-15 Paper \(R\)-generability, and definability in branching time logics 1993-01-16 Paper https://portal...10 bytes (16 words) - 20:24, 6 October 2023
- Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations 2018-12-06 Paper Converging from branching to...10 bytes (19 words) - 09:59, 8 December 2023
- Systems: Properties and Counterexamples 2014-06-10 Paper Clocks for Functional Programs 2014-04-16 Paper https://portal.mardi4nfdi.de/entity/Q2855523 2013-10-25...10 bytes (18 words) - 07:36, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q2778825 2002-03-21 Paper Rudiments of \(\mu\)-calculus 2001-03-18 Paper On Distributive Fixed-Point Expressions 2000-03-16...10 bytes (17 words) - 14:37, 7 December 2023
- zbMath Open mu.xuewenMaRDI QIDQ279811 No records found. This page was built for person: Xuewen Mu...10 bytes (16 words) - 00:59, 25 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4945446 2000-03-23 Paper Small-\(\mu\) theorems with frequency-dependent uncertainty bounds 1999-01-03 Paper Robust...10 bytes (16 words) - 21:30, 11 December 2023
- 2011-11-03 Paper A gain-based lower bound algorithm for real and mixed \(\mu \) problems 2010-08-13 Paper Numerical approaches for collaborative data processing...10 bytes (18 words) - 04:52, 12 December 2023
- mardi4nfdi.de/entity/Q3140498 1993-12-01 Paper A variational approach to branching random walk in random environment 1993-06-29 Paper Almost-fixed-point and...10 bytes (18 words) - 19:21, 9 December 2023
- mardi4nfdi.de/entity/Q4414377 2003-07-25 Paper On model checking for the \(\mu\)-calculus and its fragments 2001-08-20 Paper https://portal.mardi4nfdi.de/entity/Q4037378...10 bytes (18 words) - 21:48, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q5275381 2017-07-13 Paper From linear time to branching time 2017-07-12 Paper What causes a system to satisfy a specification?...10 bytes (17 words) - 16:44, 24 September 2023
- and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity 2012-05-24 Paper Modal logic and the approximation...10 bytes (19 words) - 15:23, 10 December 2023
- Lie derivative of shape operator 2022-05-30 Paper Almost cosymplectic \((k,\mu )\)-metrics as \(\eta \)-Ricci solitons 2022-04-19 Paper Three-way decisions...10 bytes (16 words) - 22:05, 9 December 2023
- Nonorientable, incompressible surfaces of genus 3 in \(M_{\phi}(\lambda /\mu)\) manifolds 1983-01-01 Paper Incompressibility of surfaces after Dehn surgery...10 bytes (19 words) - 12:29, 11 December 2023
