The following pages link to Artem Polyvyanyy (Q315284):
Displaying 12 items.
- On the expressive power of behavioral profiles (Q315288) (← links)
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- Interleaving isotactics -- an equivalence notion on behaviour abstractions (Q1643139) (← links)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- (Q3225723) (← links)
- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition (Q3569862) (← links)
- Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
- Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
- Fast and accurate data-driven goal recognition using process mining techniques (Q6080644) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)