Artem Polyvyanyy

According to our database1, Artem Polyvyanyy
  • authored at least 46 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Impact-Driven Process Model Repair.
ACM Trans. Softw. Eng. Methodol., 2017

2016
On the expressive power of behavioral profiles.
Formal Asp. Comput., 2016

Supporting Process Model Validation through Natural Language Generation.
Proceedings of the Software Engineering 2016, 2016

Collaborative Business Process Modeling in Multi-surface Environments.
Proceedings of the Collaboration Meets Interactive Spaces, 2016

2015
Business Process Model Abstraction.
Proceedings of the Handbook on Business Process Management 1, 2015

Untanglings: a novel approach to analyzing concurrent systems.
Formal Asp. Comput., 2015

On the Suitability of Generalized Behavioral Profiles for Process Model Comparison.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Process Querying in Apromore.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

2014
Supporting Process Model Validation through Natural Language Generation.
IEEE Trans. Software Eng., 2014

Maximal Structuring of Acyclic Process Models.
Comput. J., 2014

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings.
Proceedings of the Advanced Information Systems Engineering, 2014

The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Towards a Compendium of Process Technologies - The jBPT Library for Process Model Analysis.
Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

APQL: A Process-Model Query Language.
Proceedings of the Asia Pacific Business Process Management, 2013

The Structured Phase of Concurrency.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Structuring process models.
PhD thesis, 2012

Generalized aggregate Quality of Service computation for composite services.
Journal of Systems and Software, 2012

Structuring acyclic process models.
Inf. Syst., 2012

Weak Conformance of Process Models with respect to Data Objects.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

Generating Natural Language Texts from Business Process Models.
Proceedings of the Advanced Information Systems Engineering, 2012

Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models.
Proceedings of the Business Process Management - 10th International Conference, 2012

2011
Process compliance analysis based on behavioural profiles.
Inf. Syst., 2011

Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation.
Fundam. Inform., 2011

Maximal Structuring of Acyclic Process Models
CoRR, 2011

Connectivity of workflow nets: the foundations of stepwise verification.
Acta Inf., 2011

Optimization of Complex QoS-Aware Service Compositions.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Flexible Service Systems.
Proceedings of the Science of Service Systems., 2011

2010
Structural abstraction of process specifications.
Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Simplified Computation and Generalization of the Refined Process Structure Tree.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

The Biconnected Verification of Workflow Nets.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Aggregate Quality of Service Computation for Composite Services.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

On Separation of Concurrency and Conflicts in Acyclic Process Models.
Proceedings of the EMISA 2010, 2010

Abstraction of Process Specifications.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

Process Compliance Measurement Based on Behavioural Profiles.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Unraveling Unstructured Process Models.
Proceedings of the Business Process Modeling Notation - Second International Workshop, 2010

Structuring Acyclic Process Models.
Proceedings of the Business Process Management - 8th International Conference, 2010

Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
Unveiling Hidden Unstructured Regions in Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

On Application of Structural Decomposition for Process Model Abstraction.
Proceedings of the Business Process, 2009

The Triconnected Abstraction of Process Models.
Proceedings of the Business Process Management, 7th International Conference, 2009

2008
Flexible Process Graph: A Prologue.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Reducing Complexity of Large EPCs.
Proceedings of the Modellierung betrieblicher Informationssysteme - Modellierung zwischen SOA und Compliance Management, 2008

Process Model Abstraction: A Slider Approach.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Semantic Querying of Business Process Models.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

An Ontology-Based Service Discovery Approach for the Provisioning of Product- Service Bundles.
Proceedings of the 16th European Conference on Information Systems, 2008

Hypergraph-Based Modeling of Ad-Hoc Business Processes.
Proceedings of the Business Process Management Workshops, 2008


  Loading...