sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000083976527 | 1 hits
Person
ISNI: 
0000 0000 8397 6527
Name: 
Aalst, W. M. P. van der
Aalst, Wil M. P. van der
Aalst, Wil van der
Aalst, Willibrordus M. van der
Aalst, Willibrordus Martinus Pancratius
Aalst, Willibrordus Martinus Pancratius van der
Aalst, Willibrordus Martinus Pancratius van der (Vollstaendiger Name)
Der Aalst, Wil van
der Aalst, Willibrordus Martinus Pancratius van
van der Aalst, W. M.
Van der Aalst, W. M. P.
Van der Aalst, Wil
Van der Aalst, Wil M. P.
Van der Aalst, Willibrordus Martinus Pancratius
Wil van der Aalst
Wil van der Aalst (Dutch computer scientist and professor)
Wil van der Aalst (niederländischer Informatiker)
Dates: 
1966-
Creation class: 
article
Computer file
cre
Language material
Manuscript language material
text
Creation role: 
author
contributor
editor
redactor
writer of accompanying material
Related names: 
Basten, Antonius André (1969-)
Basten, Twan (1969-)
Desel, Jörg
Hee, K.M. van (1946-)
Hee, Kees Max (1946-)
Hee, Kees Max van
Hee, Kees van
Jensen, Kurt (1950-....))
Stahl, Christian (1978-)
Technische Universiteit Eindhoven
Technische Universiteit Eindhoven Affiliation (see also from)
Ter Hofstede, Arthur
Verbeek, H. M. W.
Weske, Mathias
Titles: 
Aggregating causal runs into workflow nets
BPM 2005
Browsing semantics in the "Tower" model
Business process management : international conference, BPM 2003, Eindhoven, the Netherlands, June 26-27, 2003 : proceedings
Business process management models, techniques, and empirical studies
Choreography conformance checking an approach based on BPEL and petri nets
Conformance testing : measuring the alignment between event logs and process models
Conservative adaption of workflow
Construction rules for component-based architectures
DecSerFlow: towards a truly declarative service flow language
Discovering social networks from event logs
Exploring the process dimension of workflow management
Exterminating the dynamic change bug : a concrete approach to support workflow change
Flexible Workflow Management Systems : An Approach Based on Generic Process Models
Formalization and verification of event-driven process chains
Gestão de workflows modelos, métodos e sistemas
Handboek simulatie
Handbook of research on business process modeling, c2009:
Inheritance of behavior
Inheritance of Interorganizational Workflows : How to Agree to Disagree Without Loosing Control?
Inheritance of interorganizational workflows : how to agree to disagree without losing control?
Inheritance of workflows : an approach to tackling problems related to change
Interval Timed Coloured Petri Nets and Their Analysis
Life-cycle inheritance : a Petri-net-based approach
Life-cycle support for staff assignment rules in process-aware information systems
Matching observed behavior and modeled behavior : an approach based on Petri nets and integer programming
Mining activity clusters from low-level event logs
Modeling business processes : a petri net-oriented approach
modelling and analysis of queueing systems with QNM-ExSpect, The
Multi-dimensional Petri nets
Multiparty contracts: agreeing and implementing interorganizational processes
On the move to meaningful Internet systems 2004: CoopIS, DOA, and ODBASE : proceedings, part I
Parallel computation of reachable dead states in a free-choice Petri net
Patterns in Colored Petri Nets
Petri net approaches for modelling and validation
Petri net based scheduling
Process-aware information systems : bridging people and software through process technology
Process mining and monitoring processes and services workshop report
Process mining and verification of properties : an approach based on temporal logic
Process mining discovery, conformance and enhancement of business processes
Process mining in healthcare : evaluating and exploiting operational healthcare processes
Product based workflow design with case handling systems
SAP WebFlow made configurable : unifying workflow templates into a configurable model
SCC 2007
Services computing
SOA-based architecture framework
Structural characterizations of sound workflow nets
Timed coloured petri nets and their application to logistics
ToPNoC
Towards comprehensive support for organizational mining
Transactions on petri nets and other models of concurrency I, c2008:
Translating message sequence charts to other process languages using process mining
Using genetic algorithms to mine process models : representation, operators and results
Verification of Workflow Nets
Verifying workflows with cancellation regions and OR-joins : an approach based on invariants
Woflan : A Petri-Net-Based Workflow Analyzer
Workflow management : models, methods, and systems
Workflow mining : which processes can be rediscovered?
Workflow patterns : the definitive guide
WorkflowNet2BPEL4WS : a tool for translating unstructured workflow processes in readable BPEL
XRL/Woflan : verification of an XML/Petri-net-based language for interorganizational workflows
Contributed to or performed: 
DECISION SUPPORT SYSTEMS
INFORMATION AND SOFTWARE TECHNOLOGY
INFORMATION SYSTEMS FRONTIERS
INFORMATION TECHNOLOGY AND MANAGEMENT
LECTURE NOTES IN COMPUTER SCIENCE
SYSTEMS ANALYSIS MODELLING SIMULATION
Notes: 
Thesis (Sc. D.)--Technische Universiteit Eindhoven, 1992
Sources: 
VIAF VIAF BNC DNB LC LNB NKC NUKAT PTBNP SUDOC WKD
BOWKER
CEDA
DAI
NTA
TEL
ZETO