Recent changes
From MaRDI portal
Track the most recent changes to the wiki on this page.
List of abbreviations:
- D
- MaRDI portal edit
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
29 June 2024
b 05:45 | Finite element approximation of elliptic partial differential equations on implicit surfaces (Q1008942) diffhist +7,061 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Global exponential stability analysis for cellular neural networks with variable coefficients and delays (Q1008941) diffhist +6,646 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773) diffhist +7,061 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Ground Interpolation for the Theory of Equality (Q3617772) diffhist +4,571 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | All-Termination(T) (Q3617771) diffhist +6,632 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) diffhist +5,818 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) diffhist +7,891 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Verifying Reference Counting Implementations (Q3617768) diffhist +7,063 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Iterating Octagons (Q3617767) diffhist +4,986 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Symbolic String Verification: Combining String Analysis and Size Analysis (Q3617765) diffhist +2,087 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Path Feasibility Analysis for String-Manipulating Programs (Q3617764) diffhist +2,501 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Parametric Trace Slicing and Monitoring (Q3617763) diffhist +845 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Hierarchical Adaptive State Space Caching Based on Level Sampling (Q3617761) diffhist +5,818 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Transition-Based Directed Model Checking (Q3617760) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | TaPAS: The Talence Presburger Arithmetic Suite (Q3617759) diffhist +431 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | The Complexity of Predicting Atomicity Violations (Q3617757) diffhist +4,156 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Inferring Synchronization under Limited Observability (Q3617756) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads (Q3617755) diffhist +4,988 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Computing Weakest Strategies for Safety Games of Imperfect Information (Q3617754) diffhist +4,986 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Compositional Predicate Abstraction from Game Semantics (Q3617753) diffhist +4,988 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Learning Minimal Separating DFA’s for Compositional Verification (Q3617752) diffhist +4,988 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Büchi Complementation and Size-Change Termination (Q3617751) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Hierarchical Set Decision Diagrams and Regular Models (Q3617750) diffhist +2,915 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) diffhist +7,055 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (Q3617746) diffhist +7,063 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Beyond Shapes: Lists with Ordered Data (Q3617745) diffhist +4,571 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Realizability of Concurrent Recursive Programs (Q3617744) diffhist +8,723 ReferenceBot talk contribs (Changed an Item) |
b 05:45 | Synthesis from Component Libraries (Q3617743) diffhist +2,915 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Concurrency, σ-Algebras, and Probabilistic Fairness (Q3617742) diffhist +5,818 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Delayed Nondeterminism in Continuous-Time Markov Decision Processes (Q3617741) diffhist +4,156 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) diffhist +4,569 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Bisimulation for Demonic Schedulers (Q3617738) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Cryptographic Protocol Composition via the Authentication Tests (Q3617737) diffhist +3,743 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | On the Foundations of Quantitative Information Flow (Q3617736) diffhist +3,739 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) diffhist +8,308 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Normal Bisimulations in Calculi with Passivation (Q3617734) diffhist +5,399 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733) diffhist +6,648 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | The Calculus of Handshake Configurations (Q3617732) diffhist +4,573 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Parameter Reduction in Grammar-Compressed Trees (Q3617731) diffhist +2,499 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Interrupt Timed Automata (Q3617730) diffhist +5,401 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata (Q3617729) diffhist +6,227 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Tighter Bounds for the Determinisation of Büchi Automata (Q3617728) diffhist +6,229 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) diffhist +5,816 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Coalgebraic Hybrid Logic (Q3617726) diffhist +10,798 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | A Kleene Theorem for Polynomial Coalgebras (Q3617725) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (Q3617724) diffhist +4,988 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | Dependency Tree Automata (Q3617723) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 05:44 | On the Completeness of Dynamic Logic (Q3617722) diffhist +7,476 ReferenceBot talk contribs (Changed an Item) |