Detlef Seese
Affiliations:- Karlsruhe Institute of Technology, Germany
According to our database1,
Detlef Seese
authored at least 45 papers
between 1977 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on aifb.kit.edu
On csauthors.net:
Bibliography
2014
Pattern Recognit. Lett., 2014
2012
In or Out? A Student Project on the Enrollment Process - Developing a Reference Model for a Service-Oriented Portal through S-BPM Process Exploration.
Proceedings of the S-BPM ONE - Education and Industrial Developments, 2012
A Proposal for Modeling Standards for Subject-Oriented Modeling with PASS - A Paper for the Interactive Education Material Track for Modeling Principles Based on the Usage of the Metasonic Build PASS-Editor and Their PASS-Engine.
Proceedings of the S-BPM ONE - Education and Industrial Developments, 2012
Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011
Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB.
Proceedings of the Foundations for the Web of Information and Services, 2011
Towards a Benchmarking Framework for Financial Text Mining.
Proceedings of the Information Management and Market Engineering Vol. II, 2011
2010
Proceedings of the Nature-Inspired Informatics for Intelligent Applications and Knowledge Discovery: Implications in Business, 2010
2009
Proceedings of the Business Process Management Workshops, 2009
Proceedings of the Business Process Management Workshops, 2009
Proceedings of the Business Process Management Workshops, 2009
2008
Visualization and Clustering of Business Process Collections Based on Process Metric Values.
Proceedings of the SYNASC 2008, 2008
Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability.
Proceedings of the SYNASC 2008, 2008
Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008
2007
Proceedings of the IEEE International Conference on Systems, 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007
Flexibility Enhancements in BPM by applying Executable Product Models and Intelligent Agents.
Proceedings of the Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, 2007
2006
Theor. Comput. Sci., 2006
Heuristic Optimization of Reinsurance Programs and Implications for Reinsurance Buyers.
Proceedings of the Operations Research, 2006
Proceedings of the Advances in Data Analysis, 2006
Comparison of multi-objective evolutionary algorithms in optimizing combinations of reinsurance contracts.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006
Trees, Grids and Matroids: Observations on Logical Ways to Avoid Complexity.
Proceedings of the Algorithms and Complexity in Durham 2006, 2006
2005
Effektive Java-Grundausbildung unter Einsatz eines Learning Management Szstems und spezieller Werkzeuge.
Proceedings of the Unterrichtskonzepte für informatische Bildung, 2005
Proceedings of the Evolutionary Multi-Criterion Optimization, 2005
2004
A hybrid heuristic approach to discrete multi-objective optimization of credit portfolios.
Comput. Stat. Data Anal., 2004
Proceedings of the Parameterized and Exact Computation, First International Workshop, 2004
1998
A Fuzzy-Hybrid Approach to Stock Trading.
Proceedings of the Fifth International Conference on Neural Information Processing, 1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
1996
Math. Struct. Comput. Sci., 1996
Proceedings of the Computer Science Logic, 10th International Workshop, 1996
1995
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995
1993
1992
Interpretability and tree automata: A simple way to solve algorithmic problems on graphs closely related to trees.
Proceedings of the Tree Automata and Languages., 1992
1991
Ann. Pure Appl. Log., 1991
1990
Proceedings of the Computer Science Logic, 4th Workshop, 1990
1989
1988
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
1987
Proceedings of the EUROCAL '87, 1987
1985
Proceedings of the Fundamentals of Computation Theory, 1985
1982
1981
Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.
Proceedings of the Fundamentals of Computation Theory, 1981
1978
1977
Proceedings of the Fundamentals of Computation Theory, 1977