Sage Journals: Discover world-class research

Free access

Research article

First published 2017-8

From Process Models to Concurrent Systems in Alvis Language

Marcin Szpyrka, Grzegorz J. Nalepa, Krzysztof Kluza

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2010-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Open access

Research article

First published 2018-12

Transformation of Business Process Model and Notation models onto Petri nets and their analysis

Umair Mutarraf, Kamel Barkaoui, Zhiwu Li [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2017-8

An affinity analysis based CIM-to-PIM transformation

Dongdai Zhou, Xue Chen, Qiuzhi Jin [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2011-12

Causal Behavioural Profiles – Efficient Computation,Applications,and Evaluation

Matthias Weidlich, Artem Polyvyanyy, Jan Mendling [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Semantics and Controllability of Time-Aware Business Processes *

Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

Federico Chesani, Paola Mello, Marco Montali [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2022-5

Data Verification Methodology to Facilitate Employment Database Updates for Transportation Planning

Eric Kramer, Hyunsoo Noh, Xiao Li

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2003-10

Validation Engineering in Ergonomics: Theoretical Perspectives

G. M. Samaras

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2014-2

Rethinking Validation: Efficient Search of the Space of Parameters for an Agent-Based Model

Doina Olaru, Sharon Purchase

Australasian Marketing Journal

Search results