Detlef Seese

According to our database1, Detlef Seese authored at least 45 papers between 1977 and 2014.

Collaborative distances:



In proceedings 
PhD thesis 





Support vector clustering of time series data with alignment kernels.
Pattern Recognition Letters, 2014

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

Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB.
Proceedings of the Foundations for the Web of Information and Services, 2011

Intelligent Business Process Execution using Particle Swarm Optimization.
Proceedings of the Nature-Inspired Informatics for Intelligent Applications and Knowledge Discovery: Implications in Business, 2010

Empirical Analysis of a Proposed Process Granularity Heuristic.
Proceedings of the Business Process Management Workshops, 2009

On Measuring the Understandability of Process Models.
Proceedings of the Business Process Management Workshops, 2009

Autonomous Optimization of Business Processes.
Proceedings of the Business Process Management Workshops, 2009

Width Parameters Beyond Tree-width and their Applications.
Comput. J., 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

A Conceptual Framework for the Governance of Service-Oriented Architectures.
Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008

Executable product models - The intelligent way.
Proceedings of the IEEE International Conference on Systems, 2007

Introducing Executable Product Models for the Service Industry.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Easy Problems for Grid-Structured Graphs.
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

Trees, grids, and MSO decidability: From graphs to matroids.
Theor. Comput. Sci., 2006

Heuristic Optimization of Reinsurance Programs and Implications for Reinsurance Buyers.
Proceedings of the Operations Research, 2006

Foreign Exchange Trading with Support Vector Machines.
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

Effektive Java-Grundausbildung unter Einsatz eines Learning Management Szstems und spezieller Werkzeuge.
Proceedings of the Unterrichtskonzepte für informatische Bildung, 2005

A Multi-objective Approach to Integrated Risk Management.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2005

A hybrid heuristic approach to discrete multi-objective optimization of credit portfolios.
Computational Statistics & Data Analysis, 2004

On Decidability of MSO Theories of Representable Matroids.
Proceedings of the Parameterized and Exact Computation, First International Workshop, 2004

A Fuzzy-Hybrid Approach to Stock Trading.
Proceedings of the Fifth International Conference on Neural Information Processing, 1998

Monadic NP and Graph Minors.
Proceedings of the Computer Science Logic, 12th International Workshop, 1998

Linear Time Computable Problems and First-Order Descriptions.
Mathematical Structures in Computer Science, 1996

Monadic NP and Built-in Trees.
Proceedings of the Computer Science Logic, 10th International Workshop, 1996

Linear time computable problems and logical descriptions.
Electr. Notes Theor. Comput. Sci., 1995

An Algebraic Theory of Graph Reduction.
J. ACM, 1993

Interpretability and tree automata: A simple way to solve algorithmic problems on graphs closely related to trees.
Tree Automata and Languages, 1992

Easy Problems for Tree-Decomposable Graphs.
J. Algorithms, 1991

The Structure of Models of Decidable Monadic Theories of Graphs.
Ann. Pure Appl. Logic, 1991

An Algebraic Theory of Graph Reduction.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Monadic Second Order Logic, Tree Automata and Forbidden Minors.
Proceedings of the Computer Science Logic, 4th Workshop, 1990

Grids and their minors.
J. Comb. Theory, Ser. B, 1989

Problems Easy for Tree-Decomposable Graphs (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

A combinatorial and logical approach to linear-time computability.
Proceedings of the EUROCAL '87, 1987

Tree-partite graphs and the complexity of algorithms.
Proceedings of the Fundamentals of Computation Theory, 1985

L(aa)-Elementary Types of Well-Orderings.
Math. Log. Q., 1982

Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.
Proceedings of the Fundamentals of Computation Theory, 1981

Über Unentscheidbare Erweiterungen von SC.
Math. Log. Q., 1978

Decidability of omaega-Trees with Bounded Sets - A Survey.
FCT, 1977