Search results
From MaRDI portal
- Hartmut Ehrig (section List of research outcomes)Reconfigurations of Open Petri Nets 2009-04-29 Paper Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems 2009-03-11...10 bytes (17 words) - 11:43, 8 December 2023
- Roberto Barbuti (section List of research outcomes)Simulation of Biological Systems 2014-01-17 Paper A Compositional Semantics of Reaction Systems with Restriction 2013-08-05 Paper Foundational aspects of multiscale...10 bytes (16 words) - 12:30, 28 January 2024
- Barbara König (section List of research outcomes)and Compositionality 2008-11-20 Paper Towards the Verification of Attributed Graph Transformation Systems 2008-11-20 Paper On the Recognizability of Arrow...10 bytes (16 words) - 13:26, 7 October 2023
- C. Nkuimi-Jugnia (section List of research outcomes)characterization of the lattice of subsystems of a transition system 2008-02-01 Paper...10 bytes (18 words) - 03:21, 25 September 2023
- Franco Mazzanti (section List of research outcomes)Date of Publication Type Verifying Properties of Systems Relying on Attribute-Based Communication 2022-11-09 Paper Compositional verification of concurrent...10 bytes (17 words) - 16:47, 24 September 2023
- Reiko Heckel (section List of research outcomes)presentation of structured transition systems 2001-08-20 Paper https://portal.mardi4nfdi.de/entity/Q4502807 2001-04-19 Paper Double-pullback transitions and coalgebraic...10 bytes (16 words) - 11:43, 8 December 2023
- Yuan Chen (section List of research outcomes)points 2020-07-14 Paper Optimization of \(\mathrm{CO_2}\) injection using multi-scale reconstruction of composition transport 2020-06-08 Paper Decision...10 bytes (16 words) - 01:58, 10 December 2023
- Gabriel Ciobanu (section List of research outcomes)Paper Adaptive P systems 2019-10-10 Paper A semantic investigation of spiking neural P systems 2019-10-10 Paper Simulating P systems with membrane dissolution...10 bytes (17 words) - 12:30, 28 January 2024
- Min Li (section List of research outcomes)H∞ control for Markovian jump systems with time‐varying delays and incomplete transition rates 2018-11-16 Paper Impacts of memory on a regular lattice for...10 bytes (17 words) - 21:48, 10 December 2023
- Xin Li (section List of research outcomes)performance control of a class of nonlinear pure-feedback systems with input delay 2021-02-08 Paper Neighbor sum distinguishing total choosability of 1-planar graphs...10 bytes (17 words) - 04:12, 9 December 2023
- Han Liu (section List of research outcomes)well-posedness of generalized Hall-magneto-hydrodynamics 2022-06-30 Paper Exploring the evolutionary mechanism of complex supply chain systems using evolving...10 bytes (16 words) - 23:10, 9 December 2023
- Bernard De Baets (section List of research outcomes)dynamical systems approach to the discrimination of the modes of operation of cryptographic systems 2020-09-10 Paper A two-layer representation of four-state...10 bytes (19 words) - 00:58, 9 December 2023
- Helmut Seidl (section List of research outcomes)even faster solver for general systems of equations 2022-02-16 Paper Stratified guarded first-order transition systems 2021-10-18 Paper Counterexample-...10 bytes (16 words) - 23:29, 11 December 2023
- Hao Wang (section List of research outcomes)2008-08-06 Paper An algorithm for optimal difference systems of sets 2008-02-18 Paper Optimal Difference Systems of Sets with Multipliers 2007-05-02 Paper Tools...10 bytes (17 words) - 21:45, 9 December 2023
- Jun Yan (section List of research outcomes)Viscosity subsolutions of Hamilton–Jacobi equations and invariant sets of contact Hamilton systems 2023-03-17 Paper Discussion of ‘On studying extreme values...10 bytes (16 words) - 10:16, 29 February 2024
- Yu Liu (section List of research outcomes)sliding mode control for a class of cyber-physical systems with multiple transmission channels under denial-of-service attacks 2022-07-15 Paper Dynamic event-triggered...10 bytes (17 words) - 16:19, 10 December 2023
- Juan-Miguel Gracia (section List of research outcomes)Dirac system and discrete Schrödinger operator 2018-02-13 Paper Analysis of the structure of attributed transition systems without hidden transitions 2018-02-13...10 bytes (16 words) - 08:10, 7 October 2023
- B. George (section List of research outcomes)bending of plates on elastic foundations 1988-01-01 Paper The influence of the shape and curvature of crack fronts on the values of the order of singularity...10 bytes (15 words) - 00:50, 23 September 2023
- Peng Zhang (section List of research outcomes)2019-01-17 Paper On the number of real zeros of entire functions of finite order of grows 2019-01-17 Paper Properties of solutions of the Cauchy problem for degenerate...10 bytes (15 words) - 14:22, 28 January 2024
- R. Smith (section List of research outcomes)2018-11-01 Paper Terminal invariance of stochastic diffusion systems 2018-11-01 Paper Some problems of analysis of hybrid automata 2018-11-01 Paper The...10 bytes (15 words) - 16:16, 24 September 2023