-
2
-
-
0020815483
-
Inductive inference: Theory and methods
-
3
-
D. Angluin C. H. Smith 1983 Inductive inference: Theory and methods Computing Surveys 15 3 37 269
-
(1983)
Computing Surveys
, vol.15
, pp. 37-269
-
-
Angluin, D.1
Smith, C.H.2
-
5
-
-
0012168865
-
Software process validation: Quantitatively measuring the correspondence of a process to a model
-
2
-
J. E. Cook A. L. Wolf 1999 Software process validation: Quantitatively measuring the correspondence of a process to a model ACM Transactions on Software Engineering and Methodology 8 2 147 176
-
(1999)
ACM Transactions on Software Engineering and Methodology
, vol.8
, pp. 147-176
-
-
Cook, J.E.1
Wolf, A.L.2
-
7
-
-
84931336184
-
A data warehouse for workflow logs
-
Springer Berlin
-
Eder, J., Olivotto, G. E., & Gruber, W. (2002). A data warehouse for workflow logs. In Y. Han, S. Tai, & D. Wikarski (Eds.), International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), Volume 2480 of Lecture Notes in Computer Science (pp. 1-15). Berlin: Springer.
-
(2002)
International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), Volume 2480 of Lecture Notes in Computer Science
, pp. 1-15
-
-
Eder, J.1
Olivotto, G.E.2
Gruber, W.3
Han, Y.4
Tai, S.5
Wikarski, D.6
-
8
-
-
0025405313
-
Partial (set) 2-structures-Part 1 and part 2
-
4
-
A. Ehrenfeucht G. Rozenberg 1989 Partial (set) 2-structures-Part 1 and part 2 Acta Informatica 27 4 315 368
-
(1989)
Acta Informatica
, vol.27
, pp. 315-368
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
9
-
-
49949150022
-
Language identfication in the limit
-
5
-
E. M. Gold 1967 Language identfication in the limit Information and Control 10 5 447 474
-
(1967)
Information and Control
, vol.10
, pp. 447-474
-
-
Gold, E.M.1
-
10
-
-
0001187706
-
Complexity of automaton identification from given data
-
3
-
E. M. Gold 1978 Complexity of automaton identification from given data Information and Control 37 3 302 320
-
(1978)
Information and Control
, vol.37
, pp. 302-320
-
-
Gold, E.M.1
-
11
-
-
84944323240
-
Improving business process quality through exception understanding, prediction, and prevention
-
P. Apers, P. Atzeni, S. Ceri, S. Paraboschi, K. Ramamohanarao, & R. Snodgrass (Eds.) Morgan Kaufmann
-
Grigori, D., Casati, F., Dayal, U., & Shan, M. C. (2001). Improving business process quality through exception understanding, prediction, and prevention. In P. Apers, P. Atzeni, S. Ceri, S. Paraboschi, K. Ramamohanarao, & R. Snodgrass (Eds.), Proceedings of 27th International Conference on Very Large Data Bases (VLDB'01) (pp. 159-168). Morgan Kaufmann.
-
(2001)
Proceedings of 27th International Conference on Very Large Data Bases (VLDB'01)
, pp. 159-168
-
-
Grigori, D.1
Casati, F.2
Dayal, U.3
Shan, M.C.4
-
13
-
-
0037668174
-
Dealing with concurrency in workflow induction
-
U. Baake, R. Zobel, & M. Al-Akaidi (Eds.) SCS Europe
-
Herbst, J. (2000b). Dealing with concurrency in workflow induction. In U. Baake, R. Zobel, & M. Al-Akaidi (Eds.), European Concurrent Engineering Conference. SCS Europe.
-
(2000)
European Concurrent Engineering Conference
-
-
Herbst, J.1
-
16
-
-
0038343982
-
An inductive approach to the acquisition and adaptation of workflow models
-
M. Ibrahim, & B. Drabble (Eds.) Stockholm, Sweden, August
-
Herbst, J., & Karagiannis, D. (1999). An inductive approach to the acquisition and adaptation of workflow models. In M. Ibrahim, & B. Drabble (Eds.), Proceedings of the IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business (pp. 52-57). Stockholm, Sweden, August.
-
(1999)
Proceedings of the IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business
, pp. 52-57
-
-
Herbst, J.1
Karagiannis, D.2
-
20
-
-
0346984143
-
Decomposing event sequences into independent components
-
V. Kumar, & R. Grossman (Eds.) SIAM
-
Mannila, H., & Rusakov, D. (2001). Decomposing event sequences into independent components. In V. Kumar, & R. Grossman (Eds.), Proceedings of the First SIAM Conference on Data Mining (pp. 1-17). SIAM.
-
(2001)
Proceedings of the First SIAM Conference on Data Mining
, pp. 1-17
-
-
Mannila, H.1
Rusakov, D.2
-
22
-
-
0141525946
-
Automated discovery of workflow models from hospital data
-
B. Kröse, M. de Rijke, G. Schreiber, & M. van Someren (Eds.)
-
Maruster, L., van der Aalst, W. M. P., Weijters, A. J. M. M., van den Bosch, A., & Daelemans, W. (2001). Automated discovery of workflow models from hospital data. In B. Kröse, M. de Rijke, G. Schreiber, & M. van Someren (Eds.), Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001) (pp. 183-190).
-
(2001)
Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001)
, pp. 183-190
-
-
Maruster, L.1
Van Der Aalst, W.M.P.2
Weijters, A.J.M.M.3
Van Den Bosch, A.4
Daelemans, W.5
-
23
-
-
84949789713
-
Process mining: Discovering direct successors in process logs
-
Springer Berlin
-
Maruster, L., Weijters, A. J. M. M., van der Aalst, W. M. P., & van den Bosch, A. (2002). Process mining: Discovering direct successors in process logs. In Proceedings of the 5th International Conference on Discovery Science (Discovery Science 2002), Volume 2534 of Lecture Notes in Artificial Intelligence (pp. 364-373). Berlin: Springer.
-
(2002)
Proceedings of the 5th International Conference on Discovery Science (Discovery Science 2002), Volume 2534 of Lecture Notes in Artificial Intelligence
, pp. 364-373
-
-
Maruster, L.1
Weijters, A.J.M.M.2
Van Der Aalst, W.M.P.3
Van Den Bosch, A.4
-
24
-
-
0038005971
-
Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von ProzeSSmodellen
-
Informatik Aktuell Springer Berlin, Germany
-
Maxeiner, M. K., Küspert, K., & Leymann, F. (2001). Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von ProzeSSmodellen. In Proceedings of Datenbanksysteme in Büro, Technik und Wissenschaft (pp. 75-84). Berlin, Germany: Informatik Aktuell Springer.
-
(2001)
Proceedings of Datenbanksysteme in Büro, Technik und Wissenschaft
, pp. 75-84
-
-
Maxeiner, M.K.1
Küspert, K.2
Leymann, F.3
-
25
-
-
0004095871
-
-
Nervous and Mental Disease Publishing Company Washington, DC
-
Moreno, J. L. (1934). Who shall survive? Washington, DC: Nervous and Mental Disease Publishing Company.
-
(1934)
Who Shall Survive?
-
-
Moreno, J.L.1
-
26
-
-
0242479542
-
Automata induction, grammar inference, and language acquisition
-
Marcel Dekker New York
-
Parekh, R., Honavar, V. (2000). Automata induction, grammar inference, and language acquisition. In Dale, Moisl, & Somers (Eds.), Handbook of Natural Language Processing. New York: Marcel Dekker.
-
(2000)
Handbook of Natural Language Processing
-
-
Parekh, R.1
Honavar, V.2
Dale3
Moisl4
Somers5
-
27
-
-
85037549689
-
Inductive inference, DFAs, and computational complexity
-
Springer Berlin
-
Pitt, L. (1889). Inductive inference, DFAs, and computational complexity. In K. P. Jantke (Ed.), Proceedings of International Workshop on Analogical and Inductive Inference (AII), Volume 397 of Lecture Notes in Computer Science (pp. 18-44). Berlin: Springer.
-
(1889)
Proceedings of International Workshop on Analogical and Inductive Inference (AII), Volume 397 of Lecture Notes in Computer Science
, pp. 18-44
-
-
Pitt, L.1
Jantke, K.P.2
-
29
-
-
33745116233
-
Conformance testing: Measuring the fit and appropriateness of event logs and process models
-
Springer Berlin
-
Rozinat, A., & van der Aalst, W. M. P. (2006). Conformance testing: Measuring the fit and appropriateness of event logs and process models. In C. Bussler et al. (Eds.), BPM 2005 Workshop on Business Process Intelligence, Volume 3812 of Lecture Notes in Computer Science (pp. 163-176). Berlin: Springer.
-
(2006)
BPM 2005 Workshop on Business Process Intelligence, Volume 3812 of Lecture Notes in Computer Science
, pp. 163-176
-
-
Rozinat, A.1
Van Der Aalst, W.M.P.2
Bussler, C.3
-
30
-
-
0141748992
-
Business process cockpit
-
Morgan Kaufmann
-
Sayal, M., Casati, F., Shan, M. C., & Dayal, U. (2002). Business process cockpit. In Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02) (pp. 880-883). Morgan Kaufmann.
-
(2002)
Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02)
, pp. 880-883
-
-
Sayal, M.1
Casati, F.2
Shan, M.C.3
Dayal, U.4
-
32
-
-
84947568364
-
Generic linear business process modeling
-
Springer Berlin
-
Schimm, G. (2000). Generic linear business process modeling. In S. W. Liddle, H. C. Mayr, & Thalheim, B. (Eds.), Proceedings of the ER 2000 Workshop on Conceptual Approaches for E-Business and The World Wide Web and Conceptual Modeling, Volume 1921 of Lecture Notes in Computer Science (pp. 31-39). Berlin: Springer.
-
(2000)
Proceedings of the ER 2000 Workshop on Conceptual Approaches for E-Business and the World Wide Web and Conceptual Modeling, Volume 1921 of Lecture Notes in Computer Science
, pp. 31-39
-
-
Schimm, G.1
Liddle, S.W.2
Mayr, H.C.3
Thalheim, B.4
-
37
-
-
35048882847
-
Mining social networks: Uncovering interaction patterns in business processes
-
Springer Berlin
-
van der Aalst, W. M. P., & Song, M. (2004). Mining social networks: Uncovering interaction patterns in business processes. In M. Weske, B. Pernici, & J. Desel (Eds.), International Conference on Business Process Management (BPM 2004), Lecture Notes in Computer Science. Berlin: Springer.
-
(2004)
International Conference on Business Process Management (BPM 2004), Lecture Notes in Computer Science
-
-
Van Der Aalst, W.M.P.1
Song, M.2
Weske, M.3
Pernici, B.4
Desel, J.5
-
38
-
-
84931347503
-
Discovering workflow performance models from timed logs
-
Springer Berlin
-
van der Aalst, W. M. P., & van Dongen, B. F. (2002). Discovering workflow performance models from timed logs. In Y. Han, S. Tai, & D. Wikarski (Eds.), International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), Volume 2480 of Lecture Notes in Computer Science (pp. 45-63). Berlin: Springer.
-
(2002)
International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), Volume 2480 of Lecture Notes in Computer Science
, pp. 45-63
-
-
Van Der Aalst, W.M.P.1
Van Dongen, B.F.2
Han, Y.3
Tai, S.4
Wikarski, D.5
-
40
-
-
0004002407
-
-
MIT Press Cambridge, MA
-
van der Aalst, W. M. P., & van Hee, K. M. (2002). Workflow management: Models, methods, and systems. Cambridge, MA: MIT Press.
-
(2002)
Workflow Management: Models, Methods, and Systems
-
-
Van Der Aalst, W.M.P.1
Van Hee, K.M.2
-
41
-
-
24644452424
-
-
Elsevier Amsterdam
-
van der Aalst, W. M. P., Weijters, A. J. M. M. (Eds.), Process mining, special issue of computers in industry, Vol. 53, No. 3. Amsterdam: Elsevier (2004).
-
(2004)
Process Mining, Special Issue of Computers in Industry, Vol. 53, No. 3
-
-
Van Der Aalst, W.M.P.1
Weijters, A.J.M.M.2
-
43
-
-
26444580289
-
The prom framework: A new era in process mining tool support
-
Springer Berlin
-
van Dongen, B. F., Alves de Medeiros, A. K., Verbeek, H. M. W., Weijters, A. J. M. M., & van der Aalst, W. M. P. (2005). The prom framework: A new era in process mining tool support. In G. Ciardo, & P. Darondeau (Eds.), Application and Theory of Petri Nets 2005, Volume 3536 of Lecture Notes in Computer Science (pp. 444-454). Berlin: Springer.
-
(2005)
Application and Theory of Petri Nets 2005, Volume 3536 of Lecture Notes in Computer Science
, pp. 444-454
-
-
Van Dongen, B.F.1
Alves De Medeiros, A.K.2
Verbeek, H.M.W.3
Weijters, A.J.M.M.4
Van Der Aalst, W.M.P.5
Ciardo, G.6
Darondeau, P.7
-
44
-
-
0012828165
-
Process mining: Discovering workflow models from event-based data
-
B. Kröse, M. de Rijke, G. Schreiber, & M. van Someren (Eds.)
-
Weijters, A. J. M. M., & van der Aalst, W. M. P. (2001a). Process mining: Discovering workflow models from event-based data. In B. Kröse, M. de Rijke, G. Schreiber, & M. van Someren (Eds.), Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001) (pp. 283-290).
-
(2001)
Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001)
, pp. 283-290
-
-
Weijters, A.J.M.M.1
Van Der Aalst, W.M.P.2
-
46
-
-
0141748994
-
Workflow mining: Discovering workflow models from event-based data
-
C. Dousson, F. Höppner, & R. Quiniou (Eds.)
-
Weijters, A. J. M. M., & van der Aalst, W. M. P. (2002). Workflow mining: Discovering workflow models from event-based data. In C. Dousson, F. Höppner, & R. Quiniou (Eds.), Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data (pp. 78-84).
-
(2002)
Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data
, pp. 78-84
-
-
Weijters, A.J.M.M.1
Van Der Aalst, W.M.P.2
-
49
-
-
0141637025
-
Process-driven management information systems combining data warehouses and workflow technology
-
IEEE Computer Society Press Los Alamitos, California
-
zur Mühlen, M. (2001a). Process-driven management information systems combining data warehouses and workflow technology. In B. Gavish (Ed.), Proceedings of the International Conference on Electronic Commerce Research (ICECR-4) (pp. 550-566). Los Alamitos, California: IEEE Computer Society Press.
-
(2001)
Proceedings of the International Conference on Electronic Commerce Research (ICECR-4)
, pp. 550-566
-
-
Zur Mühlen, M.1
Gavish, B.2
-
50
-
-
0141525951
-
Workflow-based process controlling-Or: What you can measure you can control
-
Lighthouse Point, Future Strategies Florida
-
zur Mühlen, M. (2001b). Workflow-based process controlling-Or: What you can measure you can control. In L. Fischer (Ed.), Workflow Handbook 2001, Workflow Management Coalition (pp. 61-77). Florida: Lighthouse Point, Future Strategies.
-
(2001)
Workflow Handbook 2001, Workflow Management Coalition
, pp. 61-77
-
-
Zur Mühlen, M.1
Fischer, L.2
-
51
-
-
0033889106
-
Workflow-based process monitoring and controlling-technical and organizational issues
-
IEEE Computer Society Press Los Alamitos, California
-
zur Mühlen, M., & Rosemann, M. (2000). Workflow-based process monitoring and controlling-technical and organizational issues. In R. Sprague (Ed.), Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33) (pp. 1-10). Los Alamitos, California: IEEE Computer Society Press.
-
(2000)
Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33)
, pp. 1-10
-
-
Zur Mühlen, M.1
Rosemann, M.2
Sprague, R.3
|