Search results
From MaRDI portal
- systems using reusability and compositionality 2002-09-18 Paper Verification of large state/event systems using compositionality and dependency analysis 2001-07-02...10 bytes (18 words) - 09:59, 8 December 2023
- Verification of hierarchical state/Event systems using reusability and compositionality 2002-09-18 Paper https://portal.mardi4nfdi.de/entity/Q2769575 2002-02-05...10 bytes (16 words) - 09:59, 8 December 2023
- Verification of hierarchical state/Event systems using reusability and compositionality 2002-09-18 Paper https://portal.mardi4nfdi.de/entity/Q2769575 2002-02-05...10 bytes (18 words) - 09:58, 8 December 2023
- Verification of hierarchical state/Event systems using reusability and compositionality 2002-09-18 Paper https://portal.mardi4nfdi.de/entity/Q4551180 2002-09-04...10 bytes (16 words) - 09:58, 8 December 2023
- Date of Publication Type Logical characterisations, rule formats and compositionality for input-output conformance simulation 2019-06-20 Paper An axiomatic...10 bytes (18 words) - 03:37, 13 December 2023
- weighted differentiation composition operators from α-Bloch space to H∞ space 2022-05-31 Paper Difference of weighted composition operators from \(\alpha\)-Bloch...10 bytes (17 words) - 14:08, 10 December 2023
- Bivalence 2009-03-12 Paper Communication and strong compositionality 2003-08-21 Paper Editorial: Compositionality: Current issues 2001-02-18 Paper Rules of meaning...10 bytes (16 words) - 12:41, 7 October 2023
- regression between parts of compositional data 2017-01-11 Paper Compositional biplots including external non-compositional variables 2017-01-04 Paper Simulation...10 bytes (17 words) - 00:09, 10 December 2023
- UPPAAL 2003-02-13 Paper Verification of large state/event systems using compositionality and dependency analysis 2001-07-02 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 09:59, 8 December 2023
- Paper Branching Bisimilarity with Explicit Divergence 2009-09-29 Paper Compositionality for Markov Reward Chains with Fast Transitions 2008-08-28 Paper Model...10 bytes (16 words) - 22:33, 12 December 2023
- WEIGHTED COMPOSITION OPERATORS BETWEEN -SPACES 2020-07-08 Paper Fredholm weighted composition operators 2019-08-14 Paper COMPACT WEIGHTED COMPOSITION OPERATORS...10 bytes (20 words) - 18:17, 8 December 2023
- Publication Date of Publication Type Compositionality results for different types of parameterization and parameter passing in specification languages...10 bytes (18 words) - 12:17, 6 October 2023
- class of composition semigroups in Hardy spaces 1987-01-01 Paper Semigroups of composition operators in Bergman spaces 1987-01-01 Paper Composition Semigroups...10 bytes (18 words) - 11:54, 9 December 2023
- weighted composition operators from weighted Bergman spaces to weighted-type spaces on the unit ball 2012-08-31 Paper On Volterra composition operators...10 bytes (17 words) - 16:41, 10 December 2023
- Activation 2016-03-10 Paper A probabilistic framework for analysing the compositionality of conceptual combinations 2015-12-21 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 10:24, 11 December 2023
- to Probabilistic Compositional Models 2015-10-09 Paper On computations with causal compositional models 2015-09-29 Paper Compositional models in valuation-based...10 bytes (16 words) - 03:13, 10 December 2023
- Publication Type Spectrum of weighted composition operators. VIII: Lower semi-Fredholm spectrum of weighted composition operators on \(C(K)\). The case of...10 bytes (19 words) - 15:26, 11 December 2023
- Compactification, and beyond, of composition operators on Hardy spaces by weights 2021-09-14 Paper Approximation and entropy numbers of composition operators 2021-01-21...10 bytes (16 words) - 22:46, 9 December 2023
- de/entity/Q4972733 2019-11-26 Paper Logical characterisations, rule formats and compositionality for input-output conformance simulation 2019-06-20 Paper When are prime...10 bytes (16 words) - 16:43, 24 September 2023
- set-valued composition operators in the spaces of functions of bounded variation in the sense of Wiener 2010-05-25 Paper Uniformly continuous composition operators...10 bytes (18 words) - 12:35, 11 December 2023
