| Publication | Date of Publication | Type |
|---|
| Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification | 2024-04-19 | Paper |
| Model checking differentially private properties | 2023-08-02 | Paper |
| On the power of finite ambiguity in Büchi complementation | 2023-05-19 | Paper |
| Congruence Relations for Büchi Automata | 2023-04-21 | Paper |
| DECOMPOSITION OF TRAVELING WAVES PROBLEMS | 2023-03-24 | Paper |
| Existence of traveling wave solutions for a generalized Burgers-Fisher equation with weak convection | 2023-02-17 | Paper |
| Quantitative controller synthesis for consumption Markov decision processes | 2023-01-30 | Paper |
| Model checking differentially private properties | 2023-01-05 | Paper |
| Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling | 2022-12-22 | Paper |
| Matching algorithms of minimum input selection for structural controllability based on semi-tensor product of matrices | 2022-12-20 | Paper |
| Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition | 2022-12-07 | Paper |
| On Equivalence Checking of Nondeterministic Finite Automata | 2022-11-04 | Paper |
| Synthesizing ranking functions for loop programs via SVM | 2022-10-14 | Paper |
| Studies on reversal permanent charges and reversal potentials via classical Poisson-Nernst-Planck systems with boundary layers | 2022-09-30 | Paper |
| Finding Polynomial Loop Invariants for Probabilistic Programs | 2022-08-12 | Paper |
| Verifying Pufferfish privacy in hidden Markov models | 2022-07-08 | Paper |
| An R package for model fitting, model selection and the simulation for longitudinal data with dropout missingness | 2022-07-01 | Paper |
| Online strongly convex optimization with unknown delays | 2022-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021011 | 2022-01-11 | Paper |
| The self-adaptive routing strategy to alleviate packet loss in finite buffer networks | 2022-01-03 | Paper |
| Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories | 2021-12-15 | Paper |
| Persistence of solitary wave solutions to a singularly perturbed generalized mKdV equation | 2021-12-13 | Paper |
| A novel learning algorithm for Büchi automata based on family of DFAs and classification trees | 2021-11-25 | Paper |
| STABILITY AND HOPF BIFURCATION ANALYSIS ON A SPRUCE-BUDWORM MODEL WITH DELAY | 2021-11-16 | Paper |
| Homoclinic bifurcation of limit cycles in near-Hamiltonian systems on the cylinder | 2021-10-21 | Paper |
| Equivalent transformations, bifurcations and exact solutions to a class of variable-coefficient PDE | 2021-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999102 | 2021-07-09 | Paper |
| Mathematical analysis of Poisson–Nernst–Planck models with permanent charges and boundary layers: studies on individual fluxes | 2021-06-28 | Paper |
| EXPLICIT PEAKON SOLUTIONS TO A FAMILY OF WAVE-BREAKING EQUATIONS | 2021-04-16 | Paper |
| Dynamics of classical Poisson-Nernst-Planck systems with multiple cations and boundary layers | 2021-02-08 | Paper |
| PEAKON AND CUSPON SOLUTIONS OF A GENERALIZED CAMASSA-HOLM-NOVIKOV EQUATION | 2021-01-29 | Paper |
| Symmetries and conservation laws of a time dependent nonlinear reaction-convection-diffusion equation | 2021-01-12 | Paper |
| Smooth and singular traveling wave solutions for the Serre-Green-Naghdi equations | 2021-01-12 | Paper |
| Bifurcations and exact traveling wave solutions of the Zakharov-Rubenchik equation | 2021-01-12 | Paper |
| A New Type of Solitary Wave Solution of the mKdV Equation Under Singular Perturbations | 2020-10-08 | Paper |
| SUB-MANIFOLD AND TRAVELING WAVE SOLUTIONS OF ITO'S 5TH-ORDER MKDV EQUATION | 2020-09-15 | Paper |
| EXACT SOLITARY WAVE AND PERIODIC WAVE SOLUTIONS OF THE KAUP-KUPERSCHMIDT EQUATION | 2020-09-11 | Paper |
| A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees | 2020-08-05 | Paper |
| High-dimensional model recovery from random sketched data by exploring intrinsic sparsity | 2020-07-27 | Paper |
| Learning to Complement Büchi Automata | 2020-07-07 | Paper |
| A non-standard finite difference scheme of a multiple infected compartments model for waterborne disease | 2020-04-22 | Paper |
| Double Wronskian solutions to the \((2+1)\)-dimensional Broer-Kaup-Kupershmidt equation | 2020-04-07 | Paper |
| Symmetry reductions, dynamical behavior and exact explicit solutions to a class of nonlinear shallow water wave equation | 2020-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5214181 | 2020-02-07 | Paper |
| Empirical‐likelihood‐based criteria for model selection on marginal analysis of longitudinal data with dropout missingness | 2020-02-07 | Paper |
| Probabilistic Bisimulation for Realistic Schedulers | 2019-12-19 | Paper |
| A novel Lie group classification method for generalized cylindrical KdV type of equation: exact solutions and conservation laws | 2019-11-22 | Paper |
| SAT-based explicit LTL reasoning and its application to satisfiability checking | 2019-11-18 | Paper |
| Discrete-Time and Discrete-Space Dynamical Systems | 2019-08-26 | Paper |
| Mathematical studies of Poisson-Nernst-Planck model for membrane channels: finite ion size effects without electroneutrality boundary conditions | 2019-07-26 | Paper |
| A simple homotopy proximal mapping algorithm for compressive sensing | 2019-06-26 | Paper |
| A Simple Algorithm for Solving Qualitative Probabilistic Parity Games | 2019-05-03 | Paper |
| The effects of the singular lines on the traveling wave solutions of modified dispersive water wave equations | 2019-02-27 | Paper |
| Traveling wave solutions and infinite-dimensional linear spaces of multiwave solutions to Jimbo-Miwa equation | 2019-02-14 | Paper |
| Existence of wave front solutions of an integral differential equation in nonlinear nonlocal neuronal network | 2019-02-14 | Paper |
| Stability and Hopf bifurcation analysis on a Bazykin model with delay | 2019-02-14 | Paper |
| An Automatic Proving Approach to Parameterized Verification | 2019-02-07 | Paper |
| Accelerating LTL satisfiability checking by SAT solvers | 2019-01-31 | Paper |
| Exact solitary wave and quasi-periodic wave solutions of the KdV-Sawada-Kotera-Ramani equation | 2018-11-01 | Paper |
| The quest for minimal quotients for probabilistic and Markov automata | 2018-09-27 | Paper |
| Probabilistic bisimulation for realistic schedulers | 2018-09-06 | Paper |
| Exact solitary wave and periodic wave solutions of a class of higher-order nonlinear wave equations | 2018-08-27 | Paper |
| A reduced-order model for complex modes of brake squeal model and its application to a flexible pin-on-disc system | 2018-08-27 | Paper |
| An efficient synthesis algorithm for parametric Markov chains against linear time properties | 2018-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4574511 | 2018-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4574686 | 2018-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4575025 | 2018-07-18 | Paper |
| Probably safe or live | 2018-04-23 | Paper |
| Quasi-periodic wave solutions and two-wave solutions of the KdV-Sawada-Kotera-Ramani equation | 2018-04-11 | Paper |
| An explicit transition system construction approach to LTL satisfiability checking | 2018-03-29 | Paper |
| Counterexample-guided polynomial loop invariant generation by Lagrange interpolation | 2018-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132181 | 2018-01-29 | Paper |
| A monodromy criterion for a type of degenerate system defined by the sum of two homogeneous vector fields | 2018-01-23 | Paper |
| Classification and bifurcation of a class of second-order ODEs and its application to nonlinear PDEs | 2018-01-19 | Paper |
| Distribution-based bisimulation for labelled Markov processes | 2017-12-01 | Paper |
| Application of locally one-dimensional semi-implicit scheme in phase-field equations | 2017-11-30 | Paper |
| Existence and uniqueness of wave fronts in neuronal network with nonlocal post-synaptic axonal and delayed nonlocal feedback connections | 2017-11-28 | Paper |
| A Unified Feature and Instance Selection Framework Using Optimum Experimental Design | 2017-10-27 | Paper |
| Graph Regularized Sparse Coding for Image Representation | 2017-10-19 | Paper |
| Lazy probabilistic model checking without determinisation | 2017-09-12 | Paper |
| A compositional modelling and verification framework for stochastic hybrid systems | 2017-09-08 | Paper |
| Precisely deciding CSL formulas through approximate model checking for CTMCs | 2017-09-07 | Paper |
| Extending Hybrid CSP with Probability and Stochasticity | 2017-08-31 | Paper |
| Non-redundant multiple clustering by nonnegative matrix factorization | 2017-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283016 | 2017-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277059 | 2017-07-14 | Paper |
| Optimization strategies of correlated subquery for distributed database | 2017-05-17 | Paper |
| Random Projections for Classification: A Recovery Approach | 2017-05-16 | Paper |
| Measurability and safety verification for stochastic hybrid systems | 2017-05-16 | Paper |
| Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata | 2017-05-03 | Paper |
| Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games | 2017-02-21 | Paper |
| Classifying bilinear differential equations by linear superposition principle | 2016-12-19 | Paper |
| ATLAS: a real-space finite-difference implementation of orbital-free density functional theory | 2016-12-14 | Paper |
| Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems | 2016-09-29 | Paper |
| A space-efficient simulation algorithm on probabilistic automata | 2016-07-07 | Paper |
| Efficient approximation of optimal control for continuous-time Markov games | 2016-03-10 | Paper |
| Finite automata approach to observability of switched Boolean control networks | 2015-12-23 | Paper |
| Invertibility and nonsingularity of Boolean control networks | 2015-12-21 | Paper |
| Multiphase until formulas over Markov reward models: an algebraic approach | 2015-12-15 | Paper |
| Delay-Dependent Exponential Stability for Discrete-Time Singular Switched Systems with Time-Varying Delay | 2015-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3193496 | 2015-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3193672 | 2015-10-28 | Paper |
| A nearly optimal upper bound for the self-stabilization time in Herman's algorithm | 2015-09-29 | Paper |
| Efficient distance metric learning by adaptive sampling and mini-batch stochastic gradient descent (SGD) | 2015-09-04 | Paper |
| Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes | 2015-01-13 | Paper |
| A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm | 2014-09-15 | Paper |
| High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems | 2014-07-30 | Paper |
| CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains | 2014-07-08 | Paper |
| Decentralized robust control of multiple static var compensators via Hamiltonian function method | 2014-06-30 | Paper |
| Deciding Bisimilarities on Distributions | 2014-05-12 | Paper |
| A tighter bound for the self-stabilization time in Herman's algorithm | 2014-04-11 | Paper |
| The effects of horizontal singular straight line in a generalized nonlinear Klein-Gordon model equation | 2014-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5399347 | 2014-02-28 | Paper |
| Safety verification for probabilistic hybrid systems | 2014-01-21 | Paper |
| On the Relationship between LTL Normal Forms and Büchi Automata | 2013-08-16 | Paper |
| The Quest for Minimal Quotients for Probabilistic Automata | 2013-08-05 | Paper |
| A Semantics for Every GSPN | 2013-06-28 | Paper |
| Bisimulations Meet PCTL Equivalences for Probabilistic Automata | 2013-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4921295 | 2013-05-24 | Paper |
| Model checking conditional CSL for continuous-time Markov chains | 2013-03-21 | Paper |
| Efficient approximation of optimal control for continuous-time Markov games | 2012-08-31 | Paper |
| Efficient CSL model checking using stratification | 2012-08-15 | Paper |
| A General Framework for Probabilistic Characterizing Formulae | 2012-06-15 | Paper |
| Similarity research of anomalous dynamic response of ship girder subjected to near field underwater explosion | 2012-03-13 | Paper |
| Bisimulations Meet PCTL Equivalences for Probabilistic Automata | 2011-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3089473 | 2011-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016666 | 2011-07-19 | Paper |
| On Stabilization in Herman’s Algorithm | 2011-07-07 | Paper |
| Automata-Based CSL Model Checking | 2011-07-07 | Paper |
| Another Elliptic Curve Model for Faster Pairing Computation | 2011-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3169336 | 2011-04-28 | Paper |
| Probabilistic logical characterization | 2011-02-21 | Paper |
| Concurrency and Composition in a Stochastic World | 2010-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571168 | 2010-07-08 | Paper |
| Model Checking Interactive Markov Chains | 2010-04-27 | Paper |
| Integral self-affine tiles of Bandt's model | 2010-03-01 | Paper |
| Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains | 2010-02-05 | Paper |
| Best Probabilistic Transformers | 2010-01-14 | Paper |
| Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations | 2009-04-29 | Paper |
| Envelope compacton and solitary pattern solutions of a generalized nonlinear Schrödinger equation | 2009-01-16 | Paper |
| On the Minimisation of Acyclic Models | 2008-11-25 | Paper |
| A Space-Efficient Probabilistic Simulation Algorithm | 2008-11-25 | Paper |
| Peakons and periodic cusp wave solutions in a generalized Camassa-Holm equation | 2008-09-09 | Paper |
| Probabilistic CEGAR | 2008-07-15 | Paper |
| Deciding Simulations on Probabilistic Automata | 2008-07-03 | Paper |
| Critical dwell time of switched linear systems | 2007-10-23 | Paper |
| New exact compacton, peakon and solitary solutions of the generalized Boussinesq-like \(B(m,n)\) equations with nonlinear dispersion | 2007-10-01 | Paper |
| Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations | 2007-09-03 | Paper |
| Bifurcations of smooth and nonsmooth traveling wave solutions in a generalized Degasperis-Procesi equation | 2007-07-17 | Paper |
| On stability of switched homogeneous nonlinear systems | 2007-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5489989 | 2006-10-04 | Paper |
| Adaptive control of linear Markov jump systems | 2006-08-21 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3375065 | 2006-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3370432 | 2006-02-07 | Paper |
| Systems with complexity | 2005-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692339 | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3159624 | 2005-02-16 | Paper |
| On semi-tensor product of matrices and its applications | 2004-09-22 | Paper |
| Bifurcations of traveling wave solutions in a coupled nonlinear wave equation | 2003-12-14 | Paper |
| Generalized normal form and stabilization of non-linear systems | 2003-10-16 | Paper |
| Bifurcations of traveling wave solutions in generalized Pochhammer-Chree equation | 2002-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489390 | 2001-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206285 | 1989-01-01 | Paper |
| Model Checking CSL for Markov Population Models | N/A | Paper |
