Found: 177
Select item for more details and to access through your institution.
Bisimulations of boolean control networks with impulsive effects and its application in controllability.
- Published in:
- Asian Journal of Control, 2019, v. 21, n. 6, p. 2559, doi. 10.1002/asjc.2145
- By:
- Publication type:
- Article
Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence.
- Published in:
- Asian Journal of Control, 2016, v. 18, n. 5, p. 1679, doi. 10.1002/asjc.1253
- By:
- Publication type:
- Article
Hierarchical Hybrid Symbolic Robot Motion Planning and Control.
- Published in:
- Asian Journal of Control, 2015, v. 17, n. 1, p. 23, doi. 10.1002/asjc.1027
- By:
- Publication type:
- Article
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs.
- Published in:
- Journal of Electrical & Computer Engineering, 2015, v. 2015, p. 1, doi. 10.1155/2015/939028
- By:
- Publication type:
- Article
ARISTOTLE AND BOETHIUS: TWO THESES AND THEIR POSSIBILITIES.
- Published in:
- Praxis Filosófica, 2021, n. 53, p. 69, doi. 10.25100/pfilosofica.v0i53.11478
- By:
- Publication type:
- Article
The Evolution Mechanism of Correctness for Cyber-Physical System.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2024, v. 34, n. 7, p. 1095, doi. 10.1142/S0218194024500153
- By:
- Publication type:
- Article
A Unifying Coalgebraic Semantics Framework for Quantum Systems.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2021, v. 31, n. 03, p. 381, doi. 10.1142/S0218194021500133
- By:
- Publication type:
- Article
Correction to: Decidability of interpretability logics ILM<sub>0</sub> and ILW<sup>*</sup>.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 2, p. 115, doi. 10.1093/jigpal/jzv054
- By:
- Publication type:
- Article
Relation-changing modal operators.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 601, doi. 10.1093/jigpal/jzv020
- By:
- Publication type:
- Article
A bisimulation characterization for interpretability logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 872, doi. 10.1093/jigpal/jzu015
- By:
- Publication type:
- Article
Decomposition of multiple AGM contraction: possibility and impossibility results.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 696, doi. 10.1093/jigpal/jzu014
- By:
- Publication type:
- Article
On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 482, doi. 10.1093/jigpal/jzt045
- By:
- Publication type:
- Article
Swap logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 309, doi. 10.1093/jigpal/jzt030
- By:
- Publication type:
- Article
A Systematic Presentation of Quantified Modal Logics.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 6, p. 571, doi. 10.1093/jigpal/10.6.571
- By:
- Publication type:
- Article
Third International Workshop on Hybrid Logic (HyLo'01).
- Published in:
- 2001
- By:
- Publication type:
- Abstract
Completeness of bisimilarity for contextual equivalence in linear theories.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 27, doi. 10.1093/jigpal/9.1.27
- By:
- Publication type:
- Article
Information transfer across Chu spaces.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 6, p. 719, doi. 10.1093/jigpal/8.6.719
- By:
- Publication type:
- Article
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 55, doi. 10.1093/jigpal/7.1.55
- By:
- Publication type:
- Article
Conferences.
- Published in:
- 1999
- By:
- Publication type:
- Abstract
Bisimulation, modal logic and model checking games.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 103, doi. 10.1093/jigpal/7.1.103
- By:
- Publication type:
- Article
Modal frame characterization by way of auxiliary modalities.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 6, p. 875, doi. 10.1093/jigpal/6.6.875
- By:
- Publication type:
- Article
Extended disjunction and existence properties for some predicate modal logics.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 5, p. 775, doi. 10.1093/jigpal/6.5.775
- By:
- Publication type:
- Article
Hybrid completeness.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 4, p. 625, doi. 10.1093/jigpal/6.4.625
- By:
- Publication type:
- Article
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes.
- Published in:
- Theory of Computing Systems, 2014, v. 55, n. 1, p. 136, doi. 10.1007/s00224-013-9505-9
- By:
- Publication type:
- Article
Automatic verification of behavior preservation at the transformation level for relational model transformation.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 5, p. 2937, doi. 10.1007/s10270-018-00706-9
- By:
- Publication type:
- Article
Heuristic search for equivalence checking.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 2, p. 513, doi. 10.1007/s10270-014-0416-2
- By:
- Publication type:
- Article
A tutorial on the formal framework for spiking neural P systems.
- Published in:
- Natural Computing, 2023, v. 22, n. 1, p. 181, doi. 10.1007/s11047-022-09896-0
- By:
- Publication type:
- Article
Reactive bisimulation semantics for a process algebra with timeouts.
- Published in:
- Acta Informatica, 2023, v. 60, n. 1, p. 11, doi. 10.1007/s00236-022-00417-1
- By:
- Publication type:
- Article
Team bisimilarity, and its associated modal logic, for BPP nets.
- Published in:
- Acta Informatica, 2021, v. 58, n. 5, p. 529, doi. 10.1007/s00236-020-00377-4
- By:
- Publication type:
- Article
Aggregation-based minimization of finite state automata.
- Published in:
- Acta Informatica, 2021, v. 58, n. 3, p. 177, doi. 10.1007/s00236-019-00363-5
- By:
- Publication type:
- Article
On the probabilistic bisimulation spectrum with silent moves.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 465, doi. 10.1007/s00236-020-00379-2
- By:
- Publication type:
- Article
A complete axiomatization of weighted branching bisimulation.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 689, doi. 10.1007/s00236-020-00375-6
- By:
- Publication type:
- Article
Characteristic invariants in Hennessy–Milner logic.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 671, doi. 10.1007/s00236-020-00376-5
- By:
- Publication type:
- Article
Parity game reductions.
- Published in:
- Acta Informatica, 2018, v. 55, n. 5, p. 401, doi. 10.1007/s00236-017-0301-x
- By:
- Publication type:
- Article
Probabilistic bisimulation for realistic schedulers.
- Published in:
- Acta Informatica, 2018, v. 55, n. 6, p. 461, doi. 10.1007/s00236-018-0313-1
- By:
- Publication type:
- Article
Characteristic bisimulation for higher-order session processes.
- Published in:
- Acta Informatica, 2017, v. 54, n. 3, p. 271, doi. 10.1007/s00236-016-0289-7
- By:
- Publication type:
- Article
A general account of coinduction up-to.
- Published in:
- Acta Informatica, 2017, v. 54, n. 2, p. 127, doi. 10.1007/s00236-016-0271-4
- By:
- Publication type:
- Article
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
- Published in:
- 2017
- By:
- Publication type:
- Editorial
Distinguishing and relating higher-order and first-order processes by expressiveness.
- Published in:
- Acta Informatica, 2012, v. 49, n. 7/8, p. 445, doi. 10.1007/s00236-012-0168-9
- By:
- Publication type:
- Article
Graph Pattern Matching: Capturing Bisimilar Subgraph.
- Published in:
- International Journal of Pattern Recognition & Artificial Intelligence, 2021, v. 35, n. 03, p. N.PAG, doi. 10.1142/S0218001421500117
- By:
- Publication type:
- Article
Variational Bayesian Exploration-Based Active Sarsa Algorithm.
- Published in:
- International Journal of Pattern Recognition & Artificial Intelligence, 2019, v. 33, n. 10, p. N.PAG, doi. 10.1142/S0218001419510054
- By:
- Publication type:
- Article
On the expressive power of first-order modal logic with two-dimensional operators.
- Published in:
- Synthese, 2018, v. 195, n. 10, p. 4373, doi. 10.1007/s11229-016-1172-3
- By:
- Publication type:
- Article
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.
- Published in:
- Synthese, 2017, v. 194, n. 7, p. 2447, doi. 10.1007/s11229-016-1060-x
- By:
- Publication type:
- Article
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.
- Published in:
- Synthese, 2013, v. 190, p. 135, doi. 10.1007/s11229-012-0243-3
- By:
- Publication type:
- Article
Action emulation.
- Published in:
- Synthese, 2012, v. 185, p. 131, doi. 10.1007/s11229-012-0083-1
- By:
- Publication type:
- Article
Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety.
- Published in:
- Journal of Advanced Transportation, 2020, p. 1, doi. 10.1155/2020/8830752
- By:
- Publication type:
- Article
Bimodality of wind-fed accretion in high-mass X-ray binaries.
- Published in:
- Publications of the Astronomical Society of Japan, 2014, v. 66, n. 2, p. 1, doi. 10.1093/pasj/psu018
- By:
- Publication type:
- Article
BISIMILAR SUBGROUPOIDS OF TRIVIAL GROUPOIDS WITH GROUP Z.
- Published in:
- Annals of 'Constantin Brancusi' University of Targu-Jiu. Engineering Series / Analele Universităţii Constantin Brâncuşi din Târgu-Jiu. Seria Inginerie, 2016, n. 4, p. 98
- By:
- Publication type:
- Article
TABLEAU-BASED TRANSLATION FROM FIRST-ORDER LOGIC TO MODAL LOGIC.
- Published in:
- Reports on Mathematical Logic, 2021, n. 56, p. 57, doi. 10.4467/20842589rm.21.003.14375
- By:
- Publication type:
- Article