Institute of Databases and Information Systems
- 1:
Team.- 1.1:
Peter Dadam. - 1.2:
Manfred Reichert. 1.3: - 1.4:
Eva Englert. - 1.5:
Christiane Köppl. 1.6: - 1.7:
Semra Catalkaya. - 1.8:
Carolina Chiao. - 1.9:
Gregor Grambow . - 1.10:
David Knuplesch. - 1.11:
Jens Kolb. - 1.12:
Vera Künzle. - 1.13:
Andreas Lanz. - 1.14:
Linh Thao Ly. - 1.15:
Nicolas Mundbrod. - 1.16:
Rüdiger Pryss. - 1.17:
Marc Schickler. - 1.18:
Johannes Schobel. - 1.19:
Vivian Steller. - 1.20:
Julian Tiedeken. 1.21: - 1.22:
Markus Hipp. - 1.23:
Ulrich Kreher. - 1.24:
Matthias Lohrmann. - 1.25:
Christian Manz. - 1.26:
Bernd Michelberger. 1.27: - 1.28:
Alumni. 1.29: - 1.30:
Internal Sites.
- 1.1:
- 2:
Teaching. - 3:
Research. - 4:
Publications. - 5:
Events. - 6:
News. - 7:
Links.
Publications
Go to year of publication:
| 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 |
2013
| Ly, Linh Thao (2013) SeaFlows A Compliance Checking Framework for Supporting the Process Lifecycle. Phd thesis, University of Ulm. |
2012
| Ly, Linh Thao and Indiono, Conrad and Mangler, Jürgen and Rinderle-Ma, Stefanie (2012) Data Transformation and Semantic Log Purging for Process Mining. In: 24th International Conference on Advanced Information Systems Engineering (CAiSE'12), Gdansk, Poland, 25-29 June 2012, LNCS 7328, Springer, pp. 238-253. |
2011
| Kabicher, Sonja and Rinderle-Ma, Stefanie and Ly, Linh Thao (2011) Activity-Oriented Clustering Techniques in Large Process and Compliance Rule Repositories. In: Proc. BPM'11 Workshops, 1st Int. Workshop on Process Model Collections (PMC 2011), Clermont-Ferrand, France, August 2011, LNBIP, Springer. (Accepted for Publication) |
| Ly, Linh Thao and Rinderle-Ma, Stefanie and Knuplesch, David and Dadam, Peter (2011) Monitoring Business Process Compliance Using Compliance Rule Graphs. In: 19th International Conference on Cooperative Information Systems (CoopIS 2011) , Crete, Greece, Oct 19 - 21, 2011, LNCS 7044, Springer, pp. 82-99. |
2010
| Knuplesch, David and Ly, Linh Thao and Rinderle-Ma, Stefanie and Pfeifer, Holger and Dadam, Peter (2010) On Enabling Data-Aware Compliance Checking of Business Process Models. In: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 2010, LNCS 6412, Springer, pp. 332-346. |
| Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Pfeifer, Holger and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems. In: Proc. CAiSE'10 Forum - Information Systems Evolution, Hammamet, Tunisia, June 2010, LNBIP 72, Springer, pp. 76-91. |
| Ly, Linh Thao and Rinderle-Ma, Stefanie and Dadam, Peter (2010) Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. In: The 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), Hammamet, Tunisia, 09-11 June 2010, LNCS 6051, Springer, pp. 9-23. |
| Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy. In: CAiSE'10 Demos, Hammamet, Tunisia, June 2010. |
2009
| Rinderle-Ma, Stefanie and Ly, Linh Thao and Thom, Lucineia (2009) The 4th International Workshop on Technologies for Context-Aware Business Process Management (TCoB 2009) within the Proceedings Joint Workshop on Advanced Technologies and Techniques for Enterprise Information Systems. INSTICC Press. |
| Dadam, Peter and Reichert, Manfred and Rinderle-Ma, Stefanie and Lanz, Andreas and Pryss, Rüdiger and Predeschly, Michael and Kolb, Jens and Ly, Linh Thao and Jurisch, Martin and Kreher, Ulrich and Goeser, Kevin (2009) From ADEPT to AristaFlow BPM Suite: A Research Vision has become Reality. In: Proceedings Business Process Management (BPM'09) Workshops, 1st Int'l. Workshop on Empirical Research in Business Process Management (ER-BPM '09), Ulm, Germany, September 2009, LNBIP 43, Springer, pp. 529-531. |
| Ly, Linh Thao and Rinderle-Ma, Stefanie and Göser, Kevin and Dadam, Peter (2009) On Enabling Integrated Process Compliance with Semantic Constraints in Process Management Systems. Information Systems Frontiers, Springer, pp. 1-25. |
| Reichert, Manfred and Dadam, Peter and Rinderle-Ma, Stefanie and Lanz, Andreas and Pryss, Rüdiger and Predeschly, Michael and Kolb, Jens and Ly, Linh Thao and Jurisch, Martin and Kreher, Ulrich and Goeser, Kevin (2009) Enabling Poka-Yoke Workflows with the AristaFlow BPM Suite. In: Proc. BPM'09 Demonstration Track, Ulm, Germany, September 2009, CEUR Workshop Proceedings 489. |
2008
| Ly, Linh Thao and Rinderle, Stefanie and Dadam, Peter (2008) Integration and verification of semantic constraints in adaptive process management systems. Data & Knowledge Engineering, 64(1): 3-23, Elsevier. |
| Ly, Linh Thao and Göser, Kevin and Rinderle-Ma, Stefanie and Dadam, Peter (2008) Compliance of Semantic Constraints - A Requirements Analysis for Process Management Systems. In: Proc. 1st Int'l Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS'08), Montpellier, France. |
| Rinderle-Ma, Stefanie and Ly, Linh Thao and Dadam, Peter (2008) Business Process Compliance (Aktuelles Schlagwort). EMISA Forum, pp. 24-29. |
2006
| Ly, Linh Thao and Rinderle, Stefanie and Dadam, Peter (2006) Semantic Correctness in Adaptive Process Management Systems. In: Proc. 4th Int'l conf. on Business Process Management (BPM'06), Vienna, Austria, LNCS 4102, Springer, pp. 193-208. |
2005
| Ly, Linh Thao and Rinderle, Stefanie and Dadam, Peter and Reichert, Manfred (2005) Mining Staff Assignment Rules from Event-Based Data. In: Proc. Workshop on Business Process Intelligence (BPI) in conjunction with (BPM'05), Nancy, France, LNCS 3812, Springer, pp. 177-190. |
| Ly, Linh Thao and Reichert, Manfred (2005) Process Mining . EMISA Forum, 25(2): 58-59. |
Supervised Master & Bachelor Theses
| 2010 | 2008 | 2007 | 2006 |
2010
| Merkel, Philipp (2010) Anwender- und aufgabenzentrierte Auswertung der Erfüllung semantischer Constraints in Prozess-Management-Systemen. Diploma thesis, University of Ulm. |
2008
| Knuplesch, David (2008) Verifikation von ADEPT-Prozessen mittels Model Checking. Diploma thesis, Universität Ulm. |
2007
| Stöhr, Johannes (2007) Integration von Geschäftsregeln in Prozess-Management-Systeme. Diploma thesis, Universität Ulm. |
2006
| Zhou, Hao (2006) Effiziente Überprüfung semantischer Korrektheit in adaptiven Prozess-Management-Systemen. Diploma thesis, University of Ulm. |

