-
Matej Črepinšek,
Marjan Mernik,
and Viljem Žumer.
Extracting grammar from programs: brute force approach.
SIGPLAN Not.,
40(4):29--38,
2005.
Keyword(s): Grammar Inference.
@article{1064171,
author = {Matej \&\#268;repin\&\#353;ek and Marjan Mernik and Viljem \&\#381;umer},
title = {Extracting grammar from programs: brute force approach},
journal = {SIGPLAN Not.},
volume = {40},
number = {4},
year = {2005},
issn = {0362-1340},
pages = {29--38},
doi = {http://doi.acm.org/10.1145/1064165.1064171},
publisher = {ACM Press},
address = {New York, NY, USA},
keywords="Grammar Inference"
}
-
Gianluigi Greco,
Antonella Guzzo,
and Giuseppe Manco.
Mining and Reasoning on Workflows.
IEEE TKDE,
17(4):519--534,
2005.
Keyword(s): Process Discovery.
@article{ReasoningOnWorkflow05,
author={Gianluigi Greco and Antonella Guzzo and Giuseppe Manco},
title={Mining and Reasoning on Workflows},
journal={IEEE TKDE},
volume={17},
year={2005},
pages={519--534},
number={4},
issn={1041-4347},
publisher={IEEE},
address={USA},
keywords = {Process Discovery}
}
-
W. Pauw and et. al..
Web Services Navigator: Visualizing the execution of Web Services.
IBM System Journal,
44(4):821--845,
2005.
Keyword(s): Process Discovery,
Sequential Process Discovery.
@article{Pauw:IBMJ05,
author = {W. Pauw and et. al.},
title = {Web Services Navigator: Visualizing the execution of Web Services},
year = {2005},
pages = {821--845},
journal = {IBM System Journal},
volume = {44},
number = {4},
keywords={Process Discovery, Sequential Process Discovery},
}
-
E. Vidal,
F. Thollard,
C. Higuera,
F. Casacuberta,
and R. Carrasco.
Probabilistic Finite State Machines-Part II.
IEEE TPAMI,
27(7):1026-1039,
2005.
Keyword(s): Grammar Inference.
@article{PFA-05-P2,
author={E. Vidal and F. Thollard and C. Higuera and F. Casacuberta and R. Carrasco},
title={Probabilistic Finite State Machines-Part II},
journal={IEEE TPAMI},
volume={27},
year={2005},
pages={1026-1039},
number={7},
keywords = {Grammar Inference}
}
-
E. Vidal,
F. Thollard,
C. Higuera,
F. Casacuberta,
and R. Carrasco.
Probabilistic Finite-State Machines-Part I.
IEEE TPAMI,
27(7):1013-1025,
2005.
Keyword(s): Grammar Inference.
@article{PFA-05-P1,
author={E. Vidal and F. Thollard and C. Higuera and F. Casacuberta and R. Carrasco},
title={Probabilistic Finite-State Machines-Part I},
journal={IEEE TPAMI},
volume={27},
year={2005},
pages={1013-1025},
number={7},
keywords = {Grammar Inference}
}
-
Colin de la Higuera.
A bibliographical study of grammatical inference..
Pattern Recognition,
38(9):1332-1348,
2005.
Keyword(s): Grammar Inference.
@article{Higuera05,
author = {Colin de la Higuera},
title = {A bibliographical study of grammatical inference.},
journal = {Pattern Recognition},
volume = {38},
number = {9},
year = {2005},
pages = {1332-1348},
keywords = {Grammar Inference}
}
-
Rajeev Alur,
Pavol CERNY,
P. Madhusudan,
and Wonhong Nam.
Synthesis of interface specifications for Java classes.
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
pages 98--109,
2005.
ACM Press.
Keyword(s): Static Process Discovery.
@inproceedings{POPL05,
author = {Rajeev Alur and Pavol CERNY and P. Madhusudan and Wonhong Nam},
title = {Synthesis of interface specifications for Java classes},
booktitle = {POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {2005},
pages = {98--109},
location = {USA},
publisher = {ACM Press},
keywords = {Static Process Discovery}
}
-
R. Silva,
J. Zhang,
and J. Shanahan.
Probabilistic workflow mining.
In KDD,
pages 275-284,
2005.
ACM Press.
Keyword(s): Process Discovery,
Non-Sequential Process Discovery.
@inproceedings{probabilitisticWorkflow,
author={R. Silva and J. Zhang and J. Shanahan},
title={Probabilistic workflow mining},
booktitle={KDD},
year={2005},
publisher={ACM Press},
pages={275-284},
keywords = {Process Discovery, Non-Sequential Process Discovery}
}
-
Westley Weimer and George C. Necula.
Mining Temporal Specifications for Error Detection.
In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
pages 461-476,
2005.
Keyword(s): Process Discovery,
Non-sequential Process Discovery.
@inproceedings{WeimerN05,
author = {Westley Weimer and George C. Necula},
title = {Mining Temporal Specifications for Error Detection},
booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
year = {2005},
pages = {461-476},
keywords = {Process Discovery, Non-sequential Process Discovery}
}
-
Ana Karla A. de Medeiros,
A. J. M. M. Weijters,
and W.M.P. van der Aalst.
Genetic Process Mining: A Basic Approach and Its Challenges..
In Business Process Management Workshops,
pages 203-215,
2005.
Keyword(s): Process Discovery,
Non-Sequential Process Discovery.
@inproceedings{MedeirosWA05,
author = {Ana Karla A. de Medeiros and A. J. M. M. Weijters and W.M.P. van der Aalst},
title = {Genetic Process Mining: A Basic Approach and Its Challenges.},
booktitle = {Business Process Management Workshops},
year = {2005},
pages = {203-215},
ee = {http://dx.doi.org/10.1007/11678564_18},
crossref = {DBLP:conf/bpm/2005w},
bibsource = {DBLP, http://dblp.uni-trier.de},
keywords = {Process Discovery, Non-Sequential Process Discovery}
}