Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Detlef Seese
@article{DBLP:journals/prl/BoeckingCSW14, author = {Benedikt Boecking and Stephan K. Chalup and Detlef Seese and Aaron S. W. Wong}, title = {Support vector clustering of time series data with alignment kernels}, journal = {Pattern Recognit. Lett.}, volume = {45}, pages = {129--135}, year = {2014}, url = {https://doi.org/10.1016/j.patrec.2014.03.015}, doi = {10.1016/J.PATREC.2014.03.015}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/prl/BoeckingCSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/ElstermannSF12, author = {Matthes Elstermann and Detlef Seese and Albert Fleischmann}, editor = {John Derrick and John S. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene}, title = {Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System}, booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7316}, pages = {323--326}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30885-7\_23}, doi = {10.1007/978-3-642-30885-7\_23}, timestamp = {Sun, 02 Jun 2019 21:23:59 +0200}, biburl = {https://dblp.org/rec/conf/asm/ElstermannSF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/s-bpm-one/ElstermannS12, author = {Matthes Elstermann and Detlef Seese}, editor = {Stefan Oppl and Albert Fleischmann}, title = {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}, booktitle = {{S-BPM} {ONE} - Education and Industrial Developments - 4th International Conference, {S-BPM} {ONE} 2012, Vienna, Austria, April 4-5, 2012. Proceedings}, series = {Communications in Computer and Information Science}, volume = {284}, pages = {16--32}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29294-1\_2}, doi = {10.1007/978-3-642-29294-1\_2}, timestamp = {Thu, 15 Jun 2017 21:41:12 +0200}, biburl = {https://dblp.org/rec/conf/s-bpm-one/ElstermannS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/s-bpm-one/GraefTSS12, author = {Norbert Graef and Nils T{\"{o}}lle and Oliver Sch{\"{o}}ll and Detlef Seese}, editor = {Stefan Oppl and Albert Fleischmann}, title = {In or Out? {A} Student Project on the Enrollment Process - Developing a Reference Model for a Service-Oriented Portal through {S-BPM} Process Exploration}, booktitle = {{S-BPM} {ONE} - Education and Industrial Developments - 4th International Conference, {S-BPM} {ONE} 2012, Vienna, Austria, April 4-5, 2012. Proceedings}, series = {Communications in Computer and Information Science}, volume = {284}, pages = {77--90}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29294-1\_6}, doi = {10.1007/978-3-642-29294-1\_6}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/s-bpm-one/GraefTSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/OberweisSSST11, author = {Andreas Oberweis and Hartmut Schmeck and Detlef Seese and Wolffried Stucky and Stefan Tai}, editor = {Dieter Fensel}, title = {Semantic Web and Applied Informatics: Selected Research Activities in the Institute {AIFB}}, booktitle = {Foundations for the Web of Information and Services - {A} Review of 20 Years of Semantic Web Research}, pages = {29--40}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19797-0\_2}, doi = {10.1007/978-3-642-19797-0\_2}, timestamp = {Wed, 14 Nov 2018 10:58:57 +0100}, biburl = {https://dblp.org/rec/conf/birthday/OberweisSSST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/others/11/BozicRSW11, author = {Caslav Bozic and Ryan Riordan and Detlef Seese and Christof Weinhardt}, editor = {Thomas Dreier and Jan Kr{\"{a}}mer and Rudi Studer and Christof Weinhardt}, title = {Towards a Benchmarking Framework for Financial Text Mining}, booktitle = {Information Management and Market Engineering Vol. {II}}, series = {Studies on eOrganisation and Market Engineering}, volume = {12}, pages = {21--36}, publisher = {{KIT} Scientific Publishing}, year = {2011}, timestamp = {Mon, 05 Feb 2024 20:35:56 +0100}, biburl = {https://dblp.org/rec/books/others/11/BozicRSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/s-bpm-one/2010, editor = {Albert Fleischmann and Werner Schmidt and Robert Singer and Detlef Seese}, title = {Subject-Oriented Business Process Management - Second International Conference, {S-BPM} {ONE} 2010, Karlsruhe, Germany, October 14, 2010. Selected Papers}, series = {Communications in Computer and Information Science}, volume = {138}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23135-3}, doi = {10.1007/978-3-642-23135-3}, isbn = {978-3-642-23134-6}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/s-bpm-one/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/igi/Chiong10a/KressMS10, author = {Markus Kress and Sanaz Mostaghim and Detlef Seese}, editor = {Raymond Chiong}, title = {Intelligent Business Process Execution using Particle Swarm Optimization}, booktitle = {Nature-Inspired Informatics for Intelligent Applications and Knowledge Discovery: Implications in Business, Science, and Engineering}, pages = {49--66}, publisher = {{IGI} Global}, year = {2010}, url = {https://doi.org/10.4018/978-1-60566-705-8.ch003}, doi = {10.4018/978-1-60566-705-8.CH003}, timestamp = {Sat, 30 Sep 2023 09:32:36 +0200}, biburl = {https://dblp.org/rec/books/igi/Chiong10a/KressMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/s-bpm-one/2009, editor = {Hagen Buchwald and Albert Fleischmann and Detlef Seese and Christian Stary}, title = {{S-BPM} {ONE} - Setting the Stage for Subject-Oriented Business Process Management - First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {85}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15915-2}, doi = {10.1007/978-3-642-15915-2}, isbn = {978-3-642-15914-5}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/s-bpm-one/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/KressS09, author = {Markus Kress and Detlef Seese}, editor = {Stefanie Rinderle{-}Ma and Shazia Wasim Sadiq and Frank Leymann}, title = {Autonomous Optimization of Business Processes}, booktitle = {Business Process Management Workshops, {BPM} 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {43}, pages = {116--127}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12186-9\_12}, doi = {10.1007/978-3-642-12186-9\_12}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/KressS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/MelcherMRS09, author = {Joachim Melcher and Jan Mendling and Hajo A. Reijers and Detlef Seese}, editor = {Stefanie Rinderle{-}Ma and Shazia Wasim Sadiq and Frank Leymann}, title = {On Measuring the Understandability of Process Models}, booktitle = {Business Process Management Workshops, {BPM} 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {43}, pages = {465--476}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12186-9\_44}, doi = {10.1007/978-3-642-12186-9\_44}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/MelcherMRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/MelcherS09, author = {Joachim Melcher and Detlef Seese}, editor = {Stefanie Rinderle{-}Ma and Shazia Wasim Sadiq and Frank Leymann}, title = {Empirical Analysis of a Proposed Process Granularity Heuristic}, booktitle = {Business Process Management Workshops, {BPM} 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {43}, pages = {513--524}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12186-9\_48}, doi = {10.1007/978-3-642-12186-9\_48}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/MelcherS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/HlinenyOSG08, author = {Petr Hlinen{\'{y}} and Sang{-}il Oum and Detlef Seese and Georg Gottlob}, title = {Width Parameters Beyond Tree-width and their Applications}, journal = {Comput. J.}, volume = {51}, number = {3}, pages = {326--362}, year = {2008}, url = {https://doi.org/10.1093/comjnl/bxm052}, doi = {10.1093/COMJNL/BXM052}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/HlinenyOSG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/BernhardtS08, author = {Jan Bernhardt and Detlef Seese}, editor = {George Feuerlicht and Winfried Lamersdorf}, title = {A Conceptual Framework for the Governance of Service-Oriented Architectures}, booktitle = {Service-Oriented Computing - {ICSOC} 2008 Workshops, {ICSOC} 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5472}, pages = {327--338}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01247-1\_34}, doi = {10.1007/978-3-642-01247-1\_34}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/BernhardtS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/MelcherS08, author = {Joachim Melcher and Detlef Seese}, editor = {Viorel Negru and Tudor Jebelean and Dana Petcu and Daniela Zaharie}, title = {Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability}, booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008}, pages = {564--571}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SYNASC.2008.24}, doi = {10.1109/SYNASC.2008.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/MelcherS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/MelcherS08a, author = {Joachim Melcher and Detlef Seese}, editor = {Viorel Negru and Tudor Jebelean and Dana Petcu and Daniela Zaharie}, title = {Visualization and Clustering of Business Process Collections Based on Process Metric Values}, booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008}, pages = {572--575}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SYNASC.2008.37}, doi = {10.1109/SYNASC.2008.37}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/MelcherS08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpsc/KressS07, author = {Markus Kress and Detlef Seese}, editor = {Witold Abramowicz and Leszek A. Maciaszek}, title = {Flexibility Enhancements in {BPM} by applying Executable Product Models and Intelligent Agents}, booktitle = {Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, {BPSC} 2007, September 25-26, 2007, Leipzig, Germany}, series = {{LNI}}, volume = {{P-116}}, pages = {93--104}, publisher = {{GI}}, year = {2007}, url = {https://dl.gi.de/handle/20.500.12116/22337}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpsc/KressS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/faw/Seese07, author = {Detlef Seese}, editor = {Franco P. Preparata and Qizhi Fang}, title = {Easy Problems for Grid-Structured Graphs}, booktitle = {Frontiers in Algorithmics, First Annual International Workshop, {FAW} 2007, Lanzhou, China, August 1-3, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4613}, pages = {293--304}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73814-5\_28}, doi = {10.1007/978-3-540-73814-5\_28}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/faw/Seese07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/KressMS07, author = {Markus Kress and Joachim Melcher and Detlef Seese}, title = {Introducing Executable Product Models for the Service Industry}, booktitle = {40th Hawaii International International Conference on Systems Science {(HICSS-40} 2007), {CD-ROM} / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, {USA}}, pages = {46}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/HICSS.2007.288}, doi = {10.1109/HICSS.2007.288}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/KressMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/KressS07, author = {Markus Kress and Detlef Seese}, title = {Executable product models - The intelligent way}, booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics, Montr{\'{e}}al, Canada, 7-10 October 2007}, pages = {1987--1992}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ICSMC.2007.4413598}, doi = {10.1109/ICSMC.2007.4413598}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/KressS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HlinenyS06, author = {Petr Hlinen{\'{y}} and Detlef Seese}, title = {Trees, grids, and {MSO} decidability: From graphs to matroids}, journal = {Theor. Comput. Sci.}, volume = {351}, number = {3}, pages = {372--393}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2005.10.006}, doi = {10.1016/J.TCS.2005.10.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HlinenyS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acid/Seese06, author = {Detlef Seese}, editor = {Hajo Broersma and Stefan S. Dantchev and Matthew Johnson and Stefan Szeider}, title = {Trees, Grids and Matroids: Observations on Logical Ways to Avoid Complexity}, booktitle = {Algorithms and Complexity in Durham 2006 - Proceedings of the Second ACiD Workshop, 18-20 September 2006, Durham, {UK}}, series = {Texts in Algorithmics}, volume = {7}, pages = {7}, publisher = {King's College, London}, year = {2006}, timestamp = {Tue, 24 Jul 2007 20:35:24 +0200}, biburl = {https://dblp.org/rec/conf/acid/Seese06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/OesterreicherMSS06, author = {Ingo Oesterreicher and Andreas Mitschele and Frank Schlottmann and Detlef Seese}, editor = {Mike Cattolico}, title = {Comparison of multi-objective evolutionary algorithms in optimizing combinations of reinsurance contracts}, booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006}, pages = {747--748}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1143997.1144129}, doi = {10.1145/1143997.1144129}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gecco/OesterreicherMSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gfkl/UllrichSC06, author = {Christian Ullrich and Detlef Seese and Stephan K. Chalup}, editor = {Reinhold Decker and Hans{-}Joachim Lenz}, title = {Foreign Exchange Trading with Support Vector Machines}, booktitle = {Advances in Data Analysis, Proceedings of the 30th Annual Conference of the Gesellschaft f{\"{u}}r Klassifikation e.V., Freie Universit{\"{a}}t Berlin, March 8-10, 2006}, series = {Studies in Classification, Data Analysis, and Knowledge Organization}, pages = {539--546}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-70981-7\_62}, doi = {10.1007/978-3-540-70981-7\_62}, timestamp = {Tue, 23 May 2017 01:12:39 +0200}, biburl = {https://dblp.org/rec/conf/gfkl/UllrichSC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/or/MitscheleOSS06, author = {Andreas Mitschele and Ingo Oesterreicher and Frank Schlottmann and Detlef Seese}, editor = {Karl{-}Heinz Waldmann and Ulrike M. Stocker}, title = {Heuristic Optimization of Reinsurance Programs and Implications for Reinsurance Buyers}, booktitle = {Operations Research, Proceedings 2006, Selected Papers of the Annual International Conference of the German Operations ResearchSociety (GOR), Jointly Organized with the Austrian Society of Operations Research ({\"{O}}GOR) and the Swiss Society of Operations Research (SVOR), Karlsruhe, Germany, September 6-8, 2006}, pages = {287--292}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-69995-8\_47}, doi = {10.1007/978-3-540-69995-8\_47}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/or/MitscheleOSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emo/SchlottmannMS05, author = {Frank Schlottmann and Andreas Mitschele and Detlef Seese}, editor = {Carlos A. Coello Coello and Arturo Hern{\'{a}}ndez Aguirre and Eckart Zitzler}, title = {A Multi-objective Approach to Integrated Risk Management}, booktitle = {Evolutionary Multi-Criterion Optimization, Third International Conference, {EMO} 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3410}, pages = {692--706}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31880-4\_48}, doi = {10.1007/978-3-540-31880-4\_48}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/emo/SchlottmannMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/schule/KustermannRS05, author = {Roland K{\"{u}}stermann and Dietmar Ratz and Detlef Seese}, editor = {Steffen Friedrich}, title = {Effektive Java-Grundausbildung unter Einsatz eines Learning Management Szstems und spezieller Werkzeuge}, booktitle = {Unterrichtskonzepte f{\"{u}}r informatische Bildung, {INFOS} 2005, 11. GI-Fachtagung Informatik und Schule, 28.-30. September 2005 an der {TU} Dresden}, series = {{LNI}}, volume = {{P-60}}, pages = {231--241}, publisher = {{GI}}, year = {2005}, url = {https://dl.gi.de/handle/20.500.12116/28453}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/schule/KustermannRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csda/SchlottmannS04, author = {Frank Schlottmann and Detlef Seese}, title = {A hybrid heuristic approach to discrete multi-objective optimization of credit portfolios}, journal = {Comput. Stat. Data Anal.}, volume = {47}, number = {2}, pages = {373--399}, year = {2004}, url = {https://doi.org/10.1016/j.csda.2003.11.016}, doi = {10.1016/J.CSDA.2003.11.016}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csda/SchlottmannS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpec/HlinenyS04, author = {Petr Hlinen{\'{y}} and Detlef Seese}, editor = {Rodney G. Downey and Michael R. Fellows and Frank K. H. A. Dehne}, title = {On Decidability of {MSO} Theories of Representable Matroids}, booktitle = {Parameterized and Exact Computation, First International Workshop, {IWPEC} 2004, Bergen, Norway, September 14-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3162}, pages = {96--107}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-28639-4\_9}, doi = {10.1007/978-3-540-28639-4\_9}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/iwpec/HlinenyS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/KreidlerS98, author = {Martin Kreidler and Detlef Seese}, editor = {Georg Gottlob and Etienne Grandjean and Katrin Seyr}, title = {Monadic {NP} and Graph Minors}, booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1584}, pages = {126--141}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10703163\_9}, doi = {10.1007/10703163\_9}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/KreidlerS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iconip/HerrmannKSZ98, author = {Ralf Herrmann and Martin Kreidler and Detlef Seese and Kai Zabel}, editor = {Shiro Usui and Takashi Omori}, title = {A Fuzzy-Hybrid Approach to Stock Trading}, booktitle = {The Fifth International Conference on Neural Information Processing, ICONIP'R98, Kitakyushu, Japan, October 21-23, 1998, Proceedings}, pages = {1028--1032}, publisher = {{IOA} Press}, year = {1998}, timestamp = {Wed, 11 May 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iconip/HerrmannKSZ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Seese96, author = {Detlef Seese}, title = {Linear Time Computable Problems and First-Order Descriptions}, journal = {Math. Struct. Comput. Sci.}, volume = {6}, number = {6}, pages = {505--526}, year = {1996}, url = {https://doi.org/10.1017/s0960129500070079}, doi = {10.1017/S0960129500070079}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Seese96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/KreidlerS96, author = {Martin Kreidler and Detlef Seese}, editor = {Dirk van Dalen and Marc Bezem}, title = {Monadic {NP} and Built-in Trees}, booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1258}, pages = {260--275}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-63172-0\_44}, doi = {10.1007/3-540-63172-0\_44}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/KreidlerS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Seese95, author = {Detlef Seese}, editor = {Andrea Corradini and Ugo Montanari}, title = {Linear time computable problems and logical descriptions}, booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation, {SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, pages = {246--259}, publisher = {Elsevier}, year = {1995}, url = {https://doi.org/10.1016/S1571-0661(05)80203-8}, doi = {10.1016/S1571-0661(05)80203-8}, timestamp = {Fri, 11 Nov 2022 13:14:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Seese95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/ArnborgCPS93, author = {Stefan Arnborg and Bruno Courcelle and Andrzej Proskurowski and Detlef Seese}, title = {An Algebraic Theory of Graph Reduction}, journal = {J. {ACM}}, volume = {40}, number = {5}, pages = {1134--1164}, year = {1993}, url = {https://doi.org/10.1145/174147.169807}, doi = {10.1145/174147.169807}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/ArnborgCPS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/treeauto1992/Seese92, author = {Detlef Seese}, editor = {Maurice Nivat and Andreas Podelski}, title = {Interpretability and tree automata: {A} simple way to solve algorithmic problems on graphs closely related to trees}, booktitle = {Tree Automata and Languages}, pages = {83--114}, publisher = {North-Holland}, year = {1992}, timestamp = {Mon, 05 Aug 2019 12:47:51 +0200}, biburl = {https://dblp.org/rec/books/el/treeauto1992/Seese92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Seese91, author = {Detlef Seese}, title = {The Structure of Models of Decidable Monadic Theories of Graphs}, journal = {Ann. Pure Appl. Log.}, volume = {53}, number = {2}, pages = {169--195}, year = {1991}, url = {https://doi.org/10.1016/0168-0072(91)90054-P}, doi = {10.1016/0168-0072(91)90054-P}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Seese91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jal/ArnborgLS91, author = {Stefan Arnborg and Jens Lagergren and Detlef Seese}, title = {Easy Problems for Tree-Decomposable Graphs}, journal = {J. Algorithms}, volume = {12}, number = {2}, pages = {308--340}, year = {1991}, url = {https://doi.org/10.1016/0196-6774(91)90006-K}, doi = {10.1016/0196-6774(91)90006-K}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jal/ArnborgLS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/ArnborgPS90, author = {Stefan Arnborg and Andrzej Proskurowski and Detlef Seese}, editor = {Egon B{\"{o}}rger and Hans Kleine B{\"{u}}ning and Michael M. Richter and Wolfgang Sch{\"{o}}nfeld}, title = {Monadic Second Order Logic, Tree Automata and Forbidden Minors}, booktitle = {Computer Science Logic, 4th Workshop, {CSL} '90, Heidelberg, Germany, October 1-5, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {533}, pages = {1--16}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-54487-9\_49}, doi = {10.1007/3-540-54487-9\_49}, timestamp = {Fri, 17 Jul 2020 16:12:45 +0200}, biburl = {https://dblp.org/rec/conf/csl/ArnborgPS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/ArnborgCPS90, author = {Stefan Arnborg and Bruno Courcelle and Andrzej Proskurowski and Detlef Seese}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {An Algebraic Theory of Graph Reduction}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {70--83}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017382}, doi = {10.1007/BFB0017382}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/gg/ArnborgCPS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jct/SeeseW89, author = {Detlef Seese and W. Wessel}, title = {Grids and their minors}, journal = {J. Comb. Theory, Ser. {B}}, volume = {47}, number = {3}, pages = {349--360}, year = {1989}, url = {https://doi.org/10.1016/0095-8956(89)90033-6}, doi = {10.1016/0095-8956(89)90033-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jct/SeeseW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ArnborgLS88, author = {Stefan Arnborg and Jens Lagergren and Detlef Seese}, editor = {Timo Lepist{\"{o}} and Arto Salomaa}, title = {Problems Easy for Tree-Decomposable Graphs (Extended Abstract)}, booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {38--51}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-19488-6\_105}, doi = {10.1007/3-540-19488-6\_105}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ArnborgLS88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/SchefflerS87, author = {Petra Scheffler and Detlef Seese}, editor = {James H. Davenport}, title = {A combinatorial and logical approach to linear-time computability}, booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {378}, pages = {379--380}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-51517-8\_142}, doi = {10.1007/3-540-51517-8\_142}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/SchefflerS87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Seese85, author = {Detlef Seese}, editor = {Lothar Budach}, title = {Tree-partite graphs and the complexity of algorithms}, booktitle = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September 9-13, 1985}, series = {Lecture Notes in Computer Science}, volume = {199}, pages = {412--421}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/BFb0028825}, doi = {10.1007/BFB0028825}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/Seese85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/SeeseW82, author = {Detlef Seese and Martin Weese}, title = {L(aa)-Elementary Types of Well-Orderings}, journal = {Math. Log. Q.}, volume = {28}, number = {33-38}, pages = {557--564}, year = {1982}, url = {https://doi.org/10.1002/malq.19820283310}, doi = {10.1002/MALQ.19820283310}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/SeeseW82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Seese81, author = {Detlef Seese}, editor = {Ferenc G{\'{e}}cseg}, title = {Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures}, booktitle = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {341--349}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10854-8\_38}, doi = {10.1007/3-540-10854-8\_38}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/Seese81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Seese78, author = {Detlef Seese}, title = {{\"{U}}ber Unentscheidbare Erweiterungen von {SC}}, journal = {Math. Log. Q.}, volume = {24}, number = {1-6}, pages = {63--71}, year = {1978}, url = {https://doi.org/10.1002/malq.19780240109}, doi = {10.1002/MALQ.19780240109}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Seese78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Seese77, author = {Detlef Seese}, editor = {Marek Karpinski}, title = {Decidability of omaega-Trees with Bounded Sets - {A} Survey}, booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23, 1977}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {511--515}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08442-8\_122}, doi = {10.1007/3-540-08442-8\_122}, timestamp = {Mon, 02 Sep 2019 13:37:20 +0200}, biburl = {https://dblp.org/rec/conf/fct/Seese77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.