Informatikwissenschaften (Universität Trier) - Publikationen

Jiménez-Díaz, Guillermo; Lenz, Mirko; Malburg, Lukas et al.
A Framework for Supporting the Iterative Design of CBR Applications.
ICCBR. 2025 S. 252 - 266

Hotz, Maxim; Malburg, Lukas; Bergmann, Ralph
Advanced Search Techniques for Determining Optimal Sequences of Adaptation Rules in Process-Oriented Case-Based Reasoning.
ICCBR. 2025 S. 236 - 251

Bertrand, Yannis; Imenkamp, Christian; Malburg, Lukas et al.
An object-centric core metamodel for IoT-enhanced event logs.
CoRR. Bd. abs/2506.21300. 2025

Bertrand, Yannis; Schultheis, Alexander; Malburg, Lukas et al.
Challenges in Data Quality Management for IoT-Enhanced Event Logs.
RCIS (1). 2025 S. 20 - 36

Fernau, Henning; Zhu, Binhai
Combinatorial Algorithms - 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
Springer 2025

Klein, Patrick; Malburg, Lukas; Bergmann, Ralph
Combining informed data-driven anomaly detection with knowledge graphs for root cause analysis in predictive maintenance.
Eng. Appl. Artif. Intell. Bd. 145. 2025 S. 110152

Fernau, Henning; Schwank, Inge; Staub, Jacqueline
Creative Mathematical Sciences Communication: 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Springer 2025

Arrighi, Emmanuel; Feng, Zhidan; Fernau, Henning et al.
Defensive Alliances in Signed Networks.
J. Artif. Intell. Res. Bd. 82. 2025 S. 2189 - 2232

Fornari, Fabrizio; Compagnucci, Ivan; Callisto De Donato, Massimo et al.
Digital Twins of Business Processes: A Research Manifesto.
Internet Things. Bd. 30. 2025 S. 101477

N. Abu-Khzam, Faisal; Fernau, Henning; Gras, Benjamin et al.
Enumerating Minimal Connected Dominating Sets.
SIAM J. Discret. Math. Bd. 39. H. 2. 2025 S. 946 - 972

Bergmann, Ralph; Brand, Florian; Lenz, Mirko et al.
EXAR: A Unified Experience-Grounded Agentic Reasoning Architecture.
ICCBR. 2025 S. 3 - 17

Mann, Kevin; Fernau, Henning
Extension Perfect Roman Domination.
CALDAM. 2025 S. 197 - 209

Feng, Zhidan; Fernau, Henning; Mann, Kevin et al.
Generalized Lettericity of Graphs.
CALDAM. 2025 S. 134 - 146

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi et al.
Matrix Forbidding Grammars.
DCFS. 2025 S. 94 - 107

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On Computational Completeness of Semi-Conditional Matrix Grammars.
SOFSEM (1). 2025 S. 270 - 283

Fernau, Henning; Foucaud, Florent; Mann, Kevin et al.
Parameterizing path partitions.
Theor. Comput. Sci. Bd. 1028. 2025 S. 115029

Mann, Kevin; Fernau, Henning
Roman Hitting Set.
SOFSEM (2). 2025 S. 142 - 156

Valette, Elena; Zeimetz, Tobias; Fernau, Henning et al.
SMART: Self-supervised Model aligning APIs and RDF using Transformers.
BTW. 2025 S. 1007 - 1017

Bimberg, Pauline; Minuth, Marvin; Zielasko, Daniel et al.
Analyzing Exergame Recordings with Embedded Bio-Data in Immersive Virtual Reality.
VR Workshops. 2024 S. 138 - 144

Lenz, Mirko; Malburg, Lukas; Bergmann, Ralph
CBRkit: An Intuitive Case-Based Reasoning Toolkit for Python.
ICCBR. 2024 S. 289 - 304

Eroglu, Sevinc; Schmitz, Patric; Sinke, Kilian et al.
Choose Your Reference Frame Right: An Immersive Authoring Technique for Creating Reactive Behavior.
VRST. 2024 S. 17:1 - 17:11

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Counting Simple Rules in Semi-conditional Grammars is not Simple.
CiE. 2024 S. 192 - 204

Hepke, Nikolai; Scherer, Moritz; Lohscheller, Jörg et al.
Development and Validation of a 3D Pose Tracking System towards XR Home Training to Relieve Back Pain.
VRST. 2024 S. 18:1 - 18:11

Fornari, Fabrizio; Compagnucci, Ivan; Callisto De Donato, Massimo et al.
Digital Twins of Business Processes: A Research Manifesto.
CoRR. Bd. abs/2410.08219. 2024

Zielasko, Daniel; Meißner, Alexander; Freitag, Sebastian et al.
Dynamic Field of View Reduction Related to Subjective Sickness Measures in an HMD-based Data Analysis Task.
CoRR. Bd. abs/2403.07992. 2024

Fernau, Henning
Editorial 2024: moving forwards in the electronic age.
Acta Informatica. Bd. 61. H. 4. 2024 S. 331 - 332

Feld, Nico; Zielasko, Daniel; Weyers, Benjamin
Effects of Hand Occlusion in Radial Mid-Air Menu Interaction in Augmented Reality.
VR Workshops. 2024 S. 551 - 558

Mangler, Juergen; Seiger, Ronny; Benzin, Janik-Vasily et al.
From Internet of Things Data to Business Processes: Challenges and a Framework.
CoRR. Bd. abs/2405.08528. 2024

Wölwer, Matthias; Weyers, Benjamin; Zielasko, Daniel
How Long Do I Want to Fade Away? The Duration of Fade-To-Black Transitions in Target-Based Discontinuous Travel (Teleportation).
VR Workshops. 2024 S. 817 - 818

Schultheis, Alexander; Malburg, Lukas; Grüger, Joscha et al.
Identifying Missing Sensor Values in IoT Time Series Data: A Weight-Based Extension of Similarity Measures for Smart Manufacturing.
ICCBR. 2024 S. 240 - 257

P. Gründling, Jan; Weyers, Benjamin
Immersive Analytics: The Influence of Flow, Sense of Agency, and Presence on Performance and Satisfaction.
Proc. ACM Hum. Comput. Interact. Bd. 8. H. EICS. 2024 S. 1 - 27

Malburg, Lukas; Hotz, Maxim; Bergmann, Ralph
Improving Complex Adaptations in Process-Oriented Case-Based Reasoning by Applying Rule-Based Adaptation.
ICCBR. 2024 S. 50 - 66

Brand, Florian; Malburg, Lukas; Bergmann, Ralph
Large Language Models as Knowledge Engineers.
ICCBR Workshops. 2024 S. 3 - 18

N. Abu-Khzam, Faisal; Fernau, Henning; Mann, Kevin
Minimal Roman Dominating Functions: Extensions and Enumeration.
Algorithmica. Bd. 86. H. 6. 2024 S. 1862 - 1887

Feld, Nico; Bimberg, Pauline; Weyers, Benjamin et al.
Navigating Realities: Assessing Cross-Reality Transitions Through a Spatial Memory Game in VR and AR Environments.
VR Workshops. 2024 S. 1194 - 1195

Feng, Zhidan; Fernau, Henning; Mann, Kevin et al.
Offensive Alliances in Signed Graphs.
TAMC. 2024 S. 234 - 246

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the computational completeness of generalized forbidding matrix grammars.
Theor. Comput. Sci. Bd. 999. 2024 S. 114539

Feng, Zhidan; Fernau, Henning; Zhu, Binhai
Optimal Bridge, Twin Bridges and Beyond: Inserting Edges into a Road Network to Minimize the Constrained Diameters.
AAIM (1). 2024 S. 94 - 108

Mann, Kevin; Fernau, Henning
Perfect Roman Domination: Aspects of Enumeration and Parameterization.
IWOCA. 2024 S. 354 - 368

Bazgan, Cristina; Fernau, Henning
Preface of the Special Issue Dedicated to Selected Papers from IWOCA 2022.
Algorithmica. Bd. 86. H. 3. 2024 S. 695 - 696

Weyers, Benjamin; Zielasko, Daniel; Lindeman, Rob et al.
Proceedings of the 30th ACM Symposium on Virtual Reality Software and Technology, VRST 2024, Trier, Germany, October 9-11, 2024
ACM 2024

Malburg, Lukas
Proceedings of the Workshops at the 32nd International Conference on Case-Based Reasoning (ICCBR-WS 2024) co-located with the 32nd International Conference on Case-Based Reasoning (ICCBR 2024), Mérida, Mexico, July 1, 2024.
CEUR-WS.org 2024

Agrawal, Akanksha; Fernau, Henning; Kindermann, Philipp et al.
Recognizing well-dominated graphs is coNP-complete.
Inf. Process. Lett. Bd. 183. 2024 S. 106419

Seiger, Ronny; Malburg, Lukas
Revision of a Smart Factory Software Architecture from Monolith to Microservices.
EDOC Workshops. 2024 S. 203 - 220

Fernau, Henning; Mann, Kevin
Roman Hitting Functions.
IPEC. 2024 S. 24:1 - 24:15

Fernau, Henning; Gaspers, Serge; Klasing, Ralf
SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Springer 2024

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Succinct Star-Controlled Insertion-Deletion Systems Using Space Separating Normal Forms.
MCU. 2024 S. 17 - 34

Bimberg, Pauline; Zielasko, Daniel; Weyers, Benjamin
The Impact of Task-Responsibility on User Experience and Behaviour under Asymmetric Knowledge Conditions.
VRST. 2024 S. 39:1 - 39:11

Bimberg, Pauline; Feldmann, Michael; Weyers, Benjamin et al.
The Influence of Environmental Context on the Creation of Cartoon-like Avatars in Virtual Reality.
VR. 2024 S. 298 - 308

Eroglu, Sevinc; Voigt, Arthur; Weyers, Benjamin et al.
VRScenarioBuilder: Free-Hand Immersive Authoring Tool for Scenario-Based Testing of Automated Vehicles.
VR Workshops. 2024 S. 196 - 202

Fernau, Henning; Haase, Carolina; Hoffmann, Stefan et al.
Winning Strategies for the Synchronization Game on Subclasses of Finite Automata.
NCMA. 2024 S. 77 - 85

Zakreuskaya, Anastasiya; Münch, Tobias; Detjen, Henrik et al.
Workshop on Generative Artificial Intelligence in Interactive Systems: Experiences from the Community.
MuC (Workshopband). 2024

Guldner, Achim; Hoffmann, Maximilian; Lohr, Christian et al.
A framework for AI-based self-adaptive cyber-physical process systems.
it Inf. Technol. Bd. 65. H. 3. 2023 S. 113 - 128

Marie Prinz, Lisa; Mathew, Tintu; Weyers, Benjamin
A Systematic Literature Review of Virtual Reality Locomotion Taxonomies.
IEEE Trans. Vis. Comput. Graph. Bd. 29. H. 12. 2023 S. 5208 - 5223

Casel, Katrin; Fernau, Henning; Grigoriev, Alexander et al.
Combinatorial Properties and Recognition of Unit Square Visibility Graphs.
Discret. Comput. Geom. Bd. 69. H. 4. 2023 S. 937 - 980

Malburg, Lukas; Klein, Patrick; Bergmann, Ralph
Converting semantic web services into formal planning domain descriptions to enable manufacturing process planning and scheduling in industry 4.0.
Eng. Appl. Artif. Intell. Bd. 126. 2023 S. 106727

P. Gründling, Jan; Feld, Nico; Zielasko, Daniel et al.
Correlations of Flow, Usability, Workload, and Presence with Task Performance in a Spatially Distributed Memory Task.
EuroXR. 2023 S. 153 - 165

Bowen, Judy; Weyers, Benjamin; Liu, Bowen
Creating Formal Models from Informal Design Artefacts.
Int. J. Hum. Comput. Interact. Bd. 39. H. 15. 2023 S. 3141 - 3158

Mangler, Juergen; Grüger, Joscha; Malburg, Lukas et al.
DataStream XES Extension: Embedding IoT Sensor Data into Extensible Event Stream Logs.
Future Internet. Bd. 15. H. 3. 2023 S. 109

Philipp Gründling, Jan; Weyers, Benjamin
Early User Feedback on a VR Interface Draft for Interaction with a Multi-Robot System in Ship Hull Inspection.
VRST. 2023 S. 51:1 - 51:2

Fernau, Henning
Editorial 2023: changes and invariants.
Acta Informatica. Bd. 60. H. 4. 2023 S. 331 - 333

Katharina Kreutz, Christin; Blum, Martin; Schaer, Philipp et al.
Evaluating Digital Library Search Systems by Using Formal Process Modelling.
JCDL. 2023 S. 1 - 12

Katharina Kreutz, Christin; Blum, Martin; Schaer, Philipp et al.
Evaluating Digital Library Search Systems by using Formal Process Modelling.
CoRR. Bd. abs/2304.11651. 2023

L. Simeone, Adalberto; Weyers, Benjamin; Bialkova, Svetlana et al.
Everyday Virtual and Augmented Reality
Springer 2023

P. Gründling, Jan; Schauffel, Nathalie; Oehrl, Simon et al.
Example Process for Designing a Hybrid User Interface for a Multi-Robot System.
VR Workshops. 2023 S. 563 - 564

Schultheis, Alexander; Hoffmann, Maximilian; Malburg, Lukas et al.
Explanation of Similarities in Process-Oriented Case-Based Reasoning by Visualization.
ICCBR. 2023 S. 53 - 68

Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
Extension of some edge graph problems: Standard, parameterized and approximation complexity.
Discret. Appl. Math. Bd. 340. 2023 S. 183 - 201

Fernau, Henning; Jansen, Klaus
Fundamentals of Computation Theory - 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
Springer 2023

Thomaschewski, Lisa; Feld, Nico; Weyers, Benjamin et al.
I sense that there is someone else: an exploratory study on the influence of the media richness of Augmented Reality-based assistance systems on team experience and performance.
Frontiers Virtual Real. Bd. 4. 2023

Vu, Martin; Fernau, Henning
Insertion-Deletion with Substitutions II: About the Role of One-Sided Context.
J. Autom. Lang. Comb. Bd. 28. H. 1-3. 2023 S. 221 - 244

L. Simeone, Adalberto; Weyers, Benjamin; Bialkova, Svetlana et al.
Introduction to Everyday Virtual and Augmented Reality.
Everyday Virtual and Augmented Reality. 2023 S. 1 - 20

Grüger, Joscha; Malburg, Lukas; Bergmann, Ralph
IoT-enriched event log generation and quality analytics: a case study.
it Inf. Technol. Bd. 65. H. 3. 2023 S. 128 - 138

Feld, Nico; Bimberg, Pauline; Weyers, Benjamin et al.
Keep it simple? Evaluation of Transitions in Virtual Reality.
CHI Extended Abstracts. 2023 S. 196:1 - 196:7

Malburg, Lukas; Schultheis, Alexander; Bergmann, Ralph
Modeling and Using Complex IoT Time Series Data in Case-Based Reasoning: From Application Scenarios to Implementations.
ICCBR Workshops. 2023 S. 81 - 96

C. Law, Yuen; Wehrt, Wilken; Sonnentag, Sabine et al.
Obtaining Semi-Formal Models from Qualitative Data: From Interviews Into BPMN Models in User-Centered Design Processes.
Int. J. Hum. Comput. Interact. Bd. 39. H. 3. 2023 S. 476 - 493

Arrighi, Emmanuel; Fernau, Henning; de Oliveira Oliveira, Mateus et al.
Order Reconfiguration under Width Constraints.
J. Graph Algorithms Appl. Bd. 27. H. 6. 2023 S. 409 - 431

Didimo, Walter; Gupta, Siddharth; Kindermann, Philipp et al.
Parameterized Approaches to Orthogonal Compaction.
SOFSEM. 2023 S. 111 - 125

Fernau, Henning; Foucaud, Florent; Mann, Kevin et al.
Parameterizing Path Partitions.
CIAC. 2023 S. 187 - 201

Fernau, Henning; V. Volkov, Mikhail
Preface of the Special Issue Dedicated to Selected Papers from CSR 2020.
Theory Comput. Syst. Bd. 67. H. 2. 2023 S. 219 - 220

Malburg, Lukas; Verma, Deepika
Proceedings of the Workshops at the 31st International Conference on Case-Based Reasoning (ICCBR-WS 2023) co-located with the 31st International Conference on Case-Based Reasoning (ICCBR 2023), Aberdeen, Scotland, UK, July 17, 2023.
CEUR-WS.org 2023

N. Abu-Khzam, Faisal; Fernau, Henning; Mann, Kevin
Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes.
MFCS. 2023 S. 6:1 - 6:15

Arrighi, Emmanuel; Fernau, Henning; de Oliveira Oliveira, Mateus et al.
Synchronization and Diversity of Solutions.
AAAI. 2023 S. 11516 - 11524

Fernau, Henning; Wolf, Petra; Yamakami, Tomoyuki
Synchronizing deterministic push-down automata can be really hard.
Inf. Comput. Bd. 295. H. Part B. 2023 S. 105089

Firman, Oksana; Kindermann, Philipp; Klemz, Boris et al.
The Complexity of Finding Tangles.
SOFSEM. 2023 S. 3 - 17

Fernau, Henning; Gajjar, Kshitij
The Space Complexity of Sum Labelling.
Theory Comput. Syst. Bd. 67. H. 5. 2023 S. 1026 - 1049

Thomaschewski, Lisa; Feld, Nico; Weyers, Benjamin et al.
The Use of Augmented Reality for Temporal Coordination in Everyday Work Context.
Everyday Virtual and Augmented Reality. 2023 S. 57 - 87

Schröpfer, Pete; Schauffel, Nathalie; P. Gründling, Jan et al.
Trust and Acceptance of Multi-Robot Systems "in the Wild". A Roadmap exemplified within the EU-Project BugWright2.
CoRR. Bd. abs/2312.08047. 2023

Brand, Florian; Lott, Katharina; Malburg, Lukas et al.
Using Deep Reinforcement Learning for the Adaptation of Semantic Workflows.
ICCBR Workshops. 2023 S. 55 - 70

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
When Stars Control a Grammar's Work.
AFL. 2023 S. 96 - 111

Malburg, Lukas; Brand, Florian; Bergmann, Ralph
Adaptive Management of Cyber-Physical Workflows by Means of Case-Based Reasoning and Automated Planning.
EDOC Workshops. 2022 S. 79 - 95

Goergen, Kevin; Fernau, Henning; Oest, Esther et al.
All Paths Lead to Rome.
JCDCGGG. 2022 S. 228 - 256

Malburg, Lukas; Grüger, Joscha; Bergmann, Ralph
An IoT-Enriched Event Log for Process Mining in Smart Factories.
CoRR. Bd. abs/2209.02702. 2022

P. Gründling, Jan; Zeiler, Daniel; Weyers, Benjamin
Answering With Bow and Arrow: Questionnaires and VR Blend Without Distorting the Outcome.
VR. 2022 S. 683 - 692

Bazgan, Cristina; Fernau, Henning
Combinatorial Algorithms - 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings
Springer 2022

Kumar, Rahol; Schultheis, Alexander; Malburg, Lukas et al.
Considering Inter-Case Dependencies During Similarity-Based Retrieval in Process-Oriented Case-Based Reasoning.
FLAIRS. 2022

Chimani, Markus; Kindermann, Philipp; Montecchiani, Fabrizio et al.
Crossing numbers of beyond-planar graphs.
Theor. Comput. Sci. Bd. 898. 2022 S. 44 - 49

N. Abu-Khzam, Faisal; Fernau, Henning; Gras, Benjamin et al.
Enumerating Minimal Connected Dominating Sets.
ESA. 2022 S. 1:1 - 1:15

Hoffmann, Maximilian; Malburg, Lukas; Bach, Nico et al.
GPU-Based Graph Matching for Accelerating Similarity Assessment in Process-Oriented Case-Based Reasoning.
ICCBR. 2022 S. 240 - 255

Kindermann, Philipp; Klute, Fabian; Mchedlidze, Tamara et al.
Graph Drawing Contest Report.
GD. 2022 S. 459 - 470

Geurts, Eva; Alberto Rovelo Ruiz, Gustavo; Luyten, Kris et al.
HCI and worker well-being in manufacturing industry.
AVI. 2022 S. 87:1 - 87:2

Flemming, Carlo; Weyers, Benjamin; Zielasko, Daniel
How to Take a Brake from Embodied Locomotion - Seamless Status Control Methods for Seated Leaning Interfaces.
VR. 2022 S. 728 - 736

Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus et al.
Improved descriptional complexity results on generalized forbidding grammars.
Discret. Appl. Math. Bd. 319. 2022 S. 2 - 18

Vu, Martin; Fernau, Henning
Insertion-deletion systems with substitutions I.
Comput. Bd. 11. H. 1. 2022 S. 57 - 83

Krüger, Marcel; Oehrl, Simon; C. Demiralp, Ali et al.
Insite: A Pipeline Enabling In-Transit Visualization and Analysis for Neuronal Network Simulations.
ISC Workshops. 2022 S. 295 - 305

Bergmann, Ralph; Malburg, Lukas; C. Rodermund, Stephanie et al.
KI 2022: Advances in Artificial Intelligence - 45th German Conference on AI, Trier, Germany, September 19-23, 2022, Proceedings
Springer 2022

N. Abu-Khzam, Faisal; Fernau, Henning; Mann, Kevin
Minimal Roman Dominating Functions: Extensions and Enumeration.
WG. 2022 S. 1 - 15

S. Evans, William; Fleszar, Krzysztof; Kindermann, Philipp et al.
Minimum rectilinear polygons for given angle sequences.
Comput. Geom. Bd. 100. 2022 S. 101820

Chaplick, Steven; Kindermann, Philipp; Klawitter, Jonathan et al.
Morphing Rectangular Duals.
GD. 2022 S. 389 - 403

Angelini, Patrizio; A. Bekos, Michael; Kindermann, Philipp et al.
On mixed linear layouts of series-parallel graphs.
Theor. Comput. Sci. Bd. 936. 2022 S. 129 - 138

Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
On the complexity of solution extension of optimization problems.
Theor. Comput. Sci. Bd. 904. 2022 S. 48 - 65

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the computational completeness of matrix simple semi-conditional grammars.
Inf. Comput. Bd. 284. 2022 S. 104688

Firman, Oksana; Kindermann, Philipp; Klawitter, Jonathan et al.
Outside-Obstacle Representations with All Vertices on the Outer Face.
GD. 2022 S. 432 - 440

Aichholzer, Oswin; Fabila Monroy, Ruy; Kindermann, Philipp et al.
Perfect Matchings with Crossings.
IWOCA. 2022 S. 46 - 59

Fernau, Henning; Holzer, Markus; Wolf, Petra
Preface to Klaus-Jörn Lange Festschrift.
Acta Informatica. Bd. 59. H. 4. 2022 S. 285 - 287

Diekert, Volker; Fernau, Henning; Wolf, Petra
Properties of graphs specified by a regular language.
Acta Informatica. Bd. 59. H. 4. 2022 S. 357 - 385

Biertz, Manuel; Lorik, Dumani; Nilles, Markus et al.
QualiAssistant: Extracting Qualia Structures from Texts
Proceedings of the 9th Workshop on Argument Mining. Bd. 1. Gyeongju, Republic of Korea. 2022 S. 199 - 208

Katharina Kreutz, Christin; Wolz, Michael; Knack, Jascha et al.
SchenQL: in-depth analysis of a query language for bibliographic metadata.
Int. J. Digit. Libr. Bd. 23. H. 2. 2022 S. 113 - 132

Grüger, Joscha; Malburg, Lukas; Mangler, Juergen et al.
SensorStream: An XES Extension for Enriching Event Logs with IoT-Sensor Data.
CoRR. Bd. abs/2206.11392. 2022

Chaplick, Steven; Felsner, Stefan; Kindermann, Philipp et al.
Simple algorithms for partial and simultaneous rectangular duals with given contact orientations.
Theor. Comput. Sci. Bd. 919. 2022 S. 66 - 74

Fernau, Henning
Special Issue "Selected Algorithmic Papers From CSR 2020".
Algorithms. Bd. 15. H. 11. 2022 S. 426

Sra, Misha; R. Ortega, Francisco; Piumsomboon, Thammathip et al.
Symposium on Spatial User Interaction, SUI 2022, Online, CA, USA, December 1-2, 2022
ACM 2022

Fernau, Henning; Bruchertseifer, Jens
Synchronizing words and monoid factorization, yielding a new parameterized complexity class?
Math. Struct. Comput. Sci. Bd. 32. H. 2. 2022 S. 189 - 215

Zielasko, Daniel; Heib, Jonas; Weyers, Benjamin
Systematic Design Space Exploration of Discrete Virtual Rotations in VR.
VR. 2022 S. 693 - 702

A. Bekos, Michael; Felsner, Stefan; Kindermann, Philipp et al.
The Rique-Number of Graphs.
GD. 2022 S. 371 - 386

Fernau, Henning; Haase, Carolina; Hoffmann, Stefan
The Synchronization Game on Subclasses of Automata.
FUN. 2022 S. 14:1 - 14:17

Malburg, Lukas; Bergmann, Ralph
Towards Adaptive Workflow Management by Case-based Reasoning and Automated Planning.
ICCBR Workshops. 2022 S. 211 - 220

Banyassady, Bahareh; de Berg, Mark; Bringmann, Karl et al.
Unlabeled Multi-Robot Motion Planning with Tighter Separation Bounds.
SoCG. 2022 S. 12:1 - 12:16

Thomaschewski, Lisa; Weyers, Benjamin; Kluge, Annette
A two-part evaluation approach for measuring the usability and user experience of an Augmented Reality-based assistance system to support the temporal coordination of spatially dispersed teams.
Cogn. Syst. Res. Bd. 68. 2021 S. 1 - 17

Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
Abundant Extensions.
CIAC. 2021 S. 3 - 17

Vu, Martin; Fernau, Henning
Adding Matrix Control: Insertion-Deletion Systems with Substitutions III.
SOFSEM. 2021 S. 577 - 592

Vu, Martin; Fernau, Henning
Adding Matrix Control: Insertion-Deletion Systems with Substitutions III.
Algorithms. Bd. 14. H. 5. 2021 S. 131

Monnot, Jérôme; Fernau, Henning; F. Manlove, David
Algorithmic aspects of upper edge domination.
Theor. Comput. Sci. Bd. 877. 2021 S. 46 - 57

Marie Prinz, Lisa; Mathew, Tintu; Klüber, Simon et al.
An Overview and Analysis of Publications on Locomotion Taxonomies.
VR Workshops. 2021 S. 385 - 388

Geiger, Jakob; Cornelsen, Sabine; Haunert, Jan-Henrik et al.
ClusterSets: Optimizing Planar Clusters in Categorical Point Data.
Comput. Graph. Forum. Bd. 40. H. 3. 2021 S. 471 - 481

Hernández Leo, Davinia; Hishiyama, Reiko; Zurita, Gustavo et al.
Collaboration Technologies and Social Computing - 27th International Conference, CollabTech 2021, Virtual Event, August 31 - September 3, 2021, Proceedings
Springer 2021

Eroglu, Sevinc; Stefan, Frederic; Chevalier, Alain et al.
Design and Evaluation of a Free-Hand VR-based Authoring Environment for Automated Vehicle Testing.
VR. 2021 S. 1 - 10

Arrighi, Emmanuel; Fernau, Henning; Lokshtanov, Daniel et al.
Diversity in Kemeny Rank Aggregation: A Parameterized Approach.
IJCAI. 2021 S. 10 - 16

Kindermann, Philipp; Montecchiani, Fabrizio; Schlipf, Lena et al.
Drawing Subcubic 1-Planar Graphs with Few Bends, Few Slopes, and Large Angles.
J. Graph Algorithms Appl. Bd. 25. H. 1. 2021 S. 1 - 28

W. Borst, Christoph; Weyers, Benjamin; L. Simeone, Adalberto et al.
Editorial: Everyday Virtual and Augmented Reality: Methods and Applications.
Frontiers Virtual Real. Bd. 2. 2021 S. 760883

Chaplick, Steven; Kindermann, Philipp; Klawitter, Jonathan et al.
Extending Partial Representations of Rectangular Duals with Given Contact Orientations.
CIAC. 2021 S. 340 - 353

Kindermann, Philipp; Mchedlidze, Tamara; Meulemans, Wouter
Graph Drawing Contest Report.
GD. 2021 S. 409 - 417

Baumann, Konrad; Creissac Campos, José; J. Dix, Alan et al.
HCI-E: HCI Engineering Education - For Developers, Designers and More.
INTERACT (5). 2021 S. 542 - 547

Aït Ameur, Yamine; Bowen, Judy; Creissac Campos, José et al.
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.
Interact. Comput. Bd. 33. H. 1. 2021 S. 1 - 2

Orlosky, Jason; Reiners, Dirk; Weyers, Benjamin
ICAT-EGVE 2021, International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, Virtual Event / Sankt Augustin, Germany, September 8-10, 2021.
Eurographics Association 2021

Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus et al.
Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars.
Fundam. Informaticae. Bd. 181. H. 2-3. 2021 S. 189 - 211

Malburg, Lukas; Hoffmann, Maximilian; Trumm, Simon et al.
Improving Similarity-Based Retrieval Efficiency by Using Graphic Processing Units in Case-Based Reasoning.
FLAIRS. 2021

Fernau, Henning; T. Huber, Katharina; (Seffi) Naor, Joseph
Invited Talks.
CIAC. 2021 S. 3 - 19

Feld, Nico; Weyers, Benjamin
Mixed Reality in Asymmetric Collaborative Environments: A Research Prototype for Virtual City Tours.
VR Workshops. 2021 S. 250 - 256

Malburg, Lukas; Rieder, Manfred-Peter; Seiger, Ronny et al.
Object Detection for Smart Factory Processes by Machine Learning.
ANT/EDI40. 2021 S. 581 - 588

Arrighi, Emmanuel; Fernau, Henning; Hoffmann, Stefan et al.
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes.
FSTTCS. 2021 S. 34:1 - 34:15

Casel, Katrin; Fernau, Henning; Gaspers, Serge et al.
On the Complexity of the Smallest Grammar Problem over Fixed Alphabets.
Theory Comput. Syst. Bd. 65. H. 2. 2021 S. 344 - 409

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the generative capacity of matrix insertion-deletion systems of small sum-norm.
Nat. Comput. Bd. 20. H. 4. 2021 S. 671 - 689

Angelini, Patrizio; Kindermann, Philipp; Löffler, Andre et al.
One-Bend Drawings of Outerplanar Graphs Inside Simple Polygons.
GD. 2021 S. 184 - 192

Arrighi, Emmanuel; Fernau, Henning; de Oliveira Oliveira, Mateus et al.
Order Reconfiguration Under Width Constraints.
MFCS. 2021 S. 8:1 - 8:15

Fernau, Henning
Parsimonious Computational Completeness.
DLT. 2021 S. 12 - 26

Fernau, Henning; Malcher, Andreas; Pighizzini, Giovanni
Preface to Martin Kutrib Festschrift.
Acta Informatica. Bd. 58. H. 4. 2021 S. 241 - 242

Hoffmann, Maximilian; Malburg, Lukas; Bergmann, Ralph
ProGAN: Toward a Framework for Process Monitoring and Flexibility by Change via Generative Adversarial Networks.
Business Process Management Workshops. 2021 S. 43 - 55

Diekert, Volker; Fernau, Henning; Wolf, Petra
Properties of Graphs Specified by a Regular Language.
DLT. 2021 S. 117 - 129

Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias
Self-Verifying Pushdown and Queue Automata.
Fundam. Informaticae. Bd. 180. H. 1-2. 2021 S. 1 - 28

R. Ortega, Francisco; J. Teather, Robert; Bruder, Gerd et al.
SUI '21: Symposium on Spatial User Interaction, Virtual Event, USA, November 9-10, 2021
ACM 2021

Bruchertseifer, Jens; Fernau, Henning
Synchronizing series-parallel deterministic finite automata with loops and related problems.
RAIRO Theor. Informatics Appl. Bd. 55. 2021 S. 1 - 24

Bowen, Judy; Dittmar, Anke; Weyers, Benjamin
Task Modelling for Interactive System Design: A Survey of Historical Trends, Gaps and Future Needs.
Proc. ACM Hum. Comput. Interact. Bd. 5. H. EICS. 2021 S. 214:1 - 214:22

Dumani, Lorik; Biertz, Manuel; Witry, Alex et al.
The ReCAP Corpus: A Corpus of Complex Argument Graphs on German Education Politics.
ICSC. 2021 S. 248 - 255

Fernau, Henning; Gajjar, Kshitij
The Space Complexity of Sum Labelling.
FCT. 2021 S. 230 - 244

Weyers, Benjamin; Frank, Barbara; Kluge, Annette
A Formal Modeling Framework for the Implementation of Gaze Guiding as an Adaptive Computer-Based Job Aid for the Control of Complex Technical Systems.
Int. J. Hum. Comput. Interact. Bd. 36. H. 8. 2020 S. 748 - 776

Dumani, Lorik; J. Neumann, Patrick; Schenkel, Ralf
A Framework for Argument Retrieval - Ranking Argument Clusters by Frequency and Specificity.
ECIR (1). 2020 S. 431 - 445

Zielasko, Daniel; E. Riecke, Bernhard
Can We Give Seated Users in Virtual Reality the Sensation of Standing or Even Walking? Do We Want To?
VR Workshops. 2020 S. 281 - 282

Casel, Katrin; Dreier, Jan; Fernau, Henning et al.
Complexity of independency and cliquy trees.
Discret. Appl. Math. Bd. 272. 2020 S. 2 - 15

Fernau, Henning
Computer Science - Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings
Springer 2020

Michels, Christopher; Neumann, Mandy; Schaer, Philipp et al.
Conference Indexing in Digital Libraries: A Ranking Model and Case Study on dblp.
BIR@ECIR. 2020 S. 30 - 41

Fernau, Henning; Fluschnik, Till; Hermelin, Danny et al.
Diminishable parameterized problems and strict polynomial kernelization.
Comput. Bd. 9. H. 1. 2020 S. 1 - 24

Bazgan, Cristina; Brankovic, Ljiljana; Casel, Katrin et al.
Domination chain: Characterisation, classical complexity, parameterised complexity and approximability.
Discret. Appl. Math. Bd. 280. 2020 S. 23 - 42

Zielasko, Daniel; E. Riecke, Bernhard
Either Give Me a Reason to Stand or an Opportunity to Sit in VR.
VR Workshops. 2020 S. 283 - 284

Katharina Kreutz, Christin; Sahitaj, Premtim; Schenkel, Ralf
Evaluating semantometrics from computer science publications.
Scientometrics. Bd. 125. H. 3. 2020 S. 2915 - 2954

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Generalized Forbidding Matrix Grammars and Their Membrane Computing Perspective.
Int. Conf. on Membrane Computing. 2020 S. 31 - 45

Kindermann, Philipp; Mchedlidze, Tamara; Meulemans, Wouter et al.
Graph Drawing Contest Report.
GD. 2020 S. 507 - 519

Vu, Martin; Fernau, Henning
Insertion-Deletion Systems with Substitutions I.
CiE. 2020 S. 366 - 378

Vu, Martin; Fernau, Henning
Insertion-Deletion with Substitutions II.
DCFS. 2020 S. 231 - 243

Angelini, Patrizio; A. Bekos, Michael; Kindermann, Philipp et al.
On Mixed Linear Layouts of Series-Parallel Graphs.
GD. 2020 S. 151 - 159

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the Power of Generalized Forbidding Insertion-Deletion Systems.
DCFS. 2020 S. 52 - 63

N. Abu-Khzam, Faisal; Bazgan, Cristina; Fernau, Henning
Parameterized Dynamic Variants of Red-Blue Dominating Set.
SOFSEM. 2020 S. 236 - 247

Fernau, Henning; Manea, Florin; Mercas, Robert et al.
Pattern Matching with Variables: Efficient Algorithms and Complexity Results.
ACM Trans. Comput. Theory. Bd. 12. H. 1. 2020 S. 6:1 - 6:37

Dumani, Lorik; Schenkel, Ralf
Quality-Aware Ranking of Arguments.
CIKM. 2020 S. 335 - 344

Dumani, Lorik; Schenkel, Ralf
Ranking Arguments by Combining Claim Similarity and Argument Quality Dimensions.
CLEF (Working Notes). 2020

Chaplick, Steven; Kindermann, Philipp; Löffler, Andre et al.
Recognizing Stick Graphs with and without Length Constraints.
J. Graph Algorithms Appl. Bd. 24. H. 4. 2020 S. 657 - 681

Luther, Wolfram; Auer, Ekaterina; Weyers, Benjamin
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems.
Acta Cybern. Bd. 24. H. 3. 2020 S. 287 - 314

Ollinger, Stefan; Dumani, Lorik; Sahitaj, Premtim et al.
Same Side Stance Classification Task: Facilitating Argument Stance Classification by Fine-tuning a BERT Model.
CoRR. Bd. abs/2004.11163. 2020

Zeimetz, Tobias; Schenkel, Ralf
Sample Driven Data Mapping for Linked Data and Web APIs.
CIKM. 2020 S. 3481 - 3484

Katharina Kreutz, Christin; Wolz, Michael; Weyers, Benjamin et al.
SchenQL: Evaluation of a Query Language for Bibliographic Metadata.
ICADL. 2020 S. 323 - 339

Dumani, Lorik; Katharina Kreutz, Christin; Biertz, Manuel et al.
Segmenting and Clustering Noisy Arguments.
LWDA. 2020 S. 23 - 34

Malburg, Lukas; Klein, Patrick; Bergmann, Ralph
Semantic Web Services for AI-Research with Physical Factory Simulation Models in Industry 4.0.
IN4PL. 2020 S. 32 - 43

Zielasko, Daniel; E. Riecke, Bernhard
Sitting vs. Standing in VR: Towards a Systematic Classification of Challenges and (Dis)Advantages.
VR Workshops. 2020 S. 297 - 298

Fernau, Henning; Wolf, Petra
Synchronization of Deterministic Visibly Push-Down Automata.
FSTTCS. 2020 S. 45:1 - 45:15

Fernau, Henning; Wolf, Petra; Yamakami, Tomoyuki
Synchronizing Deterministic Push-Down Automata Can Be Really Hard.
MFCS. 2020 S. 33:1 - 33:15

Bruchertseifer, Jens; Fernau, Henning
Synchronizing Words and Monoid Factorization: A Parameterized Perspective.
TAMC. 2020 S. 352 - 364

Zielasko, Daniel; C. Law, Yuen; Weyers, Benjamin
Take a Look Around - The Impact of Decoupling Gaze and Travel-direction in Seated and Ground-based Virtual Reality Utilizing Torso-directed Steering.
VR. 2020 S. 398 - 406

Bergmann, Ralph; Biertz, Manuel; Dumani, Lorik et al.
The ReCAP Project.
Datenbank-Spektrum. Bd. 20. H. 2. 2020 S. 93 - 98

Brachtendorf, Kilian; Weyers, Benjamin; Zielasko, Daniel
Towards Accessibility in VR - Development of an Affordable Motion Platform for Wheelchairs.
VR Workshops. 2020 S. 291 - 292

E. Riecke, Bernhard; Zielasko, Daniel
Towards an Affordance of Embodied Locomotion Interfaces in VR: How to Know How to Move?
VR Workshops. 2020 S. 295 - 296

Lenz, Mirko; Sahitaj, Premtim; Kallenberg, Sean et al.
Towards an Argument Mining Pipeline Transforming Texts to Argument Graphs.
COMMA. 2020 S. 263 - 270

Malburg, Lukas; Seiger, Ronny; Bergmann, Ralph et al.
Using Physical Factory Simulation Models for Business Process Management Research.
Business Process Management Workshops. 2020 S. 95 - 107

Malburg, Lukas; Klein, Patrick; Bergmann, Ralph
Using Semantic Web Services for AI-Based Research in Industry 4.0.
CoRR. Bd. abs/2007.03580. 2020

Hoffmann, Maximilian; Malburg, Lukas; Klein, Patrick et al.
Using Siamese Graph Neural Networks for Similarity-Based Retrieval in Process-Oriented Case-Based Reasoning.
ICCBR. 2020 S. 229 - 244

Thomaschewski, Lisa; Weyers, Benjamin; Kluge, Annette
Using usability and user experience scores to design an Augmented Reality-based Ambient Awareness interface to support spatially dispersed teams.
ICHMS. 2020 S. 1 - 6

Arrighi, Emmanuel; Fernau, Henning; de Oliveira Oliveira, Mateus et al.
Width Notions for Ordering-Related Problems.
FSTTCS. 2020 S. 9:1 - 9:18

Weyers, Benjamin; Zielasko, Daniel; Heinrich, Florian et al.
Workshop on Virtual and Augmented Reality in Everyday Context (VARECo).
MuC (Workshopband). 2020

Zielasko, Daniel; Weyers, Benjamin; W. Kuhlen, Torsten
A Non-Stationary Office Desk Substitution for Desk-Based and HMD-Projected Virtual Reality.
VR. 2019 S. 1884 - 1889

Dumani, Lorik; Schenkel, Ralf
A Systematic Comparison of Methods for Finding Good Premises for Claims.
SIGIR. 2019 S. 957 - 960

Zeyen, Christian; Malburg, Lukas; Bergmann, Ralph
Adaptation of Scientific Workflows by Means of Process-Oriented Case-Based Reasoning.
ICCBR. 2019 S. 388 - 403

Zeimetz, Tobias; Schenkel, Ralf
Analyzing online schema extraction approaches for linked data knowledge bases.
SBD@SIGMOD. 2019 S. 7:1 - 7:6

Bazgan, Cristina; Fernau, Henning; Tuza, Zsolt
Aspects of upper defensive alliances.
Discret. Appl. Math. Bd. 266. 2019 S. 111 - 120

Block, Karsten; Trumm, Simon; Sahitaj, Premtim et al.
Clustering of Argument Graphs Using Semantic Similarity Measures.
KI. 2019 S. 101 - 114

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Computational completeness of simple semi-conditional insertion-deletion systems of degree (2, 1).
Nat. Comput. Bd. 18. H. 3. 2019 S. 563 - 577

Fernau, Henning; V. Gusev, Vladimir; Hoffmann, Stefan et al.
Computational Complexity of Synchronization under Regular Constraints.
MFCS. 2019 S. 63:1 - 63:14

Firman, Oksana; Kindermann, Philipp; Ravsky, Alexander et al.
Computing Height-Optimal Tangles Faster.
GD. 2019 S. 203 - 215

Borisov, Nikolaj; Weyers, Benjamin; Kluge, Annette
Corrigendum to "Designing a Human Machine Interface for Quality Assurance in Car Manufacturing: An Attempt to Address the "Functionality versus User Experience Contradiction" in Professional Production Environments".
Adv. Hum. Comput. Interact. Bd. 2019. 2019 S. 1969107:1 - 1969107:2

Chimani, Markus; Kindermann, Philipp; Montecchiani, Fabrizio et al.
Crossing Numbers of Beyond-Planar Graphs.
GD. 2019 S. 78 - 86

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Descriptional Complexity of Matrix Simple Semi-conditional Grammars.
DCFS. 2019 S. 111 - 123

Kindermann, Philipp; Mchedlidze, Tamara; Schneck, Thomas et al.
Drawing Planar Graphs with Few Segments on a Polynomial Grid.
GD. 2019 S. 416 - 429

A. Figueroa, Pablo; Guo, Rongkai; Takashima, Kazuki et al.
Escape Room in Mixed Reality: 10th Annual 3DUI Contest.
VR. 2019 S. 1407 - 1408

Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
Extension of Some Edge Graph Problems: Standard and Parameterized Complexity.
FCT. 2019 S. 185 - 200

Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
Extension of Vertex Cover and Independent Set in Some Classes of Graphs.
CIAC. 2019 S. 124 - 136

Fernau, Henning; Hoffmann, Stefan
Extensions to Minimal Synchronizing Words.
J. Autom. Lang. Comb. Bd. 24. H. 2-4. 2019 S. 287 - 307

Biedl, Therese; Kindermann, Philipp
Finding Tutte Paths in Linear Time.
ICALP. 2019 S. 23:1 - 23:14

Kamps, Jaap; Koolen, Marijn; Geva, Shlomo et al.
From XML Retrieval to Semantic Search and Beyond - The INEX, SBS, and MC2 Labs of CLEF 2012-2018.
Information Retrieval Evaluation in a Changing World. 2019 S. 415 - 437

Klein, Patrick; Malburg, Lukas; Bergmann, Ralph
FTOnto: A Domain Ontology for a Fischertechnik Simulation Production Factory by Reusing Existing Ontologies.
LWDA. 2019 S. 253 - 264

Kindermann, Philipp; Mchedlidze, Tamara; Rutter, Ignaz
Graph Drawing Contest Report.
GD. 2019 S. 575 - 583

Angelini, Patrizio; A. Bekos, Michael; Didimo, Walter et al.
Greedy rectilinear drawings.
Theor. Comput. Sci. Bd. 795. 2019 S. 375 - 397

Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus et al.
Improved Descriptional Complexity Results on Generalized Forbidding Grammars.
CALDAM. 2019 S. 174 - 188

Wendt, Jonathan; Weyers, Benjamin; Stienen, Jonas et al.
Influence of Directivity on the Perception of Embodied Conversational Agents' Speech.
IVA. 2019 S. 130 - 132

Weyers, Benjamin; Bowen, Judy
Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019.
CEUR-WS.org 2019

Chen, Jianer; Fernau, Henning; Shaw, Peter et al.
Kernels for packing and covering problems.
Theor. Comput. Sci. Bd. 790. 2019 S. 152 - 166

Klein, Patrick; Malburg, Lukas; Bergmann, Ralph
Learning Workflow Embeddings to Improve the Performance of Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning.
ICCBR. 2019 S. 188 - 203

Kindermann, Philipp; G. Kobourov, Stephen; Löffler, Maarten et al.
Lombardi drawings of knots and links.
J. Comput. Geom. Bd. 10. H. 1. 2019 S. 444 - 476

Biedl, Therese; Biniaz, Ahmad; Irvine, Veronika et al.
Maximum Matchings and Minimum Blocking Sets in \varTheta _6 -Graphs.
WG. 2019 S. 258 - 270

Zielasko, Daniel; Krüger, Marcel; Weyers, Benjamin et al.
Menus on the Desk? System Control in DeskVR.
VR. 2019 S. 1287 - 1288

Fernau, Henning
Modern Aspects of Complexity Within Formal Languages.
LATA. 2019 S. 3 - 30

Rietzke, Eric; Bergmann, Ralph; Kuhn, Norbert
ODD-BP - an Ontology- and Data-Driven Business Process Model.
LWDA. 2019 S. 310 - 321

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On Matrix Ins-Del Systems of Small Sum-Norm.
SOFSEM. 2019 S. 192 - 205

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On path-controlled insertion-deletion systems.
Acta Informatica. Bd. 56. H. 1. 2019 S. 35 - 59

Feld, Nico; Weyers, Benjamin
Overview of Collaborative Virtual Environments using Augmented Reality.
MuC (Workshopband). 2019

C. Demiralp, Ali; Zielasko, Daniel; Axer, Markus et al.
Parallel Particle Advection and Lagrangian Analysis for 3D-PLI Fiber Orientation Maps.
LDAV. 2019 S. 89 - 90

Zielasko, Daniel; Krüger, Marcel; Weyers, Benjamin et al.
Passive Haptic Menus for Desk-Based and HMD-Projected Virtual Reality.
WEVR@VR. 2019 S. 1 - 6

Bergmann, Ralph; Grumbach, Lisa; Malburg, Lukas et al.
ProCAKE: A Process-Oriented Case-Based Reasoning Framework.
ICCBR Workshops. 2019 S. 156 - 161

Schenkel, Ralf
Proceedings of the 31st GI-Workshop Grundlagen von Datenbanken, Saarburg, Germany, June 11-14, 2019.
CEUR-WS.org 2019

Fernau, Henning; Stege, Ulrike
Profit Parameterizations of Dominating Set.
AAIM. 2019 S. 108 - 120

Fernau, Henning; Vu, Martin
Regulated Tree Automata.
DCFS. 2019 S. 124 - 136

Katharina Kreutz, Christin; Sahitaj, Premtim; Schenkel, Ralf
Revaluating Semantometrics from Computer Science Publications.
BIRNDL@SIGIR. 2019 S. 42 - 55

Katharina Kreutz, Christin; Wolz, Michael; Schenkel, Ralf
SchenQL: A Concept of a Domain-Specific Query Language on Bibliographic Metadata.
ICADL. 2019 S. 239 - 246

Lenz, Mirko; Ollinger, Stefan; Sahitaj, Premtim et al.
Semantic Textual Similarity Measures for Case-Based Retrieval of Argument Graphs.
ICCBR. 2019 S. 219 - 234

Bergmann, Ralph; Lenz, Mirko; Ollinger, Stefan et al.
Similarity Measures for Case-Based Retrieval of Natural Language Argument Graphs in Argumentation Machines.
FLAIRS. 2019 S. 329 - 334

Schweiß, Thomas; Thomaschewski, Lisa; Kluge, Annette et al.
Software Engineering for AR-Systems considering User Centered Design Approaches.
MuC (Workshopband). 2019

Chaplick, Steven; Kindermann, Philipp; Löffler, Andre et al.
Stick Graphs with Length Constraints.
GD. 2019 S. 3 - 17

Bruchertseifer, Jens; Fernau, Henning
Synchronizing series-parallel automata with loops.
NCMA. 2019 S. 63 - 78

Weyers, Benjamin; Auer, Ekaterina; Luther, Wolfram
The Role of Verification and Validation Techniques within Visual Analytics.
J. Univers. Comput. Sci. Bd. 25. H. 8. 2019 S. 967 - 987

Grumbach, Lisa; Bergmann, Ralph
Towards Case-Based Deviation Management for Flexible Workflows.
LWDA. 2019 S. 241 - 252

Zielasko, Daniel; Weyers, Benjamin; W. Kuhlen, Torsten
Travel Your Desk? An Office Desk Substitution and its Effects on Cybersickness, Presence and Performance in an HMD-based Exploratory Analysis Task.
VR. 2019 S. 1285 - 1286

Distante, Damiano; Winckler, Marco; Bernhaupt, Regina et al.
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019.
EICS. 2019 S. 22:1 - 22:6

Maletzki, Carsten; Rietzke, Eric; Grumbach, Lisa et al.
Utilizing Ontology-Based Reasoning to Support the Execution of Knowledge-Intensive Processes.
Business Process Management Workshops. 2019 S. 32 - 44

Zielasko, Daniel; Zhao, Xiaoqing; C. Demiralp, Ali et al.
Voxel-based edge bundling through direction-aware kernel smoothing.
Comput. Graph. Bd. 83. 2019 S. 87 - 96

Weyers, Benjamin; Zielasko, Daniel; Kulik, Alexander et al.
Workshop on Virtual and Augmented Reality in Everyday Context (VARECo).
MuC (Workshopband). 2019

Angelini, Patrizio; A. Bekos, Michael; Kaufmann, Michael et al.
1-Fan-bundle-planar drawings of graphs.
Theor. Comput. Sci. Bd. 723. 2018 S. 23 - 50

Guo, Rongkai; P. McMahan, Ryan; Weyers, Benjamin
3DUI-League: 9th Annual 3DUI Contest.
VR. 2018 S. 845

Zeyen, Christian; Müller, Gilbert; Bergmann, Ralph
A Conversational Approach to Process-oriented Case-based Reasoning.
IJCAI. 2018 S. 5404 - 5408

Langel, Florian; C. Law, Yuen; Wehrt, Wilken et al.
A Virtual Reality Framework to Validate Persuasive Interactive Systems to Change Work Habits.
MuC (Workshopband). 2018

Kluge, Annette; Borisov, Nikolaj; Schüffler, Arnulf et al.
Augmented Reality to Support Temporal Coordination of Spatial Dispersed Production Teams.
MuC (Workshopband). 2018

N. Abu-Khzam, Faisal; Bazgan, Cristina; Casel, Katrin et al.
Clustering with Lower-Bounded Sizes - A General Graph-Theoretic Framework.
Algorithmica. Bd. 80. H. 9. 2018 S. 2517 - 2550

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Computational Completeness of Simple Semi-conditional Insertion-Deletion Systems.
UCNC. 2018 S. 86 - 100

Zeyen, Christian; Hoffmann, Maximilian; Müller, Gilbert et al.
Considering Nutrients During the Generation of Recipes by Process-Oriented Case-Based Reasoning.
ICCBR. 2018 S. 464 - 479

Klein, Patrick; Bergmann, Ralph
Data Generation with a Physical Model to Support Machine Learning Research for Predictive Maintenance.
LWDA. 2018 S. 179 - 190

Fernau, Henning; Fluschnik, Till; Hermelin, Danny et al.
Diminishable Parameterized Problems and Strict Polynomial Kernelization.
CiE. 2018 S. 161 - 171

Hültenschmidt, Gregor; Kindermann, Philipp; Meulemans, Wouter et al.
Drawing Planar Graphs with Few Geometric Primitives.
J. Graph Algorithms Appl. Bd. 22. H. 2. 2018 S. 357 - 387

Kindermann, Philipp; Montecchiani, Fabrizio; Schlipf, Lena et al.
Drawing Subcubic 1-Planar Graphs with Few Bends, Few Slopes, and Large Angles.
GD. 2018 S. 152 - 166

Kindermann, Philipp; Meulemans, Wouter; Schulz, André
Experimental Analysis of the Accessibility of Drawings with Few Segments.
J. Graph Algorithms Appl. Bd. 22. H. 3. 2018 S. 501 - 518

Katharina Kreutz, Christin; Boesten, Peter; Witry, Alex et al.
FacetSearch: A Faceted Information Search and Exploration Prototype.
LWDA. 2018 S. 215 - 226

Eroglu, Sevinc; Weyers, Benjamin; W. Kuhlen, Torsten
Fluid Sketching: Bringing Ebru Art into VR.
MuC (Workshopband). 2018

E. Devanny, William; Kindermann, Philipp; Löffler, Maarten et al.
Graph Drawing Contest Report.
GD. 2018 S. 609 - 617

Angelini, Patrizio; A. Bekos, Michael; Didimo, Walter et al.
Greedy Rectilinear Drawings.
GD. 2018 S. 495 - 508

Schenkel, Ralf
Harvesting, Integrating, and Cleaning Metadata in a Bibliographic Information System.
Grundlagen von Datenbanken. 2018 S. 8

Biedl, Therese; Biniaz, Ahmad; Irvine, Veronika et al.
Integral Unit Bar-Visibility Graphs.
CCCG. 2018 S. 230 - 246

Schenkel, Ralf
Integrating and Exploiting Public Metadata Sources in a Bibliographic Information System.
BIR@ECIR. 2018 S. 16 - 21

Timm, Ingo J.; Staab, Steffen; Siebers, Michael et al.
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges
Frank Trollmann;Anni-Yasmin Turhan (Hrsg). KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 357 - 365

Freitag, Sebastian; Weyers, Benjamin; W. Kuhlen, Torsten
Interactive Exploration Assistance for Immersive Virtual Environments Based on Object Visibility and Viewpoint Quality.
VR. 2018 S. 355 - 362

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Investigations on the power of matrix insertion-deletion systems with small sizes.
Nat. Comput. Bd. 17. H. 2. 2018 S. 249 - 269

Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus et al.
Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case.
MCU. 2018 S. 88 - 104

Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus
New Nonterminal Complexity Results for Semi-conditional Grammars.
CiE. 2018 S. 172 - 182

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems.
RAIRO Theor. Informatics Appl. Bd. 52. H. 1. 2018 S. 1 - 21

Fernau, Henning; A. Rodríguez-Velázquez, Juan
On the (adjacency) metric dimension of corona and strong product graphs and their local variants: Combinatorial and computational results.
Discret. Appl. Math. Bd. 236. 2018 S. 183 - 202

Eppstein, David; Kindermann, Philipp; G. Kobourov, Stephen et al.
On the Planar Split Thickness of Graphs.
Algorithmica. Bd. 80. H. 3. 2018 S. 977 - 994

Alt, Helmut; Buchin, Kevin; Chaplick, Steven et al.
Placing your coins on a shelf.
J. Comput. Geom. Bd. 9. H. 1. 2018 S. 312 - 327

Neumann, Mandy; Michels, Christopher; Schaer, Philipp et al.
Prioritizing and Scheduling Conferences for Metadata Harvesting in dblp.
JCDL. 2018 S. 45 - 48

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Properties of Language Classes Between Linear and Context-Free.
J. Autom. Lang. Comb. Bd. 23. H. 4. 2018 S. 329 - 360

Malburg, Lukas; Münster, Nicolas; Zeyen, Christian et al.
Query Model and Similarity-Based Retrieval for Workflow Reuse in the Digital Humanities.
LWDA. 2018 S. 251 - 262

Bergmann, Ralph; Schenkel, Ralf; Dumani, Lorik et al.
ReCAP - Information Retrieval and Case-Based Reasoning for Robust Deliberation and Synthesis of Arguments in the Political Discourse.
LWDA. 2018 S. 49 - 60

Fernau, Henning; Manea, Florin; Mercas, Robert et al.
Revisiting Shinohara's algorithm for computing descriptive patterns.
Theor. Comput. Sci. Bd. 733. 2018 S. 44 - 54

Zielasko, Daniel; Skorzinski, Uta; W. Kuhlen, Torsten et al.
Seamless Hand-Based Remote and Close Range Interaction in Immersive Virtual Environments.
MuC (Workshopband). 2018

Grumbach, Lisa; Rietzke, Eric; Schwinn, Markus et al.
SEMANAS - Semantic Support for Grant Application Processes.
LWDA. 2018 S. 126 - 131

Bergmann, Ralph; Müller, Gilbert
Similarity-Based Retrieval and Automatic Adaptation of Semantic Workflows.
Synergies Between Knowledge Engineering and Software Engineering. 2018 S. 31 - 54

Fernau, Henning; Paramasivan, Meenakshi; L. Schmid, Markus et al.
Simple picture processing based on finite automata and regular grammars.
J. Comput. Syst. Sci. Bd. 95. 2018 S. 232 - 258

N. Abu-Khzam, Faisal; Fernau, Henning; Uehara, Ryuhei
Special Issue on Reconfiguration Problems.
Algorithms. Bd. 11. H. 11. 2018 S. 187

Oehrl, Simon; Müller, Jan; Schnathmeier, Jan et al.
Streaming Live Neuronal Simulation Data into Visualization and Analysis.
ISC Workshops. 2018 S. 258 - 272

A. Becker, Colja; Lorig, Fabian; J. Timm, Ingo
Survey of multiagent systems for improving home health care management.
AIH@IJCAI. Stockholm. 2018 S. 169 - 180 (CEUR Workshop Proceedings ; 2142)

Bazgan, Cristina; Brankovic, Ljiljana; Casel, Katrin et al.
The many facets of upper domination.
Theor. Comput. Sci. Bd. 717. 2018 S. 2 - 25

Nowke, Christian; Diaz-Pier, Sandra; Weyers, Benjamin et al.
Toward Rigorous Parameterization of Underconstrained Neural Network Models Through Interactive Visualization and Steering of Connectivity Generation.
Frontiers Neuroinformatics. Bd. 12. 2018 S. 32

Zeyen, Christian; Bergmann, Ralph
Towards an Interactive Workflow Modeling Assistance by Means of Case-Based Reasoning.
LWDA. 2018 S. 355 - 360

S. Lebherz, Daniel; Zeyen, Christian; Hess, Jan et al.
Towards Scientific Workflows and Computer Simulation as a Method in Digital Humanities.
INF-DH. 2018

Senk, Johanna; Carde, Corto; Hagen, Espen et al.
VIOLA - A Multi-Purpose and Web-Based Visualization Tool for Neuronal-Network Simulation Output.
Frontiers Neuroinformatics. Bd. 12. 2018 S. 75

Weyers, Benjamin; Zielasko, Daniel; Pfeiffer, Thies et al.
Virtual and Augmented Reality in Everyday Context (VARECo).
MuC (Workshopband). 2018

Angelini, Patrizio; Da Lozzo, Giordano; Di Battista, Giuseppe et al.
Windrose Planarity: Embedding Graphs with Direction-Constrained Edges.
ACM Trans. Algorithms. Bd. 14. H. 4. 2018 S. 54:1 - 54:24

Angelini, Patrizio; A. Bekos, Michael; Kaufmann, Michael et al.
1-Fan-Bundle-Planar Drawings of Graphs.
GD. 2017 S. 517 - 530

Zielasko, Daniel; , Neha; Weyers, Benjamin et al.
A reliable non-verbal vocal input metaphor for clicking.
3DUI. 2017 S. 40 - 49

Rietzke, Eric; Bergmann, Ralph; Kuhn, Norbert
Adaptive Business Process Visualization for a Data and Constraint-Based Workflow Approach.
LWDA. 2017 S. 188

C. Rodermund, Stephanie; Lorig, Fabian; Ole Berndt, Jan et al.
An Agent Architecture for Simulating Communication Dynamics in Social Media.
Berndt, Jan Ole (Hrsg). MATES. Cham: Springer 2017 S. 19 - 37 (Lecture Notes in Computer Science ; 10413)

Freitag, Sebastian; Lobbert, Clemens; Weyers, Benjamin et al.
Approximating optimal sets of views in virtual scenes.
VR. 2017 S. 311 - 312

Guo, Rongkai; P. McMahan, Ryan; Weyers, Benjamin
Augmented Reality exhibits of constructive art: 8th annual 3DUI Contest.
3DUI. 2017 S. 253

Zielasko, Daniel; , Neha; Weyers, Benjamin et al.
BlowClick 2.0: A trigger based on non-verbal vocal input.
VR. 2017 S. 319 - 320

Weyers, Benjamin; D. Harrison, Michael; Bowen, Judy et al.
Case Studies.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 89 - 121

Reuter, Lukas; Ole Berndt, Jan; J. Timm, Ingo
Challenges of simulating teamwork in organizational scenarios.
WSC. Las Vegas, NV: IEEE 2017 S. 4542 - 4543

Fernau, Henning; Paramasivan, Meenakshi; L. Schmid, Markus et al.
Characterization and complexity results on jumping finite automata.
Theor. Comput. Sci. Bd. 679. 2017 S. 31 - 52

Casel, Katrin; Fernau, Henning; Grigoriev, Alexander et al.
Combinatorial Properties and Recognition of Unit Square Visibility Graphs.
MFCS. 2017 S. 30:1 - 30:15

Müller, Gilbert; Bergmann, Ralph
Complexity-Aware Generation of Workflows by Process-Oriented Case-Based Reasoning.
KI. 2017 S. 207 - 221

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems.
CIAA. 2017 S. 89 - 100

Alhazov, Artiom; Fernau, Henning; Freund, Rudolf et al.
Contextual array grammars with matrix control, regular control languages, and tissue P systems control.
Theor. Comput. Sci. Bd. 682. 2017 S. 5 - 21

Zeyen, Christian; Müller, Gilbert; Bergmann, Ralph
Conversational Process-Oriented Case-Based Reasoning.
ICCBR. 2017 S. 403 - 419

Zeyen, Christian; Müller, Gilbert; Bergmann, Ralph
Conversational Retrieval of Cooking Recipes.
ICCBR (Workshops). 2017 S. 237 - 244

Müller, Gilbert; Bergmann, Ralph
Cooking Made Easy: On a Novel Approach to Complexity-Aware Recipe Generation.
ICCBR (Workshops). 2017 S. 229 - 236

Hültenschmidt, Gregor; Kindermann, Philipp; Meulemans, Wouter et al.
Drawing Planar Graphs with Few Geometric Primitives.
WG. 2017 S. 316 - 329

Freitag, Sebastian; Weyers, Benjamin; W. Kuhlen, Torsten
Efficient approximate computation of scene visibility based on navigation meshes and applications for navigation and scene analysis.
3DUI. 2017 S. 134 - 143

Kindermann, Philipp; Meulemans, Wouter; Schulz, André
Experimental Analysis of the Accessibility of Drawings with Few Segments.
GD. 2017 S. 52 - 64

Fernau, Henning
Extremal Kernelization: A Commemorative Paper.
IWOCA. 2017 S. 24 - 36

Weyers, Benjamin
Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 273 - 294

Lorig, Fabian; A. Becker, Colja; J. Timm, Ingo
Formal specification of hypotheses for assisting computer simulation studies.
SpringSim (TMS). San Diego, CA: Society for Modeling & Simulation International 2017 S. 18:1 - 18:12

C. Law, Yuen; Wehrt, Wilken; Sonnentag, Sabine et al.
Generation of information systems from process models to support intentional forgetting of work habits.
EICS. 2017 S. 27 - 32

E. Devanny, William; Kindermann, Philipp; Löffler, Maarten et al.
Graph Drawing Contest Report.
GD. 2017 S. 575 - 582

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity.
DCFS. 2017 S. 128 - 139

Lorig, Fabian; S. Lebherz, Daniel; Ole Berndt, Jan et al.
Hypothesis-driven experiment design in computer simulation studies.
Chan, Victor (Hrsg). WSC. Piscataway, NJ: IEEE 2017 S. 1360 - 1371

A. Bekos, Michael; C. van Dijk, Thomas; Fink, Martin et al.
Improved Approximation Algorithms for Box Contact Representations.
Algorithmica. Bd. 77. H. 3. 2017 S. 902 - 920

Vierjahn, Tom; Schnorr, Andrea; Weyers, Benjamin et al.
Interactive Exploration of Dissipation Element Geometry.
EGPGV@EuroVis. 2017 S. 53 - 62

Kindermann, Philipp; G. Kobourov, Stephen; Löffler, Maarten et al.
Lombardi Drawings of Knots and Links.
GD. 2017 S. 113 - 126

Fernau, Henning; Freund, Rudolf; Siromoney, Rani et al.
Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors.
Fundam. Informaticae. Bd. 155. H. 1-2. 2017 S. 209 - 232

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the computational completeness of graph-controlled insertion-deletion systems with binary sizes.
Theor. Comput. Sci. Bd. 682. 2017 S. 100 - 121

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the Generative Power of Graph-Controlled Insertion-Deletion Systems with Small Sizes.
J. Autom. Lang. Comb. Bd. 22. H. 1-3. 2017 S. 61 - 92

Michels, Christopher; R. Fayzrakhmanov, Ruslan; Ley, Michael et al.
OXPath-Based Data Acquisition for dblp.
JCDL. 2017 S. 319 - 320

Fernau, Henning; Kuppusamy, Lakshmanan
Parikh Images of Matrix Ins-Del Systems.
TAMC. 2017 S. 201 - 215

Alt, Helmut; Buchin, Kevin; Chaplick, Steven et al.
Placing your Coins on a Shelf.
ISAAC. 2017 S. 4:1 - 4:12

Fernau, Henning; Krebs, Andreas
Problems on Finite Automata and the Exponential Time Hypothesis.
Algorithms. Bd. 10. H. 1. 2017 S. 24

Bergmann, Ralph; Minor, Mirjam; Müller, Gilbert et al.
Project EVER: Extraction and Processing of Procedural Experience Knowledge in Workflows.
ICCBR (Workshops). 2017 S. 137 - 146

Metzger, Steffen; Schenkel, Ralf; Sydow, Marcin
QBEES: query-by-example entity search in semantic knowledge graphs based on maximal aspects, diversity-awareness and relaxation.
J. Intell. Inf. Syst. Bd. 49. H. 3. 2017 S. 333 - 366

Fernau, Henning; Paramasivan, Meenakshi; Gnanaraj Thomas, D.
Regular grammars for array languages.
NCMA. 2017 S. 119 - 134

Zielasko, Daniel; Weyers, Benjamin; Bellgardt, Martin et al.
Remain seated: towards fully-immersive desktop VR.
WEVR@VR. 2017 S. 1 - 6

Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias
Self-verifying pushdown automata.
NCMA. 2017 S. 103 - 117

Rietzke, Eric; Bergmann, Ralph; Kuhn, Norbert
Semantically-Oriented Business Process Visualization for a Data and Constraint-Based Workflow Approach.
Business Process Management Workshops. 2017 S. 142 - 150

Oliveira Prates, Raquel; A. Palanque, Philippe; Weyers, Benjamin et al.
State of the Art on Formal Methods for Interactive Systems.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 3 - 55

Weyers, Benjamin; Bowen, Judy; J. Dix, Alan et al.
The Handbook of Formal Methods in Human-Computer Interaction.
Springer International Publishing 2017

Bowen, Judy; J. Dix, Alan; A. Palanque, Philippe et al.
Topics of Formal Methods in HCI.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 57 - 64

Ole Berndt, Jan; J. Timm, Ingo; Krause, Joscha et al.
Toward hybrid simulations for care demand forecasting.
WSC. Las Vegas, NV: IEEE 2017 S. 4594 - 4595

Vierjahn, Tom; Zielasko, Daniel; van Kooten, Kees et al.
Towards a design space characterizing workflows that take advantage of immersive visualization.
VR. 2017 S. 329 - 330

S. Lebherz, Daniel; Lorig, Fabian; J. Timm, Ingo
Towards agent-based social simulation as a method in literary studies: Analyzing creative processes based on egodocuments.
WSC. Las Vegas, NV: IEEE 2017 S. 4562 - 4563

J. Timm, Ingo; Ole Berndt, Jan; Reuter, Lukas et al.
Towards Multiagent-Based Simulation of Knowledge Management in Teams.
Sure-Vetter, York (Hrsg). WM. Aachen: RWTH 2017 S. 25 - 40 (CEUR Workshop Proceedings  ; 1821)

Reuter, Lukas; Ole Berndt, Jan; J. Timm, Ingo
Towards Simulation-Based Role Optimization in Organizations.
Kern-Isberner, Gabriele (Hrsg). KI. 1. ed. Aufl. Cham: Springer 2017 S. 359 - 365 (Lecture Notes in Computer Science ; 10505)

J. Dix, Alan; Weyers, Benjamin; Bowen, Judy et al.
Trends and Gaps.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 65 - 88

Fernau, Henning; Kuppusamy, Lakshmanan; Verlan, Sergey
Universal Matrix Insertion Grammars with Small Size.
UCNC. 2017 S. 182 - 193

Grumbach, Lisa; Bergmann, Ralph
Using Constraint Satisfaction Problem Solving to Enable Workflow Flexibility by Deviation (Best Technical Paper).
SGAI Conf. 2017 S. 3 - 17

Bellgardt, Martin; Pick, Sebastian; Zielasko, Daniel et al.
Utilizing immersive virtual reality in everydaywork.
WEVR@VR. 2017 S. 1 - 4

Weyers, Benjamin
Visual and Formal Modeling of Modularized and Executable User Interface Models.
Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 125 - 160

Grumbach, Lisa; Bergmann, Ralph
Workflow Flexibility by Deviation by means of Constraint Satisfaction Problem Solving.
LWDA. 2017 S. 212

Senk, Johanna; Yegenoglu, Alper; Amblet, Olivier et al.
A Collaborative Simulation-Analysis Workflow for Computational Neuroscience Using HPC.
JHPCS. 2016 S. 243 - 256

Pfister, Maximilian; Fuchs, Florian; Bergmann, Ralph
Ähnlichkeitsbasiertes Retrieval von BPMN-2.0-Modellen.
LWDA. 2016 S. 54 - 61

Bazgan, Cristina; Brankovic, Ljiljana; Casel, Katrin et al.
Algorithmic Aspects of Upper Domination: A Parameterised Perspective.
AAIM. 2016 S. 113 - 124

Lorig, Fabian; Reuter, Lukas; Zolitschka, Jan-Felix et al.
An Agent-based Approach for Simulating Transformation Processes of Socio-ecological Systems as Serious Game.
IxD&A. Bd. 31. Roma: Scuola IaD 2016 S. 98 - 114

Fernau, Henning
An Essay on General Grammars.
J. Autom. Lang. Comb. Bd. 21. H. 1-2. 2016 S. 69 - 92

Kötteritzsch, Anna; Weyers, Benjamin
Assistive Technologies for Older Adults in Urban Areas: A Literature Review.
Cogn. Comput. Bd. 8. H. 2. 2016 S. 299 - 317

Freitag, Sebastian; Weyers, Benjamin; W. Kuhlen, Torsten
Automatic speed adjustment for travel through immersive virtual environments based on viewpoint quality.
3DUI. 2016 S. 67 - 70

N. Abu-Khzam, Faisal; Bazgan, Cristina; Casel, Katrin et al.
Building Clusters with Lower-Bounded Sizes.
ISAAC. 2016 S. 4:1 - 4:13

Müller, Gilbert; Bergmann, Ralph
Case Completion of Workflows for Process-Oriented Case-Based Reasoning.
ICCBR. 2016 S. 295 - 310

Bönsch, Andrea; Weyers, Benjamin; Wendt, Jonathan et al.
Collision avoidance in the presence of a virtual agent in small-scale virtual environments.
3DUI. 2016 S. 145 - 148

Fernau, Henning; Freund, Rudolf; Siromoney, Rani et al.
Contextual Array Grammars with Matrix and Regular Control.
DCFS. 2016 S. 98 - 110

Biella, Daniel; Pilz, Thomas; Sacher, Daniel et al.
Crowdsourcing and Co-curation in Virtual Museums: A Practice-driven Approach.
J. Univers. Comput. Sci. Bd. 22. H. 10. 2016 S. 1277 - 1297

N. Abu-Khzam, Faisal; Bazgan, Cristina; Chopin, Morgan et al.
Data reductions and combinatorial bounds for improved approximation algorithms.
J. Comput. Syst. Sci. Bd. 82. H. 3. 2016 S. 503 - 520

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Descriptional Complexity of Graph-Controlled Insertion-Deletion Systems.
DCFS. 2016 S. 111 - 125

Pick, Sebastian; Weyers, Benjamin; Hentschel, Bernd et al.
Design and Evaluation of Data Annotation Workflows for CAVE-like Virtual Environments.
IEEE Trans. Vis. Comput. Graph. Bd. 22. H. 4. 2016 S. 1452 - 1461

Timm, Ingo J.
Digitalisierung und Big Data in der Medizin
Medizinrecht : MedR. Bd. 34. H. 9. Berlin [u.a.]: Springer Nature 2016 S. 686 - 690

Fernau, Henning; Fluschnik, Till; Hermelin, Danny et al.
Diminishable Parameterized Problems and Strict Polynomial Kernelization.
CoRR. Bd. abs/1611.03739. 2016

Timm, Ingo J.; Berndt, Jan-Ole; Lorig, Fabian et al.
Dynamic Analysis of Communication Processes using Twitter Data
IARIA (Hrsg). HUSO 2016, The Second International Conference on Human and Social Analytics. Barcelona. 2016 S. 14 - 22

Zielasko, Daniel; Horn, Sven; Freitag, Sebastian et al.
Evaluation of hands-free HMD-based navigation techniques for immersive data analysis.
3DUI. 2016 S. 113 - 119

Zielasko, Daniel; Horn, Sven; Freitag, Sebastian et al.
Evaluation of hands-free HMD-based navigation techniques for immersive data analysis.
VR. 2016 S. 317 - 318

Freitag, Sebastian; Weyers, Benjamin; W. Kuhlen, Torsten
Examining Rotation Gain in CAVE-like Virtual Environments.
IEEE Trans. Vis. Comput. Graph. Bd. 22. H. 4. 2016 S. 1462 - 1471

C. Law, Yuen; Weyers, Benjamin; W. Kuhlen, Torsten
Experiences on Validation of Multi-Component System Simulations for Medical Training Applications.
EuroRV³@EuroVis. 2016 S. 29 - 33

Tweddell, Bastian; Henrik Göbbert, Jens; Gauding, Michael et al.
Framework for Sharing of Highly Resolved Turbulence Simulation Data.
JHPCS. 2016 S. 225 - 232

Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Generative Power of Matrix Insertion-Deletion Systems with Context-Free Insertion or Deletion.
UCNC. 2016 S. 35 - 48

Kindermann, Philipp; Löffler, Maarten; Nachmanson, Lev et al.
Graph Drawing Contest Report.
GD. 2016 S. 589 - 595

Zielasko, Daniel; Weyers, Benjamin; Hentschel, Bernd et al.
Interactive 3D Force-Directed Edge Bundling.
Comput. Graph. Forum. Bd. 35. H. 3. 2016 S. 51 - 60

Fernau, Henning
Kernelization, Turing Kernels.
Encyclopedia of Algorithms. 2016 S. 1043 - 1045

Weyers, Benjamin; Dittmar, Anke
Mensch und Computer 2016 - Workshopband, Aachen, Germany, September 4-7, 2016
Gesellschaft für Informatik e.V. 2016

Kindermann, Philipp; Niedermann, Benjamin; Rutter, Ignaz et al.
Multi-sided Boundary Labeling.
Algorithmica. Bd. 76. H. 1. 2016 S. 225 - 258

Bazgan, Cristina; Brankovic, Ljiljana; Casel, Katrin et al.
On the Complexity Landscape of the Domination Chain.
CALDAM. 2016 S. 61 - 72

Casel, Katrin; Fernau, Henning; Gaspers, Serge et al.
On the Complexity of Grammar-Based Compression over Fixed Alphabets.
ICALP. 2016 S. 122:1 - 122:14

Fernau, Henning; L. Schmid, Markus; Villanger, Yngve
On the Parameterised Complexity of String Morphism Problems.
Theory Comput. Syst. Bd. 59. H. 1. 2016 S. 24 - 51

Eppstein, David; Kindermann, Philipp; G. Kobourov, Stephen et al.
On the Planar Split Thickness of Graphs.
LATIN. 2016 S. 403 - 415

Minor, Mirjam; Bergmann, Ralph; Müller, Jan-Martin et al.
On the Transferability of Process-Oriented Cases.
ICCBR. 2016 S. 281 - 294

Fernau, Henning
Parameterized Algorithms for Drawing Graphs.
Encyclopedia of Algorithms. 2016 S. 1520 - 1525

Fernau, Henning; Paramasivan, Meenakshi; Gnanaraj Thomas, D.
Picture Scanning Automata.
CompIMAGE. 2016 S. 132 - 147

Björklund, Johanna; Fernau, Henning; Kasprzik, Anna
Polynomial inference of universal automata from membership and equivalence queries.
Inf. Comput. Bd. 246. 2016 S. 3 - 19

Fernau, Henning; Krebs, Andreas
Problems on Finite Automata and the Exponential Time Hypothesis.
CIAA. 2016 S. 89 - 100

J. Brandenburg, Franz; Didimo, Walter; S. Evans, William et al.
Recognizing and drawing IC-planar graphs.
Theor. Comput. Sci. Bd. 636. 2016 S. 1 - 16

Bergmann, Ralph; Müller, Gilbert; Zeyen, Christian et al.
Retrieving Adaptable Cases in Process-Oriented Case-Based Reasoning.
FLAIRS. 2016 S. 419 - 424

Grumbach, Lisa; Rietzke, Eric; Schwinn, Markus et al.
SEMAFLEX - Semantic Integration of Flexible Workflow and Document Management.
LWDA. 2016 S. 43 - 50

A. Bekos, Michael; C. van Dijk, Thomas; Kindermann, Philipp et al.
Simultaneous Drawing of Planar Graphs with Right-Angle Crossings and Few Bends.
J. Graph Algorithms Appl. Bd. 20. H. 1. 2016 S. 133 - 158

Angelini, Patrizio; Chaplick, Steven; Cornelsen, Sabine et al.
Simultaneous Orthogonal Planarity.
GD. 2016 S. 532 - 545

C. Law, Yuen; Weyers, Benjamin
Social Media and Virtual Reality for Risk Communication in case of Volcanic Eruptions.
MuC (Workshopband). 2016

Felsner, Stefan; Igamberdiev, Alexander; Kindermann, Philipp et al.
Strongly Monotone Drawings of Planar Graphs.
SoCG. 2016 S. 37:1 - 37:15

Fernau, Henning
Theorietage der Gesellschaft für Informatik in Speyer 2015 - Special Issue.
Algorithms. Bd. 9. H. 4. 2016 S. 64

Hänel, Claudia; Khatami, Mohammad; W. Kuhlen, Torsten et al.
Towards Multi-user Provenance Tracking of Visual Analysis Workflows over Multiple Applications.
EuroRV³@EuroVis. 2016 S. 23 - 27

Lemaire, Marina; Rommelfanger, Yvonne; Ludwig, Jan et al.
Umgang mit Forschungsdaten und deren Archivierung. Bericht zur Online-Bedarfserhebung an der Universität Trier
Trier. 2016 (eSciences Working Papers 02)

Bazgan, Cristina; Brankovic, Ljiljana; Casel, Katrin et al.
Upper Domination: Complexity and Approximation.
IWOCA. 2016 S. 241 - 252

Gebhardt, Sascha; Petersen-Krau, Till; Pick, Sebastian et al.
Vista widgets: a framework for designing 3D user interfaces from reusable interaction building blocks.
VRST. 2016 S. 251 - 260

Hänel, Claudia; Weyers, Benjamin; Hentschel, Bernd et al.
Visual Quality Adjustment for Volume Rendering in a Head-Tracked Virtual Environment.
IEEE Trans. Vis. Comput. Graph. Bd. 22. H. 4. 2016 S. 1472 - 1481

Casel, Katrin; Estrada-Moreno, Alejandro; Fernau, Henning et al.
Weak total resolvability in graphs.
Discuss. Math. Graph Theory. Bd. 36. H. 1. 2016 S. 185 - 210

Angelini, Patrizio; Da Lozzo, Giordano; Di Battista, Giuseppe et al.
Windrose Planarity: Embedding Graphs with Direction-Constrained Edges.
SODA. 2016 S. 985 - 996

Kötteritzsch, Anna; Weyers, Benjamin; Lischke, Lars et al.
Workshopband Urban und Digital - Gemeinsam auf interaktiven Wegen.
MuC (Workshopband). 2016

Guo, Rongkai; R. Marner, Michael; Weyers, Benjamin
3DUIdol - 6th annual 3DUI contest.
3DUI. 2015 S. 197

Fernau, Henning; Heggernes, Pinar; Villanger, Yngve
A multi-parameter analysis of hard problems on deterministic finite automata.
J. Comput. Syst. Sci. Bd. 81. H. 4. 2015 S. 747 - 765

J. Timm, Ingo; Lorig, Fabian
A survey on methodological aspects of computer simulation as research technique.
WSC. 2015 S. 2704 - 2715

Bazgan, Cristina; Brankovic, Ljiljana; Casel, Katrin et al.
Algorithmic Aspects of Upper Domination.
CoRR. Bd. abs/1506.07260. 2015

Sacher, Daniel; Weyers, Benjamin; W. Kuhlen, Torsten et al.
An Integrative Tool Chain for Collaborative Virtual Museums in Immersive Virtual Environments.
CRIWG. 2015 S. 86 - 94

Kindermann, Philipp
Angular Schematization in Graph Drawing.
2015 S. 1 - 173

Zielasko, Daniel; Freitag, Sebastian; Rausch, Dominik et al.
BlowClick: A Non-Verbal Vocal Input Metaphor for Clicking.
SUI. 2015 S. 20 - 23

Fernau, Henning; Paramasivan, Meenakshi; L. Schmid, Markus et al.
Characterization and Complexity Results on Jumping Finite Automata.
CoRR. Bd. abs/1512.00482. 2015

Zielasko, Daniel; Rausch, Dominik; C. Law, Yuen et al.
Cirque des bouteilles: The art of blowing on bottles.
3DUI. 2015 S. 209 - 210

Bereg, Sergey; Fleszar, Krzysztof; Kindermann, Philipp et al.
Colored Non-crossing Euclidean Steiner Forest.
ISAAC. 2015 S. 429 - 441

Bermudo, Sergio; Fernau, Henning
Combinatorics for smaller kernels: The differential of a graph.
Theor. Comput. Sci. Bd. 562. 2015 S. 330 - 345

Freitag, Sebastian; Weyers, Benjamin; Bönsch, Andrea et al.
Comparison and Evaluation of Viewpoint Quality Estimation Algorithms for Immersive Virtual Environments.
ICAT-EGVE. 2015 S. 53 - 60

Fernau, Henning; Heggernes, Pinar; van 't Hof, Pim et al.
Computing the metric dimension for chain graphs.
Inf. Process. Lett. Bd. 115. H. 9. 2015 S. 671 - 676

Fernau, Henning; Freund, Rudolf; L. Schmid, Markus et al.
Contextual array grammars and array P systems.
Ann. Math. Artif. Intell. Bd. 75. H. 1-2. 2015 S. 5 - 26

Müller, Gilbert; Bergmann, Ralph
CookingCAKE: A Framework for the Adaptation of Cooking Recipes Represented as Workflows.
ICCBR (Workshops). 2015 S. 221 - 232

Biella, Daniel; Sacher, Daniel; Weyers, Benjamin et al.
Crowdsourcing and Knowledge Co-creation in Virtual Museums.
CRIWG. 2015 S. 1 - 18

Dallmeyer, Jörg; Schumann, René; D. Lattner, Andreas et al.
Don't Go With the Ant Flow: Ant-Inspired Traffic Routing in Urban Environments.
J. Intell. Transp. Syst. Bd. 19. H. 1. Philadelphia, PA: Taylor 6 Francis 2015 S. 78 - 88

Freitag, Sebastian; Weyers, Benjamin; W. Kuhlen, Torsten
Effects and applicability of rotation gain in CAVE-like environments.
VR. 2015 S. 179 - 180

Gessinger, Sarah; Bergmann, Ralph
Flexible Process-Aware Information Systems Deficiency Management in Construction.
LWA. 2015 S. 330 - 338

Weyers, Benjamin; Frank, Barbara; Bischof, Kathrin et al.
Gaze Guiding as Support for the Control of Technical Systems.
Int. J. Inf. Syst. Crisis Response Manag. Bd. 7. H. 2. 2015 S. 59 - 80

Bischof, Kathrin; Weyers, Benjamin; Frank, Barbara et al.
Gaze Guiding zur Unterstützung der Bedienung technischer Systeme.
MuC (Workshopband). 2015 S. 61 - 68

Müller, Gilbert; Bergmann, Ralph
Generalization of Workflows in Process-Oriented Case-Based Reasoning.
FLAIRS. 2015 S. 391 - 396

Kindermann, Philipp; Löffler, Maarten; Nachmanson, Lev et al.
Graph Drawing Contest Report.
GD. 2015 S. 531 - 537

Braier, Jonas; Lattenkamp, Katharina; Räthel, Benjamin et al.
Haptic 3D Surface Representation of Table-Based Data for People With Visual Impairments.
ACM Trans. Access. Comput. Bd. 6. H. 1. 2015 S. 1:1 - 1:35

Nowke, Christian; Zielasko, Daniel; Weyers, Benjamin et al.
Integrating Visualizations into Modeling NEST Simulations.
Frontiers Neuroinformatics. Bd. 9. 2015 S. 29

Fernau, Henning; Paramasivan, Meenakshi; L. Schmid, Markus
Jumping Finite Automata: Characterizations and Complexity.
CIAA. 2015 S. 89 - 101

Fernau, Henning; López-Ortiz, Alejandro; Romero, Jazmín
Kernelization Algorithms for Packing Problems Allowing Overlaps.
TAMC. 2015 S. 415 - 427

Müller, Gilbert; Bergmann, Ralph
Learning and Applying Adaptation Operators in Process-Oriented Case-Based Reasoning.
ICCBR. 2015 S. 259 - 274

J. Timm, Ingo; Lorig, Fabian
Logistics 4.0: a challenge for simulation.
WSC. 2015 S. 3118 - 3119

Lorig, Fabian; Dammenhayn, Nils; Müller, David-Johannes et al.
Measuring and Comparing Scalability of Agent-Based Simulation Frameworks.
MATES. 2015 S. 42 - 60

Biella, Daniel; Sacher, Daniel; Weyers, Benjamin et al.
Metaphorical Design of Virtual Museums and Laboratories: First Insights.
UCAmI. 2015 S. 427 - 438

S. Evans, William; Fleszar, Krzysztof; Kindermann, Philipp et al.
Minimum Rectilinear Polygons for Given Angle Sequences.
JCDCGG. 2015 S. 105 - 119

Fernau, Henning; Freund, Rudolf; Siromoney, Rani et al.
Non-isometric Contextual Array Grammars with Regular Control and Local Selectors.
MCU. 2015 S. 61 - 78

Fernau, Henning; V. Fomin, Fedor; Philip, Geevarghese et al.
On the parameterized complexity of vertex cover and edge cover with connectivity constraints.
Theor. Comput. Sci. Bd. 565. 2015 S. 1 - 15

Fernau, Henning; L. Schmid, Markus
Pattern matching with variables: A multivariate complexity analysis.
Inf. Comput. Bd. 242. 2015 S. 287 - 305

Fernau, Henning; Manea, Florin; Mercas, Robert et al.
Pattern Matching with Variables: Fast Algorithms and New Hardness Results.
STACS. 2015 S. 302 - 315

Müller, Gilbert; Bergmann, Ralph
POQL: A New Query Language for Process-Oriented Case-Based Reasoning.
LWA. 2015 S. 247 - 255

Bergmann, Ralph; Görg, Sebastian; Müller, Gilbert
Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, Trier, Germany, October 7-9, 2015.
CEUR-WS.org 2015

J. Brandenburg, Franz; Didimo, Walter; S. Evans, William et al.
Recognizing and Drawing IC-Planar Graphs.
GD. 2015 S. 295 - 308

Fernau, Henning; Paramasivan, Meenakshi; L. Schmid, Markus et al.
Scanning Pictures the Boustrophedon Way.
IWCIA. 2015 S. 202 - 216

C. Law, Yuen; Knott, Thomas; Pick, Sebastian et al.
Simulation-based Ultrasound Training Supported by Annotations, Haptics and Linked Multimodal Views.
VCBM. 2015 S. 167 - 176

A. Bekos, Michael; C. van Dijk, Thomas; Kindermann, Philipp et al.
Simultaneous Drawing of Planar Graphs with Right-Angle Crossings and Few Bends.
WALCOM. 2015 S. 222 - 233

Görg, Sebastian; Bergmann, Ralph
Social workflows - Vision and potential study.
Inf. Syst. Bd. 50. 2015 S. 1 - 19

Hennen, Christian; Kalenborn, Axel; Stadlbauer, Sascha et al.
Systematisierung der Auswahl von Vorgehensmodellen durch Kennzahlen.
PVM. 2015 S. 55 - 65

Kötteritzsch, Anna; Bons, Julia; Herrmanny, Katja et al.
Tagungsband des Workshops "Gemeinsam Altern erleben".
MuC (Workshopband). 2015 S. 577 - 581

Fernau, Henning; Freund, Rudolf; Holzer, Markus
The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems.
Int. J. Found. Comput. Sci. Bd. 26. H. 8. 2015 S. 1167 - 1188

Fernau, Henning; López-Ortiz, Alejandro; Romero, Jazmín
Using Parametric Transformations Toward Polynomial Kernels for Packing Problems Allowing Overlaps.
ACM Trans. Comput. Theory. Bd. 7. H. 3. 2015 S. 13:1 - 13:29

Weyers, Benjamin; Bowen, Judy; J. Dix, Alan et al.
Workshop on formal methods in human computer interaction.
EICS. 2015 S. 294 - 295

Pick, Sebastian; Gebhardt, Sascha; Weyers, Benjamin et al.
A 3D collaborative virtual environment to integrate immersive virtual reality into factory planning processes.
3DCVE@VR. 2014 S. 1 - 6

Müller, Gilbert; Bergmann, Ralph
A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning.
ECAI. 2014 S. 639 - 644

Dieterle, Sebastian; Bergmann, Ralph
A Hybrid CBR-ANN Approach to the Appraisal of Internet Domain Names.
ICCBR. 2014 S. 95 - 109

Binkele-Raible, Daniel; Fernau, Henning
A Parameterized Measure-and-Conquer Analysis for Finding a k-Leaf Spanning Treein an Undirected Graph.
Discret. Math. Theor. Comput. Sci. Bd. 16. H. 1. 2014 S. 179 - 200

N. Abu-Khzam, Faisal; Bazgan, Cristina; Chopin, Morgan et al.
Approximation Algorithms Inspired by Kernelization Methods.
ISAAC. 2014 S. 479 - 490

Minor, Mirjam; Bergmann, Ralph; Görg, Sebastian
Case-based adaptation of workflows.
Inf. Syst. Bd. 40. 2014 S. 142 - 152

Bermudo, Sergio; Fernau, Henning
Computing the differential of a graph: Hardness, approximability and exact algorithms.
Discret. Appl. Math. Bd. 165. 2014 S. 69 - 82

Fernau, Henning; Freund, Rudolf; Holzer, Markus
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes.
AFL. 2014 S. 246 - 260

N. Abu-Khzam, Faisal; Bazgan, Cristina; Chopin, Morgan et al.
Data Reductions and Combinatorial Bounds for Improved Approximation Algorithms.
CoRR. Bd. abs/1409.3742. 2014

Knott, Thomas; Weyers, Benjamin; Hentschel, Bernd et al.
Data-flow oriented software framework for the development of haptic-enabled physics simulations.
SEARIS. 2014 S. 65 - 72

Fernau, Henning; Meister, Daniel
Digraphs of bounded elimination width.
Discret. Appl. Math. Bd. 168. 2014 S. 78 - 87

Bonjour, Eric; Geneste, Laurent; Bergmann, Ralph
Enhancing experience reuse and learning.
Knowl. Based Syst. Bd. 68. 2014 S. 1 - 3

Lorig, Fabian; Gräf, Matthias; Walter, Steffen et al.
Evaluating Strategies for Penny Auctions Using Multi-Agent Systems.
MATES. 2014 S. 26 - 40

Lorig, Fabian; J. Timm, Ingo
How to model the "human factor" for agent-based simulation in social media analysis?: work in progress paper.
SpringSim (ADS). 2014 S. 12

A. Bekos, Michael; C. van Dijk, Thomas; Fink, Martin et al.
Improved Approximation Algorithms for Box Contact Representations.
ESA. 2014 S. 87 - 99

Hänel, Claudia; Weyers, Benjamin; Hentschel, Bernd et al.
Interactive volume rendering for immersive virtual environments.
3DVis@IEEE VIS. 2014 S. 73 - 74

Fernau, Henning; López-Ortiz, Alejandro; Romero, Jazmín
Kernelization Algorithms for Packing Problems Allowing Overlaps.
CoRR. Bd. abs/1411.6915. 2014

Gobbert, Moritz; Fernau, Henning
Latrunculi - on the complexity of Roman chess.
NCMA. 2014 S. 115 - 130

Stückrath, Jan; Weyers, Benjamin
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Bd. 67. 2014

Kindermann, Philipp; Lipp, Fabian; Wolff, Alexander
Luatodonotes: Boundary Labeling for Annotations in Texts.
GD. 2014 S. 76 - 88

Fernau, Henning; Alberto Rodríguez-Velázquez, Juan
Notions of Metric Dimension of Corona Products: Combinatorial and Computational Results.
CSR. 2014 S. 153 - 166

Kindermann, Philipp; Schulz, André; Spoerhase, Joachim et al.
On Monotone Drawings of Trees.
GD. 2014 S. 488 - 500

Bergmann, Ralph; Gil, Yolanda
Similarity assessment and efficient retrieval of semantic workflows.
Inf. Syst. Bd. 40. 2014 S. 115 - 127

Sacher, Daniel; Weyers, Benjamin; Biella, Daniel et al.
Smart Museums - Exploiting Generative Virtual Museums.
UCAmI. 2014 S. 384 - 387

Jawaherul Alam, Muhammad; A. Bekos, Michael; Kaufmann, Michael et al.
Smooth Orthogonal Drawings of Planar Graphs.
LATIN. 2014 S. 144 - 155

Bergmann, Ralph; Gessinger, Sarah; Görg, Sebastian et al.
The Collaborative Agile Knowledge Engine CAKE.
GROUP. 2014 S. 281 - 284

Binkele-Raible, Daniel; Erdélyi, Gábor; Fernau, Henning et al.
The complexity of probabilistic lobbying.
Discret. Optim. Bd. 11. 2014 S. 1 - 21

Kötteritzsch, Anna; Weyers, Benjamin
The Role of Assistive Technologies for Older Adults in Urban Areas.
UCAmI. 2014 S. 376 - 383

Sacher, Daniel; Weyers, Benjamin; Biella, Daniel et al.
Towards an Evaluation of a Metadata Standard for Generative Virtual Museums.
UCAmI. 2014 S. 357 - 364

Borisov, Nikolaj; Kluge, Annette; Luther, Wolfram et al.
User Interface Design for Test and Diagnosis Software in Automotive Production Environments.
UCAmI. 2014 S. 372 - 375

Weyers, Benjamin; Terboven, Christian; Schmidl, Dirk et al.
Visualization of memory access behavior on hierarchical NUMA architectures.
VPA@SC. 2014 S. 42 - 49

Müller, Gilbert; Bergmann, Ralph
Workflow Streams: A Means for Compositional Adaptation in Process-Oriented CBR.
ICCBR. 2014 S. 315 - 329

Müller, Gilbert; Bergmann, Ralph
Workflow Streams: A Means for Compositional Workflow Adaptation in Process-Oriented CBR.
LWA. 2014 S. 263

Fernau, Henning; Heggernes, Pinar; Villanger, Yngve
A Multivariate Analysis of Some DFA Problems.
LATA. 2013 S. 275 - 286

Brankovic, Ljiljana; Fernau, Henning
A novel parameterised approximation algorithm for minimum vertex cover.
Theor. Comput. Sci. Bd. 511. 2013 S. 85 - 108

Görg, Sebastian; Bergmann, Ralph; Gessinger, Sarah et al.
A Resource Model for Cloud-based Workflow Management Systems - Enabling Access Control, Collaboration and Reuse.
CLOSER. 2013 S. 263 - 272

Fernau, Henning; Freund, Rudolf; Ivanov, Sergiu et al.
Array Insertion and Deletion P Systems.
UCNC. 2013 S. 67 - 78

Binkele-Raible, Daniel; Fernau, Henning; Gaspers, Serge et al.
Exact and Parameterized Algorithms for Max Internal Spanning Tree.
Algorithmica. Bd. 65. H. 1. 2013 S. 95 - 128

Borisov, Nikolaj; Kluge, Annette; Luther, Wolfram et al.
Integrating Production Workers into User Interface Design for Diagnosis Devices in Automotive Production Environments: Field Experiences and Lessons Learned.
HCI (29). 2013 S. 469 - 473

Timm, Ingo J.; Thimm, Matthias
KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings
Berlin: Springer 2013

Bergmann, Ralph; Stromer, Alexander
MAC/FAC Retrieval of Semantic Workflows.
FLAIRS. 2013

Björklund, Johanna; Fernau, Henning; Kasprzik, Anna
MAT Learning of Universal Automata.
LATA. 2013 S. 141 - 152

Fernau, Henning; L. Schmid, Markus; Villanger, Yngve
On the Parameterised Complexity of String Morphism Problems.
FSTTCS. 2013 S. 55 - 66

Binkele-Raible, Daniel; Fernau, Henning
Packing paths: Recycling saves time.
Discret. Appl. Math. Bd. 161. H. 12. 2013 S. 1686 - 1698

Fernau, Henning; L. Schmid, Markus
Pattern Matching with Variables: A Multivariate Complexity Analysis.
CPM. 2013 S. 83 - 94

Gessinger, Sarah; Bergmann, Ralph
Potentialanalyse des prozessorientierten Wissensmanagement für die Baubranche.
LWA. 2013 S. 195 - 202

Görg, Sebastian; Bergmann, Ralph; Gessinger, Sarah et al.
Real-Time Collaboration and Experience Reuse for Cloud-Based Workflow Management Systems.
CBI. 2013 S. 391 - 398

Fernau, Henning; L. Schmid, Markus; G. Subramanian, K.
Two-dimensional pattern languages.
NCMA. 2013 S. 117 - 132

Kindermann, Philipp; Niedermann, Benjamin; Rutter, Ignaz et al.
Two-Sided Boundary Labeling with Adjacent Sides.
WADS. 2013 S. 463 - 474

Bogon, Tjorben; Lorig, Fabian; J. Timm, Ingo
Visualizing the Impact of Probability Distributions on Particle Swarm Optimization.
ICSI (1). 2013 S. 120 - 128

Bergmann, Ralph; Müller, Gilbert; Wittkowsky, Daniel
Workflow Clustering Using Semantic Similarity Measures.
KI. 2013 S. 13 - 24

Binkele-Raible, Daniel; Fernau, Henning
An Exact Exponential Time Algorithm for Power Dominating Set.
Algorithmica. Bd. 63. H. 1-2. 2012 S. 323 - 346

Binkele-Raible, Daniel; Fernau, Henning
An exact exponential-time algorithm for the Directed Maximum Leaf Spanning Tree problem.
J. Discrete Algorithms. Bd. 15. 2012 S. 43 - 55

D. Lattner, Andreas; Dallmeyer, Jörg; C. Paraskevopoulos, Dimitrios et al.
Approximation Of Pedestrian Effects In Urban Traffic Simulation By Distribution Fitting.
ECMS. 2012 S. 567 - 573

Dieterle, Sebastian; Bergmann, Ralph
Case-Based Appraisal of Internet Domains.
ICCBR. 2012 S. 47 - 61

Görg, Sebastian; Bergmann, Ralph; Minor, Mirjam et al.
Collecting, reusing and executing private workflows on social network platforms.
WWW (Companion Volume). 2012 S. 747 - 750

Bai, Guoqiang; Fernau, Henning
Constraint bipartite vertex cover: simpler exact algorithms and implementations.
J. Comb. Optim. Bd. 23. H. 3. 2012 S. 331 - 355

Fernau, Henning
Cooperating Distributed Tree Automata.
Languages Alive. 2012 S. 75 - 85

Weyers, Benjamin; Luther, Wolfram; Baloian, Nelson
Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols.
Int. J. Inf. Technol. Decis. Mak. Bd. 11. H. 6. 2012 S. 1127 - 1154

Schumacher, Pol; Minor, Mirjam; Walter, Kirstin et al.
Extraction of procedural knowledge from the web: a comparison of two workflow extraction approaches.
WWW (Companion Volume). 2012 S. 739 - 747

Weyers, Benjamin; Burkolter, Dina; Luther, Wolfram et al.
Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems.
Int. J. Hum. Comput. Interact. Bd. 28. H. 10. 2012 S. 646 - 665

Weyers, Benjamin; Luther, Wolfram; Baloian, Nelson et al.
Formal Modeling of Multi-user Interfaces in Cooperative Work.
CRIWG. 2012 S. 129 - 136

Fernau, Henning; Martín-Vide, Carlos
From the Guest Editors.
J. Comput. Syst. Sci. Bd. 78. H. 6. 2012 S. 1793 - 1794

Dallmeyer, Jörg; Taubert, Carsten; D. Lattner, Andreas et al.
Fuel Consumption And Emission Modeling For Urban Scenarios.
ECMS. 2012 S. 574 - 580

Bogon, Tjorben; Endres, Meike; J. Timm, Ingo
Gaining a Better Quality Depending on More Exploration in PSO.
MATES. 2012 S. 30 - 39

Binkele-Raible, Daniel; Fernau, Henning; V. Fomin, Fedor et al.
Kernel(s) for problems with no kernel: On out-trees with many leaves.
ACM Trans. Algorithms. Bd. 8. H. 4. 2012 S. 38:1 - 38:19

Chen, Jianer; Fernau, Henning; Shaw, Peter et al.
Kernels for Packing and Covering Problems - (Extended Abstract).
FAW-AAIM. 2012 S. 199 - 211

Bermudo, Sergio; Fernau, Henning
Lower bounds on the differential of a graph.
Discret. Math. Bd. 312. H. 22. 2012 S. 3236 - 3250

Pinske, Daniel; Weyers, Benjamin; Luther, Wolfram et al.
Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications.
IWAAL. 2012 S. 151 - 158

J. Timm, Ingo; Guttmann, Christian
Multiagent System Technologies - 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings
Springer 2012

Costa Florêncio, Christophe; Fernau, Henning
On families of categorial grammars of bounded value, their learnability and related complexity questions.
Theor. Comput. Sci. Bd. 452. 2012 S. 21 - 38

Binkele-Raible, Daniel; Fernau, Henning
Parameterized Measure & Conquer for Problems with No Small Kernels.
Algorithmica. Bd. 64. H. 1. 2012 S. 189 - 212

Weyers, Benjamin
Reconfiguration of User Interface Models for Monitoring and Control of Human-Computer Systems.
Verlag Dr. Hut 2012

Fernau, Henning
Saving on Phases: Parameterized Approximation for Total Vertex Cover.
IWOCA. 2012 S. 20 - 31

Dallmeyer, Jörg; D. Lattner, Andreas; J. Timm, Ingo
Selfish Road Users - Case Studies on Rule Breaking Agents for Traffic Simulation.
MATES. 2012 S. 83 - 95

Schumann, René; Kurtanovic, Zijad; J. Timm, Ingo
Specification of Trade-Off Strategies for Agents: A Model-Driven Approach.
AOSE. 2012 S. 40 - 55

Bogon, Tjorben; J. Timm, Ingo; Jessen, Ulrich et al.
Towards assisted input and output data analysis in manufacturing simulation: the EDASim approach.
WSC. 2012 S. 257:1 - 257:13

Bergmann, Ralph
45 Jahre KI Zeitschrift?
Künstliche Intell. Bd. 25. H. 4. 2011 S. 283 - 285

D. Lattner, Andreas; Bogon, Tjorben; J. Timm, Ingo
An Approach to Significance Estimation for Simulation Studies.
ICAART (1). 2011 S. 177 - 186

Fernau, Henning; Kneis, Joachim; Kratsch, Dieter et al.
An exact algorithm for the Maximum Leaf Spanning Tree problem.
Theor. Comput. Sci. Bd. 412. H. 45. 2011 S. 6290 - 6302

Binkele-Raible, Daniel; Brankovic, Ljiljana; Cygan, Marek et al.
Breaking the 2-barrier for Irredundance: Two lines of attack.
J. Discrete Algorithms. Bd. 9. H. 3. 2011 S. 214 - 230

N. Abu-Khzam, Faisal; Fernau, Henning; A. Langston, Michael et al.
Charge and reduce: A fixed-parameter algorithm for String-to-String Correction.
Discret. Optim. Bd. 8. H. 1. 2011 S. 41 - 49

Bermudo, Sergio; Fernau, Henning
Computing the differential of a graph.
CTW. 2011 S. 68 - 71

D. Lattner, Andreas; Bogon, Tjorben; J. Timm, Ingo
Convergence Classification and Replication Prediction for Simulation Studies.
ICAART (Revised Selected Papers). 2011 S. 255 - 268

Bogon, Tjorben; Poursanidis, Georgios; D. Lattner, Andreas et al.
Extraction of Function Features for an Automatic Configuration of Particle Swarm Optimization.
ICAART (1). 2011 S. 51 - 60

R. Fellows, Michael; Fernau, Henning
Facility location problems: A parameterized view.
Discret. Appl. Math. Bd. 159. H. 11. 2011 S. 1118 - 1130

Pauli, Dirk; Feller, Jens; Mauersberg, Bernhard et al.
Forecast Error Reduction by Preprocessed High-performance Structural Break Detection.
ICINCO (1). 2011 S. 262 - 271

Dallmeyer, Jörg; D. Lattner, Andreas; J. Timm, Ingo
From GIS to mixed traffic simulation in urban scenarios.
SimuTools. 2011 S. 134 - 143

Weyers, Benjamin; Luther, Wolfram; Baloian, Nelson
Interface creation and redesign techniques in collaborative learning scenarios.
Future Gener. Comput. Syst. Bd. 27. H. 1. 2011 S. 127 - 138

Sauer, Thomas; Minor, Mirjam; Bergmann, Ralph
InverseWorkflows for Supporting Agile Business Process Management.
Wissensmanagement. 2011 S. 204 - 213

D. Lattner, Andreas; Dallmeyer, Jörg; J. Timm, Ingo
Learning Dynamic Adaptation Strategies in Agent-Based Traffic Simulation Experiments.
MATES. 2011 S. 77 - 88

Fernau, Henning; Stiebe, Ralf
On the Expressive Power of Valences in Cooperating Distributed Grammar Systems.
Computation, Cooperation, and Life. 2011 S. 90 - 106

Brankovic, Ljiljana; Fernau, Henning
Parameterized Approximation Algorithms for Hitting Set.
WAOA. 2011 S. 63 - 76

Minor, Mirjam; Bergmann, Ralph; Görg, Sebastian et al.
Reasoning on Business Processes to Support Change Reuse.
CEC. 2011 S. 18 - 25

Bergmann, Ralph; Gil, Yolanda
Retrieval of Semantic Workflows with Knowledge Intensive Similarity Measures.
ICCBR. 2011 S. 17 - 31

Bogon, Tjorben; Poursanidis, Georgios; D. Lattner, Andreas et al.
Setting Up Particle Swarm Optimization by Decision Tree Learning Out of Function Features.
ICAART (Revised Selected Papers). 2011 S. 72 - 85

Binkele-Raible, Daniel; Fernau, Henning
A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem.
CSR. 2010 S. 328 - 339

N. Abu-Khzam, Faisal; Fernau, Henning; A. Langston, Michael et al.
A Fixed-Parameter Algorithm for String-to-String Correction.
CATS. 2010 S. 31 - 38

D. Lattner, Andreas; Bogon, Tjorben; Lorion, Yann et al.
A knowledge-based approach to automated simulation model adaptation.
SpringSim. 2010 S. 153

Binkele-Raible, Daniel; Fernau, Henning
A new upper bound for Max-2-SAT: A graph-theoretic approach.
J. Discrete Algorithms. Bd. 8. H. 4. 2010 S. 388 - 401

Binkele-Raible, Daniel; Brankovic, Ljiljana; Fernau, Henning et al.
A Parameterized Route to Exact Puzzles: Breaking the 2-Barrier for Irredundance.
CIAC. 2010 S. 311 - 322

Fernau, Henning
A Top-Down Approach to Search-Trees: Improved Algorithmics for 3-Hitting Set.
Algorithmica. Bd. 57. H. 1. 2010 S. 97 - 118

Bogon, Tjorben; D. Lattner, Andreas; Lorion, Yann et al.
An Agent-based Approach for Dynamic Combination and Adaptation of Metaheuristics.
MKWI. 2010 S. 2345 - 2358

Raible, Daniel; Fernau, Henning
An Amortized Search Tree Analysis for -Leaf Spanning Tree.
SOFSEM. 2010 S. 672 - 684

Bogon, Tjorben; Poursanidis, Georgios; D. Lattner, Andreas et al.
Automatic Parameter Configuration of Particle Swarm Optimization by Classification of Function Features.
ANTS Conference. 2010 S. 554 - 555

Brankovic, Ljiljana; Fernau, Henning
Combining Two Worlds: Parameterised Approximation for Vertex Cover.
ISAAC (1). 2010 S. 390 - 402

Fernau, Henning; Kaufmann, Michael; Poths, Mathias
Comparing trees via crossing minimization.
J. Comput. Syst. Sci. Bd. 76. H. 7. 2010 S. 593 - 608

Binkele-Raible, Daniel; Fernau, Henning
Enumerate and Measure: Improving Parameter Budget Management.
IPEC. 2010 S. 38 - 49

Binkele-Raible, Daniel; Fernau, Henning; Gaspers, Serge et al.
Exact exponential-time algorithms for finding bicliques.
Inf. Process. Lett. Bd. 111. H. 2. 2010 S. 64 - 67

Costa Florêncio, Christophe; Fernau, Henning
Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach.
LATA. 2010 S. 202 - 213

Weyers, Benjamin; Luther, Wolfram
Formal Modeling and Reconfiguration of User Interfaces.
SCCC. 2010 S. 236 - 245

Costa Florêncio, Christophe; Fernau, Henning
Hölder Norms and a Hierarchy Theorem for Parameterized Classes of CCG.
ICGI. 2010 S. 280 - 283

D. Lattner, Andreas; J. Timm, Ingo
Interview with Paul Davidsson.
Künstliche Intell. Bd. 24. H. 2. 2010 S. 159 - 160

Bergmann, Ralph
KI im Daten-Tsunami.
Künstliche Intell. Bd. 24. H. 4. 2010 S. 279 - 281

J. Timm, Ingo; D. Lattner, Andreas
Künstliche Intelligenz in der Logistik.
Künstliche Intell. Bd. 24. H. 2. 2010 S. 99 - 103

Dediu, Adrian-Horia; Fernau, Henning; Martín-Vide, Carlos
Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
Springer 2010

Dallmeyer, Jörg; Bogon, Tjorben; Lorion, Yann et al.
Migration simulation on potential field based landscapes.
SimuTools. 2010 S. 73

Fernau, Henning
minimum dominating set of queens: A trivial programming exercise?
Discret. Appl. Math. Bd. 158. H. 4. 2010 S. 308 - 318

Fernau, Henning
Parameterized algorithmics for -Hitting Set.
Int. J. Comput. Math. Bd. 87. H. 14. 2010 S. 3157 - 3174

Fernau, Henning
Parameterized algorithms for d-Hitting Set: The weighted case.
Theor. Comput. Sci. Bd. 411. H. 16-18. 2010 S. 1698 - 1713

Wagner, Andrea; Waehlert, Lilia; Czap, Hans
Pfadkostenrechnung für Behandlungspfade. Ein Instrument zur Entscheidungsunterstüt-zung für Einrichtungen im Gesundheitswesen
Gesundheitsökonomie und Qualitätsmanagement. Bd. 15. 2010 S. 299 - 304

Fernau, Henning; V. Fomin, Fedor; Lokshtanov, Daniel et al.
Ranking and Drawing in Subexponential Time.
IWOCA. 2010 S. 337 - 348

Fernau, Henning; V. Fomin, Fedor; Philip, Geevarghese et al.
The Curse of Connectivity: -Total Vertex (Edge) Cover.
COCOON. 2010 S. 34 - 43

D. Lattner, Andreas; J. Timm, Ingo
Themenschwerpunkt "Logistik".
Künstliche Intell. Bd. 24. H. 2. 2010 S. 97

Minor, Mirjam; Bergmann, Ralph; Görg, Sebastian et al.
Towards Case-Based Adaptation of Workflows.
ICCBR. 2010 S. 421 - 435

P. Müller, Jörg; Braubach, Lars; Burmeister, Birgit et al.
Vorwort.
MKWI. 2010 S. 767 - 768

Katzenbach, Pascal; Lorion, Yann; Bogon, Tjorben et al.
A Decentralized Architecture for Distributed Neighborhood Based Search.
IWSOS. 2009 S. 193 - 200

Raible, Daniel; Fernau, Henning
A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem
CoRR. Bd. abs/0911.1900. 2009

Fernau, Henning; Raible, Daniel
A parameterized perspective on packing paths of length two.
J. Comb. Optim. Bd. 18. H. 4. 2009 S. 319 - 341

Fernau, Henning
Algorithms for learning regular expressions from positive data.
Inf. Comput. Bd. 207. H. 4. 2009 S. 521 - 541

Lorion, Yann; Bogon, Tjorben; J. Timm, Ingo et al.
An Agent Based Parallel Particle Swarm Optimization - APPSO.
SIS. 2009 S. 52 - 59

Fernau, Henning; Kneis, Joachim; Kratsch, Dieter et al.
An Exact Algorithm for the Maximum Leaf Spanning Tree Problem.
IWPEC. 2009 S. 161 - 172

Brankovic, Ljiljana; Fernau, Henning; Kneis, Joachim et al.
Breaking the 2^n-Barrier for Irredundance: A Parameterized Route to Solving Exact Puzzles
CoRR. Bd. abs/0909.4224. 2009

Bergmann, Ralph; Minor, Mirjam; Althoff, Klaus-Dieter
Case-Based Reasoning - Service.
Künstliche Intell. Bd. 23. H. 1. 2009 S. 46

Bergmann, Ralph; Althoff, Klaus-Dieter; Minor, Mirjam et al.
Case-Based Reasoning.
Künstliche Intell. Bd. 23. H. 1. 2009 S. 5 - 11

Weyers, Benjamin; Baloian, Nelson; Luther, Wolfram
Cooperative creation of concept keyboards in distributed learning environments.
CSCWD. 2009 S. 534 - 539

Weyers, Benjamin; Luther, Wolfram; Baloian, Nelson
Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages.
CRIWG. 2009 S. 311 - 318

Messerschmidt, Florian; D. Lattner, Andreas; J. Timm, Ingo
Customer Assistance Services for Simulated Shopping Scenarios.
KES-AMSTA. 2009 S. 173 - 182

Ley, Michael
DBLP - Some Lessons Learned.
Proc. VLDB Endow. Bd. 2. H. 2. 2009 S. 1493 - 1500

Czap, Hans
Erkennen durch künstliche Systeme
Ohly, H.-P. (Hrsg). Fortschritte der Wissensorganisation Band 12: Wissen-Wissenschaft-Organisation. Würzburg: Ergon 2009 S. 52 - 60

Czap, Hans
Erwartete Deckungsbeiträge von DRG’s und Integrierten Behandlungspfaden. In: Hentze J.; Huch, B; Kehres,E. (Hrsg.): Krankenhaus-Controlling, 4. Auflage, Stuttgart, 2010, 201-211.
4. Aufl. Stuttgart: Kohlhammer 2009

Fernau, Henning; Gaspers, Serge; Raible, Daniel
Exact and Parameterized Algorithms for Max Internal Spanning Tree.
WG. 2009 S. 100 - 111

Fernau, Henning; Gaspers, Serge; Kratsch, Dieter et al.
Exact Exponential-Time Algorithms for Finding Bicliques in a Graph.
CTW. 2009 S. 205 - 209

Althoff, Klaus-Dieter; Bergmann, Ralph
Gasteditorial.
Künstliche Intell. Bd. 23. H. 1. 2009 S. 4

Bergmann, Ralph; Tartakovski, Alexander
Improving KD-Tree Based Retrieval for Attribute Dependent Generalized Cases.
FLAIRS. 2009

Ehrmann, Jan-Marc; D. Lattner, Andreas; Lindemann, Gabriela et al.
Integration of an Emotion Model to the Board Game "Intrige".
ICAART. 2009 S. 547 - 552

Fischer, Klaus; J. Timm, Ingo; André, Elisabeth
Introduction to the special issue on the Fourth German Conference on Multiagent System Technologies (MATES).
Auton. Agents Multi Agent Syst. Bd. 18. H. 2. 2009 S. 219

Fernau, Henning; V. Fomin, Fedor; Lokshtanov, Daniel et al.
Kernel(s) for Problems with No Kernel: On Out-Trees with Many Leaves.
STACS. 2009 S. 421 - 432

Fernau, Henning; Alberto Rodríguez-Velázquez, Juan; María Sigarreta, José
Offensive r-alliances in graphs.
Discret. Appl. Math. Bd. 157. H. 1. 2009 S. 177 - 182

María Sigarreta, José; Bermudo, Sergio; Fernau, Henning
On the complement graph and defensive k-alliances.
Discret. Appl. Math. Bd. 157. H. 8. 2009 S. 1687 - 1695

Fernau, Henning; Raible, Daniel
Packing Paths: Recycling Saves Time.
CTW. 2009 S. 79 - 83

J. Timm, Ingo; Schumann, René
Performance measurement of multiagent systems: towards dependable MAS.
SpringSim. 2009

Sauer, Jürgen; Schumann, René; J. Timm, Ingo et al.
Planung und Simulation in logistischen Anwendungen.
GI Jahrestagung. 2009 S. 462 - 464

J. Timm, Ingo; D. Lattner, Andreas; Schumann, René
Reflection and Norms: Towards a Model for Dynamic Adaptation for MAS.
Normative Multi-Agent Systems. 2009

Fernau, Henning; Raible, Daniel
Searching Trees: An Essay.
TAMC. 2009 S. 59 - 70

Erdélyi, Gábor; Fernau, Henning; Goldsmith, Judy et al.
The Complexity of Probabilistic Lobbying
CoRR. Bd. abs/0906.4431. 2009

Erdélyi, Gábor; Fernau, Henning; Goldsmith, Judy et al.
The Complexity of Probabilistic Lobbying.
ADT. 2009 S. 86 - 97

Niemann, Christoph; König, Stefan; Schumann, René et al.
Umfrage zur GI-Fachgruppe Verteilte KI.
Künstliche Intell. Bd. 23. H. 1. 2009 S. 69

Fernau, Henning; F. Manlove, David
Vertex and edge covers with clustering properties: Complexity and algorithms.
J. Discrete Algorithms. Bd. 7. H. 2. 2009 S. 149 - 167

N. Abu-Khzam, Faisal; Fernau, Henning; A. Langston, Michael
A bounded search tree algorithm for parameterized face cover.
J. Discrete Algorithms. Bd. 6. H. 4. 2008 S. 541 - 552

Raible, Daniel; Fernau, Henning
A New Upper Bound for Max-2-Sat: A Graph-Theoretic Approach
CoRR. Bd. abs/0803.3531. 2008

Raible, Daniel; Fernau, Henning
A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach.
MFCS. 2008 S. 551 - 562

Chen, Jianer; Fernau, Henning; Ning, Dan et al.
A Parameterized Perspective on P-Packings
CoRR. Bd. abs/0804.0570. 2008

Fernau, Henning; Raible, Daniel
A Parameterized Perspective on Packing Paths of Length Two.
COCOA. 2008 S. 54 - 63

Fernau, Henning; F. Ryan, Joseph; A. Sugeng, Kiki
A sum labelling for the generalised friendship graph.
Discret. Math. Bd. 308. H. 5-6. 2008 S. 734 - 740

Althoff, Klaus-Dieter; Bergmann, Ralph; Minor, Mirjam et al.
Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
Springer 2008

Gulan, Stefan; Fernau, Henning
An Optimal Construction of Finite Automata from Regular Expressions.
FSTTCS. 2008 S. 211 - 222

Fernau, Henning; Stiebe, Ralf
Blind Counter Automata on omega-Words.
Fundam. Informaticae. Bd. 83. H. 1-2. 2008 S. 51 - 64

Dassow, Jürgen; Fernau, Henning
Comparison of some descriptional complexities of 0L systems obtained by a unifying approach.
Inf. Comput. Bd. 206. H. 9-10. 2008 S. 1095 - 1103

Bergmann, Ralph; Althoff, Klaus-Dieter
Computer Cooking Contest.
Künstliche Intell. Bd. 22. H. 1. 2008 S. 75

Bai, Guoqiang; Fernau, Henning
Constraint Bipartite Vertex Cover: Simpler Exact Algorithms and Implementations.
FAW. 2008 S. 67 - 78

Althoff, Klaus-Dieter; Bergmann, Ralph
ECCBR 2008.
Künstliche Intell. Bd. 22. H. 1. 2008 S. 74

Fernau, Henning; Raible, Daniel
Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs.
WALCOM. 2008 S. 144 - 156

Fernau, Henning; Raible, Daniel; Gaspers, Serge et al.
Exact Exponential Time Algorithms for Max Internal Spanning Tree
CoRR. Bd. abs/0811.1875. 2008

R. Fellows, Michael; Fernau, Henning
Facility Location Problems: A Parameterized View.
AAIM. 2008 S. 188 - 199

Dujmovic, Vida; Fernau, Henning; Kaufmann, Michael
Fixed parameter algorithms for one-sided crossing minimization revisited.
J. Discrete Algorithms. Bd. 6. H. 2. 2008 S. 313 - 323

Fernau, Henning; Alberto Rodríguez-Velázquez, Juan; María Sigarreta, José
Global -alliances and total domination.
CTW. 2008 S. 98 - 101

Fernau, Henning; V. Fomin, Fedor; Lokshtanov, Daniel et al.
Kernel(s) for Problems With no Kernel: On Out-Trees With Many Leaves
CoRR. Bd. abs/0810.4796. 2008

Martín-Vide, Carlos; Otto, Friedrich; Fernau, Henning
Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Springer 2008

Gulan, Stefan; Fernau, Henning
Local elimination-strategies in automata for shorter regular expressions.
SOFSEM (2). 2008 S. 46 - 57

Bergmann, Ralph
MATES 2008 - Call for Papers.
Künstliche Intell. Bd. 22. H. 1. 2008 S. 78

Bergmann, Ralph; Lindemann, Gabriela; Kirn, Stefan et al.
Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
Springer 2008

Fernau, Henning
Parameterized algorithmics for linear arrangement problems.
Discret. Appl. Math. Bd. 156. H. 17. 2008 S. 3166 - 3177

Fernau, Henning
Parameterized Algorithms for Drawing Graphs.
Encyclopedia of Algorithms. 2008

Raible, Daniel; Fernau, Henning
Power Domination in O(1.7548) Using Reference Search Trees.
ISAAC. 2008 S. 136 - 147

Schumann, René; D. Lattner, Andreas; J. Timm, Ingo
Regulated Autonomy: A Case Study.
Intelligente Systeme zur Entscheidungsunterstützung. 2008 S. 83 - 98

Fernau, Henning
ROMAN DOMINATION: a parameterized perspective.
Int. J. Comput. Math. Bd. 85. H. 1. 2008 S. 25 - 38

J. Timm, Ingo; Bogon, Tjorben; D. Lattner, Andreas et al.
Teaching Distributed Artificial Intelligence with RoboRally.
MATES. 2008 S. 171 - 182

J. Timm, Ingo; Scholz, Thorsten
Towards Reliable SOA - An Architecture for Quality Management of Web Services.
OTM Workshops. 2008 S. 170 - 179

Minor, Mirjam; Schmalen, Daniel; Bergmann, Ralph
XML-based Representation of Agile Workflows.
Multikonferenz Wirtschaftsinformatik. 2008

Fernau, Henning; Raible, Daniel
Alliances in Graphs: a Complexity-Theoretic Study.
SOFSEM (2). 2007 S. 61 - 70

Bergmann, Ralph
Ambient Intelligence for Decision Making in Fire Service Organizations.
AmI. 2007 S. 73 - 90

Czap, Hans
Architekturkonzept einer kennziffernbasierten Steuerung im Krankenhaus. In: Bräuning, D. und Greiling, D. (Hrsg): Stand und Perspektiven der Öffentlichen Betriebswirtschafts-lehre II, S. 738 – 749
Berlin: BWV 2007

Dassow, Jürgen; Fernau, Henning
Comparison of Some Descriptional Complexities of 0L Systems Obtained by a Unifying Approach.
LATA. 2007 S. 249 - 260

Ley, Michael
Datenqualität: Eine organisatorische und technische Herausforderung - Erfahrungen von der DBLP-Bibliographie.
Grundlagen von Datenbanken. 2007 S. 1

Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig
Decidability of code properties.
RAIRO Theor. Informatics Appl. Bd. 41. H. 3. 2007 S. 243 - 259

Fernau, Henning
Dynamic programming for queen domination.
CTW. 2007 S. 43 - 48

Raible, Daniel; Fernau, Henning
Exact Elimination of Cycles in Graphs.
Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs. 2007

Nick, Markus; Althoff, Klaus-Dieter; Bergmann, Ralph
Experience Management.
LWA. 2007 S. 339

Langer, Hagen; Schönberger, Jörn; Kopfer, Herbert et al.
Integration zentraler Prozess-Optimierung und lokaler agentenbasierter Prozess-Anpassung für das Management von Transportprozessen in dynamischen Umgebungen.
GI Jahrestagung (1). 2007 S. 429 - 436

Fernau, Henning
Learning tree languages from text.
RAIRO Theor. Informatics Appl. Bd. 41. H. 4. 2007 S. 351 - 374

Freßmann, Andrea; Bergmann, Ralph; Taylor, Brian et al.
Mobile Knowledge Management Support in Fire Service Organisations.
Wirtschaftsinformatik (2). 2007 S. 557 - 574

Chen, Jianer; Fernau, Henning; A. Kanj, Iyad et al.
Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size.
SIAM J. Comput. Bd. 37. H. 4. 2007 S. 1077 - 1106

Fernau, Henning
Programmed Grammars with Rule Queues.
Int. J. Found. Comput. Sci. Bd. 18. H. 6. 2007 S. 1209 - 1213

Fernau, Henning; Freund, Rudolf; Oswald, Marion et al.
Refining the Nonterminal Complexity of Graph-Controlled, Programmed, and Matrix Grammars.
J. Autom. Lang. Comb. Bd. 12. H. 1-2. 2007 S. 117 - 138

Minor, Mirjam; Tartakovski, Alexander; Bergmann, Ralph
Representation and Structure-Based Similarity Assessment for Agile Workflows.
ICCBR. 2007 S. 224 - 238

Minor, Mirjam; Schmalen, Daniel; Koldehoff, Andreas et al.
Structural Adaptation of Workflows Supported by a Suspension Mechanism stand by Case-Based Reasoning.
WETICE. 2007 S. 370 - 375

Bordihn, Henning; Fernau, Henning
The Degree of Parallelism.
J. Autom. Lang. Comb. Bd. 12. H. 1-2. 2007 S. 25 - 47

Bergmann, Ralph; Althoff, Klaus-Dieter; Furbach, Ulrich et al.
Workshop Summary: Artificial Intelligence Methods for Ambient Intelligence.
AmI Workshops. 2007 S. 1 - 3

Langer, Hagen; D. Gehrke, Jan; Hammer, Joachim et al.
A Framework for distributed knowledge management in autonomous logistic processes.
Int. J. Knowl. Based Intell. Eng. Syst. Bd. 10. H. 4. 2006 S. 277 - 290

Pawlaszczyk, Dirk; J. Timm, Ingo
A Hybrid Time Management Approach to Agent-Based Simulation.
KI. 2006 S. 374 - 388

Klink, Stefan; Reuther, Patrick; Weber, Alexander et al.
Analysing Social Networks Within Bibliographical Data.
DEXA. 2006 S. 234 - 243

Becker, Marc; Czap, Hans
Artificial Software Agents as Representatives of their Human Principals in Operating-Room-Team-Forming. In: Kirn, S.; Herzog, O.; Lockemann, P.; Spaniol, O. (Hrsg.): Mul-tiagent Engineering – Theory and Applications in Enterprises, SS. 221-238.
Berlin: Springer 2006

J. Timm, Ingo; Scholz, Thorsten; Herzog, Otthein
Capability-based emerging organization of autonomous agents for flexible production control.
Adv. Eng. Informatics. Bd. 20. H. 3. 2006 S. 247 - 259

Bergmann, Ralph; Fressmann, Andrea; Maximini, Kerstin et al.
Case-based support for collaborative business
ADVANCES IN CASE-BASED REASONING, PROCEEDINGS. Bd. 4106. 2006 S. 519 - 533

Bergmann, Ralph; Freßmann, Andrea; Maximini, Kerstin et al.
Case-Based Support for Collaborative Business.
ECCBR. 2006 S. 519 - 533

Fernau, Henning
edge dominating set: Efficient Enumeration-Based Exact Algorithms.
IWPEC. 2006 S. 142 - 153

Bergmann, Ralph; Mougouie, Babak
Finding similar deductive consequences - A new search-based framework for unified reasoning from cases and general knowledge
ADVANCES IN CASE-BASED REASONING, PROCEEDINGS. Bd. 4106. 2006 S. 271 - 285

Bergmann, Ralph; Mougouie, Babak
Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge.
ECCBR. 2006 S. 271 - 285

Minor, Mirjam; Koldehoff, Andreas; Schmalen, Daniel et al.
Flexible Workflows for Digital Design in the Nano Era.
WETICE. 2006 S. 273 - 278

Minor, Mirjam; Schmalen, Daniel; Bergmann, Ralph et al.
Flexible Workflows for Knowledge Management in the Digital Design.
LWA. 2006 S. 215 - 220

Bordihn, Henning; Fernau, Henning; Holzer, Markus et al.
Iterated sequential transducers as language generating devices.
Theor. Comput. Sci. Bd. 369. H. 1-3. 2006 S. 67 - 81

N. Abu-Khzam, Faisal; Fernau, Henning
Kernels: Annotated, Proper and Induced.
IWPEC. 2006 S. 264 - 275

Müller, Stephanie; Kritzler, Nils; Tartakovski, Alexander et al.
Knowledge Search within a Company-WIKI.
LWA. 2006 S. 209 - 214

Ley, Michael; Reuther, Patrick
Maintaining an Online Bibliographical Database: The Problem of Data Quality.
EGC. 2006 S. 5 - 10

Reuther, Patrick; Walter, Bernd; Ley, Michael et al.
Managing the Quality of Person Names in DBLP.
ECDL. 2006 S. 508 - 511

Weber, Alexander; Reuther, Patrick; Walter, Bernd et al.
Multi-Layered Browsing and Visualisation for Digital Libraries.
ECDL. 2006 S. 520 - 523

Fischer, Klaus; J. Timm, Ingo; André, Elisabeth et al.
Multiagent System Technologies, 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings
Springer 2006

K. H. A. Dehne, Frank; R. Fellows, Michael; Fernau, Henning et al.
NONBLOCKER: Parameterized Algorithmics for minimum dominating set.
SOFSEM. 2006 S. 237 - 245

Bruckner, S. A.; Czap, Hans
Organization, Self-Organization, Autonomy and Emergence: Status and Challenges.
International Transactions on Systems Science and Applications (ITSSA). Bd. Vol. 2. H. No. 1. 2006 S. 1 - 10

N. Abu-Khzam, Faisal; Fernau, Henning
Parameterized Algorithms for Finding Small Independent Dominating Sets in Planar Graphs.
Electron. Notes Discret. Math. Bd. 25. 2006 S. 1 - 6

Fernau, Henning
Parameterized Algorithms for Hitting Set: The Weighted Case.
CIAC. 2006 S. 332 - 343

Fernau, Henning
ROMAN DOMINATION: A Parameterized Perspective.
SOFSEM. 2006 S. 262 - 271

Czap, Hans
Self-Organizing Network Structures
International Transactions on Systems Science and Applications (ITSSA). Bd. Vol. 2. H. No. 1. 2006 S. 71 - 80

Fernau, Henning
Speeding up Exact Algorithms With High Probability.
Electron. Notes Discret. Math. Bd. 25. 2006 S. 57 - 59

Fernau, Henning; F. Manlove, David
Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms.
ACiD. 2006 S. 69 - 84

Alber, Jochen; Fan, Hongbing; R. Fellows, Michael et al.
A refined search tree technique for Dominating Set on planar graphs.
J. Comput. Syst. Sci. Bd. 71. H. 4. 2005 S. 385 - 405

Fernau, Henning
Algorithms for Learning Regular Expressions.
ALT. 2005 S. 297 - 311

Scholz, Thorsten; J. Timm, Ingo; Spittel, Rainer
An Agent Architecture for Ensuring Quality of Service by Dynamic Capability Certification.
EUMAS. 2005 S. 506

Scholz, Thorsten; J. Timm, Ingo; Spittel, Rainer
An Agent Architecture for Ensuring Quality of Service by Dynamic Capability Certification.
MATES. 2005 S. 130 - 140

N. Abu-Khzam, Faisal; Fernau, Henning; A. Langston, Michael
Asymptotically Faster Algorithms for Parameterized FACE COVER.
ACiD. 2005 S. 43 - 58

Cox, Michael T.; Munoz-Avila, Hector; Bergmann, Ralph
Case-based planning
KNOWLEDGE ENGINEERING REVIEW. Bd. 20. H. 3. 2005 S. 283 - 287

Freßmann, Andrea; Sauer, Thomas; Bergmann, Ralph
Collaboration Patterns for Adaptive Software Engineering Processes.
SOAS. 2005 S. 304 - 312

Fernau, Henning; Kaufmann, Michael; Poths, Mathias
Comparing Trees Via Crossing Minimization.
FSTTCS. 2005 S. 457 - 469

Lorenz, Martin; D. Gehrke, Jan; Hammer, Joachim et al.
Knowledge Management to Support Situation-aware Risk Management in Autonomous, Self-managing Agents.
SOAS. 2005 S. 114 - 128

J. Timm, Ingo; Pawlaszczyk, Dirk
Large scale multiagent simulation on the grid.
CCGRID. 2005 S. 334 - 341

Chen, Jianer; Fernau, Henning; A. Kanj, Iyad et al.
Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size.
STACS. 2005 S. 269 - 280

Althoff, Klaus-Dieter; Dengel, Andreas; Bergmann, Ralph et al.
Professional Knowledge Management, Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers
Springer 2005

Becker, Marc; Czap, Hans; Poppensieker, Malte et al.
Reasoning about Utility - Estimating Utility-Functions for Negotiating Agents: Using Conjoint Analysis as an Alternative Approach to Expected Utility Measurement
Lecture notes in computer science. Bd. 3550. Berlin: Springer 2005 S. 94 - 105

Fernau, Henning; Freund, Rudolf; Oswald, Marion et al.
Refining the Nonterminal Complexity of Graph-controlled Grammars.
DCFS. 2005 S. 110 - 121

Bergmann, R; Kolodner, J; Plaza, E
Representation in case-based reasoning
KNOWLEDGE ENGINEERING REVIEW. Bd. 20. H. 3. 2005 S. 209 - 213

Fernau, Henning; Freund, Rudolf; Holzer, Markus
Representations of Recursively Enumerable Array Languages by Contextual Array Grammars.
Fundam. Informaticae. Bd. 64. H. 1-4. 2005 S. 159 - 170

Tartakovski, A; Schaaf, M; Bergmann, R
Retrieval and configuration of life insurance policies
CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS. Bd. 3620. 2005 S. 552 - 565

Tartakovski, Alexander; Schaaf, Martin; Bergmann, Ralph
Retrieval and Configuration of Life Insurance Policies.
ICCBR. 2005 S. 552 - 565

Czap, Hans
Self-organization and autonomic informatics (I)
Amsterdam [u.a.]: IOS Press 2005 0 S. (Frontiers in artificial intelligence and applications ; 135)

Lorenz, Martin; D. Gehrke, Jan; Langer, Hagen et al.
Situation-aware risk management in autonomous agents.
CIKM. 2005 S. 363 - 364

Bordihn, Henning; Fernau, Henning
The degree of parallelism.
DCFS. 2005 S. 51 - 62

Fernau, Henning
Two-Layer Planarization: Improving on Parameterized Algorithmics.
SOFSEM. 2005 S. 137 - 146

Czap, H.; Becker, M.; Poppensieker, M. et al.
Utility-based Agents for Hospital Scheduling: A Conjoint-Analytical Approach
Proceedings des AAMAS Workshops -  MAS*BIOMED´05 (Multi-Agent Systems for Medicine, Computational Biology, and Bioinformatics). 2005 S. 1 - 15

Althoff, Klaus-Dieter; Dengel, Andreas; Bergmann, Ralph et al.
WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management - Experiences and Visions, April 10-13, 2005, Kaiserslautern, Germany
DFKI, Kaiserslautern 2005

Fernau, Henning; W. Juedes, David
A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs.
MFCS. 2004 S. 488 - 499

Fernau, Henning
A Top-Down Approach to Search-Trees: Improved Algorithmics for 3-Hitting Set
Electron. Colloquium Comput. Complex. Bd. TR04. H. 073. 2004

Klink, Stefan; Ley, Michael; Rabbidge, Emma et al.
Browsing and Visualizing Digital Bibliographic Data.
VisSym. 2004 S. 237 - 242

J. Timm, Ingo
Dynamisches Konfliktmanagement als Verhaltenssteuerung intelligenter Agenten.
2004 S. 1 - 334

Koschmider, Agnes; Ley, Michael; Luksch, Peter et al.
Entwicklung eines Informationsportals für die Informatik.
GI Jahrestagung (2). 2004 S. 208 - 212

Fernau, Henning
Extracting Minimum Length Document Type Definitions Is NP-Hard.
ICGI. 2004 S. 277 - 278

Fernau, Henning; de la Higuera, Colin
Grammar Induction: An Invitation to Formal Language Theorists.
Grammars. Bd. 7. 2004 S. 45 - 55

Fernau, Henning
Identifying Terminal Distinguishable Languages.
Ann. Math. Artif. Intell. Bd. 40. H. 3-4. 2004 S. 263 - 282

Schaaf, M; Fressmann, A; Maximini, R et al.
Intelligent IP retrieval driven by application requirements
INTEGRATION-THE VLSI JOURNAL. Bd. 37. H. 4. 2004 S. 253 - 287

W. Adriaans, Pieter; Fernau, Henning; de la Higuera, Colin et al.
Introduction to the Special Issue on Grammar Induction.
Grammars. Bd. 7. 2004 S. 41 - 43

Tartakovski, A; Schaaf, M; Maximini, R et al.
MINLP based retrieval of generalized cases
ADVANCES IN CASE-BASED REASONING, PROCEEDINGS. Bd. 3155. 2004 S. 404 - 418

Tartakovski, Alexander; Schaaf, Martin; Maximini, Rainer et al.
MINLP Based Retrieval of Generalized Cases.
ECCBR. 2004 S. 404 - 418

Lindemann, Gabriela; Denzinger, Jörg; J. Timm, Ingo et al.
Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings
Springer 2004

Alber, Jochen; Fernau, Henning; Niedermeier, Rolf
Parameterized complexity: exponential speed-up for planar graph problems.
J. Algorithms. Bd. 52. H. 1. 2004 S. 26 - 56

Fernau, Henning
Parametric Duality: Kernel Sizes and Algorithmics
Electron. Colloquium Comput. Complex. Bd. TR04. H. 027. 2004

Starkie, Bradford; Fernau, Henning
The Boisdale Algorithm - An Induction Method for a Subclass of Unification Grammar from Positive Data.
ICGI. 2004 S. 235 - 247

Fernau, Henning
Two-Layer Planarization: Improving on Parameterized Algorithmics
Electron. Colloquium Comput. Complex. Bd. TR04. H. 078. 2004

Klink, Stefan; Ley, Michael; Rabbidge, Emma et al.
Visualising and Mining Digital Bibliographic Data.
GI Jahrestagung (2). 2004 S. 193 - 197

Schaaf, M; Fressmann, A; Spinelli, M et al.
A knowledge representation format for virtual IP marketplaces
CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS. Bd. 2689. 2003 S. 509 - 521

Schaaf, Martin; Freßmann, Andrea; A. Spinelli, Marco et al.
A Knowledge Representation Format for Virtual IP Marketplaces.
ICCBR. 2003 S. 509 - 521

Fernau, Henning; Meduna, Alexander
A simultaneous reduction of several measures of descriptional complexity in scattered context grammars.
Inf. Process. Lett. Bd. 86. H. 5. 2003 S. 235 - 240

Ley, Michael
ACM SIGMOD Contribution Award 2003 Acceptance Speech
2003

Maximini, K; Maximini, R; Bergmann, R
An investigation of generalized cases
CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS. Bd. 2689. 2003 S. 261 - 275

Maximini, Kerstin; Maximini, Rainer; Bergmann, Ralph
An Investigation of Generalized Cases.
ICCBR. 2003 S. 261 - 275

Ley, Michael
Computer Science Digital Libraries - a personal view.
JBIDI. 2003 S. 21

Mougouie, B; Richter, MA; Bergmann, R
Diversity-conscious retrieval from generalized cases: A branch and bound algorithm
CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS. Bd. 2689. 2003 S. 319 - 331

Mougouie, Babak; M. Richter, Michael; Bergmann, Ralph
Diversity-Conscious Retrieval from Generalized Cases: A Branch and Bound Algorithm.
ICCBR. 2003 S. 319 - 221

Fernau, Henning
Education(al) matters: teaching P versus NP.
Bull. EATCS. Bd. 80. 2003 S. 237 - 246

Czap, H.; Winkel, S.; Beck, Beck et al.
Erfolgssteuerung, Erfolgskontrolle und Benchmarking mittels EDV-gestützter Analyse der KHBV und der DRGs
Beck; Goldschmidt; Greulich; Kalbitzer; Schmid; Thiele (Hrsg). Management Handbuch DRGs. Heidelberg. 2003

Dujmovic, Vida; Fernau, Henning; Kaufmann, Michael
Fixed Parameter Algorithms for one-sided crossing minimization Revisited.
GD. 2003 S. 332 - 344

Alber, Jochen; Fernau, Henning; Niedermeier, Rolf
Graph separators: a parameterized view.
J. Comput. Syst. Sci. Bd. 67. H. 4. 2003 S. 808 - 832

Fernau, Henning; Holzer, Markus; Freund, Rudolf
Hybrid modes in cooperating distributed grammar systems: combining the t-mode with the modes le k and =k.
Theor. Comput. Sci. Bd. 299. H. 1-3. 2003 S. 633 - 662

Fernau, Henning
Identification of function distinguishable languages.
Theor. Comput. Sci. Bd. 290. H. 3. 2003 S. 1679 - 1711

Maximini, Rainer; Tartakovski, Alexander; Bergmann, Ralph
Investigating different Methods for efficient Retrieval of Generalized Cases.
Wissensmanagement. 2003 S. 303 - 304

Horn, Lutz; Ley, Michael; Luksch, Peter et al.
Konzeption und Betrieb eines Kompetenz- und Dienstleistungsnetzes für die Informatik.
GI Jahrestagung (1). 2003 S. 132 - 147

Czap, H.; Becker, M.
Multi-Agent Systems and Microeconomic Theory: A Negotiation Approach to solve Scheduling Problems in High Dynamic Environments
Proceedings of 36th Annual Hawaii International Conference on System Sciences. Bd. Proceedings of 36th Annual Hawaii International Conference on System Sciences. Hawaii. 2003 S. 8

Fernau, Henning
Nonterminal complexity of programmed grammars.
Theor. Comput. Sci. Bd. 296. H. 2. 2003 S. 225 - 251

Bordihn, Henning; Fernau, Henning; Holzer, Markus
On Iterated Sequential Transducers.
Grammars and Automata for String Processing. 2003 S. 121 - 130

Fernau, Henning; Meduna, Alexander
On the degree of scattered context-sensitivity.
Theor. Comput. Sci. Bd. 290. H. 3. 2003 S. 2121 - 2124

Fernau, Henning; Hagerup, Torben; Nishimura, Naomi et al.
On the parameterized complexity of the generalized rush hour puzzle.
CCCG. 2003 S. 6 - 9

Bergmann, Ralph; Schaaf, Martin
On the Relations between Structural Case-based Reasoning and Ontologz-based Knowledge Management.
Wissensmanagement. 2003 S. 279 - 286

J. Timm, Ingo; Woelk, Peer-Oliver
Ontology-Based Capability Management for Distributed Problem Solving in the Manufacturing Domain.
MATES. 2003 S. 168 - 179

Fernau, Henning
Parallel Grammars: A Phenomenology.
Grammars. Bd. 6. H. 1. 2003 S. 25 - 87

Agarwal, Sudhir; Fankhauser, Peter; Gonzalez-Ollala, Jorge et al.
Semantic Methods and Tools for Information Portals.
GI Jahrestagung (1). 2003 S. 116 - 131

Bergmann, R; Althoff, KD; Breen, S et al.
Smarter business with case-based decision support
DEVELOPING INDUSTRIAL CASE-BASED REASONING APPLICATIONS, 2ND EDITION: THE INRECA METHODOLOGY. Bd. 1612. 2003 S. 7 - +

Bergmann, R; Schaaf, M
Structural Case-Based Reasoning and ontology-based knowledge management: A perfect match?
JOURNAL OF UNIVERSAL COMPUTER SCIENCE. Bd. 9. H. 7. 2003 S. 608 - 626

Krechel, Dirk; Bergmann, Ralph; Maximini, Kerstin et al.
A Framework for Radiological Assistant Systems.
CBMS. 2002 S. 179 - 184

Czap, H.; Becker, M.
A New Scheduling Approach for Hospital Operating Theatres
European Journal of Medical Research. Bd. European Journal of Medical Research. 2002 S. 16 - 17

Bergmann, R; Cunningham, P
Acquiring customers' requirements in electronic commerce
ARTIFICIAL INTELLIGENCE REVIEW. Bd. 18. H. 3-4. 2002 S. 163 - 193

Fernau, Henning; Radl, Agnes
Algorithms for Learning Function Distinguishable Regular Languages.
SSPR/SPR. 2002 S. 64 - 73

Fernau, Henning
Even linear simple matrix languages: formal language properties and grammatical inference.
Theor. Comput. Sci. Bd. 289. H. 1. 2002 S. 425 - 456

Bergmann, Ralph; Maximini, Rainer; Schaaf, Martin
Experience Management for Electronic Design Reuse through Quality-Oriented IP Selection.
German Workshop on Experience Management. 2002 S. 11 - 22

Bergmann, Ralph
Experience Management: Foundations, Development Methodology, and Internet-Based Applications
Springer 2002

Alber, Jochen; L. Bodlaender, Hans; Fernau, Henning et al.
Fixed Parameter Algorithms for DOMINATING SET and Related Problems on Planar Graphs.
Algorithmica. Bd. 33. H. 4. 2002 S. 461 - 493

Fernau, Henning
Fragmentation: Enhancing Identifiability.
ICGI. 2002 S. 92 - 105

W. Adriaans, Pieter; Fernau, Henning; van Zaanen, Menno
Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings
Springer 2002

Fernau, Henning
Graph Separator Algorithms: A Refined Analysis.
WG. 2002 S. 186 - 197

Fernau, Henning; Holzer, Markus
Graph-Controlled Cooperating Distributed Grammar Systems with Singleton Components.
J. Autom. Lang. Comb. Bd. 7. H. 4. 2002 S. 487 - 503

Fernau, Henning
Learning Tree Languages from Text.
COLT. 2002 S. 153 - 168

Fernau, Henning
On Parameterized Enumeration.
COCOON. 2002 S. 564 - 573

Czap, H.
Policy-Agents for Negotiation within Virtual Organizations
International Journal of Information Technology & Decision Making. Bd. International Journal of Information Technology & Decision Making. 2002 S. 385 - 400

Czap, H.; Sugumaran, V.
Policy-Agents to Support CSCW in the Case of Hospital-Scheduling (reprint)
Intelligent Support Systems Technology: Knowledge Management. Bd. Intelligent Support Systems Technology: Knowledge Management. Hereshey. 2002 S. 72 - 83

Fernau, Henning; Stiebe, Ralf
Sequential grammars and automata with valences.
Theor. Comput. Sci. Bd. 276. H. 1-2. 2002 S. 377 - 405

Mougouie, B; Bergmann, R
Similarity assessment for generalizied cases by optimization methods
ADVANCES IN CASE-BASED REASONING. Bd. 2416. 2002 S. 249 - 263

Mougouie, Babak; Bergmann, Ralph
Similarity Assessment for Generalizied Cases by Optimization Methods.
ECCBR. 2002 S. 249 - 263

Schaaf, M; Maximini, R; Bergmann, R et al.
Supporting electronic design reuse by integrating quality-criteria into CBR-based IP selection
ADVANCES IN CASE-BASED REASONING. Bd. 2416. 2002 S. 628 - 641

Schaaf, Martin; Maximini, Rainer; Bergmann, Ralph et al.
Supporting Electronic Design Reuse by Integrating Quality-Criteria into CBR-Based IP Selection.
ECCBR. 2002 S. 628 - 641

Visser, Ubbo; Stuckenschmidt, Heiner; Schlieder, Christoph et al.
Terminology Integration for the Management of distributed Information Resources.
Künstliche Intell. Bd. 16. H. 1. 2002 S. 31 - 34

Ley, Michael
The DBLP Computer Science Bibliography: Evolution, Research Issues, Perspectives.
SPIRE. 2002 S. 1 - 10

Bergmann, Ralph; Schmitt, Sascha
A Formal Approach to Dialogs with Online Customers.
Bled eConference. 2001 S. 2

Kohlmaier, Andreas; Schmitt, Sascha; Bergmann, Ralph
A Similarity-Based Approach to Attribute Selection in User-Adaptive Sales Dialogs.
ICCBR. 2001 S. 306 - 320

Fernau, Henning; Niedermeier, Rolf
An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover.
J. Algorithms. Bd. 38. H. 2. 2001 S. 374 - 410

Fernau, Henning
Approximative Learning of Regular Languages.
SOFSEM. 2001 S. 223 - 232

Czap, H.
Construction and Interpretation of Multi-Layer-Perceptrons
Proceedings of the IEEE Conference on Systems, Man and Cybernetics. Bd. Proceedings of the IEEE Conference on Systems, Man and Cybernetics. Tuscon, Arizona. 2001

Rühl, Frank; Czap, Hans; Kremer, Jörg
EDV-gestützte Kostenrechnung in der Kommunalverwaltung
1. Aufl. Aufl. Baden-Baden: Nomos-Verl.-Ges. 2001 0 S.

Bergmann, Ralph; Wilke, Wolfgang
Electronic Commerce - Serviceteil.
Künstliche Intell. Bd. 15. H. 1. 2001 S. 44

J. Timm, Ingo
Enterprise Agents Solving Conflicts: Thecobac Approach.
GI Jahrestagung (2). 2001 S. 952 - 958

Hüffner, Falk; Edelkamp, Stefan; Fernau, Henning et al.
Finding Optimal Solutions to Atomix.
KI/ÖGAI. 2001 S. 229 - 243

Alber, Jochen; Fernau, Henning; Niedermeier, Rolf
Graph Separators: A Parameterized View.
COCOON. 2001 S. 318 - 327

Fernau, Henning; Holzer, Markus
Graph-Controlled Cooperating Distributed Grammar Systems with Singleton Components.
DCFS. 2001 S. 79 - 90

Bergmann, Ralph
Highlights of the European INRECA Projects.
ICCBR. 2001 S. 1 - 15

Fernau, Henning; Holzer, Markus; Freund, Rudolf
Hybrid modes in cooperating distributed grammar systems: internal versus external hybridization.
Theor. Comput. Sci. Bd. 259. H. 1-2. 2001 S. 405 - 426

Fernau, Henning; Staiger, Ludwig
Iterated Function Systems and Control Languages.
Inf. Comput. Bd. 168. H. 2. 2001 S. 125 - 143

Czap, Hans; Winkel, Stefan
Konzeption eines Balanced Scorecard Systems zur Planung und Steuerung im Krankenhaus
Information age economy. - Heidelberg : Physica-Verl., ISBN 3-7908-1427-X. 2001 S. 881 - 894

Fernau, Henning
Learning XML Grammars.
MLDM. 2001 S. 73 - 87

Fernau, Henning
Nonterminal Complexity of Programmed Grammars.
MCU. 2001 S. 202 - 213

Fernau, Henning
Parallel communicating grammar systems with terminal transmission.
Acta Informatica. Bd. 37. H. 7. 2001 S. 511 - 540

Alber, Jochen; Fernau, Henning; Niedermeier, Rolf
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems
Electron. Colloquium Comput. Complex. Bd. TR01. H. 23. 2001

Alber, Jochen; Fernau, Henning; Niedermeier, Rolf
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems.
ICALP. 2001 S. 261 - 272

Alber, Jochen; Fan, Hongbing; R. Fellows, Michael et al.
Refined Search Tree Technique for DOMINATING SET on Planar Graphs.
MFCS. 2001 S. 111 - 122

Fernau, Henning; Kuich, Werner
Regularly controlled formal power series.
Where Mathematics, Computer Science, Linguistics and Biology Meet. 2001 S. 253 - 265

Ley, Michael
The ACM SIGMOD Anthology - a computer science retrodigitization project.
IuK. 2001

Althoff, Klaus-Dieter; Bergmann, Ralph; Branting, Karl
The Third International Conference on Case-Based Reasoning (ICCBR '99).
AI Mag. Bd. 22. H. 1. 2001 S. 116 - 118

Fernau, Henning; Stiebe, Ralf
Valence Grammars with Target Sets.
Words, Semigroups, and Transductions. 2001 S. 129 - 140

Fernau, Henning; Stiebe, Ralf
Valences in Lindenmayer Systems.
Fundam. Informaticae. Bd. 45. H. 4. 2001 S. 329 - 358

Fernau, Henning; Stiebe, Ralf
Valuated and Valence Grammars: An Algebraic View.
Developments in Language Theory. 2001 S. 281 - 292

Cunningham, Padraig; Bergmann, Ralph; Schmitt, Sascha et al.
WEBSELL: Intelligent Sales Assistants for the World Wide Web.
Künstliche Intell. Bd. 15. H. 1. 2001 S. 28 - 32

Stahl, A.; Bergmann, R.; Schmitt, S.
A Customization Approach for Structured Products in Electronic Shops
13th Bled Electronic Commerce Conference. Bd. 13th Bled Electronic Commerce Conference. 2000

Czap, H.
Agents with Preferences and Goals to Support Collaborative Work in Virtual Organizations
Proceedings of the ICSC Symposia on Intelligent Systems & Application (ISA2000). Bd. Proceedings of the ICSC Symposia on Intelligent Systems & Application (ISA2000). Wollongong. 2000

Schumacher, Jürgen; Bergmann, Ralph
An Efficient Approach to Similarity-Based Retrieval on Top of Relational Databases.
EWCBR. 2000 S. 273 - 284

Stahl, Armin; Bergmann, Ralph
Applying Recursive CBR for the Custumization of Structured Products in an Electronic Shop.
EWCBR. 2000 S. 297 - 308

Ley, Michael
Editor's Message
ACM SIGMOD Anthology. Bd. 2. H. 1. 2000

Fernau, Henning; Holzer, Markus
External Contextual and Conditional Languages.
Recent Topics in Mathematical and Computational Linguistics. 2000 S. 104 - 120

Alber, Jochen; L. Bodlaender, Hans; Fernau, Henning et al.
Fixed Parameter Algorithms for PLANAR DOMINATING SET and Related Problems.
SWAT. 2000 S. 97 - 110

Czap, H.; Reiter, J.
Goal Representation and Scheduling in Hospitals by Intelligent Agents
Proceedings of the Fourth International Conference on Autonomous Agents. Bd. Proceedings of the Fourth International Conference on Autonomous Agents. Barcelona. 2000

Fernau, Henning
Identification of Function Distinguishable Languages.
ALT. 2000 S. 116 - 130

Seidl, Helmut; Fecht, Christian
Interprocedural analyses: a comparison
The journal of logic programming. Bd. 43. H. 2. New York, NY: North-Holland 2000 S. 123 - 156

Fernau, Henning
k-gram Extensions of Terminal Distinguishable Languages.
ICPR. 2000 S. 2125 - 2128

Mundhenk, M.; Meinel, C.
Mathematische Grundlagen der Informatik
Stuttgart, Leipzig: B.G.Teubner 2000

Czap, H.
Niedrige Kosten sind für den Erfolg des Krankenhauses nicht alles. Mit der Balanced Scorecard fokussiert das Krankenhaus alle seine strategischen Ziele, vom zufriedenen Patienten bis zum motivierten Mitarbeiter
f&w, Führen und Wirtschaften im Krankenhaus. Bd. f&w, Führen und Wirtschaften im Krankenhaus. 2000 S. 250 - 254

Arvind, Vikraman; Köbler, Johannes; Mundhenk, Martin et al.
Nondeterministic Instance Complexity and Hard-to-Prove Tautologies
Lecture notes in computer science. Bd. 1770. Berlin: Springer 2000 S. 314 - 323

Mundhenk, M.
On hard instances
Theoretical Computer Science. Bd. Theoretical Computer Science. Elsevier 2000 S. 301 - 311

Fernau, Henning; M. Sempere, José
Permutations and Control Sets for Learning Non-regular Language Families.
ICGI. 2000 S. 75 - 88

Czap, H.
Policy-Agents as Personal Assistants: The Case of Hospital Scheduling
DCSCW 2000 Fachtagung: Verteiltes Arbeiten - Arbeit der Zukunft. Bd. DCSCW 2000 Fachtagung: Verteiltes Arbeiten - Arbeit der Zukunft. München. 2000

Seidl, Helmut; Steffen, Bernhard
Regular Papers - Constraint-Based Inter-Procedural Analysis of Parallel Programs
Lecture notes in computer science. Bd. 1782. Berlin: Springer 2000 S. 351 - 365

Fernau, Henning
Regulated Grammars under Leftmost Derivation.
Grammars. Bd. 3. H. 1. 2000 S. 37 - 62

Ley, Michael
SIGMOD Anthology Editor's Message.
SIGMOD Rec. Bd. 29. H. 3. 2000 S. 8 - 9

Fernau, Henning
Terminal distinguishable languages.
AI&M. 2000

Czap, H.; Ohly, H.-P.; Rahmstorf, G. et al.
Theorienbildung mittels Künstlich Neuronaler Netze vom Typ MLP. In: Globalisierung und Wissensorganisation
Globalisierung und Wissensorganisation. Bd. Globalisierung und Wissensorganisation. Würzburg. 2000 S. 391 - 398

Keßler, Christoph W.; Keßler, C. W.; di Martino, B.
Two Program Comprehension Tools for Automatic Parallelization
IEEE Concurrency. Bd. IEEE Concurrency. IEEE Computer Society Press 2000 S. 37 - 47

Fecht, C.; Seidl, H.
A faster solver for general systems of equations
Science of computer programming. Bd. 35. H. 2. Amsterdam [u.a.]: Elsevier 1999 S. 137 - 162

Meinel, Christoph; Sack, Harald
Algorithmic considerations for [Mod2]-OBDD reordering
Trier: Univ., Mathematik/Informatik 1999 7 S. (Trierer Forschungsberichte ; Nr. 99-19)

Fernau, Henning; Niedermeier, Rolf
An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover.
MFCS. 1999 S. 387 - 397

Althoff, Klaus-Dieter; Bergmann, Ralph; Branting, Karl
Case-Based Reasoning and Development, Third International Conference, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999, Proceedings
Springer 1999

Fernau, Henning; Stephan, Frank
Characterizations of Recursively Enumerable Languages by Programmed Grammars With Unconditional Transfer.
J. Autom. Lang. Comb. Bd. 4. H. 2. 1999 S. 117 - 142

Mundhenk, M.
Complexity of propositional proof systems: tableaux, resolution, cutting-planes
11th European Summerschool on Logic, Language, and Information. 1999

Seidl, H.; Neumann, A.
Contributed Papers - Linear Logic, Mu Calculus, Concurrency - On Guarding Nested Fixpoints
Lecture notes in computer science. Bd. 1683. Berlin: Springer 1999 S. 484 - 498

Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig
Decidability of code properties.
Developments in Language Theory. 1999 S. 153 - 163

Damm, Carsten
Depth-efficient simulation of Boolean semi-unbounded circuits by arithmetic ones
Information processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 69. H. 4. Amsterdam [u.a.]: Elsevier 1999 S. 175 - 180

Bergmann, Ralph; Althoff, Klaus-Dieter; Breen, Sean et al.
Developing Industrial Case-Based Reasoning Applications: The INRECA-Methodology
Springer 1999

Damm, Carsten; Kim, Ki Hang; Roush, Fred
Discrete Mathematics - On Covering and Rank Problems for Boolean Matrices and Their Applications
Lecture notes in computer science. Bd. 1627. Berlin: Springer 1999 S. 123 - 133

Fernau, Henning
Efficient Learning of Some Linear Matrix Languages.
COCOON. 1999 S. 221 - 230

Bergmann, Ralph; Vollrath, Ivo
Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment.
KI. 1999 S. 195 - 206

Mundhenk, M.; Margenstern, M.; Singer, D.
Hard instances of NP-hard sets
Margenstern, M.; Singer, D. (Hrsg). Proceedings of JIM´99. Metz. 1999 S. 120 - 131

Czap, H.; Reiter, J.
Kooperativ-intelligente Agenten zur Terminkoordination von medizinischen Einrichtungen in der Krebstherapie
Proceedings des Workshops Agententechnologie, KI 99. Bd. Proceedings des Workshops Agententechnologie, KI 99. Bonn. 1999

Kessler, C.W.; Träff, J.L.
Language and library support for practical PRAM programming
Parallel computing. Bd. 25. H. 2. Amsterdam [u.a.]: Elsevier 1999 S. 105 - 136

Sack, Harald; Dubrova, Elena; Meinel, Christoph
Mod-p decision diagrams : a data structure for multiple-valued functions
Trier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-27)

Keßler, Christoph W.; Keßler, C. W.; Arabnia, H. R.
NestStep: Nested Parallelism and Virtual Shared Memory for the BSP Model
Arabnia, H. R. (Hrsg). Proceedings of PDPTA´99, Las Vegas, June 28 - July 1, 1999. USA: CSREA Press 1999 S. 613 - 619

Bernasconi, Anna; Damm, Carsten; Shparlinski, Igor
Number Theory - On the Average Sensitivity of Testing Square-Free Numbers
Lecture notes in computer science. Bd. 1627. Berlin: Springer 1999 S. 291 - 299

Bordihn, Henning; Fernau, Henning; Holzer, Markus
On Accepting Pure Lindenmayer Systems.
Fundam. Informaticae. Bd. 38. H. 4. 1999 S. 365 - 375

Seidl, H.; Niwinski, D.
On distributive fixed-point expressions
Theoretical informatics and applications. Bd. 33. H. 4. Cambridge, Mass.: EDP Sciences 1999 S. 427 - 446

Jukna, S.; Razborov, A.; Savicky, P. et al.
On P versus NP(intersection)co-NP for decision trees and read-once branching programs
Computational complexity. Bd. 8. H. 4. Basel: Birkhäuser 1999 S. 357 - 370

Damm, Carsten
On the complexity of tensor formulae
Trier: Univ., Mathematik/Informatik 1999 15 S. (Trierer Forschungsberichte ; Nr. 99-20)

Meinel, Ch; Theobald, Th
On the influence of the state encoding on OBDD-representations of finite state machines
Theoretical informatics and applications. Bd. 33. H. 1. Cambridge, Mass.: EDP Sciences 1999 S. 21 - 32

Dassow, Jürgen; Fernau, Henning; Paun, Gheorghe
On the Leftmost Derivation in Matrix Grammars.
Int. J. Found. Comput. Sci. Bd. 10. H. 1. 1999 S. 61 - 80

Bern, Jochen; Meinel, Christoph
One step further : integrating electronic submission and the reviewing process
Trier: Univ., Mathematik/Informatik 1999 5 S. (Trierer Forschungsberichte ; Nr. 99-16)

Fernau, Henning; Freund, Rudolf; Holzer, Markus
Regulated Array Grammars of Finite Index. Part I: Theoretical Investigations.
Grammatical Models of Multi-Agent Systems. 1999 S. 157 - 181

Fernau, Henning; Freund, Rudolf; Holzer, Markus
Regulated Array Grammars of Finite Index. Part II: Syntactic Pattern Recognition.
Grammatical Models of Multi-Agent Systems. 1999 S. 284 - 296

Meinel, Christoph; Stangier, Christian
Speeding up symbolic model checking by accelerating dynamic variable reordering
Trier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-28)

Morvan, M.; Meinel, C.; Krob, D.
STACS ´98 - 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 1998, Proceedings
Heidelberg: Springer-Verlag 1999

Hofmann, J.
The BMAP/G/1 queue with level dependent arrivals. An overview, Select Proceedings of the 4th INFORMS Telecommunications Conference, Boca Raton, 1998
Special Issue of Telecommunication Systems. 1999

Mundhenk, Martin
The complexity of optimal small policies
Trier: Univ., Mathematik/Informatik 1999 15 S. (Trierer Forschungsberichte ; Nr. 99-22)

Keßler, Christoph W.; Seidl, Helmut; Smith, Craig H.
The SPARAMAT approach to automatic comprehension of sparse matrix computations
Trier: Univ., Mathematik/Informatik 1999 21 S. (Trierer Forschungsberichte ; Nr. 99-10)

Hüllen, Jochem; Bergmann, Ralph; Weberskirch, Frank
WebPlan - Dynamic Planning for Domain-Specific Search in the Internet.
PuK. 1999

Meinel, Christoph; Sack, Harald
[Mod2]-OBDDs : a BDD structure for probabilistic verification
Trier: Univ., Mathematik/Informatik 1998 11 S. (Trierer Forschungsberichte ; Nr. 98-28)

Baum, D.
A BMAP (absolute value) G (absolute value) 1-Analysis Based on Convolution Calculus
Journal of mathematical sciences. a translation of selected Russian-language serial publications in mathematics. Bd. 92. H. 4. New York, NY [u.a.]: Consultants Bureau 1998 S. 3990 - 4002

Rödler, R.
A Convergence Theorem for a Special Class of Stochastic Processes
Stochastic analysis and applications. Bd. 16. H. 1. Philadelphia, Pa. [u.a.]: Taylor & Francis 1998 S. 153 - 162

Rödler, Richard
A phase space model for spatial BMAPs
Trier: Univ., Mathematik/Informatik 1998 8 S. (Trierer Forschungsberichte ; Nr. 98,15)

Meinel, Christoph; Slobodová, Anna
Accelerating OBDD-minimization by means of structural and semantical properties
Trier: Univ., Mathematik/Informatik 1998 22 S. (Trierer Forschungsberichte ; Nr. 98-25)

Hudlov, S.; Engel, T.; Meinel, C.
Adaptive Compression of DICOM- Image Data
Proc. Int. Symposium of Electronic Image Capture and Publishing. 1998 S. 260 - 266

Hudlov, S.; Schröter, C.; Meinel, C.
Adaptive Compression of Image Data
Proc. SYBEN ´98 Broadband Networks. 1998 S. 520 - 527

Meinel, Christoph; Theobald, Thorsten
Algorithmen und Datenstrukturen im VLSI-Design : OBDD - Grundlagen und Anwendungen
Berlin [u.a.]: Springer 1998 0 S.

Meinel, Christoph; Theobald, Thorsten
Algorithms and data structures in VLSI design : OBDD-foundations and applications
Berlin [u.a.]: Springer 1998 0 S.

Keßler, Christoph W.; Keßler, C. W.
Applicability of Automatic Program Comprehension to Sparse Matrix Computations
Proc. of CPC'98 7th Int. Workshop on Compilers for Parallel Computers, Linköping (Sweden). 1998 S. 218 - 230

Meinel, Christoph; Schwettmann, Klaus; Slobodová, Anna
Application driven variable reordering and an example implementation in reachability analysis
Trier: Univ., Mathematik/Informatik 1998 3 S. (Trierer Forschungsberichte ; 98-24)

Baum, D.
Approximate Analysis of Non-Cyclic Multi-Queue Systems with Batch Markovian Arrival Streams
Proceedings of the 8th International Colloquium on Differential Equations, Plovdiv, Bulgaria, 1997. Utrecht (Netherlands): Printed by VSP 1998

Cabodi, Gianpiero; Meinel, Christoph
Binary decision diagrams and the multiple variable order problem
Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; 98-22)

Bergmann, R.; Munoz, .M.E.; Munoz, E et al.
Case-based reasoning applied to planning tasks
M. Lenz, B. Bartsch-Spörl, H.-D. Burkhard, & S. Wess (Hrsg). Case-Based Reasoning Technology from Foundations to Applications,. Springer-Verlag 1998

Althoff, Klaus-Dieter; Bergmann, Ralph; Wess, Stefan et al.
Case-based reasoning for medical decision support tasks: The Inreca approach.
Artif. Intell. Medicine. Bd. 12. H. 1. 1998 S. 25 - 41

Vollrath, Ivo; Wilke, Wolfgang; Bergmann, Ralph
Case-Based Reasoning Support for Online Catalog Sales
IEEE Internet computing. Bd. 2. H. 4. New York, NY: IEEE 1998 S. 47 - 54

Vollrath, Ivo; Wilke, Wolfgang; Bergmann, Ralph
Case-Based Reasoning Support for Online Catalog Sales.
IEEE Internet Comput. Bd. 2. H. 4. 1998 S. 47 - 54

Bergmann, Ralph; Muñoz-Avila, Hector; M. Veloso, Manuela et al.
CBR Applied to Planning.
Case-Based Reasoning Technology. 1998 S. 169 - 200

Fernau, Henning; Freund, Rudolf; Holzer, Markus
Character Recognition with -Head Finite Array Automata.
SSPR/SPR. 1998 S. 282 - 291

Bernasconi, Anna; Damm, Carsten; Shparlinski, Igor
Circuit and decision tree complexity of some number theoretic problems
Trier: Univ., Mathematik/Informatik 1998 17 S. (Trierer Forschungsberichte ; Nr. 98-21)

Bergmann, Ralph; Breen, Sean; Fayol, Emmanuelle et al.
Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology.
EWCBR. 1998 S. 460 - 470

Goldsmith, J.; Mundhenk, M.
Complexity issues in Markov decision processes
Proceedings of the 13th Conference on Computational Complexity. IEEE Press 1998 S. 272 - 280

Jukna, S.; Zák, S.
Complexity: - On Branching Programs With Bounded Uncertainty
Lecture notes in computer science. Bd. 1443. Berlin: Springer 1998 S. 259 - 270

Seidl, H.; Sørensen, M.H.
Constraints to stop deforestation
Science of computer programming. Bd. 32. H. 1. Amsterdam [u.a.]: Elsevier 1998 S. 73 - 108

Slobodová, Anna; Meinel, Christoph
Contributed Papers - Sample Method for Minimization of OBDDs
Lecture notes in computer science. Bd. 1521. Berlin: Springer 1998 S. 419 - 428

Baum, L.; Geyer, L.; Molter, G. et al.
Development Process - Architecture-Centric Software Development Based on Extended Design Spaces
Lecture notes in computer science. Bd. 1429. Berlin: Springer 1998 S. 197 - 204

Baum, Dieter
Developments in matrix analytical performance assessment
Trier: FB 4, Mathematik-Informatik, Univ. 1998 138 S. (Trierer Forschungsberichte ; 98-04)

Görg, H. - J.; Meinel, C.
Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Public-Key-Verfahren als Ausgangspunkt für gesetzgeberische Initiativen
Management und Krankenhaus. Bd. Management und Krankenhaus. 1998 S. 8 - 9

Görg, H. - J.; Meinel, C.
Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Sicherheitsaspekte im Organisationsablauf von Trust Center Dienstleitungen
Management und Krankenhaus. Bd. Management und Krankenhaus. 1998 S. 77 - 78

Meinel, Christoph
Do we really need common variable orders for synthesizing OBDDs?
Trier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-29)

Baum, L.; Becker, M.; Geyer, G. et al.
Driving the Composition of Runtime Platforms by Architectural Knowledge
Proc. of the 1998 SIGOPS European Workshop, 7-10 Sept. 1998, Sintra, Portugal. 1998

Czap, H.; AWV, e.V.
Ein praxisorientierter Ansatz einer prozeßkonformen Kostenrechnung im Krankenhaus
AWV - Arbeitsgemeinschaft für wirtschaftliche Verwaltung e.V. (Hrsg). Prozeßkostenrechnung - "Just in Time"?!. Eschborn. 1998 S. 47 - 53

Siemonsen, K.; Heuer, A.; Engel, T. et al.
Ein Web-basiertes Navigationssystem für allgemeine, heterogene Datenbanksysteme
Proc. Hypermedia im Umweltschutz. 1998

Bern, J.; Meinel, C.; Sack, H.
Electronic Colloquia: Idea and Practice
Proc. Int. Symposium of SIGDOC ´98. 1998 S. 113 - 119

Meinel, C.
Elektronisches Publizieren im World Wide Web - Eine neue Dimension in der wissenschaftlichen Kommunikation
Forschung und Lehre, Nr. 3. Bd. Forschung und Lehre, Nr. 3. 1998 S. 122 - 125

Jukna, S.; Beame, P.; Buss, S.
Exponential Lower bounds for semantic resolution
Beame, P.; Buss, S. (Hrsg). Feasible Arithmetics and Length of Proofs. American Mathematical Society 1998 S. 63 - 172

Keßler, Christoph W.; Seidl, Helmut
ForkLight: a control-synchronous parallel programming language
Trier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; Nr. 98,13)

Czap, Hans
Herausforderungen an die Wissensorganisation: Visualisierung, multimediale Dokumente, Internetstrukturen
Würzburg: Ergon-Verl. 1998 0 S. (Fortschritte in der Wissensorganisation ; 5)

Fernau, Henning; Staiger, Ludwig
IFS and Control Languages.
MFCS. 1998 S. 740 - 750

Meinel, Christoph; Stangier, Christian
Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering
Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; Nr. 98-23)

Meinel, C.; Engel, T.
Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer Ideal
Intensive care medicine. Bd. 24. H. 6. Berlin: Springer 1998 S. 539 - 541

Engel, T.; Heuer, A.; Meinel, C. et al.
Interface for Navigation and Database-Querying via WWW
Proc. ISI ´98. 1998

Neumann, Andreas; Seidl, Helmut
Locating matches of tree patterns in forests
Trier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; 98-08)

Bergmann, Ralph; Althoff, Klaus-Dieter
Methodology for Building CBR Applications
Lecture notes in computer science. Bd. 1400. Berlin: Springer 1998

Bergmann, Ralph; Althoff, Klaus-Dieter
Methodology for Building CBR Applications.
Case-Based Reasoning Technology. 1998 S. 299 - 326

Jukna, S.; Razborov, A.
Neither reading few bits twice nor reading illegally helps much
Discrete Applied Mathematics. Bd. Discrete Applied Mathematics. 1998 S. 223 - 238

Damm, Carsten
On alternating vs. parity communication complexity
Trier: Univ., Mathematik/Informatik 1998 11 S. (Trierer Forschungsberichte ; Nr. 98-20)

Damm, Carsten
On Boolean vs. modular arithmetic for circuits and communication protocols
Trier: Univ. 1998 7 S. (Trierer Forschungsberichte ; 98-06)

Rödler, R.
On the Rareness of Generalized Sub- and Supermartingales in the Class of All Uniformly L1-Bounded Stochastic Processes
Stochastic analysis and applications. Bd. 16. H. 2. Philadelphia, Pa. [u.a.]: Taylor & Francis 1998 S. 381 - 390

Mundhenk, M.; Slobodová, A.; Mayr, E. W. et al.
Optimal non-approximability of Max-Clique - a survey
Mayr, E. W.; Prömel, H.-J.; Steger, A. (Hrsg). Lectures on proof verification and approximation algorithms. Springer 1998 S. 235 - 248

Meinel, Christoph; Theobald, Thorsten
Ordered binary decision diagrams and their significance in computer-aided design of VLSI circuits
Trier: Univ., Fachbereich Mathematik, Informatik 1998 17 S. (Forschungsbericht ; 98-01)

Fernau, Henning
Regulated Grammars with Leftmost Derivation.
SOFSEM. 1998 S. 322 - 331

Fernau, Henning; Wätjen, Dietmar
Remarks on Regulated Limited ET0L Systems and Regulated Context-Free Grammars.
Theor. Comput. Sci. Bd. 194. H. 1-2. 1998 S. 35 - 55

Bergmann, R.; Stahl, A.
Representation, Similarity and Retrieval - Similarity Measures for Object-Oriented Case Representations
Lecture notes in computer science. Bd. 1488. Berlin: Springer 1998 S. 25 - 36

Bergmann, Ralph; Stahl, Armin
Similarity Measures for Object-Oriented Case Representations.
EWCBR. 1998 S. 25 - 36

Rödler, Richard
Stability analysis of wireless networks
Trier: Univ., Mathematik/Informatik 1998 21 S. (Trierer Forschungsberichte ; 98,14)

Hofmann, Jens
Stability conditions for the BMAP/G/1 queue with level dependent arrivals
Trier: Univ., Mathematik/Informatik 1998 22 S. (Trierer Forschungsberichte ; Nr. 98-18)

Rödler, R.; Baum, D.
Stability of wireless networks - The IEEE 802.11 MAC-Protocol
Baum, D. (Hrsg). Developments in Matrix Analytical Performance Assessment. 1998 S. 181 - 201

Rödler, Richard
Stochastic modelling of server capacity utilization by geometric sums
Trier: Univ., Mathematik/Informatik 1998 10 S. (Trierer Forschungsberichte ; 98-16)

Czap, Hans
Strukturelle Aspekte einer Kostenrechnung für Krankenhäuser
Zeitschrift für öffentliche und gemeinwirtschaftliche Unternehmen. ZögU ; zugl. Organ der Gesellschaft für Öffentliche Wirtschaft. Bd. 21. H. 3. Baden-Baden: Nomos-Verl.-Ges. 1998 S. 263 - 276

Nehmer, J.; Sturm, P.
Systemsoftware
dppunkt-Verlag 1998

Wilke, Wolfgang; Bergmann, Ralph
Techniques and Knowledge Used for Adaptation During Case-Based Problem Solving.
IEA/AIE (Vol. 2). 1998 S. 497 - 506

Littman, Michael L.; Goldsmith, Judy; Mundhenk, Martin
The Computational Complexity of Probabilistic Planning
The journal of artificial intelligence research. JAIR. Bd. 9. San Francisco, Calif.: Morgan Kaufmann Publ. 1998 S. 1 - 36

H. Göker, Mehmet; Roth-Berghofer, Thomas; Bergmann, Ralph et al.
The Development of HOMER: A Case-Based CAD/CAM Help-Desk Support Tool.
EWCBR. 1998 S. 346 - 357

Haffner, E. - G.; Engel, Th.; Meinel, C.
The Flood-Gate Principle-a Hybrid Approach to a High Security Solution
Proc. ICISI ´98. 1998

Fernau, Henning; Freund, Rudolf; Holzer, Markus
The Generative Power of -Dimensional #-Context-Free Array Grammars.
MCU (2). 1998 S. 43 - 56

Keßler, Christoph W.; Formella, A.; Grün, T. et al.
The SB-PRAM: Concept, Design and Construction
Proceedings of MPPM-97 3rd Int. Conference on Massively Parallel Programming Models, London, Nov. 1997. IEEE Computer Society Press 1998

Meinel, Christoph; Wagner, Arno
The WWW meets EDA : usability evaluation of OBDD-heuristics via the internet
Trier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-27)

Bergmann, Ralph; Wilke, Wolfgang
Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning.
ECAI. 1998 S. 53 - 57

Czap, H.
Transparente Kosten im Amt
Der Gemeinderat. Bd. Der Gemeinderat. 1998

Damm, Carsten
A note on spectral lower bound arguments for decision trees
Trier: Univ., Fachbereich Mathematik, Informatik 1997 3 S. (Forschungsbericht ; 97-21)

Meinel, C.; Slobodová, A.
A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams
Lecture notes in computer science. Bd. 1200. Berlin: Springer 1997 S. 213 - 224

Meinel, Christoph; Slobodová, Anna
A Unifying Theoretical Background for Some BDD-Based Data Structures
Formal methods in system design. an international journal. Bd. 11. H. 3. Dordrecht [u.a.]: Springer 1997 S. 223 - 238

Fernau, Henning; Freund, Rudolf
Accepting Array Grammars with Control Mechanisms.
New Trends in Formal Languages. 1997 S. 95 - 118

Keßler, Christoph W.; Keßler, C. W.
Applicability of Program Comprehension to Sparse Matrix Computations
Proc. of Euro-Par'97, Passau, Aug. 26-28, 1997. Springer 1997

Czap, H.; Reiter, J.; Krallmann, H.
Architektur zur informationstechnologischen Unterstützung von Kooperationen
Krallmann, H. (Hrsg). Wirtschaftsinformatik '97, Internationale Geschäftstätigkeit auf der Basis flexibler Organisationsstrukturen und leistungsfähiger Informationssysteme. Heidelberg. 1997 S. 199 - 209

Fernau, Henning; Holzer, Markus; Freund, Rudolf
Bounding resources in Cooperating Distributed Grammar Systems.
Developments in Language Theory. 1997 S. 261 - 272

Czap, H.; Klar, R.; Opitz, O.
Case Based Software Engineering CBSE. The Example of a Store Control System
Klar, R.; Opitz, O. (Hrsg). Classification and Knowledge Organization. Proceedings der 20. Jahrestagung der Ges. für Klassifikation. Berlin, Heidelberg u. a.: H. H. Bock, O. Opitz, M. Schader Managing Editors 1997 S. 245 - 252

Meinel, Christoph; Sack, Harald
Case-study : manipulating -OBDDs by means of signatures
Trier: Univ., Fachbereich Mathematik, Informatik 1997 12 S. (Forschungsbericht ; 97-15)

Czap, H.; Bergmann, R.; Wilke, W.
CBR as a Means for Developing Adaptive Buisiness Systems
Bergmann, R.; Wilke, W. (Hrsg). Fifth German Workshop on Case-Based Reasoning - Foundations, Systems, and Applications. Centre f. Learn. Syst. and Applications. Dep. of Comp. Science, Univ. Kaisersl. 1997 S. 75 - 84

Fernau, Henning; Holzer, Markus
Conditional Context-Free Languages of Finite Index.
New Trends in Formal Languages. 1997 S. 10 - 26

Stuckenschmidt, Heiner; J. Timm, Ingo; Schröder, Jörg
cosap - Bilanz eines studentischen KI-Projektes.
Künstliche Intell. Bd. 11. H. 3. 1997 S. 42 - 46

Nehmer, J.; Sturm, P.; Baentsch, M. et al.
Customization of system software for large-scale embedded applications
Computer communications. Bd. 20. H. 3. Amsterdam: Elsevier 1997 S. 189 - 196

Ley, M.; Jarke, M.; Pasedach, K. et al.
Die Trierer Informatik-Bibliographie
Jarke, M.; Pasedach, K.; Pohl, K. (Hrsg). Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik. Springer 1997 S. 257 - 266

Ley, Michael
Die Trierer Informatik-Bibliographie DBLP.
GI Jahrestagung. 1997 S. 257 - 266

Seidl, H.; Fecht, C.
Disjunctive Completion Is Not "Optimal"
International Logic Programming Symposium (ILPS). 1997 S. 408

Jukna, S.
Finite limits and monotone computations: the lower bounds criterion
Proceedings 12th Annual Conference on Computational Complexity. IEEE Computer Society 1997 S. 302 - 313

Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Function decomposition and synthesis using linear sifting
Trier: Univ., FB Mathematik Informatik 1997 13 S. (Trierer Forschungsberichte ; 97-14)

Meinel, C.; Theobald, T.
Geordnete binaere Entscheidungsgraphen und ihre Bedeutung im rechnergestuetzten Entwurf hochintegrierter Schaltkreise.
Informatik-Spektrum. Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. Bd. 20. H. 5. Berlin: Springer 1997 S. 268 - 275

Fernau, Henning
Graph-Controlled Grammars as Language Acceptors.
J. Autom. Lang. Comb. Bd. 2. H. 2. 1997 S. 79 - 91

Fernau, Henning; Stephan, Frank
How Powerful is Unconditional Transfer? - When UT meets AC.
Developments in Language Theory. 1997 S. 249 - 260

Seidl, Helmut; Fecht, Christian
Interprocedural analysis based on PDAs
Trier: Univ., Mathematik, Informatik 1997 0 S. (Trierer Forschungsberichte ; 97-06)

Czap, H.; ctt, ctt
Kostenrechnung und Leistungsplanung im Krankenhaus
ctt (Hrsg). 10 Jahre ctt, Festschrift der Caritas Trägergesellschaft Trier e.V. 1997 S. 88 - 97

Czap, H.; Kahler, H.; Mambrey, P. et al.
Kostenrechnung und Qualitätsmanagement bei Kommunen: Das Reformkonzept der KGSt im Hinblick auf die Unterstützung amtsübergreifender Vorgänge
Kahler, H.; Mambrey, P.; Wulf, V. (Hrsg). Computerunterstützte Gruppenarbeit und Verwaltungsreform. Proceedings zum GI-Workshop (http://www.cs.uni-bonn.de/~prosec/ws_harburg/WORKSHOP.html). 1997

Mundhenk, M.
NP-hard Sets Have Many Hard Instances
Lecture notes in computer science. Bd. 1295. Berlin: Springer 1997 S. 428 - 437

Czap, Hans; Reiter, Joachim
Offene und verteilte betriebswirtschaftliche Anwendungssysteme
Telekooperation in Unternehmen. - Wiesbaden : Dt. Univ.-Verl. [u.a.], ISBN 3-8244-6433-0. 1997 S. 245 - 264

Czap, H.; Reiter, J.
OMC: An Organisational Model for Co-Operations
ACM SigGroup Bulletin (formerly SIGOIS Bulletin), No. 2. Bd. ACM SigGroup Bulletin (formerly SIGOIS Bulletin), No. 2. 1997 S. 41 - 44

Keßler, Christoph W.; Keßler, C. W.
On the Applicability of Program Comprehension Techniques to the Automatic Parallelization of Sparse Matrix Computations
Proc. of AP'97 3rd Workshop on Automatic Data Layout and Performance Prediction, Research report of Dep. d'Arquitectura de Computadors, Univ. Polytechnica de Catalunya, Barcelona, Spain, Jan. 1997. 1997

Czap, H.; Reiter, J.
Organisational Modelling of Co-operations with Policy-Objects. Arbeitsbericht der Abteilung Wirtschaftsinformatik an der Universität Trier
1997

Keßler, Christoph W.
Practical PRAM programming with Fork95 : a tutorial
Trier: Univ., Fachbereich Mathematik, Informatik 1997 59 S. (Forschungsbericht ; 97-12)

Seidl, Helmut; Fecht, Christian
Propagating differences : an efficient new fixpoint algorithm for distributive constraint systems
Trier: Univ., Fachbereich Mathematik, Informatik 1997 15 S. (Forschungsbericht ; 97-13)

Fernau, Henning; Stiebe, Ralf
Regulations by Valences.
MFCS. 1997 S. 239 - 248

Meinel, C.; Slobodová, A.
Speeding up Variable Ordering of OBDDs
Proc. Of IEEE ICCD ´97. 1997 S. 338 - 343

Rödler, Richard
Strukturen betrieblichen Handelns : Systemansätze für die Praxis
Köln: Wirtschaftsverl. Bachem 1997 201 S.

Günwoldth, L.; Meinel, C.
Telematik im Gesundheitswesen der Bundesrepublik - eine Studie des ITWM-Trier zur Telemedizin
Handelsblatt. Bd. Handelsblatt. 1997

Becker, A.; Günwoldt, L.; Meinel, C.
Telemedizin - Neue Informations- und Kommunikationstechnologien im Gesundheitswesen
Arzt und Krankenhaus. Bd. Arzt und Krankenhaus. 1997 S. 22 - 24

Hofmann, Jens
The BMAP/G/1 queue with level dependent arrivals and its stationary distribution
Trier: Univ., Fachbereich Mathematik, Informatik 1997 33 S. (Forschungsbericht ; 97-22)

Goldsmith, J.; Littman, M.; Mundhenk, M.
The complexity of plan existence and evaluation in probabilistic domains
Proc. 13th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann Publishers 1997 S. 182 - 189

Mundhenk, M.; Goldsmith, J.; Allender, E.
The Complexity of Policy Evaluation for Finite-Horizon Partially- Observable Markov Decision Processes
Lecture notes in computer science. Bd. 1295. Berlin: Springer 1997 S. 129 - 138

Bern, Jochen; Damm, Carsten; Meinel, Christoph
The electronic colloquium on computational complexity (ECCC) : a digital library in use
Trier: Fachbereich IV, Mathematik, Informatik, Univ. 1997 11 S. (Trierer Forschungsberichte ; 97-16)

Kessler, Christoph W.; Seidl, Helmut
The Fork95 Parallel Programming Language: Design, Implementation, Application
International journal of parallel programming. Bd. 25. H. 1. New York, N.Y.: Springer 1997

DiMartino, Beniamino; Keßler, Christoph W.
Two program comprehension tools for automatic parallelization : a comparative study
Trier: Univ., Fachbereich Mathematik, Informatik 1997 0 S. (Forschungsbericht ; 97-23)

Neumann, A.; Bozapalidis, S.
Unambiguity of SGML Content Models - Pushdown Automata Revisited 3rd Int. Conf. on the Developments in Language Theory (DLT'97), Juli 1997, Thessaloniki, Griechenland
Bozapalidis, S. (Hrsg). Proceedings of the 3rd International Conference Developments in Language Theory. Aristotle University of Thessaloniki 1997 S. 507 - 518

Fernau, Henning
Unconditional Transfer in Regulated Rewriting.
Acta Informatica. Bd. 34. H. 11. 1997 S. 837 - 857

Krechel, D.; Holz, Harald; Bergmann, Ralph
Unterstützung des Konfigurationssystems IDAX durch fallbasiertes Schliessen
Bergmann, Ralph (Hrsg). Fifth German Workshop on Case-Based Reasoning - Foundations, Systems, and Applications. Universität Kaiserslautern: Zentrum für Lernende Systeme und Anwendungen 1997 S. 101 - 110

Bergmann, Ralph; Wilke, Wolfgang; Schumacher, Jürgen
Using Software Process Modeling for Building a Case-Based Reasoning Methodology: Basis Approach and Case Study.
ICCBR. 1997 S. 509 - 518

Baentsch, Michael; Baum, L.; Molter, Georg et al.
World wide web caching: the application-level view of the internet
IEEE communications magazine. a publication of the IEEE Communications Society. Bd. 35. H. 6. New York, NY: IEEE 1997 S. 170 - 179

Bordihn, Henning; Fernau, Henning
Accepting Grammars and Systems via Context Condition Grammars.
J. Autom. Lang. Comb. Bd. 1. H. 2. 1996 S. 97 - 112

Fernau, Henning; Holzer, Markus
Accepting Multi-Agent Systems II.
Acta Cybern. Bd. 12. H. 4. 1996 S. 361 - 379

Fernau, Henning; Holzer, Markus; Bordihn, Henning
Accepting Multi-Agent Systems.
Comput. Artif. Intell. Bd. 15. H. 2-3. 1996 S. 123 - 139

Fernau, Henning; Lange, Klaus-Jörn; Reinhardt, Klaus
Advocating Ownership.
FSTTCS. 1996 S. 286 - 297

Fecht, Christian; Seidl, Helmut
An even faster solver for general systems of equations
Trier: Fachbereich IV, Mathematik, Informatik, Univ. 1996 15 S. (Trierer Forschungsberichte ; 96-11)

Fernau, Henning; Freund, Rudolf
Bounded Parallelism in Array Grammars Used for Character Recognition.
SSPR. 1996 S. 40 - 49

M. Veloso, Manuela; Muñoz-Avila, Hector; Bergmann, Ralph
Case-Based Planning: Selected Methods and Systems.
AI Commun. Bd. 9. H. 3. 1996 S. 128 - 137

Fernau, Henning
Closure Properties of Ordered Languages.
Bull. EATCS. Bd. 58. 1996

Wilke, Wolfgang; Bergmann, Ralph
Considering Decision Cost During Learning of Feature Weights.
EWCBR. 1996 S. 460 - 472

Bergmann, Ralph
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen Abstraktionsebenen
Sankt Augustin: Infix 1996 0 S. (Dissertationen zur künstlichen Intelligenz ; 138)

Bergmann, Ralph
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen Abstraktionsebenen.
Bd. 138. Infix Verlag, St. Augustin, Germany 1996

Bergmann, Ralph; Muñoz-Avila, Hector; M. Veloso, Manuela
Fallbasiertes Planen: ausgewählte Methoden und Systeme.
Künstliche Intell. Bd. 10. H. 1. 1996 S. 22 - 28

Wilke, Wolfgang; Bergmann, Ralph; Althoff, Klaus-Dieter
Fallbasiertes Schließen zur Kreditwürdigkeitsprüfung
Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 10. H. 4. Bremen: Böttcher IT-Verl. 1996 S. 26 - 33

Wilke, Wolfgang; Bergmann, Ralph; Althoff, Klaus-Dieter
Fallbasiertes Schließen zur Kreditwürdigkeitsprüfung.
Künstliche Intell. Bd. 10. H. 4. 1996 S. 26 - 33

Seidl, H.
Fast and simple nested fixpoints
Information processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 59. H. 6. Amsterdam [u.a.]: Elsevier 1996 S. 303 - 308

Seidl, H.
Integer Constraints to Stop Deforestation
Lecture notes in computer science. Bd. 1058. Berlin: Springer 1996 S. 326 - 340

Bergmann, R.; Wilke, .W.S.; Wilke, S
Integrating General Knowledge with Object-Oriented Case Representation and Reasoning
4th German Workshop: Case-Based Reasoning - System Development and Evaluation 1996, Humboldt-University Berlin. 1996

Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Linear sifting of decision diagrams
Trier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-42)

Fernau, Henning
Membership for k-Limited ET0L Languages is not Decidable.
J. Autom. Lang. Comb. Bd. 1. H. 4. 1996 S. 243 - 245

Fernau, Henning
On Grammar and Language Families.
Fundam. Informaticae. Bd. 25. H. 1. 1996 S. 17 - 34

Bergmann, Ralph; Wilke, Wolfgang
On the Role of Abstraction in Case-Based Reasoning.
EWCBR. 1996 S. 28 - 43

Fernau, Henning
On Unconditional Transfer.
MFCS. 1996 S. 348 - 359

Fernau, Henning
Remarks on Propagating Partition-Limited ETOL Systems.
J. Univers. Comput. Sci. Bd. 2. H. 11. 1996 S. 745 - 755

Keßler, Christoph W.
Scheduling expression DAGs for minimal register need
Trier: Fachbereich IV, Mathematik, Informatik, Univ. 1996 16 S. (Trierer Forschungsberichte ; 96-12)

Damm, C.; Jukna, S.; Sgall, J.
Some Bounds on Multiparty Communication Complexity of Pointer Jumping
Lecture notes in computer science. Bd. 1046. Berlin: Springer 1996 S. 643 - 654

Meinel, Christoph; Slobodová, Anna
Speeding up variable reordering of OBDDs
Trier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-40)

Seidl, Helmut
A modal m-calculus  for durational transition systems
Trier: Univ., Mathematik/Informatik 1995 16 S. (Forschungsbericht ; 95-08)

Fernau, Henning
A Note on Uniformly Limited ETOL Systems with Unique Interpretation.
Inf. Process. Lett. Bd. 54. H. 4. 1995 S. 199 - 204

Fernau, Henning
A predicate for separating language classes.
Bull. EATCS. Bd. 56. 1995

Bordihn, Henning; Fernau, Henning
Accepting Grammars and Systems: An Overview.
Developments in Language Theory. 1995 S. 199 - 208

Bergmann, R.; Wilke, W.
Building and Refining Abstract Planning Cases by Change of Representation Language
The journal of artificial intelligence research. JAIR. Bd. 3. San Francisco, Calif.: Morgan Kaufmann Publ. 1995 S. 53 - 118

Bergmann, Ralph; Wilke, Wolfgang
Building and Refining Abstract Planning Cases by Change of Representation Language.
J. Artif. Intell. Res. Bd. 3. 1995 S. 53 - 118

Ley, Michael
DB&LP: A WWW Bibliography on Databases and Logic Programming
Compulog Newsletter. 1995

Damm, Carsten; Holzer, Markus; Rossmanith, Peter
Expressing uniformity via oracles
Trier: Univ., Mathematik/Informatik 1995 12 S. (Forschungsbericht ; 95-01)

Keßler, Christoph W.; Seidl, Helmut
Integrating synchronous and asynchronous paradigms : the Fork95 parallel programming language
Trier: Fachbereich IV, Mathematik/Informatik, Univ. 1995 11 S. (Trierer Forschungsberichte ; 95,5)

Keßler, Christoph W.; Seidl, Helmut
Language support for synchronous parallel critical sections
Trier: Univ., Mathematik/Informatik 1995 12 S. (Forschungsbericht ; 95-23)

Bergmann, Ralph; Wilke, Wolfgang
Learning Abstract Planning Cases.
ECML. 1995 S. 55 - 76

Fernau, Henning; Bordihn, Henning
Remarks on accepting parallel systems.
Int. J. Comput. Math. Bd. 56. H. 1-2. 1995 S. 51 - 67

Fernau, Henning
Valuations of Languages, with Applications to Fractal Geometry.
Theor. Comput. Sci. Bd. 137. H. 2. 1995 S. 177 - 217

Fernau, Henning
Valuations, regular expressions, and fractal geometry.
Appl. Algebra Eng. Commun. Comput. Bd. 7. H. 1. 1995 S. 59 - 75

Seidl, H.
Equivalence of Finite-Valued Tree Transducers Is Decidable
Mathematical systems theory. Bd. 27. H. 4. New York, NY: Springer 1994 S. 285 - 346

Seidl, H.
Finite tree automata with cost functions
Theoretical computer science. the journal of the EATCS. Bd. 126. H. 1. Amsterdam [u.a.]: Elsevier 1994

Seidl, H.
Haskell overloading is DEXPTIME-complete
Information processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 52. H. 2. Amsterdam [u.a.]: Elsevier 1994 S. 57 - 60

Fernau, Henning
Iterierte Funktionen, Sprachen und Fraktale.
BI-Wiss.-Verlag 1994 S. 1 - 288

Bergmann, Ralph; Wilke, Wolfgang
Lernen von Abstraktionshierarchien zur Optimierung der Auswahl von maschinell abstrahierten Plänen.
PuK. 1994 S. 34 - 45

Fernau, Henning
Membership for 1-Limited ET0L Languages Is Not Decidable.
J. Inf. Process. Cybern. Bd. 30. H. 4. 1994 S. 191 - 211

Bergmann, Ralph; Paulokat, Jürgen; Schoeller, Anna-Maria et al.
PuK-94, 8. Workshop "Planen und Konfigrieren", 18.-19. April 1994, Kaiserslautern, Proceedings
Universität und DFKI Kaiserslautern 1994

Ferdinand, C.; Seidl, H.; Wilhelm, R.
Tree automata for code selection
Acta informatica. Bd. 31. H. 8. Berlin: Springer 1994 S. 741 - 760

Fernau, Henning; Staiger, Ludwig
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry.
ICALP. 1994 S. 11 - 22

Fernau, Henning
Adult Languages of Propagating Systems with Restricted Parallelism.
J. Inf. Process. Cybern. Bd. 29. H. 5. 1993 S. 249 - 267

Ley, Michael
Ein Datenbankkern zur Speicherung variabel strukturierter Feature-Terme. Implementierungstechniken.
Bd. 41. Infix Verlag, St. Augustin, Germany 1993 S. 1 - 263

Bergmann, Ralph; Pews, Gerhard; Wilke, Wolfgang
Explanation-Based Similarity: A Unifying Approach for Integrating Domain Knowledge into Case-Based Reasoning for Diagnosis and Planning Tasks.
EWCBR. 1993 S. 182 - 196

Bergmann, Ralph
Learning Hierarchically Clustered Shared Plan Abstractions as Problem Solving Knowledge with High Utility for Planning.
PuK. 1993 S. 97 - 108

Seidl, Helmut
Least solutions of equations over N
Saarbrücken: Sonderforschungsbereich 124 VLSI Entwurfsmethoden und Parallelität 1993 15 S. (Preprint ; 1993,8)

Fernau, Henning
Remarks on Adult Languages of Propagating Systems with Restricted Parallelism.
Developments in Language Theory. 1993 S. 90 - 101

Bergmann, Ralph
Learning Plan Abstractions.
GWAI. 1992 S. 187 - 198

Ley, Michael; Walter, Bernd
LILOG-DB: Some implementation techniques.
CNKBS. 1992 S. 36 - 37

Ley, Michael
The Term Retrieval Machine.
SIGMOD Conference. 1992 S. 154 - 163

Bergmann, Ralph
Knowledge Acquisition by Generating Skeletal Plans from Real World Cases.
Contemporary Knowledge Engineering and Cognition. 1991 S. 125 - 133

Fernau, Henning
On Function-limited Lindenmayer Systems.
J. Inf. Process. Cybern. Bd. 27. H. 1. 1991 S. 21 - 53

Maier, Albert; Ley, Michael; Gehlen, Erich
Sort Processing in a Deductive Database System
IWBS Report. Bd. 154. IBM Germany Science Center, Institute for Knowledge Based Systems 1991

Ley, Michael
The Term Retrieval Abstract Machine
IWBS Report. Bd. 202. IBM Germany Science Center, Institute for Knowledge Based Systems 1991

Schmalhofer, Franz; Bergmann, Ralph; Kühn, Otto et al.
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations.
GWAI. 1991 S. 62 - 71

Ley, Michael; Walter, Bernd
Der LILOG-DB-Fact-Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte.
Inform. Forsch. Entwickl. Bd. 5. H. 4. 1990 S. 188 - 201

Ley, Michael; Walter, Bernd
Der LILOG-DB Fact Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte
IWBS Report. Bd. 107. IBM Germany Science Center, Institute for Knowledge Based Systems 1989

Ludwig, Thomas; Walter, Bernd; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge-Based Systems.
BTW. 1989 S. 176 - 195

Ley, Michael
Ein Fact Manager zur persistenten Speicherung variabel strukturierter komplexer Objekte
LILOG-Report. Bd. 60. IBM Deutschland GmbH 1988

Ludwig, Thomas; Walter, Bernd; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge-Based Systems
LILOG-Report. Bd. 56. IBM Deutschland GmbH 1988

Meinel, C.; Hludov, S.; C., Schröter
Adaptive Komprimierung von DICOM-Bildern

Meinel, C.; Müller, S.; Görg, H. - J. et al.
CryptoPay-Sicheres Bezahlen im Internet
Technical Reports 1998. Institute for Telematics

Meinel, C.; Zhang, Z.; Heuer, A. et al.
Daphne - A Tool for Distributed Web Authoring and Publishing
Technical Reports 1999. Institut for Telematics

Meinel, C.; Hastenteufel, M.
Digitale Zertifikate - Standards und Anwendungen
Technical Reports 1999. Institut for Telematics

Meinel, C.; Wagner, A.
Ein Decision Diagram Portal im World Wide Web
Technical Reports 1999. Institut for Telematics

Meinel, C.; Bern, J.
Electronic Colloquia in the WWW - a New Form of Scientific Publications
Proc. of SCI/ISAS`99, Orlando.

Meinel, C.; Haffner, E. G.; Engel, Th.
Flood-Gates statt Firewall - eine "High-Society"-Lösung zum sicheren Datenaustausch zwischen Internet und Intranet
Technical Reports 1998. Institut for Telematics

Meinel, C.; Roth, U.; Haffner, E. - G. et al.
Hyperlink Management System - HLM
Technical Reports 1999.

Meinel, C.; Schröter, C.; Engel, Th.
Internetbasiertes Arztbriefsystem
Technical Reports 1998. Institut for Telematics

Meinel, C.; Hludov, S.
JAVA-DICOM-Viewer
Technical Reports 1998. Institute for Telematics

Bergmann, R.; Wilke, W.
Learning abstract planning cases
Proceedings of the Europ. Conf. on Machine Learning 1995. Springer Verlag  S. 55-76

Meinel, C.; Sack, H.; Stangier, C.
Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams
In Proc. of NORCHIP`99, Oslo, Norway 1999.

Meinel, C.; Hludov, S.; Köhler, L. et al.
PACS für Radiologie
Technical Reports 1998. Institut for Telematics

Meinel, C.; Roth, U.; Haffner, E. G. et al.
Smart Data Server (SDS) Modularer Aufbau und verteilte Funktionalität
Technical Reports 1998. Institut for Telematics

Meinel, C.; Görg, H. - J.; Engel, Th.
TI-Trust Center - Eröffnung einer Zertifizierungsstelle in Anlehnung an das Signaturgesetz und die Signaturverordnung
Technical Reports 1998. Institut for Telematics

Meinel, C.; Müller, S.
Trierer Telemedien Symposium - Internet-Technologie inder Medizin
Institut for Telematics

Meinel, C.; Haffner, E. G.; Roth, U. et al.
Vorhersage von Benutzeranforderungen im Internet
Technical Reports 1999. Institut for Telematics

Meinel, C.; Losemann, F.
Warum Zertifikate?
Technical Reports 1998. Institut for Telematics

Meinel, C.; Heuer, A.; Siemonsen, K. et al.
Web-basierte Navigationssysteme für Datenbanken