Entwurfstheorie und Ähnlichkeitsmechanik

Der Forschungsbereich Entwurfstheorie und Ähnlichkeitsmechanik am Institut für Flugzeugbau beschäftigt sich mit der Digitalisierung und Automatisierung komplexer Entwurfsaufgaben.

Graphenbasierte Entwurfssprachen zur Entwurfsautomatisierung

Graphenbasierte Entwurfssprachen bilden Begriffe (d.h. das "Vokabular") und Zusammenbauwissen (d.h. die "Regeln") in rekombinierbaren Sprachbausteinen und Operationen ab. In der Informationsdarstellung einer Entwurfssprache dienen die Knoten eines Graphen als abstrakte Platzhalter (d.h. als Modelle) für reale Objekte oder Prozesse. Somit wird anstelle des Produktdesigns eine grafische Darstellung ("Entwurfsgraph") maschinell verarbeitet. Diese maschinelle Verarbeitung erweitert und modifiziert den Graphen zur Laufzeit dynamisch durch sogenannte "Model-to-Model-Transformationen" (M2M). Die abstrakte Produktdarstellung ermöglicht eine einfache Modularisierung und Skalierbarkeit und ermöglicht die konsequente Integration verschiedener disziplinärer Domänenmodelle (siehe Abbildung unten). Die Kopplung des Frameworks an domänenspezifische Softwaresysteme ist unerlässlich, um das vorhandene Wissen und die Teilprozesse zu integrieren. Die Kopplungen sind als Schnittstellen implementiert, die aus der abstrakten Diagrammdarstellung ("model-to-text transformations" (M2T)) domänenspezifische Modelle im Zielformat (DSL) erzeugen. Es gibt bereits Schnittstellen für Geometrie (CAD), Mehrkörpersysteme (MBS), Finite Elemente (FEM), Strömungsanalyse (CFD), etc. (siehe Abbildung unten).

Entwurfsanalyse und -bewertung

Nach dem Pi-Theorem von Buckingham ist es möglich, eine physikalische Beziehung von n dimensionsbehafteten Variablen in eine dimensionslose Beschreibung mit nur m = n - g dimensionslosen Variablen umzuwandeln. Dabei steht g für die Anzahl der verwendeten Basisvariablen. Dieses Wissen kann auch auf Entwürfe übertragen werden - die auch durch dimensionsbehaftete Variablen beschrieben werden können - und als Bewertung neu interpretiert werden.

Jede im Sinne des Pi-Theorems minimale Beschreibung ist eine Bewertung.

Digitale Fabrik

Neben einer Vielzahl von Randbedingungen hat das Produkt einen wesentlichen Einfluss auf die zugehörige (digitale) Fabrik. Die Informationen, die ein mit graphenbasierten Entwurfssprachen erstelltes Produkt bereits liefert, können automatisch weiterverarbeitet und zur Generierung geeigneter Produktionsstätten verwendet werden. Ziel ist es, automatisch eine optimale Fabrik (in Bezug auf Kosten, Energie, Zeit, etc.) planen zu können. Dies betrifft sowohl den Ressourceneinsatz als auch die Fertigungsprozesse. Darüber hinaus beschäftigt sich die "Pi-Gruppe" auch mit der Frage nach der optimalen Fabrikstruktur.

Automatisierte Verkabelung und Verrohrung

Ein wesentlicher Schritt im Entwurf komplexer Produkte ist die Verkabelung und Verrohrung. Die "Pi-Gruppe" forscht hier an Algorithmen für ein automatisiertes Kabel- und Rohrrouting, sowie an der physikalischen Simulation von Kabeln und Rohren für Einbausimulationen und weitere Anwendungsfälle.

00:44
© IILS mbH

Projekte

Das Zentrum für angewandte Forschung „Digitaler Produktlebenszyklus“ (DiP) überträgt die extrem leistungsfähigen Ansätze der Hard- und Softwareentwicklung (u.A. die Unified Modellig Language UML) und adaptiert diese auf weite Bereiche des Maschinenbaus und der Fahrzeugtechnik. Ziel ist es, den gesamten Produktlebenszyklus mit allen relevanten produkt-, prozess- und ressourcenbezogenen Daten in ein digitales Gesamtmodell zu integrieren und die erforderlichen Prozesse, Methoden, Werkzeuge und Bibliotheken bereitzustellen.

Digitale Modellierung des Produktlebenzykluses einer PKW-Frontklappe

02:03
© ZAFH-Projekt Digitaler Produktlebenszyklus ("DiP")

Projektseite Digitaler Produktlebenszyklus

Das Forschungsvorhaben IDEaliSM lässt sich in drei Hauptziele unterteilen:

  • Ein fortschrittliches Integrationsframework für verteiltes multidisziplinäres Design und Optimierung, das es Kompetenzzentren ermöglicht, Engineering-Dienstleistungen anzubieten und zu teilen und in verteilten Entwicklungsteams zusammenzuarbeiten.
  • Eine Engineering Language Workbench: eine Reihe von domänenspezifischen und hochrangigen Modellierungssprachen, Ontologien und Datenstandards, um eine flexible Konfiguration von Engineering-Workflows und -Services zu ermöglichen und eine einfache Integration in das verteilte Advanced Integration Framework zu ermöglichen.
  • Eine Methodik für serviceorientierte Entwicklungsprozesse zur Neudefinition des Produktentwicklungsprozesses und der Informationsarchitektur, um die Zusammenarbeit zwischen serviceorientierten Kompetenzzentren in verteilten Entwicklungsteams zu ermöglichen.

Der daraus resultierende Entwicklungsrahmen wird die europäische Industrie dabei unterstützen, ihren Integrationsgrad und ihre Flexibilität bei der Produktentwicklung zu verbessern, um den Aufwand, die Kosten und die Markteinführungszeit bei der Entwicklung innovativer Flugzeug- und Fahrzeugstrukturen und -systeme zu reduzieren. Damit passt IDEaliSM gut zu dem in der ITEA2-Forschungs-Roadmap identifizierten Bereich "Engineering Technology" und den Herausforderungen in den Bereichen Systems Engineering und Software Engineering.

Projektseite IDEaliSM

Publikationen

Alle Publikationen nach Erscheinungsjahr

  1. 2021

    1. Walter, B. (2021). Formal knowledge representations for textual automotive system requirements and tests [Dissertation, Universität Stuttgart]. https://doi.org/10.18419/opus-11362
    2. Wasielewski, S. (2021). Ammoniumrückgewinnung aus Schlammwasser mittels Ionenaustausch an Klinoptilolith [Dissertation, Universität Stuttgart]. In Stuttgarter Berichte zur Siedlungswasserwirtschaft, Band 248. https://doi.org/10.18419/OPUS-11464
    3. Riestenpatt genannt Richter, M. (2021). Automatische Fehlerbaumerstellung und -analyse zeitinvarianter Netzwerke [Dissertation, Universität Stuttgart]. https://doi.org/10.18419/opus-11479
  2. 2020

    1. Klein, S. (2020). Weniger Materialverbrauch durch Formenvielfalt. Holz Zentralblatt, 146.4, 79.
    2. Hobe, S. (2020). Einführung in das Völkerrecht (11.). Narr Francke Attempto Verlag.
    3. Stephan, J. (2020). Flight control for manned multirotor aircraft with complex and constrained actuation systems. In Fortschrittsberichte des Instituts für Flugmechanik und Flugregelung (Dissertation Nr. 10; Nummer 10). Shaker Verlag.
    4. Netzhammer, S. (2020). Vorhersage strömungsinduzierter Turbinenschaufelschwingungen und Beeinflussung dieser durch Maßnahmen am Turbinengehäuse [Dissertation, Universität Stuttgart]. https://doi.org/10.18419/opus-10934
  3. 2019

    1. Fritzsche, S. (2019). A fresh computational approach to atomic structures, processes and cascades. Comput. Phys. Commun., 240, 1–14. http://dblp.uni-trier.de/db/journals/cphysics/cphysics240.html#Fritzsche19
    2. Haarmann, S. (2019). Estimating the Duration of Blockchain-Based Business Processes Using Simulation. In S. Kolb & C. Sturm (Hrsg.), ZEUS (Bd. 2339, S. 24–31). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/zeus/zeus2019.html#Haarmann19
    3. Baier, S. (2019). Analyzing Customer Feedback for Product Fit Prediction. CoRR, abs/1908.10896. http://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-10896
    4. Bosch, S. (2019). Internet Message Access Protocol (IMAP) - SAVEDATE Extension. RFC, 8514, 1–7. http://dblp.uni-trier.de/db/journals/rfc/rfc8500-8599.html
    5. Biller, S. (2019). The operational butterfly effect: How IoT data + AI help deliver on the promise of 4IR. CASE, 1. http://dblp.uni-trier.de/db/conf/case/case2019.html#Biller19
    6. Bosch, S. (2019). Sieve Email Filtering: Delivering to Special-Use Mailboxes. RFC, 8579, 1–12. http://dblp.uni-trier.de/db/journals/rfc/rfc8500-8599.html
    7. Schnitzer, S. (2019). Real-time scheduling for 3D rendering on automotive embedded systems [Dissertation, Universität Stuttgart]. https://doi.org/10.18419/opus-10345
    8. Raaijmakers, S. (2019). Artificial Intelligence for Law Enforcement: Challenges and Opportunities. IEEE Security & Privacy, 17(5), 74–77. http://dblp.uni-trier.de/db/journals/ieeesp/ieeesp17.html#Raaijmakers19
    9. Bachmann, S., Fischer, S., & Drück, H. (2019). Reduktion des solaren Wärmepreises durch Leistungssteigerung der Solaranlage. 29. Symposium Solarthermie und innovative Wärmesysteme. 29. Symposium Solarthermie und innovative Wärmesysteme, Bad Staffelstein, Deutschland.
    10. Stephan, M. (2019). Towards a cognizant virtual software modeling assistant using model clones. In A. Sarma & L. Murta (Hrsg.), ICSE (NIER) (S. 21–24). IEEE / ACM. http://dblp.uni-trier.de/db/conf/icse/nier2019.html#Stephan19
    11. Rabanser, S., Günnemann, S., & Lipton, Z. C. (2019). Failing Loudly: An Empirical Study of Methods for Detecting Dataset Shift. In H. M. Wallach, H. Larochelle, A. Beygelzimer, F. d’Alché Buc, E. A. Fox, & R. Garnett (Hrsg.), NeurIPS (S. 1394–1406). http://dblp.uni-trier.de/db/conf/nips/nips2019.html#RabanserGL19
    12. Eggersglüß, S. (2019). Towards Complete Fault Coverage by Test Point Insertion using Optimization-SAT Techniques. ITC-Asia, 67–72. http://dblp.uni-trier.de/db/conf/itc-asia/itc-asia2019.html#Eggersgluss19
    13. Dempe, S. (2019). Computing Locally Optimal Solutions of the Bilevel Optimization Problem Using the KKT Approach. In M. Khachay, Y. Kochetov, & P. M. Pardalos (Hrsg.), MOTOR (Bd. 11548, S. 147–157). Springer. http://dblp.uni-trier.de/db/conf/motor/motor2019.html#Dempe19
    14. Diestelhorst, S. (2019). Interaction of hardware transactional memory and microprocessor microarchitecture. (S. 1–317). Dresden University of Technology, Germany.
    15. Meisel, S. (2019). All Dynamic Decision Problems Are Created with Equal Structure. In K. Bergener, M. Räckers, & A. Stein (Hrsg.), The Art of Structuring (S. 113–123). Springer. http://dblp.uni-trier.de/db/books/collections/BRS2019.html#Meisel19
    16. Wasielewski, S. (2019). Sustainable Solutions for Wastewater Treatment. Expo Agua Perú 2019, Lima, Peru.
    17. Beck, S. (2019). Immersive Telepresence Systems and Technologies. Bauhaus University, Weimar, Germany.
    18. Hutterer, S. (2019). Demonstration: Cyber-Attacken auf Automatisierungssysteme und einfache Gegenmaßnahmen. Elektrotechnik und Informationstechnik, 136(8), 394–395. http://dblp.uni-trier.de/db/journals/ei/ei136.html#Hutterer19
    19. Baier, S. (2019). Learning representations for supervised information fusion using tensor decompositions and deep learning methods. Ludwig Maximilian University of Munich, Germany.
    20. Stephan, M. (2019). Emerging Concepts and Trends in Collaborative Modeling: A Survey. In S. Hammoudi, L. F. Pires, & B. Selic (Hrsg.), MODELSWARD (S. 240–247). SciTePress. http://dblp.uni-trier.de/db/conf/modelsward/modelsward2019.html#Stephan19
    21. Mennicke, S. (2019). Modal Schema Graphs for Graph Databases. In A. H. F. Laender, B. Pernici, E.-P. Lim, & J. P. M. de Oliveira (Hrsg.), ER (Bd. 11788, S. 498–512). Springer. http://dblp.uni-trier.de/db/conf/er/er2019.html#Mennicke19
    22. Winter, S. (2019). Impression-Motivated News Consumption. J. Media Psychology, 31(4), Article 4. http://dblp.uni-trier.de/db/journals/zmp/zmp31.html#Winter19
    23. Druskat, S. (2019). Software and their Dependencies in Research Citation Graphs. CoRR, abs/1906.06141. http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-06141
    24. Schmid, S. (2019). Semi-dense filter-based visual odometry for automotive augmented reality applications [Dissertation, Universität Stuttgart]. https://doi.org/10.18419/opus-10532
    25. Hammer, S. (2019). UX-orientierte Entwicklung von Empfehlungssystemen für Beratung und Assistenz. University of Augsburg, Germany.
    26. Euler, S. (2019). Automatic Evaluation of the Quality of Solutions for an Open Programming Task. In B. Scharlau, R. McDermott, A. Pears, & M. Sabin (Hrsg.), ITiCSE (S. 237–238). ACM. http://dblp.uni-trier.de/db/conf/iticse/iticse2019.html#Euler19
  4. 2018

    1. Bosch, S. (2018). IMAP Extension for STATUS=SIZE. RFC, 8438, 1–6. http://dblp.uni-trier.de/db/journals/rfc/rfc8400-8499.html
    2. Ihrke, S. (2018). Precise Edge Tracking of Vehicles Using a Static Camera Setup. ISPACS, 12–17. http://dblp.uni-trier.de/db/conf/ispacs/ispacs2018.html#Ihrke18
    3. Wünsche, S. (2018). Forschungsdaten in musikwissenschaftlichen und musikpädagogischen Dissertationen. http://dx.doi.org/10.18452/19457
    4. Kreutzer, S. (2018). The Presburger Award 2018 - Laudatio for Aleksander Madry. Bulletin of the EATCS, 125. http://dblp.uni-trier.de/db/journals/eatcs/eatcs125.html#Kreutzer18
    5. Ulbricht, S. (2018). Technische und ökonomische Evaluation von Informationssystemen im Kontext von Big Data. (S. 1–63). University of Jena, Germany.
    6. Sigg, S. (2018). Some aspects of physical prototyping in Pervasive Computing. CoRR, abs/1801.06326. http://dblp.uni-trier.de/db/journals/corr/corr1801.html#abs-1801-06326
    7. Abele, S. (2018). Diagnostic Problem-Solving Process in Professional Contexts: Theory and Empirical Investigation in the Context of Car Mechatronics Using Computer-Generated Log-Files. Vocations And Learning, 11(1), 133–159. https://doi.org/10.1007/s12186-017-9183-x
    8. Euler, S. (2018). Board of symbols: a tool for teaching programming. In I. Polycarpou, J. C. Read, P. Andreou, & M. Armoni (Hrsg.), ITiCSE (S. 352–353). ACM. http://dblp.uni-trier.de/db/conf/iticse/iticse2018.html#Euler18
    9. Rössler, A. M. S., & Günnemann, S. (2018). ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning. In R. Hebig & T. Berger (Hrsg.), MODELS Workshops (Bd. 2245, S. 521–523). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/models/models2018w.html#RosslerG18
    10. Eckert, S. (2018). Wirkungsorientiertes Investieren in Deutschland - Anlagebereitschaft, Erfordernisse und Potenzial hochvermögender deutscher Investoren : eine Analyse der Bedürfnisstrukturen hochvermögender Anleger im Kontext der Behavioral Finance [Dissertation, Springer Gabler]. In Nachhaltigkeit und Finanzen. https://doi.org/10.1007/978-3-658-21641-2
    11. Rabanser, S., Günnemann, S., & Lipton, Z. C. (2018). Failing Loudly: An Empirical Study of Methods for Detecting Dataset Shift. CoRR, abs/1810.11953. http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-11953
    12. Weiss, S. (2018). Extending Narrowband Descriptions and Optimal Solutions to Broadband Sensor Arrays. In L. Gomes, A. Ahrens, C. Benavente-Peces, & M. S. Obaidat (Hrsg.), PECCS (S. 5–152). SciTePress. http://dblp.uni-trier.de/db/conf/peccs/peccs2018.html#Weiss18
    13. Brandauer, S. (2018). Structured Data. Uppsala University, Sweden.
    14. Matzka, S. (2018). Using Process Quality Prediction to Increase Resource Efficiency in Manufacturing Processes. AI4I, 110–111. http://dblp.uni-trier.de/db/conf/ai4i/ai4i2018.html#Matzka18
    15. Alaniz, S. (2018). Deep Reinforcement Learning with Model Learning and Monte Carlo Tree Search in Minecraft. CoRR, abs/1803.08456. http://dblp.uni-trier.de/db/journals/corr/corr1803.html#abs-1803-08456
    16. Guttinger, S. (2018). Trust in Science: CRISPR-Cas9 and the Ban on Human Germline Editing. Science and Engineering Ethics, 24(4), 1077–1096. http://dblp.uni-trier.de/db/journals/see/see24.html#Guttinger18
    17. Küster, S. (2018). Entwicklung einer Sakkadentrainingssoftware für Kinder mit Hemianopsie und Evaluierung des Trainingseffekts. (S. 1–165). University of Tübingen, Germany.
    18. Bachmann, S., Fischer, S., & Drück, H. (2018). Vorstellung der im Projekt „KoST“ entwickelten Standards für Flachkollektoren und bivalente Trinkwasserspeicher. Symposium Thermische Solarenergie.
    19. Ohl, S. (2018). Tele-Immersion Concepts. IEEE Trans. Vis. Comput. Graph., 24(10), 2827–2842. http://dblp.uni-trier.de/db/journals/tvcg/tvcg24.html#Ohl18
    20. Humeniuk, S. (2018). Quantum Monte Carlo studies of strongly correlated systems for quantum simulators [Dissertation, Universität Stuttgart]. https://doi.org/10.18419/opus-9938
  5. 2017

    1. Rabanser, S., Shchur, O., & Günnemann, S. (2017). Introduction to Tensor Decompositions and their Applications in Machine Learning. CoRR, abs/1711.10781. http://dblp.uni-trier.de/db/journals/corr/corr1711.html#abs-1711-10781
    2. Böhme, S. (2017). Context reasoning for role-based models. (S. 1–96). Dresden University of Technology, Germany.
    3. Ohl, S. (2017). Models for the design of distributed telepresence systems. (S. 1–148). University of Rostock, Germany.
    4. Kühnel, S. (2017). Toward a Conceptual Model for Cost-Effective Business Process Compliance. In M. Eibl & M. Gaedke (Hrsg.), GI-Jahrestagung: Bd. P-275 (S. 1631–1639). GI. http://dblp.uni-trier.de/db/conf/gi/gi2017.html#Kuhnel17
    5. Noller, S. (2017). Calliope mini - Informatik zum Anfassen für GrundschülerInnen. In I. Diethelm (Hrsg.), INFOS: Bd. P-274 (S. 49). http://dblp.uni-trier.de/db/conf/schule/infos2017.html#Noller17
    6. Dreiseitl, S. (2017). Evaluating Parallel Minibatch Training for Machine Learning Applications. In R. Moreno-Díaz, F. Pichler, & A. Quesada-Arencibia (Hrsg.), EUROCAST (1) (Bd. 10671, S. 400–407). Springer. http://dblp.uni-trier.de/db/conf/eurocast/eurocast2017-1.html#Dreiseitl17
    7. Stephan, V. (2017). Information Visualization of Environment Maps for Complex, Relational Data for Better Reflected Decision Making on the Example of Food. In M. Gäde, V. Trkulja, & V. Petras (Hrsg.), ISI (S. 321–328). Verlag Werner Hülsbusch. http://dblp.uni-trier.de/db/conf/isiwi/isiwi2017.html#Stephan17
    8. Zinke, S. (2017). Applying n-bit floating point numbers and integers, and the n-bit filter of HDF5 to reduce file sizes of remote sensing products in memory-sensitive environments. Computers & Geosciences, 99, 155–158. http://dblp.uni-trier.de/db/journals/gandc/gandc99.html#Zinke17
    9. Kreutzer, S. (2017). Current Trends and New Perspectives for First-Order Model Checking (Invited Talk). In V. Goranko & M. Dam (Hrsg.), CSL (Bd. 82, S. 4:1-4:5). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. http://dblp.uni-trier.de/db/conf/csl/csl2017.html#Kreutzer17
    10. Kühnel, S. (2017). Toward Cost-Effective Business Process Compliance. In M. Eibl & M. Gaedke (Hrsg.), GI-Jahrestagung: Bd. P-275 (S. 2379–2384). GI. http://dblp.uni-trier.de/db/conf/gi/gi2017.html#Kuhnel17a
    11. Stephan, M. (2017). Challenges in Teaching Modeling in Agile Software Engineering Courses. In L. Burgueño, J. Corley, N. Bencomo, P. J. Clarke, P. Collet, M. Famelis, S. Ghosh, M. Gogolla, J. Greenyer, E. Guerra, S. Kokaly, A. Pierantonio, J. Rubin, & D. D. Ruscio (Hrsg.), MODELS (Satellite Events) (Bd. 2019, S. 525–528). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/models/models2017s.html#Stephan17
  6. 2016

    1. Krusche, S. (2016). Rugby - A Process Model for Continuous Software Engineering. Technical University Munich, Germany.
    2. Schiffel, S. (2016). Grounding GDL Game Descriptions. In T. Cazenave, M. H. M. Winands, S. Edelkamp, S. Schiffel, M. Thielscher, & J. Togelius (Hrsg.), CGW@IJCAI (Bd. 705, S. 152–164). http://dblp.uni-trier.de/db/conf/ijcai/cgw2016.html#Schiffel16
    3. Humeniuk, S. (2016). Quantum Monte Carlo study of long-range transverse-field Ising models on the triangular lattice. Physical Review. B, Condensed Matter and Materials Physics, 93(10), 104412. https://doi.org/10.1103/PhysRevB.93.104412
    4. Neumann, S. (2016). Evaluation and improvement of internet voting schemes based on legally-founded security requirements. (S. 1–165). Darmstadt University of Technology, Germany.
    5. Druskat, S. (2016). A Proposal for the Measurement and Documentation of Research Software Sustainability in Interactive Metadata Repositories. CoRR, abs/1608.04529. http://dblp.uni-trier.de/db/journals/corr/corr1608.html#Druskat16
    6. Kreutzer, S. (2016). Nowhere Crownful Classes of Directed Graphs. In Encyclopedia of Algorithms (S. 1416–1419). http://dblp.uni-trier.de/db/reference/algo/algo2016.html#Kreutzer16
    7. Diehl, S. (2016). Make visualization part of your analysis process. In T. Menzies, L. Williams, & T. Zimmermann (Hrsg.), Perspectives on Data Science for Software Engineering (S. 267–269). Academic Press. http://dblp.uni-trier.de/db/books/collections/MWZ2016.html#Diehl16
    8. Hartmann, S. (2016). Generalized Dicke states. Quantum Information & Computation, 16(15 & 16), 1333–1348. http://dblp.uni-trier.de/db/journals/qic/qic16.html#Hartmann16
    9. Seifermann, S. (2016). Architectural Data Flow Analysis. WICSA, 270–271. http://dblp.uni-trier.de/db/conf/wicsa/wicsa2016.html#Seifermann16
    10. Heuser, S. (2016). Towards Modular and Flexible Access Control on Smart Mobile Devices. Darmstadt University of Technology, Germany.
    11. Tschechne, S. (2016). Contextual influences in hierarchical motion and form processing - a modeling study in bio-mimetic architecture. University of Ulm, Germany.
    12. Preuss, S. (2016). Digitale Innovationen vorantreiben. Wirtschaftsinformatik & Management, 8(2), 87–96. http://dblp.uni-trier.de/db/journals/wm/wm8.html#Preuss16
    13. Tost, S. (2016). Wissensgewinnung und -nutzung in Outsourcing-Projekten. Softwaretechnik-Trends, 36(2), Article 2. http://dblp.uni-trier.de/db/journals/stt/stt36.html#Tost16
    14. Kornmesser, S. (2016). A frame-based approach for theoretical concepts. Synthese, 193(1), 145–166. http://dblp.uni-trier.de/db/journals/synthese/synthese193.html#Kornmesser16
    15. Höhl, S. (2016). Entwicklung eines datenbankbasierten Tools zur vorausschauenden Finanz- und Erfolgsplanung von Milchviehbetrieben. In A. Ruckelshausen, A. Meyer-Aurich, T. Rath, G. Recke, & B. Theuvsen (Hrsg.), GIL Jahrestagung: Bd. P-253 (S. 69–72). GI. http://dblp.uni-trier.de/db/conf/gil/gil2016.html#Hohl16
    16. Meyer, S. (2016). Analysis of sigmoid-based blind equalizer algorithms. CSNDSP, 1–6. http://dblp.uni-trier.de/db/conf/csndsp/csndsp2016.html#Meyer16
    17. Lenor, S. (2016). Model-based estimation of meteorological visibility in the context of automative camera systems. (S. 1–222). University of Heidelberg, Germany.
    18. Barth, S. (2016). Deciding Monadic Second Order Logic over ω -Words by Specialized Finite Automata. In E. Ábrahám & M. Huisman (Hrsg.), IFM (Bd. 9681, S. 245–259). Springer. http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#Barth16
    19. Spitz, S. (2016). Mobile Multifaktor - Authentisierung. Datenschutz und Datensicherheit, 40(4), 203–205. http://dblp.uni-trier.de/db/journals/dud/dud40.html#Spitz16
    20. Lancier, S. (2016). Spatial memories in place recognition. University of Tübingen, Germany.
    21. Lewandowsky, S. (2016). Future Global Change and Cognition. topiCS, 8(1), 7–18. http://dblp.uni-trier.de/db/journals/topics/topics8.html#Lewandowsky16
  7. 2015

    1. Seufert, S. (2015). Algorithmic building blocks for relationship analysis over large graphs. Saarland University.
    2. Hübler, S. (2015). Rhythmische Musikanalyse und -erkennung. (S. 1–159). Dresden University of Technology.
    3. Arens, S. (2015). A dataflow-based shader framework for visualizing dissections of the heart using individual patient data. University of Paderborn.
    4. Novak, E., Ritter, K., Sloan, I. H., Traub, J. F., & Wozniakowski, H. (2015). Bernd Carl, Aicke Hinrichs, and Philipp Rudolph share the 2014 Best Paper Award. J. Complexity, 31(3), v. http://dblp.uni-trier.de/db/journals/jc/jc31.html#NovakRSTW15
    5. Ewen, S. (2015). Programming abstractions, compilation, and execution techniques for massively parallel data analysis. Berlin Institute of Technology.
    6. Wienert, S. (2015). Quantitative Analyse von Zell- und Gewebeeigenschaften in histologischen Bilddaten. Medizinische Fakultät Charité, Berlin.
    7. Eggersglüß, S. (2015). Compact test set generation for test compression-based designs. ETS, 1–6. http://dblp.uni-trier.de/db/conf/ets/ets2015.html#Eggersglus15
    8. Verbücheln, S. (2015). How Perfect Offline Wallets Can Still Leak Bitcoin Private Keys. CoRR, abs/1501.00447. http://dblp.uni-trier.de/db/journals/corr/corr1501.html#Verbucheln15
    9. Fischer, S. (2015). Entwurf und Verifikation von Ablaufsteuerungen. Shaker.
    10. Schneider, S. (2015). Agile Prozessplanung im Produktentstehungsprozess am Beispiel der Motorenproduktion. Shaker.
    11. Puls, S. (2015). Situationsverstehen für die Risikobeurteilung bei der Mensch-Roboter-Kooperation. KIT Scientific Publishing.
    12. Leutenmayr, S. (2015). Liquid decision making: applying the market metaphor to collective decision making. Ludwig Maximilians University Munich.
    13. Kessler, S. (2015). Privacy-Enhancing Methods for Time Series and their Impact on Electronic Markets. Karlsruhe Institute of Technology.
    14. Trenn, S. (2015). Distributional averaging of switched DAEs with two modes. CDC, 3616–3620. http://dblp.uni-trier.de/db/conf/cdc/cdc2015.html#Trenn15
    15. Zoder, S. (2015). Improving Enterprise Master Data Quality - What Is The ROI? A Practitioner’s Analysis Of The Financial Value Organizations Can Expect From Improving Overall Master Data Quality. AMCIS. http://dblp.uni-trier.de/db/conf/amcis/amcis2015.html#Zoder15
    16. Schlagkamp, S. (2015). Influence of Dynamic Think Times on Parallel Job Scheduler Performances in Generative Simulations. In N. Desai & W. Cirne (Hrsg.), JSSPP (Bd. 10353, S. 123–137). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2016.html#Schlagkamp15
    17. Spiegel, S. (2015). Time series distance measures: segmentation, classification, and clustering of temporal data. Berlin Institute of Technology.
    18. Scheele, S. (2015). Model and proof theory of constructive ALC: constructive description logics. (S. 1–326). University of Bamberg Press.
    19. Kolassa, S. (2015). Retail analytics: integrated forecasting and inventory management for perishable products in retailing. JORS, 66(12), 2103–2104. http://dblp.uni-trier.de/db/journals/jors/jors66.html#Kolassa15
    20. Wasielewski, S. (2015). Detoxification of pesticide containing wastewater by different treatment methods. Workshop on Pretreatment of Industrial Wastewaster. Workshop on Pretreatment of Industrial Wastewaster, Presentation, Can Tho, Vietnam, 18.03.2015.
    21. Jank, S. (2015). Changes in the Composition of Publicly Traded Firms: Implications for the Dividend-Price Ratio and Return Predictability. Management Science, 61(6), 1362–1377. http://dblp.uni-trier.de/db/journals/mansci/mansci61.html#Jank15
    22. Stephan, A. (2015). Empathy for Artificial Agents. I. J. Social Robotics, 7(1), 111–116. http://dblp.uni-trier.de/db/journals/ijsr/ijsr7.html#Stephan15
    23. Sigg, S. (2015). Contact-free sensing for collective activity recognition. In K. Mase, M. Langheinrich, D. Gatica-Perez, H. Gellersen, T. Choudhury, & K. Yatani (Hrsg.), UbiComp/ISWC Adjunct (S. 885–886). ACM. http://dblp.uni-trier.de/db/conf/huc/ubicomp2015ap.html#Sigg15
    24. Eggersglus, S. (2015). Compact test set generation for test compression-based designs. ETS, 1–6. http://dblp.uni-trier.de/db/conf/ets/ets2015.html#Eggersglus15
  8. 2014

    1. Stephan, H. (2014). Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs. CoRR, abs/1405.3826. http://dblp.uni-trier.de/db/journals/corr/corr1405.html#Stephan14
    2. Leuenberger, S. (2014). Total Logic-ERRATUM. Rev. Symb. Log., 7(3), 599. http://dblp.uni-trier.de/db/journals/rsl/rsl7.html#Leuenberger14a
    3. Kauer, M., & Krupka, M. (2014). Removing an Incidence from a Formal Context. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 195–206). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#KauerK14
    4. Jacobs, S. (2014). Tagungsbericht: 36. Treffen der GI - Fachgruppe Test, Analyse und Verifikation von Software (TAV-36), 26. und 27. Juni 2014, Softwareforen Leipzig. Softwaretechnik-Trends, 34(3), Article 3. http://dblp.uni-trier.de/db/journals/stt/stt34.html#Jacobs14
    5. Dimassi, I., Mouakher, A., & Yahia, S. B. (2014). DFSP: A New Algorithm for a Swift Computation of Formal Concept Set Stability. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 169–180). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#DimassiMY14
    6. Göppert, S. (2014). Wie Shared Services Center zu strategischen Partnern werden. Wirtschaftsinformatik & Management, 2014(3), 28–29. http://dblp.uni-trier.de/db/journals/wm/wm2014.html#Goppert14
    7. Sigg, S. (2014). A fast binary feedback-based distributed adaptive carrier synchronisation for transmission among clusters of disconnected IoT nodes in smart spaces. Ad Hoc Networks, 16, 120–130. http://dblp.uni-trier.de/db/journals/adhoc/adhoc16.html#Sigg14
    8. Hell, S. (2014). On the Number of Colored Birch and Tverberg Partitions. Electr. J. Comb., 21(3), P3.23. http://dblp.uni-trier.de/db/journals/combinatorics/combinatorics21.html#Hell14
    9. Cabrera, I. P., Ojeda-Aciego, M., & Pócs, J. (2014). Ordering Objects via Attribute Preferences. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 157–168). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#CabreraOP14
    10. Trnecka, M., & Trneckova, M. (2014). An Algorithm for the Multi-Relational Boolean Factor Analysis based on Essential Elements. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 107–118). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#TrneckaT14
    11. Bosch, S. (2014). Sieve Email Filtering: Detecting Duplicate Deliveries. RFC, 7352, 1–15. http://dblp.uni-trier.de/db/journals/rfc/rfc7300-7399.html
    12. Pfletschinger, S. (2014). Joint decoding of multiple non-binary LDPC codewords. ICC Workshops, 513–519. http://dblp.uni-trier.de/db/conf/icc/icc2014w.html#Pfletschinger14
    13. Büttner, S. (2014). Langzeitarchivierung von Forschungsdaten. Eine Bestandsaufnahme. Inf. Wiss. & Praxis, 65(4–5), 299–300. http://dblp.uni-trier.de/db/journals/nfd/nfd65.html#Buttner14
    14. Naidenova, X. A., & Parkhomenko, V. (2014). Attributive and Object Subcontexts in Inferring Good Maximally Redundant Tests. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 181–193). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#NaidenovaP14
    15. Opfer, S. (2014). Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plänen. Informatik Spektrum, 37(1), 42–45. http://dblp.uni-trier.de/db/journals/insk/insk37.html#Opfer14
    16. Leuenberger, S. (2014). Total Logic. Rev. Symb. Log., 7(3), 529–547. http://dblp.uni-trier.de/db/journals/rsl/rsl7.html#Leuenberger14
    17. Kridlo, O., Antoni, L., & Krajci, S. (2014). Looking for Bonds between Nonhomogeneous Formal Contexts. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 83–94). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#KridloAK14
    18. Arlt, S. (2014). Program analysis and black-box GUI testing = Program Analysis und Black-box GUI Testing. University of Freiburg, Germany.
    19. Seki, H., & Kamiya, Y. (2014). Merging Closed Pattern Sets in Distributed Multi-Relational Data. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 71–82). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#SekiK14
    20. Albacete, F. J. V., Peláez-Moreno, C., & Peñas, A. (2014). On Concept Lattices as Information Channels. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 119–130). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#AlbacetePP14
    21. Diehl, S. (2014). Past, Present, and Future in and of Software Visualization. In S. Battiato & J. Braz (Hrsg.), VISAPP (1) (S. IS-5). SciTePress. http://dblp.uni-trier.de/db/conf/visapp/visapp2014-1.html#Diehl14
    22. Gnatyshak, D., Ignatov, D. I., Kuznetsov, S. O., & Nourine, L. (2014). A One-pass Triclustering Approach: Is There any Room for Big Data? In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 231–242). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#GnatyshakIKN14
    23. Dao, N. B., Bertet, K., & Revel, A. (2014). Reduction Dimension of Bags of Visual Words with FCA. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 219–230). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#DaoBR14
    24. Berendonk, S. (2014). The Length of Spirographic Curves. The American Mathematical Monthly, 121(3), 207–212. http://dblp.uni-trier.de/db/journals/tamm/tamm121.html#Berendonk14
    25. Muller, S. (2014). Aggregates caching for enterprise applications. ICDE Workshops, 345–349. http://dblp.uni-trier.de/db/conf/icde/icdew2014.html#Muller14
    26. Fischer, S. (2014). Challenges of the Internet of Services. In W. Wahlster, H.-J. Grallert, S. Wess, H. Friedrich, & T. Widenka (Hrsg.), Towards the Internet of Services (S. 15–27). Springer. http://dblp.uni-trier.de/db/series/cogtech/cogtech331906754.html#Fischer14
    27. Meister, S. (2014). On creating reference data for performance analysis in image processing. (S. 1–193). University of Heidelberg, Germany.
    28. Leitner, S. (2014). Behavioral Rationality and Heterogeneous Expectations in Complex Economic Systems by Cars Hommes. J. Artificial Societies and Social Simulation, 17(2), Article 2. http://dblp.uni-trier.de/db/journals/jasss/jasss17.html#Leitner14
    29. Liwicki, S. (2014). Robust online subspace learning. Imperial College London, UK.
    30. Fritzsche, S. (2014). The Feynman tools for quantum information processing: Design and implementation. Comput. Phys. Commun., 185(6), 1697–1718. http://dblp.uni-trier.de/db/journals/cphysics/cphysics185.html#Fritzsche14
    31. Leitner, S. (2014). A simulation analysis of interactions among intended biases in costing systems and their effects on the accuracy of decision-influencing information. CEJOR, 22(1), 113–138. http://dblp.uni-trier.de/db/journals/cejor/cejor22.html#Leitner14
    32. Mertens, S. (2014). Stable Roommates Problem with Random Preferences. CoRR, abs/1401.5269. http://dblp.uni-trier.de/db/journals/corr/corr1401.html#Mertens14
    33. Hildebrandt, S. (2014). On the performance and conformance of triple graph grammar implementations. (S. 1–217). University of Potsdam.
    34. Menzel, S. (2014). Modeling and simulation of electrochemical metallization memory cells. ISCAS, 2025–2028. http://dblp.uni-trier.de/db/conf/iscas/iscas2014.html#Menzel14
    35. Windmüller, S. (2014). Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle. Technical University Dortmund, Germany.
    36. Strodl, S. (2014). Processes for the Future: Sustainable External Dependencies of Processes. TCDL Bulletin, 10(1), Article 1. http://dblp.uni-trier.de/db/journals/tcdl/tcdl10.html#Strodl14
    37. Bartl, E., & Konecny, J. (2014). Formal L-concepts with Rough Intents. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 207–218). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#BartlK14
    38. Rodríguez-Jiménez, J. M., Cordero, P., Enciso, M., & Mora, A. (2014). A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 267–278). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#Rodriguez-JimenezCEM14
    39. Wenger, S. (2014). Regularized Optimization Methods for Reconstruction and Modeling in Computer Graphics. (S. 1–196). Books on Demand.
    40. Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014. (2014). In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html
    41. Al-Msie’deen, R., Huchard, M., Seriai, A., Urtado, C., & Vauttier, S. (2014). Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 95–106). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#Al-MsiedeenHSUV14
    42. Krämer, S. (2014). Implicit commitment in theory choice. Synthese, 191(10), 2147–2165. http://dblp.uni-trier.de/db/journals/synthese/synthese191.html#Kramer14
    43. Holzer, S. (2014). Distance computation, information dissemination, and wireless capacity in networks. (S. 1–242). Hartung-Gorre.
    44. Alam, M., & Napoli, A. (2014). Defining Views with Formal Concept Analysis for Understanding SPARQL Query Results. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 255–266). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#AlamN14
    45. Kaytoue, M., Codocedo, V., Baixeries, J., & Napoli, A. (2014). Three Interrelated FCA Methods for Mining Biclusters of Similar Values on Columns. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 243–254). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#KaytoueCBN14
    46. Wenger, S. (2014). Regularisierte Optimierungsverfahren für Rekonstruktion und Modellierung in der Computergraphik. In S. Hölldobler (Hrsg.), Ausgezeichnete Informatikdissertationen: Bd. D-15 (S. 291–300). GI. http://dblp.uni-trier.de/db/conf/gi/diss2014.html#Wenger14
    47. Antoni, L., Gunis, J., Krajci, S., Kridlo, O., & Snajder, L. (2014). The Educational Tasks and Objectives System within a Formal Context. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 35–46). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#AntoniGKKS14
    48. Jacob, S. (2014). Ein Ordnungsrahmen zur Unterstützung der Generierung von Handlungsalternativen in öffentlichen Organisationen basierend auf Instrumenten des Semantic Web. (S. 1–245). Shaker.
    49. Otaki, K., Ikeda, M., & Yamamoto, A. (2014). Pattern Structures for Understanding Episode Patterns. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 47–58). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#OtakiIY14
    50. Reuter, S. (2014). Multi-object tracking using random finite sets. (S. 1–214). University of Ulm.
    51. Meyer, S. (2014). Verbundoptimierung und Realisierung echtzeitfähiger blinder Kanalentzerrungs- und Synchronisationsmodule. (S. 1–174). Shaker.
    52. Heckmüller, S. (2014). Modellbasierte Lasttransformationen. Praxis der Informationsverarbeitung und Kommunikation, 37(2), 73–80. http://dblp.uni-trier.de/db/journals/pik/pik37.html#Heckmuller14
    53. Lorenzo, E. R., Bertet, K., Cordero, P., Enciso, M., & Mora, A. (2014). The Direct-optimal Basis via Reductions. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 145–156). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#LorenzoBCEM14
    54. Fischer, S. (2014). Big Data: Herausforderungen und Potenziale für deutsche Softwareunternehmen. Informatik Spektrum, 37(2), 112–119. http://dblp.uni-trier.de/db/journals/insk/insk37.html#Fischer14
    55. Schmidt, S. (2014). A Two Stage CVT / Eikonal Convection Mesh Deformation Approach for Large Nodal Deformations. CoRR, abs/1411.7663. http://dblp.uni-trier.de/db/journals/corr/corr1411.html#Schmidt14a
    56. Pattison, T., & Ceglar, A. (2014). Interaction Challenges for the Dynamic Construction of Partially-Ordered Sets. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 23–34). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#PattisonC14
    57. Coupelon, O., Dia, D., Labernia, F., Loiseau, Y., & Raynaud, O. (2014). Using Closed Itemsets for Implicit User Authentication in Web Browsing. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 131–144). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#CoupelonDLLR14
    58. Aier, S. (2014). The role of organizational culture for grounding, management, guidance and effectiveness of enterprise architecture principles. Inf. Syst. E-Business Management, 12(1), 43–70. http://dblp.uni-trier.de/db/journals/isem/isem12.html#Aier14
    59. Saada, H., Huchard, M., Liquiere, M., & Nebut, C. (2014). Learning Model Transformation Patterns using Graph Generalization. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 11–22). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#SaadaHLN14
    60. Stephan, M. (2014). Model Clone Detector Evaluation Using Mutation Analysis. ICSME, 633–638. http://dblp.uni-trier.de/db/conf/icsm/icsme2014.html#Stephan14
    61. Ikeda, M., Otaki, K., & Yamamoto, A. (2014). Formal Concept Analysis for Process Enhancement Based on a Pair of Perspectives. In K. Bertet & S. Rudolph (Hrsg.), CLA (Bd. 1252, S. 59–70). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2014.html#IkedaOY14
    62. Eggersglüß, S. (2014). Dynamic X-filling for Peak Capture Power Reduction for Compact Test Sets. J. Electronic Testing, 30(5), 557–567. http://dblp.uni-trier.de/db/journals/et/et30.html#Eggersgluss14
    63. Ligl, S. (2014). Rhizome and Wikipedia: A humanities based approach towards a structural explanation of the namespace. In D. Riehle, J. M. González-Barahona, G. Robles, K. M. Möslein, I. Schieferdecker, U. Cress, A. Wichmann, B. J. Hecht, & N. Jullien (Hrsg.), OpenSym (S. 32:1). ACM. http://dblp.uni-trier.de/db/conf/wikis/opensym2014.html#Ligl14
    64. Diehl, S. (2014). Past, Present, and Future of and in Software Visualization. In S. Battiato, S. Coquillart, J. Pettré, R. S. Laramee, A. Kerren, & J. Braz (Hrsg.), VISIGRAPP (Selected Papers) (Bd. 550, S. 3–11). Springer. http://dblp.uni-trier.de/db/conf/visapp/visigrapp2014.html#000114
    65. Westphal, S. (2014). Scheduling the German Basketball League. Interfaces, 44(5), 498–508. http://dblp.uni-trier.de/db/journals/interfaces/interfaces44.html#Westphal14
    66. Scheuren, S. (2014). Process-Optimized Planning for Cooperative Mobile Robots. KI, 28(4), 325–328. http://dblp.uni-trier.de/db/journals/ki/ki28.html#Scheuren14
    67. Spitz, S. (2014). Vertrauen und Sicherheit bei Smartphones. Datenschutz und Datensicherheit, 38(10), 671–674. http://dblp.uni-trier.de/db/journals/dud/dud38.html#Spitz14
  9. 2013

    1. Lehner, S. (2013). Separate Yet Interdependent Networks: The Structure and Function of European Air Transport. In G. Ghoshal, J. Poncela-Casasnovas, & R. Tolksdorf (Hrsg.), CompleNet (Bd. 476, S. 109–120). Springer. http://dblp.uni-trier.de/db/conf/complenet/complenet2013.html#Lehner13
    2. Pech, S. (2013). Software Agents in Industrial Automation Systems. IEEE Software, 30(3), 20–24. http://dblp.uni-trier.de/db/journals/software/software30.html#Pech13
    3. Salinger, S. (2013). Ein Rahmenwerk für die qualitative Analyse der Paarprogrammierung. In S. Hölldobler (Hrsg.), Ausgezeichnete Informatikdissertationen: Bd. D-14 (S. 211–220). GI. http://dblp.uni-trier.de/db/conf/gi/diss2013.html#Salinger13
    4. Dreiseitl, S. (2013). Feature Selection for Unsupervised Learning via Comparison of Distance Matrices. In R. Moreno-Díaz, F. Pichler, & A. Quesada-Arencibia (Hrsg.), EUROCAST (1) (Bd. 8111, S. 203–210). Springer. http://dblp.uni-trier.de/db/conf/eurocast/eurocast2013-1.html#Dreiseitl13
    5. Fischer, S. (2013). Modélisation de l’évolution de la taille des génomes et de leur densité en gènes par mutations locales et grands réarrangements chromosomiques. (Modelling of the evolution of genome size and gene den- sity by local mutations and large chromosomal rearran- gements). Institut national des sciences appliquées de Lyon, Lyon - Villeurbanne, France.
    6. Schulz, S. (2013). System Description: E 1.8. In K. L. McMillan, A. Middeldorp, & A. Voronkov (Hrsg.), LPAR (Bd. 8312, S. 735–743). Springer. http://dblp.uni-trier.de/db/conf/lpar/lpar2013.html#Schulz13
    7. Brandt, S. (2013). Cycles and Paths in Triangle-Free Graphs. In R. L. Graham, J. Nesetril, & S. Butler (Hrsg.), The Mathematics of Paul Erdős II (S. 81–93). Springer. http://dblp.uni-trier.de/db/books/collections/GNB2013a.html#Brandt13
    8. Schlamminger, S. (2013). Design of the Permanent-Magnet System for NIST-4. IEEE Trans. Instrumentation and Measurement, 62(6), 1524–1530. http://dblp.uni-trier.de/db/journals/tim/tim62.html#Schlamminger13
    9. Aier, S. (2013). Understanding the Role of Organizational Culture for Design and Success of Enterprise Architecture Management. Wirtschaftsinformatik, 56. http://dblp.uni-trier.de/db/conf/wirtschaftsinformatik/wi2013.html#Aier13
    10. Oepen, S. (2013). Tidying up the Basement: A Tale of Large-Scale Parsing on National eInfrastructure. In S. Oepen, K. Hagen, & J. B. Johannessen (Hrsg.), NODALIDA (Bd. 85, S. 9). Linköping University Electronic Press. http://dblp.uni-trier.de/db/conf/nodalida/nodalida2013.html#Oepen13
    11. Stephan, W. (2013). Information und/oder Infrastruktur - Transformation gestalten: Wünsche, Herausforderung, Realität. Vortrag zur Verabschiedung des Direktors der Universitätsbibliothek Bielefeld, Herrn Ltd. Bibliotheksdirektor Dr. Michael Höppner am 4.12.2012. Bibliotheksebene, 27(Heft 1), 18ff. http://dx.doi.org/10.18419/opus-6429
    12. Aiche, S. (2013). Inferring Proteolytic Processes from Mass Spectrometry Time Series Data. Free University of Berlin.
    13. Schuhmann, S. (2013). Automated composition of adaptive pervasive applications in heterogeneous environments. University of Stuttgart.
    14. Wong, S. (2013). Embedded Reconfigurable Architectures. In P. Brisk, J. G. F. Coutinho, & P. C. Diniz (Hrsg.), ARC (Bd. 7806, S. 229–230). Springer. http://dblp.uni-trier.de/db/conf/arc/arc2013.html#Wong13
    15. Herrmann, S. (2013). Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy? In D. Clarke, J. Noble, & T. Wrigstad (Hrsg.), Aliasing in Object-Oriented Programming (Bd. 7850, S. 443–470). Springer. http://dblp.uni-trier.de/db/series/lncs/lncs7850.html#Herrmann13
    16. Seufert, S. (2013). RDF-4G: algorithmic building blocks for large-scale graph analytics. In L. Chen & X. L. Dong (Hrsg.), SIGMOD/PODS Ph.D. Symposium (S. 67–72). ACM. http://dblp.uni-trier.de/db/conf/sigmod/phd2013.html#Seufert13
    17. Künster, S. (2013). Räumliche Informationen bei Entscheidungen einbeziehen - mit ArcGIS. In M. Clasen, K. C. Kersebaum, A. Meyer-Aurich, & B. Theuvsen (Hrsg.), GIL Jahrestagung: Bd. P-211 (S. 179–182). GI. http://dblp.uni-trier.de/db/conf/gil/gil2013.html#Kunster13
    18. Günnemann, S. (2013). Subspace Clustering for Complex Data. In V. Markl, G. Saake, K.-U. Sattler, G. Hackenbroich, B. Mitschang, T. Härder, & V. Köppen (Hrsg.), BTW: Bd. P-214 (S. 343–362). GI. http://dblp.uni-trier.de/db/conf/btw/btw2013.html#Gunnemann13
    19. Sädtler, S. (2013). Identity management in cloud computing in conformity with European union law? - problems and approaches pursuant to the proposal for a regulation by the European commission on electronic identification and trust services for electronic transactions in the internal market. In D. Hühnlein & H. Roßnagel (Hrsg.), Open Identity Summit: Bd. P-223 (S. 118–129). GI. http://dblp.uni-trier.de/db/conf/openidentity/openidentity2013.html#Sadtler13
    20. Eggersglüß, S. (2013). Peak Capture Power Reduction for Compact Test Sets Using Opt-Justification-Fill. Asian Test Symposium, 31–36. http://dblp.uni-trier.de/db/conf/ats/ats2013.html#Eggersglussv13
    21. Windmüller, S. (2013). Simplifying Firewall Setups by Using Offline Validation. J. Integr. Des. Process. Sci., 17(3), 59–69. http://dblp.uni-trier.de/db/journals/jid/jid17.html#Windmuller13
    22. Stephan, V. (2013). Ortsbezogene Visualisierung von komplexen relationalen Daten am Beispiel von Food Environment Maps. In H.-C. Hobohm (Hrsg.), ISI (Bd. 63, S. 442–447). Verlag Werner Hülsbusch. http://dblp.uni-trier.de/db/conf/isiwi/isiwi2013.html#Stephan13
    23. Schulz, S. (2013). Simple and Efficient Clause Subsumption with Feature Vector Indexing. In M. P. Bonacina & M. E. Stickel (Hrsg.), Automated Reasoning and Mathematics (Bd. 7788, S. 45–67). Springer. http://dblp.uni-trier.de/db/conf/birthday/mccune2013.html#Schulz13
    24. Wasielewski, S. (2013). Anwendung und Bewertung verschiedener Verfahren zur Entgiftung PBSM-haltiger Produktionsabwässer hinsichtlich ihrer Übertragbarkeit auf die Anwendung in einer Pilotanlage unter tropischen Bedingungen am Beispiel der Firma CPC: Diplomarbeit.
    25. Sädtler, S. (2013). Aktuelle Rechtsfragen des Datenschutzes und der Datensicherheit im Cloud Computing. Praxis der Informationsverarbeitung und Kommunikation, 36(3), 165–173. http://dblp.uni-trier.de/db/journals/pik/pik36.html#Sadtler13
    26. Kleuker, S. (2013). Programmiergrundausbildung: Erfahrungen von drei Hochschulen. In A. Spillner & H. Lichter (Hrsg.), SEUH (Bd. 956, S. 47–57). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/seuh/seuh2013.html#Kleuker13
    27. Tassart, S. (2013). Band-Limited Impulse Train Generation Using Sampled Infinite Impulse Responses of Analog Filters. IEEE Trans. Audio, Speech & Language Processing, 21(3), 488–497. http://dblp.uni-trier.de/db/journals/taslp/taslp21.html#Tassart13
    28. Rafler, S. (2013). The Tap code - a code similar to Morse code for communication by tapping. CoRR, abs/1304.5069. http://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-5069
    29. Böhm, S. (2013). Behavior and expectations of mobile job seekers: an industry study focusing on job boards. In T. W. Ferratt, E. M. Trauth, K. D. Joshi, & A. J. Morgan (Hrsg.), CPR (S. 105–110). ACM. http://dblp.uni-trier.de/db/conf/sigcpr/cpr2013.html#Bohm13
  10. 2012

    1. Winter, S. (2012). Indoor Spatial Information. IJ3DIM, 1(1), 25–42. http://dblp.uni-trier.de/db/journals/ij3dim/ij3dim1.html#Winter12
    2. Falke, S. (2012). Review of introduction to mathematics of satisfiability, by Victor W. Marek. SIGACT News, 43(3), 41–44. http://dblp.uni-trier.de/db/journals/sigact/sigact43.html#Falke12
    3. Walter, S. (2012). E. Francesconi, S. Montemagni, W. Peters, D. Tiscornia: Semantic Processing of Legal Texts: where the language of law meets the law of language (Lecture notes in computer science: lecture notes in artificial intelligence, Vol 6036) - 1st Edition, Springer, 2010, XII, 249 pp, 49.22 €. Language Resources and Evaluation, 46(1), 109–115. http://dblp.uni-trier.de/db/journals/lre/lre46.html#Walter12
    4. Mennicke, S. (2012). An Operational Petri Net Semantics for the Join-Calculus. In B. Luttik & M. A. Reniers (Hrsg.), EXPRESS/SOS (Bd. 89, S. 131–147). http://dblp.uni-trier.de/db/series/eptcs/eptcs89.html#abs-1208-2753
    5. Sneed, S. (2012). Mapping Possibilities of S-BPM and BPMN 2.0 - Implementing a BPM Interface. In S. Oppl & A. Fleischmann (Hrsg.), S-BPM ONE (Bd. 284, S. 91–105). Springer. http://dblp.uni-trier.de/db/conf/s-bpm-one/s-bpm-one2012.html#Sneed12
    6. Wilhelm, S. (2012). Symbolic representations in WCET analysis. Saarland University.
    7. Grimmelikhuijsen, S. (2012). A good man but a bad wizard. About the limits and future of transparency of democratic governments. Information Polity, 17(3–4), 293–302. http://dblp.uni-trier.de/db/journals/polity/polity17.html#Grimmelikhuijsen12
    8. Szalai, S. (2012). Strafbarkeit von Outsourcing. Wirtschaftsinformatik & Management, 2012(5), 44–51. http://dblp.uni-trier.de/db/journals/wm/wm2012.html#Szalai12
    9. Braun, S. (2012). Modellierung der Energienachfrage unter Berücksichtigung urbaner Formen und individueller Zeitverwendung. (S. 1–194). University of Augsburg.
    10. Günnemann, S. (2012). Subspace clustering for complex data. RWTH Aachen University.
    11. Fritzsche, S. (2012). The Ratip program for relativistic calculations of atomic transition, ionization and recombination properties. Comput. Phys. Commun., 183(7), 1525–1559. http://dblp.uni-trier.de/db/journals/cphysics/cphysics183.html#Fritzsche12
    12. Kluth, S. (2012). Discussion on the Zorn-Hypothesis on Inter-server Control Flow and Product Form Queueing Networks. In M. Popovic, B. Schätz, & S. Voss (Hrsg.), ECBS (S. 126–134). IEEE Computer Society. http://dblp.uni-trier.de/db/conf/ecbs/ecbs2012.html#Kluth12
    13. Gerhager, S. (2012). Informationssicherheit im zukünftigen Smart Grid. Datenschutz und Datensicherheit, 36(6), 445–451. http://dblp.uni-trier.de/db/journals/dud/dud36.html#Gerhager12
    14. Gradl, S. (2012). Performance-Modellierung und Simulation eines SAP-ERP-Systems. (S. 1–200). Technical University Munich.
    15. Lauermann, S. (2012). Asymmetric information in bilateral trade and in markets: An inversion result. J. Econ. Theory, 147(5), 1969–1997. http://dblp.uni-trier.de/db/journals/jet/jet147.html#Lauermann12
    16. Falke, S. (2012). Review of transitions and trees: an introduction to structural operational semantics, by Hans Hüttel. SIGACT News, 43(4), 34–37. http://dblp.uni-trier.de/db/journals/sigact/sigact43.html#Falke12a
    17. Pack, S. (2012). Isolationskoordination - moderne Verfahren zur Berechnung transienter Spannungsbeanspruchungen in Hochspannungssystemen. Elektrotechnik und Informationstechnik, 129(4), 208–216. http://dblp.uni-trier.de/db/journals/ei/ei129.html#Pack12
    18. Krenn, S. (2012). Bringing zero-knowledge proofs of knowledge to practice. (S. 1–147). Logos.
    19. Kitchovitch, S. (2012). Computational modelling and analysis of seasonal influenza transmission and evolution. University of Cambridge, UK.
    20. Tassart, S. (2012). Time-Invariant Context for Sample Rate Conversion Systems. IEEE Trans. Signal Processing, 60(3), 1098–1107. http://dblp.uni-trier.de/db/journals/tsp/tsp60.html#Tassart12
    21. Gouws, S. (2012). Deep Unsupervised Feature Learning for Natural Language Processing. HLT-NAACL, 48–53. http://dblp.uni-trier.de/db/conf/naacl/naacl2012.html#Gouws12
    22. Spitz, S. (2012). Neue Mobiltelefone: Geldbörse und Bankfiliale zugleich - Sicherheitslösungen für mobile Geldgeschäfte. Datenschutz und Datensicherheit, 36(3), 185–188. http://dblp.uni-trier.de/db/journals/dud/dud36.html#Spitz12
    23. Merz, S. (2012). Stuttering Equivalence. Archive of Formal Proofs, 2012. http://dblp.uni-trier.de/db/journals/afp/afp2012.html#Merz12
    24. Schwiebert, S. (2012). Tesla - ein virtuelles Labor für experimentelle Computer- und Korpuslinguistik. University of Cologne.
    25. Aier, S. (2012). Strategies for Establishing Service Oriented Design in Organizations. ICIS. http://dblp.uni-trier.de/db/conf/icis/icis2012.html#Aier12
    26. Kreutzer, S. (2012). On the Parameterized Intractability of Monadic Second-Order Logic. Logical Methods in Computer Science, 8(1), Article 1. http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1203-3167
    27. Buchwald, S. (2012). Erhöhung der Durchgängigkeit und Flexibilität prozessorientierter Applikationen mittels Service-Orientierung. University of Ulm.
    28. Büttner, S. (2012). Forschungsaktivitäten am Fachbereich Informationswissenschaften der Fachhochschule Potsdam. Inf. Wiss. & Praxis, 63(1), 7–13. http://dblp.uni-trier.de/db/journals/nfd/nfd63.html#Buttner12
    29. Schulz, S. (2012). Fingerprint Indexing for Paramodulation and Rewriting. In B. Gramlich, D. Miller, & U. Sattler (Hrsg.), IJCAR (Bd. 7364, S. 477–483). Springer. http://dblp.uni-trier.de/db/conf/cade/ijcar2012.html#Schulz12
    30. Schleim, S. (2012). Mind Reading - Neuroimaging as a gaze into the innermost of the psyche. Datenschutz und Datensicherheit, 36(5), 344–349. http://dblp.uni-trier.de/db/journals/dud/dud36.html#Schleim12
  11. 2011

    1. Windmüller, S. (2011). Offline Validation of Firewalls. In J. L. Rash & C. Rouff (Hrsg.), SEW (S. 36–41). IEEE Computer Society. http://dblp.uni-trier.de/db/conf/sew/sew2011.html#Windmuller11
    2. Bode, S. (2011). Qualitätsziel-orientierter Architekturentwurf und Traceability für weiterentwickelbare Software-Systeme. In S. Hölldobler (Hrsg.), Ausgezeichnete Informatikdissertationen: Bd. D-12 (S. 21–30). GI. http://dblp.uni-trier.de/db/conf/gi/diss2011.html#Bode11
    3. Grimmelikhuijsen, S. (2011). Being transparent or spinning the message? An experiment into the effects of varying message content on trust in government. Information Polity, 16(1), 35–50. http://dblp.uni-trier.de/db/journals/polity/polity16.html#Grimmelikhuijsen11
    4. Doerfel, S. (2011). A Context-Based Description of the Doubly Founded Concept Lattices in the Variety Generated by M3. In P. Valtchev & R. Jäschke (Hrsg.), ICFCA (Bd. 6628, S. 93–106). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2011.html#Doerfel11
    5. Pahmeier, S. (2011). Designing a self-service terminal for capturing biometric data for the German Identity Card and the Electronic Passport. In A. Brömme & C. Busch (Hrsg.), BIOSIG: Bd. P-191 (S. 151–164). GI. http://dblp.uni-trier.de/db/conf/biosig/biosig2011.html#Pahmeier11
    6. Huang, S., Li, Q., & Hitzler, P. (2011). Paraconsistent Semantics for Hybrid MKNF Knowledge Bases. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 93–107). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#HuangLH11
    7. Heckmüller, S. (2011). Einsatz von Lasttransformationen und ihren Invertierungen zur realitätsnahen Lastmodellierung in Rechnernetzen. (S. 1–222). Shaker.
    8. Kotowski, J., Bry, F., & Brodt, S. (2011). Reasoning as Axioms Change - Incremental View Maintenance Reconsidered. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 139–154). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#KotowskiBB11
    9. Rezk, M., & Kifer, M. (2011). Reasoning with Actions in Transaction Logic. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 201–216). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#RezkK11a
    10. Korsholm, S. (2011). Flash memory in embedded Java programs. In A. J. Wellings & A. P. Ravn (Hrsg.), JTRES (S. 116–124). ACM. http://dblp.uni-trier.de/db/conf/jtres/jtres2011.html#Korsholm11
    11. Weißleder, S. (2011). Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines. In M. Núñez, R. M. Hierons, & M. G. Merayo (Hrsg.), QSIC (S. 150–155). IEEE Computer Society. http://dblp.uni-trier.de/db/conf/qsic/qsic2011.html#Weissleder11
    12. Hogan, A. (2011). Integrating Linked Data through RDFS and OWL: Some Lessons Learnt. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 250–256). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#Hogan11
    13. Murer, S. (2011). 13 Years of SOA at Credit Suisse: Lessons Learned-Remaining Challenges. In G. Zavattaro, U. Schreier, & C. Pautasso (Hrsg.), ECOWS (S. 12). IEEE. http://dblp.uni-trier.de/db/conf/ecows/ecows2011.html#Murer11
    14. Kliegr, T., Hazucha, A., & Marek, T. (2011). Instant Feedback on Discovered Association Rules with PMML-Based Query-by-Example. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 257–262). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#KliegrHM11
    15. Bouzidi, K. R., Faron-Zucker, C., Fiés, B., & Thanh, N. L. (2011). An Ontological Approach for Modeling Technical Standards for Compliance Checking. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 244–249). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#BouzidiFFT11
    16. Pfletschinger, S. (2011). A practical physical-layer network coding scheme for the uplink of the two-way relay channel. In M. B. Matthews (Hrsg.), ACSCC (S. 1997–2001). IEEE. http://dblp.uni-trier.de/db/conf/acssc/acssc2011.html#Pfletschinger11
    17. Stephan, R. (2011). Reducing the minimum T-cut problem to polynomial size linear programming. In L. Adacher, M. Flamini, G. Leo, G. Nicosia, A. Pacifici, & V. Piccialli (Hrsg.), CTW (S. 255–258). http://dblp.uni-trier.de/db/conf/colognetwente/colognetwente2011.html#Stephan11
    18. Xiao, G., & Eiter, T. (2011). Inline Evaluation of Hybrid Knowledge Bases - PhD Description. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 300–305). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#XiaoE11
    19. Schockaert, S., & Prade, H. (2011). Interpolation and Extrapolation in Conceptual Spaces: A Case Study in the Music Domain. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 217–231). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#SchockaertP11
    20. Nguyen, T. B. (2011). Decidability of Unification in EL without Top Constructor. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 170–184). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#Binh11
    21. Mugnier, M.-L. (2011). Ontological Query Answering with Existential Rules. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 2–23). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#Mugnier11
    22. Kikot, S., Kontchakov, R., & Zakharyaschev, M. (2011). Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 124–138). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#KikotKZ11
    23. Baget, J.-F., Mugnier, M.-L., & Thomazo, M. (2011). Towards Farsighted Dependencies for Existential Rules. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 30–45). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#BagetMT11
    24. Furche, T., Gottlob, G., Grasso, G., Orsi, G., Schallhart, C., & Wang, C. (2011). Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 61–76). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#FurcheGGOSW11
    25. Micklitz, S. (2011). Privacy als Produkt. In H.-U. Heiß, P. Pepper, H. Schlingloff, & J. Schneider (Hrsg.), GI-Jahrestagung: Bd. P-192 (S. 40). GI. http://dblp.uni-trier.de/db/conf/gi/gi2011.html#Micklitz11
    26. Zoder, S. (2011). Analytical Master Data Management 2.0. In V. Sambamurthy & M. Tanniru (Hrsg.), AMCIS. Association for Information Systems. http://dblp.uni-trier.de/db/conf/amcis/amcis2011.html#Zoder11
    27. Espil, M. M. (2011). RDF Semantics for Web Association Rules. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 269–274). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#Espil11
    28. Schlögl, S. (2011). Sketching Language: User-Centered Design of a Wizard of Oz Prototyping Framework. In P. F. Campos, T. C. N. Graham, J. A. Jorge, N. J. Nunes, P. A. Palanque, & M. Winckler (Hrsg.), INTERACT (4) (Bd. 6949, S. 422–425). Springer. http://dblp.uni-trier.de/db/conf/interact/interact2011-4.html#Schlogl11
    29. Meisel, S. (2011). Anticipatory Optimization for Dynamic Decision Making. In Operations research / computer science interfaces series (Bd. 51, S. I–XIII, 1–182). Springer.
    30. Doesinger, S. (2011). Medienführerschein, wozu? Datenschutz und Datensicherheit, 35(9), 648–649. http://dblp.uni-trier.de/db/journals/dud/dud35.html#Doesinger11
    31. Renner, S. (2011). Smart Metering und Datenschutz in Österreich - Empfehlungen für die Einführung intelligenter Messgeräte. Datenschutz und Datensicherheit, 35(8), 524–529. http://dblp.uni-trier.de/db/journals/dud/dud35.html#Renner11
    32. Boran, A., Bedini, I., Matheus, C. J., Patel-Schneider, P. F., & Keeney, J. (2011). A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 238–243). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#BoranBMPK11
    33. Arenas, M. (2011). Exchanging More Than Complete Data. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 1). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#Arenas11
    34. Moodley, K., Meyer, T., & Varzinczak, I. J. (2011). Root Justifications for Ontology Repair. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 275–280). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#MoodleyMV11
    35. Tobies, S. (2011). The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. CoRR, abs/1106.0239. http://dblp.uni-trier.de/db/journals/corr/corr1106.html#abs-1106-0239
    36. Noessner, J., & Niepert, M. (2011). ELOG: A Probabilistic Reasoner for OWL EL. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 281–286). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#NoessnerN11
    37. Schiffel, S. (2011). Knowledge-Based General Game Playing. (S. 1–151). Dresden University of Technology.
    38. Krisnadhi, A. A., Sengupta, K., & Hitzler, P. (2011). Local Closed World Semantics: Grounded Circumscription for Description Logics. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 263–268). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#KrisnadhiSH11
    39. Bischof, S., Lopes, N., & Polleres, A. (2011). Improve Efficiency of Mapping Data between XML and RDF with XSPARQL. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 232–237). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#BischofLP11
    40. Gottlob, G., Lukasiewicz, T., & Simari, G. I. (2011). Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 77–92). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#GottlobLS11
    41. Dempe, S. (2011). Comment to „interactive fuzzy goal programming approach for bilevel programming problem“ by S.R. Arora and R. Gupta. European Journal of Operational Research, 212(2), 429–431. http://dblp.uni-trier.de/db/journals/eor/eor212.html#Dempe11
    42. Lingner, S. (2011). Reflecting biomedical, technological and environmental issues of our modern society. The recent „Forum“ section in Poiesis & Praxis. Poiesis & Praxis, 8(1), 1–2. http://dblp.uni-trier.de/db/journals/pap/pap8.html#Lingner11a
    43. Kluth, S. (2011). Quantitative modeling and analysis with FMC-QE. University of Potsdam.
    44. Schlicht, A., & Stuckenschmidt, H. (2011). MapResolve. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 294–299). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#SchlichtS11
    45. Rezk, M., & Nutt, W. (2011). Combining Production Systems and Ontologies. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 287–293). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#RezkN11
    46. Delbru, R., Tummarello, G., & Polleres, A. (2011). Context-Dependent OWL Reasoning in Sindice - Experiences and Lessons Learnt. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 46–60). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#DelbruTP11
    47. Frank, S. (2011). Efficient Constraint Solving in Dynamic Languages. Berlin Institute of Technology.
    48. Bode, S. (2011). Quality Goal Oriented Architectural Design and Traceability for Evolvable Software Systems. (S. 1–253). Ilmenau University of Technology.
    49. Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., & Savo, D. F. (2011). Query Rewriting for Inconsistent DL-Lite Ontologies. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 155–169). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#LemboLRRS11
    50. Khandelwal, A., Jacobi, I., & Kagal, L. (2011). Linked Rules: Principles for Rule Reuse on the Web. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 108–123). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#KhandelwalJK11
    51. Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings. (2011). In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html
    52. Weis, S. (2011). Quantum Convex Support. CoRR, abs/1101.3098. http://dblp.uni-trier.de/db/journals/corr/corr1101.html#Weis11
    53. Lingner, S. (2011). Science, interdisciplinarity, and the society. Poiesis & Praxis, 7(4), 221–223. http://dblp.uni-trier.de/db/journals/pap/pap7.html#Lingner11
    54. Wieschebrink, S. (2011). Collaborative editing of multimodal annotation data. In M. R. B. Hardy & F. Wm. Tompa (Hrsg.), ACM Symposium on Document Engineering (S. 69–72). ACM. http://dblp.uni-trier.de/db/conf/doceng/doceng2011.html#Wieschebrink11
    55. Lanzke, S. (2011). Digitale Spaltung und Regionalentwicklung in ländlichen Räumen. University of Marburg.
    56. Rezk, M., & Kifer, M. (2011). On the Equivalence between the $L_1$ Action Language and Partial Actions in Transaction Logic. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 185–200). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#RezkK11
    57. de Sainte Marie, C., Escudero, M. I., & Rosina, P. (2011). The ONTORULE Project : Where Ontology Meets Business Rules. In S. Rudolph & C. Gutiérrez (Hrsg.), RR (Bd. 6902, S. 24–29). Springer. http://dblp.uni-trier.de/db/conf/rr/rr2011.html#MarieER11
  12. 2010

    1. Janisch, S. (2010). Behaviour and refinement of port-based components with synchronous and asynchronous communication. Ludwig Maximilians University Munich.
    2. Hasler, S. (2010). Learning features for robust object recognition. (S. 1–124). Shaker.
    3. Herhut, S. (2010). Auxiliary computations : a framework for a step-wise, non-disruptive introduction of static guarantees to untyped programs using partial evaluation techniques. University of Hertfordshire, UK.
    4. Prätsch, S. (2010). Ein Modellprüfungsansatz für die Erreichbarkeitspüfung von Process Algebra Nets. Informatiktage, S-9, 89–92. http://dblp.uni-trier.de/db/conf/informatiktage/informatiktage2010.html#Pratsch10
    5. Otto, S., & Bannenberg, T. (2010). Decentralized Evolutionary Agents Streamlining Logistic Network Design. In R. Schaefer, C. Cotta, J. Kolodziej, & G. Rudolph (Hrsg.), PPSN (2) (Bd. 6239, S. 240–249). Springer. http://dblp.uni-trier.de/db/conf/ppsn/ppsn2010-2.html#OttoB10
    6. Eggersglüß, S. (2010). Robuste Erfüllbarkeitsalgorithmen zur Generierung hochwertiger Testmuster für digitale Schaltungen. In S. Hölldobler (Hrsg.), Ausgezeichnete Informatikdissertationen: Bd. D-11 (S. 81–90). GI. http://dblp.uni-trier.de/db/conf/gi/diss2010.html#Eggersgluss10
    7. Stephan, R. (2010). Cardinality constrained combinatorial optimization: Complexity and polyhedra. Discrete Optimization, 7(3), 99–113. http://dblp.uni-trier.de/db/journals/disopt/disopt7.html#Stephan10
    8. Rein, S. (2010). Low complexity text and image compression for wireless devices and sensors. Berlin Institute of Technology.
    9. Abecker, A., Bloehdorn, S., & Grimm, S. (2010). Application of Semantic Technologies. AST2010. 5th International Workshop (Vorwort). In K.-P. Fähnrich & B. Franczyk (Hrsg.), GI Jahrestagung (2): Bd. P-176 (S. 71–72). GI. http://dblp.uni-trier.de/db/conf/gi/gi2010-2.html#AbeckerBG10
    10. Pöhlsen, S. (2010). Entwicklung einer Service-orientierten Architektur zur vernetzten Kommunikation zwischen medizinischen Geräten, Systemen und Applikationen. University of Lübeck.
    11. Weißleder, S. (2010). Test models and coverage criteria for automatic model-based test generation with UML state machines. (S. 1–259). Humboldt University of Berlin.
    12. Niggemann, S. (2010). Nachhaltigkeit durch Energiecontrolling. In K.-P. Fähnrich & B. Franczyk (Hrsg.), GI Jahrestagung (2): Bd. P-176 (S. 649–659). GI. http://dblp.uni-trier.de/db/conf/gi/gi2010-2.html#Niggemann10
    13. Grimm, S. (2010). Knowledge Representation and Ontologies. In M. M. Gaber (Hrsg.), Scientific Data Mining and Knowledge Discovery (S. 111–137). Springer. http://dblp.uni-trier.de/db/books/collections/G2010.html#Grimm10
    14. Zimmer, S., & Diehl, S. (2010). Visual Amortization Analysis of Recompilation Strategies. In E. Banissi, S. Bertschi, R. A. Burkhard, J. Counsell, M. Dastbaz, M. J. Eppler, C. Forsell, G. G. Grinstein, J. Johansson, M. Jern, F. Khosrowshahi, F. T. Marchese, C. Maple, R. Laing, U. Cvek, M. Trutschl, M. Sarfraz, L. J. Stuart, A. Ursyn, & T. G. Wyeld (Hrsg.), IV (S. 509–514). IEEE Computer Society. http://dblp.uni-trier.de/db/conf/iv/iv2010.html#ZimmerD10
    15. Strodl, S. (2010). (Semi-)Automated digital preservation archives for small institutions and private users. In J.-P. Chanod, M. Dobreva, A. Rauber, & S. Ross (Hrsg.), Automation in Digital Preservation (Bd. 10291). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. http://dblp.uni-trier.de/db/conf/dagstuhl/P10291.html#Strodl10
    16. Weißleder, S. (2010). Static and Dynamic Boundary Value Analysis. In H. Giese, M. Huhn, J. Phillips, & B. Schätz (Hrsg.), MBEES (S. 55–64). fortiss GmbH, München. http://dblp.uni-trier.de/db/conf/mbees/mbees2010.html#Weissleder10
    17. Hagemann, S. (2010). A framework for the consistent usage of tag based mashups. (S. 1–178). University of Münster.
    18. Eggersglüß, S. (2010). Robust algorithms for high quality test pattern generation using Boolean satisfiability. (S. 1–182). University of Bremen.
    19. Kottler, S. (2010). SAT Solving with Reference Points. In O. Strichman & S. Szeider (Hrsg.), SAT (Bd. 6175, S. 143–157). Springer. http://dblp.uni-trier.de/db/conf/sat/sat2010.html#Kottler10
    20. Brandt, S. (2010). A note on generalized pentagons. Discrete Mathematics, 310(20), 2766–2767. http://dblp.uni-trier.de/db/journals/dm/dm310.html#Brandt10a
    21. Rosswog, S. (2010). Conservative, special-relativistic smoothed particle hydrodynamics. J. Comput. Physics, 229(22), 8591–8612. http://dblp.uni-trier.de/db/journals/jcphy/jcphy229.html#Rosswog10
    22. Doerfel, S. (2010). The Scaffolding of a Formal Context. In M. Kryszkiewicz & S. A. Obiedkov (Hrsg.), CLA (Bd. 672, S. 283–293). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/cla/cla2010.html#Doerfel10
    23. Stephan, P. (2010). System architecture for using location information for process optimization within a factory of things. LocWeb, 6. http://dblp.uni-trier.de/db/conf/locweb/locweb2010.html#Stephan10
    24. Brandt, S. (2010). Triangle-free graphs whose independence number equals the degree. Discrete Mathematics, 310(3), 662–669. http://dblp.uni-trier.de/db/journals/dm/dm310.html#Brandt10
    25. Kluth, S. (2010). Quantitative Modeling and Analysis with FMC-QE. In K. Bollue, D. Gückel, U. Loup, J. Spönemann, & M. Winkler (Hrsg.), AlgoSyn (S. 198). Verlagshaus Mainz, Aachen, Germany. http://dblp.uni-trier.de/db/conf/dagstuhl/algosyn2010.html#Kluth10
    26. Schroevers, S. (2010). Expressiveness and Extensions of an Instruction Sequence Semigroup. CoRR, abs/1003.1572. http://dblp.uni-trier.de/db/journals/corr/corr1003.html#abs-1003-1572
    27. Jacobs, S. (2010). Agilität in Großprojekten durch „Integration Driven Design“ - Ein Erfahrungsbericht. Softwaretechnik-Trends, 30(3), Article 3. http://dblp.uni-trier.de/db/journals/stt/stt30.html#Jacobs10
    28. Trojansky, S. (2010). 2012: The Last Fluid Simulation. In I. Kerlow (Hrsg.), SIGGRAPH Computer Animation Festival (S. 7). ACM. http://dblp.uni-trier.de/db/conf/siggraph/siggraph2010festival.html#Trojansky10
    29. Mäs, S. (2010). On the consistency of spatial semantic integrity constraints. (S. 1–121). Bundeswehr University Munich.
    30. Weißleder, S. (2010). Simulated Satisfaction of Coverage Criteria on UML State Machines. ICST, 117–126. http://dblp.uni-trier.de/db/conf/icst/icst2010.html#Weissleder10
    31. Goebbels, S. (2010). Disruption tolerant networking by Smart Caching. Int. J. Communication Systems, 23(5), 569–595. http://dblp.uni-trier.de/db/journals/ijcomsys/ijcomsys23.html#Goebbels10
    32. Schiffel, S. (2010). Symmetry Detection in General Game Playing. In M. Fox & D. Poole (Hrsg.), AAAI. AAAI Press. http://dblp.uni-trier.de/db/conf/aaai/aaai2010.html#Schiffel10
    33. Henzler, S. (2010). Digitalization of mixed-signal functionality in nanometer technologies. In L. Scheffer, J. R. Phillips, & A. J. Hu (Hrsg.), ICCAD (S. 252–255). IEEE. http://dblp.uni-trier.de/db/conf/iccad/iccad2010.html#Henzler10
    34. Kirstein, S. (2010). Interactive and life-long learning for identification and categorization tasks. (S. 1–150). Ilmenau University of Technology.
  13. 2009

    1. Missaoui, R., & Kwuida, L. (2009). What Can Formal Concept Analysis Do for Data Warehouses?. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 58–65). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#MissaouiK09
    2. Held, S. (2009). Gate sizing for large cell-based designs. In L. Benini, G. D. Micheli, B. M. Al-Hashimi, & W. Müller (Hrsg.), DATE (S. 827–832). IEEE. http://dblp.uni-trier.de/db/conf/date/date2009.html#Held09
    3. Øhrstrøm, P. (2009). Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 66–81). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Ohrstrom09
    4. Kötters, J., Schmidt, H., & Squire, D. McG. (2009). Context Graphs - Representing Formal Concepts by Connected Subgraphs. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 178–193). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#KottersSS09
    5. Meschke, C. (2009). Robust Elements in Rough Set Abstractions. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 114–129). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Meschke09
    6. Medina, R., & Nourine, L. (2009). A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 98–113). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#MedinaN09
    7. Bertaux, A., Ber, F. L., Braud, A., & Trémolières, M. (2009). Identifying Ecological Traits: A Concrete FCA-Based Approach. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 224–236). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BertauxBBT09
    8. Kreutzer, S. (2009). Algorithmic Meta-Theorems. Electronic Colloquium on Computational Complexity (ECCC), 16, 147. http://dblp.uni-trier.de/db/journals/eccc/eccc16.html#Kreutzer09
    9. Raedt, L. D. (2009). The Logic of Learning. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 57). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Raedt09
    10. Grimm, S. (2009). Semantic matchmaking with nonmonotonic description logics. (S. 1–264). Karlsruhe Institute of Technology.
    11. Schleim, S. (2009). The risk that neurogenetic approaches may inflate the psychiatric concept of disease and how to cope with it. Poiesis & Praxis, 6(1–2), 79–91. http://dblp.uni-trier.de/db/journals/pap/pap6.html#Schleim09
    12. Rimsa, A., Zárate, L. E., & Song, M. A. J. (2009). Handling Large Formal Context Using BDD - Perspectives and Limitations. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 194–209). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#RimsaZS09
    13. Benen, S. (2009). Low Frequency Towed Active Sonar (LFTAS) in Multistatic Applications. In S. Fischer, E. Maehle, & R. Reischuk (Hrsg.), GI Jahrestagung: Bd. P-154 (S. 2413–2421). GI. http://dblp.uni-trier.de/db/conf/gi/gi2009.html#Benen09
    14. Kepser, S. (2009). On Monadic Second-Order Theories of Multidominance Structures. In C. Ebert, G. Jäger, & J. Michaelis (Hrsg.), MOL (Bd. 6149, S. 117–128). Springer. http://dblp.uni-trier.de/db/conf/mol/mol2009.html#Kepser09
    15. Rein, S., Lehmann, S., & Gühmann, C. (2009). Wavelet Image Two-Line Coder for Wireless Sensor Node with Extremely Little RAM. In J. A. Storer & M. W. Marcellin (Hrsg.), DCC (S. 252–261). IEEE Computer Society. http://dblp.uni-trier.de/db/conf/dcc/dcc2009.html#ReinLG09
    16. Kurpjuweit, S., & Aier, S. (2009). Ein allgemeiner Ansatz zur Ableitung von Abhängigkeitsanalysen auf Unternehmensarchitekturmodellen. In H. R. Hansen, D. Karagiannis, & H.-G. Fill (Hrsg.), Wirtschaftsinformatik (1) (Bd. 246, S. 129–138). Österreichische Computer Gesellschaft. http://dblp.uni-trier.de/db/conf/wirtschaftsinformatik/wi2009-1.html#KurpjuweitA09
    17. Frohnhoff, S. (2009). Use Case points 3.0: Implementierung einer Use Case bezogenen Schätzmethode für das Software-Engineering betrieblicher Informationssysteme. (S. 1–182). University of Paderborn.
    18. Gruber, S. (2009). Experiences from three years of developing and operating the PermaSense wireless sensor network for harsh mountain environments. LCN, 810. http://dblp.uni-trier.de/db/conf/lcn/lcn2009.html#Gruber09
    19. Lingner, S. (2009). O. Renn, P.-J. Schweizer, M. Dreyer, A. Klinke: Risiko. Über den gesellschaftlichen Umgang mit Unsicherheit. Poiesis & Praxis, 6(3–4), 273–276. http://dblp.uni-trier.de/db/journals/pap/pap6.html#Lingner09
    20. Sertkaya, B. (2009). Some Computational Problems Related to Pseudo-intents. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 130–145). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Sertkaya09
    21. Stephan, R. (2009). Classification of 0/1-Facets of the Hop Constrained Path Polytope Defined on an Acyclic Digraph. In S. Cafieri, A. Mucherino, G. Nannicini, F. Tarissan, & L. Liberti (Hrsg.), CTW (S. 247–250). http://dblp.uni-trier.de/db/conf/colognetwente/colognetwente2009.html#Stephan09
    22. Bode, S. (2009). On the Role of Evolvability for Architectural Design. In S. Fischer, E. Maehle, & R. Reischuk (Hrsg.), GI Jahrestagung: Bd. P-154 (S. 3256–3263). GI. http://dblp.uni-trier.de/db/conf/gi/gi2009.html#Bode09
    23. Robert, S. (2009). Basic Estimation of Markovian Pseudo Long-Range Dependent Processes. CAMAD, 1–5. http://dblp.uni-trier.de/db/conf/camad/camad2009.html#Robert09
    24. Dempe, S. (2009). Bilevel Programming: Implicit Function Approach. In C. A. Floudas & P. M. Pardalos (Hrsg.), Encyclopedia of Optimization (S. 260–266). Springer. http://dblp.uni-trier.de/db/reference/opt/opt2009.html#Dempe09
    25. Meisel, S. (2009). Integration of Data Mining and Operations Research. In J. Wang (Hrsg.), Encyclopedia of Data Warehousing and Mining (S. 1046–1052). IGI Global. http://dblp.uni-trier.de/db/reference/dataware/dataware2009.html#Meisel09
    26. Kleuker, S. (2009). Werkzeuge zur Qualitätssicherung in der Software-Engineering-Ausbildung. In U. Jaeger & K. Schneider (Hrsg.), SEUH (S. 145–159). dpunkt. http://dblp.uni-trier.de/db/conf/seuh/seuh2009.html#Kleuker09
    27. Kreutzer, S. (2009). On the Parameterised Intractability of Monadic Second-Order Logic. CoRR, abs/0904.1302. http://dblp.uni-trier.de/db/journals/corr/corr0904.html#abs-0904-1302
    28. Kurpjuweit, S. (2009). Stakeholder-orientierte Modellierung und Analyse der Unternehmensarchitektur: unter besonderer Berücksichtigung der Geschäfts- und IT-Architektur. (S. 1–384). Logos-Verlag.
    29. Wyssusek, B. (2009). Can Ontology Inform Ontologies?. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 82). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Wyssusek09
    30. Kaytoue-Uberall, M., Duplessis, S., Kuznetsov, S. O., & Napoli, A. (2009). Two FCA-Based Methods for Mining Gene Expression Data. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 251–266). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Kaytoue-UberallDKN09
    31. Kühne, S. (2009). Ein modellgetriebener Architektur-Ansatz zur Umsetzung von verteilten Anwendungen durch ein plattformunabhängiges Modell. In L. Porada (Hrsg.), Informatiktage: Bd. S-8 (S. 191–194). GI. http://dblp.uni-trier.de/db/conf/informatiktage/informatiktage2009.html#Kuhne09
    32. Fritzsche, S. (2009). Maple procedures for the coupling of angular momenta. An up-date of the Racah module. Comput. Phys. Commun., 180(10), 2021–2023. http://dblp.uni-trier.de/db/journals/cphysics/cphysics180.html#Fritzsche09
    33. Baader, F., & Sertkaya, B. (2009). Usability Issues in Description Logic Knowledge Base Completion. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 1–21). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BaaderS09
    34. Timmer, S. (2009). Reinforcement learning with history lists. University of Osnabrück.
    35. Raub, S., Schramm, D.-B., & Olbrich, S. (2009). <myJAM/> - Accounting und Monitoring auf Rechenclustern. In P. Müller, B. Neumair, & G. D. Rodosek (Hrsg.), DFN-Forum Kommunikationstechnologien: Bd. P-149 (S. 147–158). GI. http://dblp.uni-trier.de/db/conf/dfn/dfn2009.html#RaubSO09
    36. Weißleder, S. (2009). Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. In A. Schürr & B. Selic (Hrsg.), MoDELS (Bd. 5795, S. 211–225). Springer. http://dblp.uni-trier.de/db/conf/models/models2009.html#Weissleder09
    37. König, S. (2009). Ein Wiki-basiertes Vorgehensmodell für Business Intelligence Projekte. In H. Baars & B. Rieger (Hrsg.), FKBI (Bd. 542). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/wsbi/fkbi2009.html#Konig09
    38. Trenn, S. (2009). Regularity of distributional differential algebraic equations. MCSS, 21(3), 229–264. http://dblp.uni-trier.de/db/journals/mcss/mcss21.html#Trenn09
    39. Preibisch, S., Saalfeld, S., & Tomancak, P. (2009). Globally optimal stitching of tiled 3D microscopic image acquisitions. Bioinformatics, 25(11), 1463–1465. http://dblp.uni-trier.de/db/journals/bioinformatics/bioinformatics25.html#PreibischST09
    40. Dürr, S. (2009). Logarithmic link smearing for full QCD. Comput. Phys. Commun., 180(8), 1338–1357. http://dblp.uni-trier.de/db/journals/cphysics/cphysics180.html#Durr09
    41. Winter, S. (2009). Spatial Intelligence: Ready for a Challenge? Spatial Cognition & Computation, 9(2), 138–151. http://dblp.uni-trier.de/db/journals/scc/scc9.html#Winter09
    42. Stephan, R. (2009). Facets of the (s, t)-p-path polytope. Discrete Applied Mathematics, 157(14), 3119–3132. http://dblp.uni-trier.de/db/journals/dam/dam157.html#Stephan09
    43. Kassel, S. (2009). An Architectural Approach for Service Interoperability. IESA, 212–218. http://dblp.uni-trier.de/db/conf/iesa/iesa2009.html#Kassel09
    44. Baixeries, J., Szathmary, L., Valtchev, P., & Godin, R. (2009). Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 162–177). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BaixeriesSVG09
    45. Olariu, S. (2009). NOTICE: an architecture for traffic incident detection. In N. B. Abu-Ghazaleh, L. Bononi, B. Bensaou, & V. R. Syrotiuk (Hrsg.), MSWiM (S. 3). ACM. http://dblp.uni-trier.de/db/conf/mswim/mswim2009.html#Olariu09
    46. Weißleder, S. (2009). Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria. In H. Giese, M. Huhn, U. Nickel, & B. Schätz (Hrsg.), MBEES (Bde. 2009–01, S. 26–35). TU Braunschweig, Institut für Software Systems Engineering. http://dblp.uni-trier.de/db/conf/mbees/mbees2009.html#Weissleder09
    47. Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings. (2009). In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html
    48. Venter, F., Kourie, D. G., & Watson, B. W. (2009). FCA-Based Two Dimensional Pattern Matching. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 299–313). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#VenterKW09
    49. Wille, R. (2009). Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 314–339). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Wille09
    50. Borchmann, D., & Ganter, B. (2009). Concept Lattice Orbifolds - First Steps. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 22–37). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BorchmannG09
    51. Baader, F., & Distel, F. (2009). Exploring Finite Models in the Description Logic . In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 146–161). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BaaderD09
    52. Krause, S. (2009). Coping with hotspots: AoI adaption strategies for P2P Networked Virtual Environments. ICUMT, 1–6. http://dblp.uni-trier.de/db/conf/icumt/icumt2009.html#Krause09
    53. Winter, S. (2009). Towards a probabilistic time geography. In D. Agrawal, W. G. Aref, C.-T. Lu, M. F. Mokbel, P. Scheuermann, C. Shahabi, & O. Wolfson (Hrsg.), GIS (S. 528–531). ACM. http://dblp.uni-trier.de/db/conf/gis/gis2009.html#Winter09
    54. Olariu, S. (2009). An architecture for traffic incident detection. In G. Kotsis, D. Taniar, & E. Pardede (Hrsg.), MoMM (S. 6). ACM. http://dblp.uni-trier.de/db/conf/momm/momm2009.html#Olariu09
    55. Pan, T., & Fang, K. (2009). Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 267–283). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#PanF09
    56. Gatzka, S. (2009). Java in eingebetteten Systemen. (S. 1–189). Dresden University of Technology.
    57. Grimmelikhuijsen, S. (2009). Do transparent government agencies strengthen trust? Information Polity, 14(3), 173–186. http://dblp.uni-trier.de/db/journals/polity/polity14.html#Grimmelikhuijsen09
    58. Leuenberger, S. (2009). What is global supervenience? Synthese, 170(1), 115–129. http://dblp.uni-trier.de/db/journals/synthese/synthese170.html#Leuenberger09
    59. Dau, F. (2009). The Advent of Formal Diagrammatic Reasoning Systems. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 38–56). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#Dau09
    60. Belohlávek, R., & Vychodil, V. (2009). Factor Analysis of Incidence Data via Novel Decomposition of Matrices. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 83–97). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BelohlavekV09
    61. Krenn, S. (2009). Bringing Zero-Knowledge Proofs of Knowledge to Practice. In B. Christianson, J. A. Malcolm, V. Matyas, & M. Roe (Hrsg.), Security Protocols Workshop (Bd. 7028, S. 63–68). Springer. http://dblp.uni-trier.de/db/conf/spw/spw2009.html#Krenn09
    62. Priss, U., & Old, L. J. (2009). Revisiting the Potentialities of a Mechanical Thesaurus. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 284–298). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#PrissO09
    63. Otto, S. (2009). Ein agentenbasierter evolutionärer Adaptions- und Optimierungsansatz für verteilte Systeme. (S. 1–205). University of Erlangen-Nuremberg.
    64. Grimm, S. (2009). A Unifying Formal Ontology Model - A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research. In J. L. G. Dietz (Hrsg.), KEOD (S. 327–335). INSTICC Press. http://dblp.uni-trier.de/db/conf/ic3k/keod2009.html#Grimm09
    65. Belohlávek, R., Kulkarni, N., & Vychodil, V. (2009). A Novel Approach to Cell Formation. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 210–223). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BelohlavekKV09
    66. Carpineto, C., Michini, C., & Nicolussi, R. (2009). A Concept Lattice-Based Kernel for SVM Text Classification. In S. Ferré & S. Rudolph (Hrsg.), ICFCA (Bd. 5548, S. 237–250). Springer. http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#CarpinetoMN09
  14. 2008

    1. Schulz, S. (2008). Test suite development with TTCN-3 libraries. STTT, 10(4), 327–336. http://dblp.uni-trier.de/db/journals/sttt/sttt10.html#Schulz08
    2. Walter, S. (2008). Linguistic Description and Automatic Extraction of Definitions from German Court Decisions. LREC. http://dblp.uni-trier.de/db/conf/lrec/lrec2008.html#Walter08
    3. Stephan, R. (2008). On the cardinality constrained matroid polytope. CTW, 58–61. http://dblp.uni-trier.de/db/conf/colognetwente/colognetwente2008.html#Stephan08
    4. Frohnhoff, S. (2008). Große Softwareprojekte. Informatik Spektrum, 31(6), 566–575. http://dblp.uni-trier.de/db/journals/insk/insk31.html#Frohnhoff08
    5. Schosser, S. (2008). Strategische Analyse von Anreizmechanismen in strukturierten Peer-to-Peer Systemen. Karlsruhe Institute of Technology.
    6. Krause, S. (2008). A case for mutual notification: a survey of P2P protocols for massively multiplayer online games. In M. Claypool (Hrsg.), NETGAMES (S. 28–33). ACM. http://dblp.uni-trier.de/db/conf/netgames/netgames2008.html#Krause08
    7. Hell, S. (2008). On the Number of Birch Partitions. Discrete & Computational Geometry, 40(4), 586–594. http://dblp.uni-trier.de/db/journals/dcg/dcg40.html#Hell08
    8. Kreutzer, S. (2008). Algorithmic Meta-theorems. In M. Grohe & R. Niedermeier (Hrsg.), IWPEC (Bd. 5018, S. 10–12). Springer. http://dblp.uni-trier.de/db/conf/iwpec/iwpec2008.html#Kreutzer08
    9. Roser, S. (2008). Designing and enacting cross organisational business processes: a model driven, ontology-based approach. (S. 1–306). University of Augsburg.
    10. Lehmann, S., Rein, S., & Gühmann, C. (2008). External Flash Filesystem for Sensor Nodes with sparse Resources. In J. Huusko & T. Frantti (Hrsg.), MobiMedia. ICST. http://dblp.uni-trier.de/db/conf/mobimedia/mobimedia2008.html#LehmannRG08
    11. Bohacek, S. (2008). Performance Improvements Provided by Route Diversity in Multihop Wireless Networks. IEEE Trans. Mob. Comput., 7(3), 372–384. http://dblp.uni-trier.de/db/journals/tmc/tmc7.html#Bohacek08
    12. Winter, S. (2008). Intelligent Self-Organizing Transport. KI, 22(3), 25–28. http://dblp.uni-trier.de/db/journals/ki/ki22.html#Winter08
    13. Olariu, S. (2008). Delivering multimedia content in vehicular ad hoc networks. In M. Miller & K. Wada (Hrsg.), IWOCA (S. 2). College Publications. http://dblp.uni-trier.de/db/conf/iwoca/iwoca2008.html#Olariu08
    14. Lamprecht, S. (2008). XING - Networking im Internet (3. Aufl.). (S. I–IX, 1–169). Heise.
    15. Kassel, S. (2008). Design of services as interoperable systems an e-commerce case study. In M. van Sinderen, J. P. A. Almeida, L. F. Pires, & M. Steen (Hrsg.), EDOCW (S. 264–268). IEEE Computer Society. http://dblp.uni-trier.de/db/conf/edoc/edoc2008w.html#Kassel08
    16. Kluth, S. (2008). Quantitative Modellierung des Leistungsverhaltens SOA-basierter Systeme mit FMC-QE. In T. Kühne, W. Reisig, & F. Steimann (Hrsg.), Modellierung: Bd. P-127 (S. 229–232). GI. http://dblp.uni-trier.de/db/conf/modellierung/modellierung2008.html#Kluth08
    17. Westphal, S. (2008). A note on the k-Canadian Traveller Problem. Inf. Process. Lett., 106(3), 87–89. http://dblp.uni-trier.de/db/journals/ipl/ipl106.html#Westphal08
    18. Foldes, S. (2008). On McMillan’s theorem about uniquely decipherable codes. CoRR, abs/0806.3277. http://dblp.uni-trier.de/db/journals/corr/corr0806.html#abs-0806-3277
    19. Helling, S. (2008). Broad Band Filter Selection by Approximating Principal Components of Reflectance Spectra. CGIV/MCS, 533–537. http://dblp.uni-trier.de/db/conf/cgiv/cgiv2008.html#Helling08
    20. Trenn, S. (2008). Multilayer Perceptrons: Approximation Order and Necessary Number of Hidden Units. IEEE Trans. Neural Networks, 19(5), 836–844. http://dblp.uni-trier.de/db/journals/tnn/tnn19.html#Trenn08
    21. Weißleder, S. (2008). Partition-Oriented Test Generation. In H.-G. Hegering, A. Lehmann, H. J. Ohlbach, & C. Scheideler (Hrsg.), GI Jahrestagung (1): Bd. P-133 (S. 199–204). GI. http://dblp.uni-trier.de/db/conf/gi/gi2008-1.html#Weissleder07
    22. Rein, S., Lehmann, S., & Gühmann, C. (2008). Fractional Wavelet Filter for Camera Sensor Node with external Flash and extremely little RAM. In J. Huusko & T. Frantti (Hrsg.), MobiMedia. ICST. http://dblp.uni-trier.de/db/conf/mobimedia/mobimedia2008.html#ReinLG08
    23. Neuhaus, S. (2008). Repeating the past experimental and empirical methods in system and software security. Saarland University.
    24. Groß, S. (2008). Kooperative Angriffserkennung in drahtlosen Ad-hoc- und Infrastrukturnetzen: Anforderungsanalyse, Systementwurf und Umsetzung. (S. 1–182). Dresden University of Technology.
    25. Rusdorf, S. (2008). Aspekte der Echtzeit-Interaktion mit virtuellen Umgebungen. (S. 1–124). Chemnitz University of Technology.
    26. Sigg, S. (2008). Development of a novel context prediction algorithm and analysis of context prediction schemes. (S. 1–278). University of Kassel.
    27. Dlugosz, S. (2008). Multi-layer perceptron networks for ordinal data analysis: order independent online learning by sequential estimation. (S. 1–214). University of Münster.
    28. Mäs, S. (2008). Reasoning on Spatial Relations between Entity Classes. In T. J. Cova, H. J. Miller, K. Beard, A. U. Frank, & M. F. Goodchild (Hrsg.), GIScience (Bd. 5266, S. 234–248). Springer. http://dblp.uni-trier.de/db/conf/giscience/giscience2008.html#Mas08
    29. Philippi, S. (2008). Data and knowledge integration in the life sciences. Briefings in Bioinformatics, 9(6), 451. http://dblp.uni-trier.de/db/journals/bib/bib9.html#Philippi08
    30. Reiter, S. (2008). Multimodale Modellierung von Gruppenaktionen zur Segmentierung von Besprechungen. (S. 1–141). Technical University Munich, Germany.
    31. Herrmann, S. (2008). Gradual Encapsulation. Journal of Object Technology, 7(9), 47–68. http://dblp.uni-trier.de/db/journals/jot/jot7.html#Herrmann08
    32. Bütikofer, S. (2008). Globalizing a nonsmooth Newton method via nonmonotone path search. Math. Meth. of OR, 68(2), 235–256. http://dblp.uni-trier.de/db/journals/mmor/mmor68.html#Butikofer08
    33. Hell, S. (2008). Tverberg’s theorem with constraints. J. Comb. Theory, Ser. A, 115(8), 1402–1416. http://dblp.uni-trier.de/db/journals/jct/jcta115.html#Hell08
    34. Goebbels, S. (2008). Wireless Broadband Services using Smart Caching. VTC Fall, 1–5. http://dblp.uni-trier.de/db/conf/vtc/vtc2008f.html#Goebbels08
  15. 2007

    1. Mäs, S. (2007). Checking the Integrity of Spatial Integrity Constraints. In B. Bank, M. J. Egenhofer, & B. Kuijpers (Hrsg.), Constraint Databases, Geometric Elimination and Geographic Information Systems (Bd. 07212). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. http://dblp.uni-trier.de/db/conf/dagstuhl/P7212.html#Mas07
    2. Aier, S. (2007). Integrationstechnologien als Basis einer nachhaltigen Unternehmensarchitektur: Abhängigkeiten zwischen Organisation und Informationstechnologie. (S. 1–394). Berlin Institute of Technology.
    3. Vogel, S. (2007). Speech-translation: from domain-limited to domain-unlimited translation tasks. In S. Furui & T. Kawahara (Hrsg.), ASRU (S. 379). IEEE. http://dblp.uni-trier.de/db/conf/asru/asru2007.html#Vogel07
    4. Olariu, S. (2007). Peer-to-peer multimedia content provisioning for vehicular ad hoc networks. In R. B. de Araujo & C. Bouras (Hrsg.), WMuNeP (S. 1). ACM. http://dblp.uni-trier.de/db/conf/mswim/wmunep2007.html#Olariu07
    5. Weibelzahl, S. (2007). Adaptive Learning Spaces. A Project Description. In M. Wolpers, R. Klamma, & E. Duval (Hrsg.), EC-TEL (Posters) (Bd. 280). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/ectel/posters2007.html#Weibelzahl07
    6. Goebbels, S. (2007). Traffic Theory Approach for Heterogeneous Mobile Communication Networks. VTC Spring, 2636–2640. http://dblp.uni-trier.de/db/conf/vtc/vtc2007s.html#Goebbels07a
    7. Hell, S. (2007). On the number of Tverberg partitions in the prime power case. Eur. J. Comb., 28(1), 347–355. http://dblp.uni-trier.de/db/journals/ejc/ejc28.html#Hell07
    8. Schneider, S. (2007). Konstruktion generischer Datenmodelle auf fachkonzeptioneller Ebene im betrieblichen Anwendungskontext: Methode und Studie. (S. 1–563). EBS Universität für Wirtschaft und Recht.
    9. Olariu, S. (2007). Sensor Networks Hype or Reality? In G. Kotsis, D. Taniar, E. Pardede, & I. K. Ibrahim (Hrsg.), MoMM (Bd. 230, S. 11–12). Austrian Computer Society. http://dblp.uni-trier.de/db/conf/momm/momm2007.html#Olariu07
    10. Diehl, S. (2007). Software Visualization - Visualizing the Structure, Behaviour, and Evolution of Software. Springer.
    11. Morgenthaler, S. (2007). A survey of robust statistics. Statistical Methods and Applications, 16(1), 171–172. http://dblp.uni-trier.de/db/journals/sma/sma16.html#Morgenthaler07a
    12. Mäs, S. (2007). Reasoning on Spatial Semantic Integrity Constraints. In S. Winter, M. Duckham, L. Kulik, & B. Kuipers (Hrsg.), COSIT (Bd. 4736, S. 285–302). Springer. http://dblp.uni-trier.de/db/conf/cosit/cosit2007.html#Mas07
    13. Dreiseitl, S. (2007). Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface. In R. Moreno-Díaz, F. Pichler, & A. Quesada-Arencibia (Hrsg.), EUROCAST (Bd. 4739, S. 878–885). Springer. http://dblp.uni-trier.de/db/conf/eurocast/eurocast2007.html#Dreiseitl07
    14. Pfletschinger, S. (2007). Achievable Rate Regions for OFDMA with Link Adaptation. PIMRC, 1–5. http://dblp.uni-trier.de/db/conf/pimrc/pimrc2007.html#Pfletschinger07
    15. Volmer, S. (2007). Inhaltsbasierte Bildsuche mittels visueller Merkmale: eine Alternative zur Erschließung digitaler Bildinformationen. (S. 1–174). Darmstadt University of Technology.
    16. Olariu, S. (2007). Transitional Issues. In S. Rajasekaran & J. H. Reif (Hrsg.), Handbook of Parallel Computing. Chapman and Hall/CRC. http://dblp.uni-trier.de/db/reference/crc/pc2007.html#Olariu07
    17. Fritzsche, S. (2007). Computer Algebra: A „Classical“ Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory. In V. G. Ganzha, E. W. Mayr, & E. V. Vorozhtsov (Hrsg.), CASC (Bd. 4770, S. 143–144). Springer. http://dblp.uni-trier.de/db/conf/casc/casc2007.html#Fritzsche07
    18. Weller, S. (2007). ICCM 2006. KI, 21(4), 74. http://dblp.uni-trier.de/db/journals/ki/ki21.html#Weller07
    19. Pfletschinger, S. (2007). The Influence of Link Adaptation in Multi-User OFDM. In S. Plass, A. Dammann, S. Kaiser, & K. Fazel (Hrsg.), MCSS (Bd. 1, S. 187–196). http://dblp.uni-trier.de/db/conf/mcss/mcss2007.html#Pfletschinger07
    20. Goericke, S. (2007). Qualifizierung von Software-Entwicklern als gesamtgesellschaftliche Aufgabe. Datenschutz und Datensicherheit, 31(12), 911–913. http://dblp.uni-trier.de/db/journals/dud/dud31.html#Goericke07
    21. Jacobs, S. (2007). Towards integration driven design. In W.-G. Bleek, H. Schwentner, & H. Züllighoven (Hrsg.), Software Engineering (Workshops): Bd. P-106 (S. 143–148). GI. http://dblp.uni-trier.de/db/conf/se/se2007w.html#Jacobs07
    22. Grimm, S. (2007). Intersection-Based Matchmaking for Semantic Web Service Discovery. ICIW, 14. http://dblp.uni-trier.de/db/conf/iciw/iciw2007.html#Grimm07
    23. Eichler, S. (2007). Performance Evaluation of the IEEE 802.11p WAVE Communication Standard. VTC Fall, 2199–2203. http://dblp.uni-trier.de/db/conf/vtc/vtc2007f.html#Eichler07
    24. Stephan, W. (2007). Inferring Genomic Footprints of Adaption from SNP Data. In C. Falter, A. Schliep, J. Selbig, M. Vingron, & D. Walther (Hrsg.), German Conference on Bioinformatics: Bd. P-115 (S. 145). GI. http://dblp.uni-trier.de/db/conf/gcb/gcb2007.html#Stephan07
    25. Kopf, S. (2007). Computergestützte Inhaltsanalyse von digitalen Videoarchiven. (S. 1–266). University of Mannheim.
    26. Olariu, S. (2007). Mesh-Based Parallel Algorithms for Ultra Fast Computer Vision. In S. Rajasekaran & J. H. Reif (Hrsg.), Handbook of Parallel Computing. Chapman and Hall/CRC. http://dblp.uni-trier.de/db/reference/crc/pc2007.html#Olariu07a
    27. Frank, S. (2007). Constraint solving in common Lisp. In C. Shapiro, P. Costanza, & J. L. White (Hrsg.), ILC (S. 10). ACM. http://dblp.uni-trier.de/db/conf/lfp/ilc2007.html#Frank07
    28. Herrmann, S. (2007). A precise model for contextual roles: The programming language ObjectTeams/Java . Applied Ontology, 2(2), 181–207. http://dblp.uni-trier.de/db/journals/ao/ao2.html#Herrmann07
    29. Heckmüller, S. (2007). Bereitstelhmg von Dienstgüte für aggregierte Multimedia-Ströme in lokalen ’Broadcast’-Netzen. In T. Braun, G. Carle, & B. Stiller (Hrsg.), KiVS (S. 307–314). Springer. http://dblp.uni-trier.de/db/conf/kivs/kivs2007.html#Heckmuller07
    30. Eberle, S. (2007). Adaptive Internet Integration of Field Bus Systems. IEEE Trans. Industrial Informatics, 3(1), 12–20. http://dblp.uni-trier.de/db/journals/tii/tii3.html#Eberle07
    31. Goebbels, S. (2007). Smart Caching Joins Hierarchical Mobile IP. VTC Spring, 2625–2630. http://dblp.uni-trier.de/db/conf/vtc/vtc2007s.html#Goebbels07
    32. Stilkerich, S. (2007). Graph theoretical representation of ANN architectures on regular two-dimensional grids for VLSI implementations. Neurocomputing, 71(1–3), 45–70. http://dblp.uni-trier.de/db/journals/ijon/ijon71.html#Stilkerich07
  16. 2006

    1. Pack, S. (2006). Elektromagnetische Verträglichkeit in Verbindung mit Blitzschutzsystemen. Elektrotechnik und Informationstechnik, 123(1–2), 39–45. http://dblp.uni-trier.de/db/journals/ei/ei123.html#Pack06
    2. Vollmer, S. (2006). Portierung des DBLP-Systems auf ein relationales Datenbanksystem und Evaluation der Performance. http://dbis.uni-trier.de/Diplomanden/Vollmer/vollmer.shtml
    3. Schneider, S. (2006). Ein Ansatz zur Konstruktion generischer (Unternehmens-) Datenmodelle auf fachkonzeptioneller Ebene. In J. Schelp, R. Winter, U. Frank, B. Rieger, & K. Turowski (Hrsg.), Data Warehousing: Bd. P-90 (S. 173–188). GI. http://dblp.uni-trier.de/db/conf/dw/dw2006.html#Schneider06
    4. Aier, S. (2006). How Clustering Enterprise Architectures helps to Design Service Oriented Architectures. IEEE SCC, 269–272. http://dblp.uni-trier.de/db/conf/IEEEscc/scc2006.html#Aier06
    5. Stephan, A. (2006). The dual role of „emergence“ in the philosophy of mind and in cognitive science. Synthese, 151(3), 485–498. http://dblp.uni-trier.de/db/journals/synthese/synthese151.html#Stephan06
    6. Kopf, S. (2006). Computergestützte Inhaltsanalyse von digitalen Videoarchiven. (S. 1–266). University of Mannheim, Germany.
    7. Stephan, P. (2006). Nicht-Wissen als Ressource sowie sieben Thesen zu künftiger Wissensarbeit (Not Knowing as a Resource and Seven Theses on the Future of Knowledge Work). i-com, 5(2), 4–10. http://dblp.uni-trier.de/db/journals/icom/icom5.html#Stephan06
    8. Larson, S. (2006). Discord: metal and meat. In J. W. Finnegan & T. Masson (Hrsg.), SIGGRAPH Computer Animation Festival (S. 197). ACM. http://dblp.uni-trier.de/db/conf/siggraph/siggraph2006festival.html#Larson06
    9. Scheuerer, S. (2006). A tabu search heuristic for the truck and trailer routing problem. Computers & OR, 33, 894–909. http://dblp.uni-trier.de/db/journals/cor/cor33.html#Scheuerer03
    10. Neuhaus, S. (2006). Experimentelle Methoden zum Aufspüren von Einbrüchen. Softwaretechnik-Trends, 26(2), Article 2. http://dblp.uni-trier.de/db/journals/stt/stt26.html#Neuhaus06
    11. Trahasch, S. (2006). Skriptgesteuerte Wissenskommunikation und personalisierte Vorlesungsaufzeichnungen. (S. 1–203). University of Freiburg.
    12. Helling, S. (2006). Improvement of Multispectral Image Capture by Compensating for Stray Light. CGIV, 458–462. http://dblp.uni-trier.de/db/conf/cgiv/cgiv2006.html#Helling06
    13. Schwan, S. (2006). Internationale Tagung „Mass media and the audience: The cultivation of beliefs, emotions and personality“ in Saarbrücken (5. 10.-7. 10. 2005). Zeitschrift für Medienpsychologie, 18(3), 137–138. http://dblp.uni-trier.de/db/journals/zmp/zmp18.html#Schwan06
    14. Groß, S. (2006). Selbstschützende mobile Systeme. In J. Dittmann (Hrsg.), Sicherheit: Bd. P-77 (S. 103–106). GI. http://dblp.uni-trier.de/db/conf/sicherheit/sicherheit2006.html#Gross06
    15. Thesing, S. (2006). Modeling a system controller for timing analysis. In S. L. Min & W. Yi (Hrsg.), EMSOFT (S. 292–300). ACM. http://dblp.uni-trier.de/db/conf/emsoft/emsoft2006.html#Thesing06
    16. Philippi, S. (2006). Automatic code generation from high-level Petri-Nets for model driven systems engineering. Journal of Systems and Software, 79(10), 1444–1455. http://dblp.uni-trier.de/db/journals/jss/jss79.html#Philippi06
    17. Behrendt, S. (2006). Rendering Dynamic Real-World Scenes Using Image Spheres. In G. Bebis, R. Boyle, B. Parvin, D. Koracin, P. Remagnino, A. V. Nefian, M. Gopi, V. Pascucci, J. Zara, J. Molineros, H. Theisel, & T. Malzbender (Hrsg.), ISVC (2) (Bd. 4292, S. 467–479). Springer. http://dblp.uni-trier.de/db/conf/isvc/isvc2006-2.html#Behrendt06
    18. Volmer, S. (2006). Inhaltsbasierte Bildsuche mittels visueller Merkmale. (S. 1–174). Darmstadt University of Technology.
    19. Wolfer, S. (2006). How manufacturing can learn from nature : exploration of ecological resilience. Loughborough University, UK.
    20. Lindner, B., & Longtin, A. (2006). Comment on "Characterization of Subthreshold Voltage Fluctuations in Neuronal Membranes, " by M. Rudolph and A. Destexhe. Neural Computation, 18(8), 1896–1931. http://dblp.uni-trier.de/db/journals/neco/neco18.html#LindnerL06
    21. Groß, S. (2006). Towards Cooperative Self-Protecting Mobile Devices using Trustful Relationships. SecureComm, 1–7. http://dblp.uni-trier.de/db/conf/securecomm/securecomm2006.html#Gross06
    22. Lingner, S. (2006). Pablo C. Benítez-Ponce: Essays on the economics of forestry-based carbon mitigation. Poiesis & Praxis, 4(1), 74–76. http://dblp.uni-trier.de/db/journals/pap/pap4.html#Lingner06
    23. Stephan, W. (2006). Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. In J. Misra, T. Nipkow, & E. Sekerinski (Hrsg.), FM (Bd. 4085, S. 587–591). Springer. http://dblp.uni-trier.de/db/conf/fm/fm2006.html#Stephan06
    24. Bohacek, S. (2006). Achievable performance improvements provided by cooperative diversity. In I. Matta & C. Douligeris (Hrsg.), WiOpt (S. 73–82). IEEE. http://dblp.uni-trier.de/db/conf/wiopt/wiopt2006.html#Bohacek06
    25. Lamprecht, S. (2006). openBC - das Buch: Netzwerken leicht gemacht. (S. I–IX, 1–155). Heise.
    26. Klaus, S. (2006). System-Level-Entwurfsmethodik eingebetteter Systeme. (S. 1–142). Darmstadt University of Technology.
    27. Neuhaus, S. (2006). Isolating Intrusions by Automatic Experiments. In S. Autexier, S. Merz, L. W. N. van der Torre, R. Wilhelm, & P. Wolper (Hrsg.), Trustworthy Software (Bd. 3). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. http://dblp.uni-trier.de/db/conf/dagstuhl/P6000.html#Neuhaus06
    28. Stilkerich, S. (2006). On the Hardware-Relevant Simulation of Regular Two-Dimensional CNN Processing Grids. IJCNN, 5177–5184. http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2006.html#Stilkerich06
  17. 2005

    1. Dürr, S. (2005). Gauge action improvement and smearing. Comput. Phys. Commun., 172(3), 163–186. http://dblp.uni-trier.de/db/journals/cphysics/cphysics172.html#Durr05
    2. Wang, H., Parthasarathy, S., Ghoting, A., Tatikonda, S., Buehrer, G., Kurç, T. M., & Saltz, J. H. (2005). Design of a next generation sampling service for large scale data analysis applications. In Arvind & L. Rudolph (Hrsg.), ICS (S. 91–100). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#WangPGTBKS05
    3. Almási, G., Bhanot, G., Gara, A., Gupta, M., Sexton, J. C., Walkup, R., Bulatov, V., Cook, A. W., de Supinski, B. R., Glosli, J. N., Greenough, J. A., Gygi, F., Kubota, A., Louis, S., Spelce, T. E., Streitz, F. H., Williams, P. L., Yates, R. K., Archer, C., … Rendleman, C. A. (2005). Scaling physics and material science applications on a massively parallel Blue Gene/L system. In Arvind & L. Rudolph (Hrsg.), ICS (S. 246–252). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#AlmasiBGGSWBCSGGGKLSSWYAMR05
    4. Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005. (2005). In Arvind & L. Rudolph (Hrsg.), ICS. ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html
    5. Nurvitadhi, E., Chalainanont, N., & Lu, S.-L. (2005). Characterization of L3 cache behavior of SPECjAppServer2002 and TPC-C. In Arvind & L. Rudolph (Hrsg.), ICS (S. 12–20). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#NurvitadhiCL05
    6. Thesing, S. (2005). Safe and precise WCET determination by abstract interpretation of pipeline models. (S. 1–250). Saarland University.
    7. Felter, W. M., Rajamani, K., Keller, T. W., & Rusu, C. (2005). A performance-conserving approach for reducing peak power consumption in server systems. In Arvind & L. Rudolph (Hrsg.), ICS (S. 293–302). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#FelterRKR05
    8. Liu, Y., Shayesteh, A., Memik, G., & Reinman, G. (2005). Tornado warning: the perils of selective replay in multithreaded processors. In Arvind & L. Rudolph (Hrsg.), ICS (S. 51–60). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#LiuSMR05
    9. Shen, K. (2005). Parallel sparse LU factorization on second-class message passing platforms. In Arvind & L. Rudolph (Hrsg.), ICS (S. 351–360). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#Shen05
    10. Gauch, S. (2005). Impacts and dynamics of competing standards of recordable DVD-media. SIIT, 117–129. http://dblp.uni-trier.de/db/conf/siit/siit2005.html#Gauch05
    11. Ziemer, S. (2005). Anwendung der Metro-Map-Metapher auf die Gestaltung von Unternehmensportalen. (S. 1–150). Technical University Munich.
    12. Diehl, S. (2005). Software visualization. In G.-C. Roman, W. G. Griswold, & B. Nuseibeh (Hrsg.), ICSE (S. 718–719). ACM. http://dblp.uni-trier.de/db/conf/icse/icse2005.html#Diehl05
    13. Steglich, S. (2005). Cooperating objects for ubiquitous computing. In Q. Qian (Hrsg.), ISADS (S. 107–108). IEEE Computer Society. http://dblp.uni-trier.de/db/conf/isads/isads2005.html#Steglich05
    14. Huh, J., Kim, C., Shafi, H., Zhang, L., Burger, D., & Keckler, S. W. (2005). A NUCA substrate for flexible CMP cache sharing. In Arvind & L. Rudolph (Hrsg.), ICS (S. 31–40). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#HuhKSZBK05
    15. Vogel, S. (2005). Statistical Machine Translation Part I: Hands-On Introduction. IJCNLP (companion). http://dblp.uni-trier.de/db/conf/ijcnlp/ijcnlp2005-2.html#Vogel05
    16. Aggarwal, A. (2005). Reducing latencies of pipelined cache accesses through set prediction. In Arvind & L. Rudolph (Hrsg.), ICS (S. 2–11). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#Aggarwal05
    17. Froyd, N., Mellor-Crummey, J. M., & Fowler, R. J. (2005). Low-overhead call path profiling of unmodified, optimized code. In Arvind & L. Rudolph (Hrsg.), ICS (S. 81–90). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#FroydMF05
    18. Murphy, R. C., Rodrigues, A., Kogge, P. M., & Underwood, K. D. (2005). The implications of working set analysis on supercomputing memory hierarchy design. In Arvind & L. Rudolph (Hrsg.), ICS (S. 332–340). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#MurphyRKU05
    19. Haneda, M., Knijnenburg, P. M. W., & Wijshoff, H. A. G. (2005). Generating new general compiler optimization settings. In Arvind & L. Rudolph (Hrsg.), ICS (S. 161–168). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#HanedaKW05
    20. Azimi, R., Stumm, M., & Wisniewski, R. W. (2005). Online performance analysis by statistical sampling of microprocessor performance counters. In Arvind & L. Rudolph (Hrsg.), ICS (S. 101–110). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#AzimiSW05
    21. Philippi, S. (2005). Model driven generation and testing of object-relational mappings. Journal of Systems and Software, 77(2), 193–207. http://dblp.uni-trier.de/db/journals/jss/jss77.html#Philippi05
    22. Gostin, G., Collard, J.-F., & Collins, K. (2005). The architecture of the HP Superdome shared-memory multiprocessor. In Arvind & L. Rudolph (Hrsg.), ICS (S. 239–245). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#GostinCC05
    23. Jr., R. H. B., & John, L. K. (2005). Improved automatic testcase synthesis for performance model validation. In Arvind & L. Rudolph (Hrsg.), ICS (S. 111–120). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#BellJ05
    24. Lawson, B., & Smirni, E. (2005). Power-aware resource allocation in high-end systems via online simulation. In Arvind & L. Rudolph (Hrsg.), ICS (S. 229–238). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#LawsonS05
    25. Amza, C., Soundararajan, G., & Cecchet, E. (2005). Transparent caching with strong consistency in dynamic content web sites. In Arvind & L. Rudolph (Hrsg.), ICS (S. 264–273). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#AmzaSC05
    26. Valluri, M. G., John, L. K., & McKinley, K. S. (2005). Low-power, low-complexity instruction issue using compiler assistance. In Arvind & L. Rudolph (Hrsg.), ICS (S. 209–218). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#ValluriJM05
    27. Marathe, J., Mueller, F., & de Supinski, B. R. (2005). A hybrid hardware/software approach to efficiently determine cache coherence Bottlenecks. In Arvind & L. Rudolph (Hrsg.), ICS (S. 21–30). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#MaratheMS05
    28. Zilber, J., Amit, O., & Talby, D. (2005). What is worth learning from parallel workloads?: a user and session based analysis. In Arvind & L. Rudolph (Hrsg.), ICS (S. 377–386). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#ZilberAT05
    29. Zhou, P., Önder, S., & Carr, S. (2005). Fast branch misprediction recovery in out-of-order superscalar processors. In Arvind & L. Rudolph (Hrsg.), ICS (S. 41–50). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#ZhouOC05
    30. Renau, J., Tuck, J., Liu, W., Ceze, L., Strauss, K., & Torrellas, J. (2005). Tasking with out-of-order spawn in TLS chip multiprocessors: microarchitecture and compilation. In Arvind & L. Rudolph (Hrsg.), ICS (S. 179–188). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#RenauTLCST05
    31. Wilhelm, S. (2005). Efficient Analysis of Pipeline Models for WCET Computation. In R. Wilhelm (Hrsg.), WCET (Bd. 1). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. http://dblp.uni-trier.de/db/conf/wcet/wcet2005.html#Wilhelm05a
    32. Faraj, A., & Yuan, X. (2005). Automatic generation and tuning of MPI collective communication routines. In Arvind & L. Rudolph (Hrsg.), ICS (S. 393–402). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#FarajY05
    33. Rajan, K., & Govindarajan, R. (2005). A heterogeneously segmented cache architecture for a packet forwarding engine. In Arvind & L. Rudolph (Hrsg.), ICS (S. 71–80). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#RajanG05
    34. Shen, X., Gao, Y., Ding, C., & Archambault, R. (2005). Lightweight reference affinity analysis. In Arvind & L. Rudolph (Hrsg.), ICS (S. 131–140). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#ShenGDA05
    35. Basumallik, A., & Eigenmann, R. (2005). Towards automatic translation of OpenMP to MPI. In Arvind & L. Rudolph (Hrsg.), ICS (S. 189–198). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#BasumallikE05
    36. Chafi, H., Minh, C. C., McDonald, A., Carlstrom, B. D., Chung, J., Hammond, L., Kozyrakis, C., & Olukotun, K. (2005). TAPE: a transactional application profiling environment. In Arvind & L. Rudolph (Hrsg.), ICS (S. 199–208). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#ChafiMMCCHKO05
    37. Yu, W., Liang, S., & Panda, D. K. (2005). High performance support of parallel virtual file system (PVFS2) over Quadrics. In Arvind & L. Rudolph (Hrsg.), ICS (S. 323–331). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#YuLP05
    38. Cohen, A., Sigler, M., Girbal, S., Temam, O., Parello, D., & Vasilache, N. (2005). Facilitating the search for compositions of program transformations. In Arvind & L. Rudolph (Hrsg.), ICS (S. 151–160). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#CohenSGTPV05
    39. Loukopoulos, T., Lampsas, P., & Ahmad, I. (2005). Continuous Replica Placement schemes in distributed systems. In Arvind & L. Rudolph (Hrsg.), ICS (S. 284–292). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#LoukopoulosLA05
    40. Stephan, E. (2005). IP Performance Metrics (IPPM) Metrics Registry. RFC, 4148, 1–14. http://dblp.uni-trier.de/db/journals/rfc/rfc4100-4199.html
    41. Vogel, S. (2005). Statistical machine translation with cascaded probabilistic transducers. (S. 1–123). RWTH Aachen University.
    42. Herrmann, S. (2005). Ein Modell zur Beschreibung und Implementierung von Bildanalysefunktionen. (S. 1–129). Technical University Munich, Germany.
    43. Löf, H., & Holmgren, S. (2005). affinity-on-next-touch: increasing the performance of an industrial PDE solver on a cc-NUMA system. In Arvind & L. Rudolph (Hrsg.), ICS (S. 387–392). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#LofH05
    44. Baumann, S. (2005). Artificial Listening Systems - Modellierung und approximation der individuellen Perzeption von Musikähnlichkeit. (S. I–XI, 1–159). Dissertation.de.
    45. Kepser, S. (2005). Using MONA for Querying Linguistic Treebanks. HLT/EMNLP, 555–562. http://dblp.uni-trier.de/db/conf/naacl/naacl2005.html#Kepser05
    46. Schneider, S. (2005). Integration von Produktions-, Steuerungsprozessen und Anwendungssystemarchitektur im Kreditgeschäft von Banken. (S. 1–314). University of Leipzig.
    47. Reinschke, K. (2005). Dr. Joachim Rudolph erhielt Dr. Meyer-Struckmann-Wissenschaftspreis 2004. Automatisierungstechnik, 53(9), 464–466. http://dblp.uni-trier.de/db/journals/at/at53.html#Reinschke05
    48. Son, S. W., Chen, G., & Kandemir, M. T. (2005). Disk layout optimization for reducing energy consumption. In Arvind & L. Rudolph (Hrsg.), ICS (S. 274–283). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#SonCK05
    49. Tsafrir, D., Etsion, Y., Feitelson, D. G., & Kirkpatrick, S. (2005). System noise, OS clock ticks, and fine-grained parallel applications. In Arvind & L. Rudolph (Hrsg.), ICS (S. 303–312). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#TsafrirEFK05
    50. Baumann, S. (2005). Musikempfehlungssysteme Userzentriert und kontextbasiert. Informatik Spektrum, 28(5), 369–374. http://dblp.uni-trier.de/db/journals/insk/insk28.html#Baumann05
    51. Renau, J., Strauss, K., Ceze, L., Liu, W., Sarangi, S. R., Tuck, J., & Torrellas, J. (2005). Thread-Level Speculation on a CMP can be energy efficient. In Arvind & L. Rudolph (Hrsg.), ICS (S. 219–228). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#RenauSCLSTT05
    52. White, B. S., McKee, S. A., de Supinski, B. R., Miller, B., Quinlan, D. J., & Schulz, M. (2005). Improving the computational intensity of unstructured mesh applications. In Arvind & L. Rudolph (Hrsg.), ICS (S. 341–350). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#WhiteMSMQS05
    53. Wu, P., Eichenberger, A. E., Wang, A., & Zhao, P. (2005). An integrated simdization framework using virtual vectors. In Arvind & L. Rudolph (Hrsg.), ICS (S. 169–178). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#WuEWZ05
    54. Frigo, M., & Strumpen, V. (2005). Cache oblivious stencil computations. In Arvind & L. Rudolph (Hrsg.), ICS (S. 361–366). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#FrigoS05
    55. Euler, S. (2005). Java tools for teaching speech recognition. ICASSP (5), 541–544. http://dblp.uni-trier.de/db/conf/icassp/icassp2005-5.html#Euler05
    56. Antonopoulos, C. D., Ding, X., Chernikov, A. N., Blagojevic, F., Nikolopoulos, D. S., & Chrisochoides, N. (2005). Multigrain parallel Delaunay Mesh generation: challenges and opportunities for multithreaded architectures. In Arvind & L. Rudolph (Hrsg.), ICS (S. 367–376). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#AntonopoulosDCBNC05
    57. Almási, G., Heidelberger, P., Archer, C., Martorell, X., Erway, C. C., Moreira, J. E., Steinmacher-Burow, B. D., & Zheng, Y. (2005). Optimization of MPI collective communication on BlueGene/L systems. In Arvind & L. Rudolph (Hrsg.), ICS (S. 253–262). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#AlmasiHAMEMSZ05
    58. Rieche, S. (2005). Versionierung in relationalen Datenbanken. In H. Höpfner, G. Saake, F. Naumann, & A. Heuer (Hrsg.), BTW Studierenden-Programm (S. 23–25). Universität Magdeburg, Fakultät für Informatik. http://dblp.uni-trier.de/db/conf/btw/btw2005stud.html#Rieche05
    59. Rusdorf, S., & Brunnett, G. (2005). Real time tracking of high speed movements in the context of a table tennis application. In G. Singh, R. W. H. Lau, Y. Chrysanthou, & R. P. Darken (Hrsg.), VRST (S. 192–200). ACM. http://dblp.uni-trier.de/db/conf/vrst/vrst2005.html#RusdorfB05
    60. Utrera, G., Corbalán, J., & Labarta, J. (2005). Another approach to backfilled jobs: applying virtual malleability to expired windows. In Arvind & L. Rudolph (Hrsg.), ICS (S. 313–322). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#UtreraCL05
    61. Duran, A., González, M., & Corbalán, J. (2005). Automatic thread distribution for nested parallelism in OpenMP. In Arvind & L. Rudolph (Hrsg.), ICS (S. 121–130). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#DuranGC05
    62. Stephan, R. (2005). XSE - XML-Schema-Extractor. In H. Höpfner, G. Saake, F. Naumann, & A. Heuer (Hrsg.), BTW Studierenden-Programm (S. 3–4). Universität Magdeburg, Fakultät für Informatik. http://dblp.uni-trier.de/db/conf/btw/btw2005stud.html#Stephan05
    63. Busemann, S. (2005). Ten Years After: An Update on TG/2 (and Friends). In G. Wilcock, K. Jokinen, C. Mellish, & E. Reiter (Hrsg.), ENLG. ACL. http://dblp.uni-trier.de/db/conf/enlg/enlg2005.html#Busemann05
    64. Yotov, K., Pingali, K., & Stodghill, P. (2005). Think globally, search locally. In Arvind & L. Rudolph (Hrsg.), ICS (S. 141–150). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#YotovPS05
    65. González, R., Cristal, A., Pericàs, M., Valero, M., & Veidenbaum, A. V. (2005). An asymmetric clustered processor based on value content. In Arvind & L. Rudolph (Hrsg.), ICS (S. 61–70). ACM. http://dblp.uni-trier.de/db/conf/ics/ics2005.html#GonzalezCPVV05
    66. Frei, S. (2005). Bestimmung der bordnetzgebundenen Störaussendung mit dem kapazitiven Spannungssensor. GMM EMV, 48, 41–46. http://dblp.uni-trier.de/db/conf/gmmemv/gmmemv2005.html#Frei05
    67. Rees, S. (2005). New cascaded control system for current-source rectifiers. IEEE Trans. Industrial Electronics, 52(3), 774–784. http://dblp.uni-trier.de/db/journals/tie/tie52.html#Rees05
    68. Lehmke, S. (2005). Logics which allow Degrees of Truth and Degrees of Validity: a way of handling graded truth assessment and graded trust assessment within a single framework. (S. 1–267). Dortmund University of Technology.
    69. Lechner, S. (2005). Defining web scheme transformers by-example. (S. 1–224). Johannes Kepler University of Linz.
  18. 2004

    1. Strelen, S. (2004). Intelligente Methoden für mechatronische Systeme in der Nahrungsmittelindustrie. (S. 1–165). University of Marburg.
    2. Pfletschinger, S. (2004). Iterative demodulation of zero-padded OFDM with MMSE equalization using a priori information. EUSIPCO, 2087–2090. http://dblp.uni-trier.de/db/conf/eusipco/eusipco2004.html#Pfletschinger04
    3. Kepser, S. (2004). A Simple Proof for the Turing-Completeness of XSLT and XQuery. Extreme Markup Languages®. http://dblp.uni-trier.de/db/conf/extreme/extreme2004.html#Kepser04
    4. Recker, S. (2004). Resource management for virtual network structures in multi-service networks. (S. 1–173). University of Duisburg-Essen.
    5. Düllmann, S. (2004). Ein Algorithmus zur Bestimmung der Klassengruppe positiv definierter binärer quadratischer Formen. Saarland University.
    6. Schulz, S. (2004). System Description: E 0.81. In D. A. Basin & M. Rusinowitch (Hrsg.), IJCAR (Bd. 3097, S. 223–228). Springer. http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#Schulz04
    7. Kassanke, S. (2004). Ontologiebasierte Strukturierung von Lernobjekten in der Domäne Operations Research, Management Science und Einbettung in ein hypermediales Lernsystem - Konzeption und Implementierung. (S. 1–219). University of Paderborn.
    8. Busemann, S. (2004). EGRAM - A Grammar Development Environment and its Usage for Language Generation. LREC. http://dblp.uni-trier.de/db/conf/lrec/lrec2004.html#Busemann04
    9. Schmidt, S. (2004). World Wide Plaza: the corporatization of urban public space. IEEE Technol. Soc. Mag., 23(3), 17–18. http://dblp.uni-trier.de/db/journals/tasm/tasm23.html#Schmidt04
    10. Heuel, S. (2004). Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction. In Lecture Notes in Computer Science (Bd. 3008). Springer.
    11. Weiss, S. (2004). On the design of oversampled filter banks for channel coding. EUSIPCO, 885–888. http://dblp.uni-trier.de/db/conf/eusipco/eusipco2004.html#Weiss04
    12. Winter, S. (2004). Communication about Space. Trans. GIS, 8(3), 291–296. http://dblp.uni-trier.de/db/journals/tgis/tgis8.html#Winter04
    13. Lingner, S. (2004). J. Loomis, G. Helfand: Environmental policy analysis for decision making. Poiesis & Praxis, 3(1–2), 148–151. http://dblp.uni-trier.de/db/journals/pap/pap3.html#Lingner04
    14. Philippi, S. (2004). Formally based modeling and inheritance of behaviour in object-oriented systems. Journal of Systems and Software, 70(1–2), 129–142. http://dblp.uni-trier.de/db/journals/jss/jss70.html#Philippi04
    15. Roppel, S. (2004). Navigation, Adaption und Information Retrieval: Informationstechnik im Dienst des Buchkaufs. In M. Eibl, C. Wolff, & C. Womser-Hacker (Hrsg.), Designing Information Systems (Bd. 43, S. 71–83). UVK. http://dblp.uni-trier.de/db/conf/birthday/krause2004.html#Roppel04
    16. Dempe, S. (2004). Book review. OR Spectrum, 26(1), 147–148. http://dblp.uni-trier.de/db/journals/ors/ors26.html#Dempe04
    17. Schedel, S. (2004). Wege zu VoIP - Konvergenztechnologie. In J. von Knop, W. Haverkamp, & E. Jessen (Hrsg.), DFN-Arbeitstagung über Kommunikationsnetze: Bd. P-55 (S. 227–247). GI. http://dblp.uni-trier.de/db/conf/dfn/dfn2004.html#Schedel04
    18. Recker, S. (2004). Multilayered Wholesale Resource Trading to Foster Service Diversity in Packet-Switching Networks. Telecommunication Systems, 27(2–4), 181–205. http://dblp.uni-trier.de/db/journals/telsys/telsys27.html#Recker04
    19. Bäro, S. (2004). Turbo detection for MIMO systems: bit labeling and pre-coding. European Transactions on Telecommunications, 15(4), 343–350. http://dblp.uni-trier.de/db/journals/ett/ett15.html#Baro04
    20. Würmlin, S. (2004). Dynamic point samples as primitives for free-viewpoint video. (S. 1–162). ETH Zurich.
    21. Ziemer, S. (2004). Anwendung der Metro-Map-Metapher auf die Gestaltung von Unternehmensportalen. (S. 1–150). Technical University Munich, Germany.
    22. Flake, S. (2004). OclType - A Type or Metatype ? Electron. Notes Theor. Comput. Sci., 102, 63–75. http://dblp.uni-trier.de/db/journals/entcs/entcs102.html#Flake04
    23. Flake, S. (2004). Towards the Completion of the Formal Semantics of OCL 2.0. In V. Estivill-Castro (Hrsg.), ACSC (Bd. 26, S. 73–82). Australian Computer Society. http://dblp.uni-trier.de/db/conf/acsc/acsc2004.html#Flake04
    24. Kepser, S. (2004). Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time. Journal of Logic, Language and Information, 13(4), 457–470. http://dblp.uni-trier.de/db/journals/jolli/jolli13.html#Kepser04
    25. Kreutzer, S. (2004). Expressive equivalence of least and inflationary fixed-point logic. Ann. Pure Appl. Logic, 130(1–3), 61–78. http://dblp.uni-trier.de/db/journals/apal/apal130.html#Kreutzer04
    26. Weibelzahl, S. (2004). Evaluation of adaptive systems. University of Trier.
    27. Schulz, S. (2004). Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols. In R. Groz & R. M. Hierons (Hrsg.), TestCom (Bd. 2978, S. 177–192). Springer. http://dblp.uni-trier.de/db/conf/pts/testcom2004.html#Schulz04
    28. Larson, S. (2004). (re)cognition. In S. Gollifer (Hrsg.), SIGGRAPH Art Gallery (S. 141). ACM. http://dblp.uni-trier.de/db/conf/siggraph/siggraph2004gallery.html#Larson04
    29. Thesing, S. (2004). Safe and precise WCET determination by abstract interpretation of pipeline models. (S. 1–250). Pirrot.
    30. Flake, S. (2004). Enhancing the Message Concept of the Object Constraint Language. In F. Maurer & G. Ruhe (Hrsg.), SEKE (S. 161–166). http://dblp.uni-trier.de/db/conf/seke/seke2004.html#Flake04
    31. Recker, S. (2004). Cost model and optimal allocation of service curves in reservation-based networks. In M. H. Hamza (Hrsg.), Parallel and Distributed Computing and Networks (S. 94–99). IASTED/ACTA Press. http://dblp.uni-trier.de/db/conf/pdcn/pdcn2004.html#Recker04
    32. Philippi, S. (2004). Light-weight integration of molecular biological databases. Bioinformatics, 20(1), 51–57. http://dblp.uni-trier.de/db/journals/bioinformatics/bioinformatics20.html#Philippi04
    33. Herrmann, S. (2004). Sustainable architectures by combining flexibility and strictness in Object Teams. IEE Proceedings - Software, 151(2), 57–66. http://dblp.uni-trier.de/db/journals/iee/iee-s151.html#Herrmann04
    34. Foldes, S. (2004). Decomposition of planar motions into reflections and rotations with distance constraints. CCCG, 33–35. http://dblp.uni-trier.de/db/conf/cccg/cccg2004.html#Foldes04
  19. 2003

    1. Philippi, S. (2003). Analysis of fault tolerance and reliability in distributed real-time system architectures. Rel. Eng. & Sys. Safety, 82(2), 195–206. http://dblp.uni-trier.de/db/journals/ress/ress82.html#Philippi03
    2. Flake, S. (2003). UML-based specification of state oriented real time properties. (S. 1–224). University of Paderborn.
    3. Winter, S. (2003). Route Adaptive Selection of Salient Features. In W. Kuhn, M. F. Worboys, & S. Timpf (Hrsg.), COSIT (Bd. 2825, S. 349–361). Springer. http://dblp.uni-trier.de/db/conf/cosit/cosit2003.html#Winter03
    4. Grashey, S. (2003). A new approach to voice activity detection based on self-organizing maps. INTERSPEECH. http://dblp.uni-trier.de/db/conf/interspeech/interspeech2003.html#Grashey03
    5. Merz, S. (2003). On the Logic of TLA+. Computers and Artificial Intelligence, 22(3–4), 351–379. http://dblp.uni-trier.de/db/journals/cai/cai22.html#Merz03
    6. Diehl, S. (2003). Softwarevisualisierung. Informatik Spektrum, 26(4), 257–260. http://dblp.uni-trier.de/db/journals/insk/insk26.html#Diehl03
    7. Waldeck, S. (2003). Möglichkeit einer EDV gestützten Patientenverwaltung für die Nuklearmedizin mit dem Schwerpunkt auf die Nachsorge von radiojodbestrahlten Hyperthyreosepatienten. (S. 1–72). University of Cologne.
    8. Barth, S. (2003). Unterstützungsleistungen im Kommunikationsraum Internet: eine Fallstudie zu einer Selbsthilfegruppe. University of Siegen, Germany.
    9. Raimer, S. (2003). Projekt Hilwa - Benutzerorientierte Gestaltung eines Lerncontentmanagementsystems für die Berufliche Aus- und Weiterbildung. In M. Peissner & K. Röse (Hrsg.), Usability Professionals (S. 115–121). Fraunhofer Verlag. http://dblp.uni-trier.de/db/conf/mc/up2003.html#Raimer03
    10. Scholze, S. (2003). A probabilistic approach to building roof reconstruction. (S. 1–189). Hartung-Gorre.
    11. Diehl, S. (2003). Specializing visualization algorithms. In F. H. Post, G. M. Nielson, & G.-P. Bonneau (Hrsg.), Data Visualization: The State of the Art (S. 67–76). Kluwer. http://dblp.uni-trier.de/db/conf/dagstuhl/dvis2003.html#Diehl03
    12. Steglich, S. (2003). I-centric user interaction. Berlin Institute of Technology.
    13. Lingner, S. (2003). Legitimacy of tolerating limited environmental pollution? The case for natural attenuation. Poiesis & Praxis, 2(1), 73–78. http://dblp.uni-trier.de/db/journals/pap/pap2.html#Lingner03
    14. Pfletschinger, S. (2003). Multicarrier modulation for broadband return channels in cable TV networks. (S. 1–138). Shaker.
    15. Baucke, S. (2003). Using receiver-based rate matching for congestion detection in rate-based protocols. WCNC, 1784–1789. http://dblp.uni-trier.de/db/conf/wcnc/wcnc2003.html#Baucke03
    16. Langer, S. (2003). Qualitätsvergleiche auf Konsumgütermärkten: die Auswirkungen neuer Informations- und Kommunikationstechnologien auf die Informationsbeschaffung von Konsumenten. (S. 1–245). Kovač.
    17. Kepser, S. (2003). Finite Structure Query: A Tool for Querying Syntactically Annotated Corpora. EACL, 179–186. http://dblp.uni-trier.de/db/conf/eacl/eacl2003.html#Kepser03
    18. Stephan, S. (2003). Browning, G.: Electronic democracy - using the internet to transform American politics. Poiesis & Praxis, 1(4), 317–320. http://dblp.uni-trier.de/db/journals/pap/pap1.html#Stephan03
    19. Wenger, S. (2003). H.264/AVC over IP. IEEE Trans. Circuits Syst. Video Techn., 13(7), 645–656. http://dblp.uni-trier.de/db/journals/tcsv/tcsv13.html#Wenger03
    20. Vogel, S. (2003). Using Noisy Bilingual Data for Statistical Machine Translation. EACL, 175–178. http://dblp.uni-trier.de/db/conf/eacl/eacl2003.html#Vogel03
    21. Bohacek, S. (2003). A Stochastic Model of TCP and Fair Video Transmission. INFOCOM, 1134–1144. http://dblp.uni-trier.de/db/conf/infocom/infocom2003.html#Bohacek03
    22. Recker, S. (2003). Service Curve Based Routing Subject to Deterministic QoS Constraints. Telecommunication Systems, 24(2–4), 385–413. http://dblp.uni-trier.de/db/journals/telsys/telsys24.html#Recker03
    23. Brandt, S. (2003). Note. Combinatorica, 23(4), 693–696. http://dblp.uni-trier.de/db/journals/combinatorica/combinatorica23.html#Brandt03
    24. Busemann, S. (2003). Generierung natürlichsprachlicher Texte. In G. Görz, C.-R. Rollinger, & J. Schneeberger (Hrsg.), Handbuch der Künstlichen Intelligenz (S. 783–814). Oldenbourg / De Gruyter. http://dblp.uni-trier.de/db/books/collections/GRS2003.html#Busemann03
  20. 2002

    1. Oepen, S. (2002). Competence and performance profiling for constraint-based grammars: a new methodology, toolkit, and applications. (S. 1–178). Saarland University.
    2. Kreutzer, S. (2002). Pure and applied fixed-point logics. In D. Wagner (Hrsg.), Ausgezeichnete Informatikdissertationen: Bd. D-3 (S. 59–68). GI. http://dblp.uni-trier.de/db/conf/gi/diss2002.html#Kreutzer02
    3. Merz, S. (2002). Model Checking Techniqes for the Analysis of Reactive Systems. Synthese, 133(1–2), 173–201. http://dblp.uni-trier.de/db/journals/synthese/synthese133.html#Merz02
    4. Winter, S. (2002). Modeling Costs of Turns in Route Planning. GeoInformatica, 6(4), 363–380. http://dblp.uni-trier.de/db/journals/geoinformatica/geoinformatica6.html#Winter02
    5. Volmer, S. (2002). Fast Approximate Nearest-Neighbor Queries in Metric Feature Spaces by Buoy Indexing. In S.-K. Chang, Z. Chen, & S.-Y. Lee (Hrsg.), VISUAL (Bd. 2314, S. 36–49). Springer. http://dblp.uni-trier.de/db/conf/visual/visual2002.html#Volmer02
    6. Brandt, S. (2002). A 4-colour problem for dense triangle-free graphs. Discrete Mathematics, 251(1–3), 33–46. http://dblp.uni-trier.de/db/journals/dm/dm251.html#Brandt02
    7. Dahlke, S. (2002). Besov regularity of edge singularities for the Poisson equation in polyhedral domains. Numerical Lin. Alg. with Applic., 9(6–7), 457–466. http://dblp.uni-trier.de/db/journals/nla/nla9.html#Dahlke02
    8. Mertens, S. (2002). Computational complexity for physicists. Computing in Science and Engineering, 4(3), 31–47. http://dblp.uni-trier.de/db/journals/cse/cse4.html#Mertens02
    9. Schulz, S. (2002). E - a brainiac theorem prover. AI Commun., 15(2–3), 111–126. http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#Schulz02
    10. Spitz, S. (2002). Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen. (S. 1–115). Technical University Munich, Germany.
    11. Flake, S. (2002). Real-Time Constraints with the OCL (position paper). Symposium on Object-Oriented Real-Time Distributed Computing, 425–428. http://dblp.uni-trier.de/db/conf/isorc/isorc2002.html#Flake02
    12. Schulz, S. (2002). A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. In S. M. Haller & G. Simmons (Hrsg.), FLAIRS Conference (S. 72–76). AAAI Press. http://dblp.uni-trier.de/db/conf/flairs/flairs2002.html#Schulz02
    13. Kiemle, S. (2002). From Digital Archive to Digital Library - A Middleware for Earth-Observation Data Management. In M. Agosti & C. Thanos (Hrsg.), ECDL (Bd. 2458, S. 230–237). Springer. http://dblp.uni-trier.de/db/conf/ercimdl/ecdl2002.html#Kiemle02
    14. Preuß, S. (2002). JESA Service Discovery Protocol. In E. Gregori, M. Conti, A. T. Campbell, C. G. Omidyar, & M. Zukerman (Hrsg.), NETWORKING (Bd. 2345, S. 1196–1201). Springer. http://dblp.uni-trier.de/db/conf/networking/networking2002.html#Preuss02
    15. Kreutzer, S. (2002). Expressive Equivalence of Least and Inflationary Fixed-Point Logic. LICS, 403-. http://dblp.uni-trier.de/db/conf/lics/lics2002.html#Kreutzer02
    16. Müller, S. (2002). www.firmenfinanzportal.de - der Weg zum marktführenden Transaktionsportal. HMD - Praxis Wirtschaftsinform., 225. http://dblp.uni-trier.de/db/journals/hmd/hmd225.html#Muller02
    17. Grigolli, S. (2002). Datenschutz in Italien. Datenschutz und Datensicherheit, 26(6), Article 6. http://dblp.uni-trier.de/db/journals/dud/dud26.html#Grigolli02
    18. Herrmann, S. (2002). Bericht über die Component Deployment 2002 am 20. und 21. Juni 2002 in Berlin. Softwaretechnik-Trends, 22(4), Article 4. http://dblp.uni-trier.de/db/journals/stt/stt22.html#Herrmann02
    19. Herrmann, S. (2002). Object Teams: Improving Modularity for Crosscutting Collaborations. In M. Aksit, M. Mezini, & R. Unland (Hrsg.), NetObjectDays (Bd. 2591, S. 248–264). Springer. http://dblp.uni-trier.de/db/conf/jit/netobject2002.html#Herrmann02
    20. Brandt, S. (2002). Triangle-free graphs and forbidden subgraphs. Discrete Applied Mathematics, 120(1–3), 25–33. http://dblp.uni-trier.de/db/journals/dam/dam120.html#Brandt02
    21. Herrmann, S. (2002). Views and concerns and interrelationships: lessons learned from developing the multi-view software engineering environment PIROL. Technical University of Berlin, Germany.
    22. Kreutzer, S. (2002). Partial Fixed-Point Logic on Infinite Structures. In J. C. Bradfield (Hrsg.), CSL (Bd. 2471, S. 337–351). Springer. http://dblp.uni-trier.de/db/conf/csl/csl2002.html#Kreutzer02
    23. Philippi, S. (2002). Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems. In N. Guelfi, E. Astesiano, & G. Reggio (Hrsg.), FIDJI (Bd. 2604, S. 29–38). Springer. http://dblp.uni-trier.de/db/conf/fidji/fidji2002.html#Philippi02
  21. 2001

    1. Harchol-Balter, M., Bansal, N., Schroeder, B., & Agrawal, M. (2001). SRPT Scheduling for Web Servers. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 11–20). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#Harchol-BalterBSA01
    2. Stephan, F. (2001). On The Structures Inside Truth-Table Degrees. J. Symb. Log., 66(2), 731–770. http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#Stephan01
    3. Yoo, A. B., & Jette, M. A. (2001). An Efficient and Scalable Coscheduling Technique for Large Symmetric Multiprocessor Clusters. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 21–40). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#YooJ01
    4. Schulz, S. (2001). Information-Based Selection of Abstraction Levels. In I. Russell & J. F. Kolen (Hrsg.), FLAIRS Conference (S. 402–406). AAAI Press. http://dblp.uni-trier.de/db/conf/flairs/flairs2001.html#Schulz01
    5. Lehmke, S. (2001). Logics which allow Degrees of Truth and Degrees of Validity: a way of handling graded truth assessment and graded trust assessment within a single framework. (S. 1–267). Technical University of Dortmund, Germany.
    6. Kreutzer, S. (2001). Operational Semantics for Fixed-Point Logics on Constraint Databases. In R. Nieuwenhuis & A. Voronkov (Hrsg.), LPAR (Bd. 2250, S. 470–484). Springer. http://dblp.uni-trier.de/db/conf/lpar/lpar2001.html#Kreutzer01
    7. Jackson, D. B., Snell, Q., & Clement, M. J. (2001). Core Algorithms of the Maui Scheduler. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 87–102). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#JacksonSC01
    8. Waack, S. (2001). On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams. Inf. Comput., 166(1), 61–70. http://dblp.uni-trier.de/db/journals/iandc/iandc166.html#Waack01
    9. Volmer, S. (2001). Buoy Indexing of Metric Feature Spaces for Fast Approximate Image Queries. In J. A. Jorge, N. Correia, H. Jones, & M. B. Kamegai (Hrsg.), Eurographics Multimedia Workshop (S. 131–140). Eurographics Association. http://dblp.uni-trier.de/db/conf/egmm/egmm2001.html#Volmer01
    10. Philippi, S. (2001). Modeling and Inheritance of Behaviour in Object-Oriented Systems. IV, 342–350. http://dblp.uni-trier.de/db/conf/iv/iv2001.html#Philippi01
    11. Fischer, S. (2001). Course and exercise sequencing using metadata in adaptive hypermedia learning systems. ACM Journal of Educational Resources in Computing, 1(1), 5. http://dblp.uni-trier.de/db/journals/jeric/jeric1.html#Fischer01
    12. Giné, F., Solsona, F., Hernández, P., & Luque, E. (2001). Coscheduling under Memory Constraints in a NOW Environment. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 41–65). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#GineSHL01
    13. Winther, S. (2001). Weighting the Path Continuation in Route Planning. In W. G. Aref (Hrsg.), ACM-GIS (S. 173–176). ACM. http://dblp.uni-trier.de/db/conf/gis/gis2001.html#Winther01
    14. Weibelzahl, S. (2001). Evaluation of Adaptive Systems. In M. Bauer, P. J. Gmytrasiewicz, & J. Vassileva (Hrsg.), User Modeling (Bd. 2109, S. 292–294). Springer. http://dblp.uni-trier.de/db/conf/um/um2001.html#Weibelzahl01
    15. Zhang, Y., Franke, H., Moreira, J. E., & Sivasubramaniam, A. (2001). An Integrated Approach to Parallel Scheduling Using Gang-Scheduling, Backfilling, and Migration. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 133–158). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#ZhangFMS01
    16. Brauss, S. (2001). A new communication architecture for workstation clusters. (S. 1–265). Hartung-Gorre.
    17. Kreutzer, S. (2001). Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls. In J. V. den Bussche & V. Vianu (Hrsg.), ICDT (Bd. 1973, S. 248–262). Springer. http://dblp.uni-trier.de/db/conf/icdt/icdt2001.html#Kreutzer01
    18. Heuser, S. (2001). Digital Rights Management - Dealmaker for E-business? In L. Fiege, G. Mühl, & U. G. Wilhelm (Hrsg.), WELCOM (Bd. 2232, S. 11–12). Springer. http://dblp.uni-trier.de/db/conf/welcom/welcom2001.html#Heuser01
    19. Schulz, S. (2001). System Abstract: E 0.61. In R. Goré, A. Leitsch, & T. Nipkow (Hrsg.), IJCAR (Bd. 2083, S. 370–375). Springer. http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#Schulz01
    20. Fischer, S. (2001). Java und verteilte Systeme (Java and distributed Systems). it+ti - Informationstechnik und Technische Informatik, 43(3), 132–141. http://dblp.uni-trier.de/db/journals/it/it43.html#Fischer01
    21. Heuel, S. (2001). Points, Lines, and Planes and Their Optimal Estimation. In B. Radig & S. Florczyk (Hrsg.), DAGM-Symposium (Bd. 2191, S. 92–99). Springer. http://dblp.uni-trier.de/db/conf/dagm/dagm2001.html#Heuel01
    22. Stephan, F. (2001). On one-sided versus two-sided classification. Arch. Math. Log., 40(7), 489–513. http://dblp.uni-trier.de/db/journals/aml/aml40.html#Stephan01
    23. Spitz, S. (2001). Verifikation von digitalen Signaturen - Modellierung einer vollständigen Signaturprüfung. Datenschutz und Datensicherheit, 25(8), Article 8. http://dblp.uni-trier.de/db/journals/dud/dud25.html#Spitz01
    24. Diehl, S. (2001). Future Perspectives - Introduction. In S. Diehl (Hrsg.), Software Visualization (Bd. 2269, S. 347–353). Springer. http://dblp.uni-trier.de/db/conf/dagstuhl/svis2001.html#Diehl01
    25. Zhou, B. B., & Brent, R. P. (2001). On the Development of an Efficient Coscheduling System. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 103–115). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#ZhouB01
    26. Feitelson, D. G. (2001). Metrics for Parallel Job Scheduling and Their Convergence. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 188–206). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#Feitelson01
    27. Bucur, A. I. D., & Epema, D. H. J. (2001). The Influence of Communication on the Performance of Co-allocation. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 66–86). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#BucurE01
    28. Robertson, S. (2001). On Laboratory Testing of Text Retrieval Systems. NTCIR. http://dblp.uni-trier.de/db/conf/ntcir/ntcir2001.html#Robertson01
    29. Crovella, M. (2001). Performance Evaluation with Heavy Tailed Distributions. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 1–10). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#Crovella01
    30. Diehl, S. (2001). Distributed virtual worlds - foundations and implementation techniques using VRML, Java, and CORBA. (S. I–XII, 1–166). Springer.
    31. Schulz, S. (2001). Learning Search Control Knowledge for Equational Theorem Proving. In F. Baader, G. Brewka, & T. Eiter (Hrsg.), KI/ÖGAI (Bd. 2174, S. 320–334). Springer. http://dblp.uni-trier.de/db/conf/ki/ki2001.html#Schulz01
    32. Mertens, S. (2001). A physicist’s approach to number partitioning. Theor. Comput. Sci., 265(1–2), 79–108. http://dblp.uni-trier.de/db/journals/tcs/tcs265.html#Mertens01
    33. Düwel, S. (2001). BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung. University of Marburg.
    34. Chiang, S.-H., & Vernon, M. K. (2001). Characteristics of a Large Shared Memory Production Workload. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 2221, S. 159–187). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2001.html#ChiangV01
    35. Olariu, S. (2001). Preface: Special Issue on Wireless Networks. J. Parallel Distrib. Comput., 61(7), 853–854. http://dblp.uni-trier.de/db/journals/jpdc/jpdc61.html#Olariu01
    36. Kepser, S. (2001). On the Complexity of RSRL. Electron. Notes Theor. Comput. Sci., 53, 146–162. http://dblp.uni-trier.de/db/journals/entcs/entcs53.html#Kepser01
    37. Philippi, S. (2001). Visual Programming of Concurrent Object-Oriented Systems. J. Vis. Lang. Comput., 12(2), 127–143. http://dblp.uni-trier.de/db/journals/vlc/vlc12.html#Philippi01
    38. Schulz, S. (2001). A Transformation for System Level Design Model Specifications into Implementation Descriptions. SCCC, 247–255. http://dblp.uni-trier.de/db/conf/sccc/sccc2001.html#Schulz01
    39. Tobies, S. (2001). Complexity results and practical algorithms for logics in knowledge representation. (S. 1–174). RWTH Aachen University, Germany.
    40. Rühl, S. (2001). Programmierung von FPGA-Prozessorsystemen mittels aktiver Komponenten. (S. 1–128). University of Mannheim, Germany.
    41. Tobies, S. (2001). PSPACE Reasoning for Graded Modal Logics. J. Log. Comput., 11(1), 85–106. http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Tobies01
    42. Winter, S. (2001). Ontology: buzzword or paradigm shift in GI science? International Journal of Geographical Information Science, 15(7), 587–590. http://dblp.uni-trier.de/db/journals/gis/gis15.html#Winter01
  22. 2000

    1. Tobies, S. (2000). PSPACE Reasoning for Graded Modal Logics. CoRR, cs.LO/0005009. http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005009
    2. Schäfer, S. (2000). Efficient object-based hierarchical radiosity methods. (S. I–VII, 1–121). Universität Braunschweig.
    3. Redstone, J., Eggers, S. J., & Levy, H. M. (2000). An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 245–256). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#RedstoneEL00
    4. Schmitt, S. (2000). Proof reconstruction in classical and non-classical logics. In DISKI (Bd. 239, S. I–XII, 1–216). Infix Akademische Verlagsgesellschaft.
    5. Sundaramoorthy, K., Purser, Z., & Rotenberg, E. (2000). Slipstream Processors: Improving both Performance and Fault Tolerance. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 257–268). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#SundaramoorthyPR00
    6. Eberle, S. (2000). XML-Basierte Internetanbindung Technischer Prozesse. In K. Mehlhorn & G. Snelting (Hrsg.), GI Jahrestagung (S. 356–371). Springer. http://dblp.uni-trier.de/db/conf/gi/gi2000.html#Eberle00
    7. Flautner, K., Uhlig, R., Reinhardt, S. K., & Mudge, T. N. (2000). Thread Level Parallelism and Interactive Performance of Desktop Applications. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 129–138). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#FlautnerURM00
    8. Diehl, S. (2000). Natural Semantics-Directed Generation of Compilers and Abstract Machines. Formal Asp. Comput., 12(2), 71–99. http://dblp.uni-trier.de/db/journals/fac/fac12.html#Diehl00
    9. Feitelson, D. G. (2000). A Critique of ESP. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 68–73). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#Feitelson00
    10. Schlosser, S. W., Griffin, J. L., Nagle, D., & Ganger, G. R. (2000). Designing computer systems with MEMS-based storage. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 1–12). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#SchlosserGNG00
    11. Duesterwald, E., & Bala, V. (2000). Software Profiling for Hot Path Prediction: Less is More. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 202–211). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#DuesterwaldB00
    12. Schindewolf, S. (2000). Collaborative Engineering und Projektmanagement in verteilten Umgebungen. HMD - Praxis Wirtschaftsinform., 215, 75–85. http://dblp.uni-trier.de/db/journals/hmd/hmd215.html#Schindewolf00
    13. Martorell, X., Corbalán, J., Nikolopoulos, D. S., Navarro, N., Polychronopoulos, E. D., Papatheodorou, T. S., & Labarta, J. (2000). A Tool to Schedule Parallel Applications on Multiprocessors: The NANOS CPU MANAGER. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 87–112). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#MartorellCNNPPL00
    14. Wong, A. T., Oliker, L., Kramer, W. T. C., Kaltz, T. L., & Bailey, D. H. (2000). System Utilization Benchmark on the Cray T3E and IBM SP. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 56–67). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#WongOKKB00
    15. Cirne, W., & Berman, F. (2000). Adaptive Selection of Partition Size for Supercomputer Requests. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 187–208). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#CirneB00
    16. Burrows, M., Erlingsson, Ú., Leung, S.-T., Vandevoorde, M. T., Waldspurger, C. A., Walker, K., & Weihl, W. E. (2000). Efficient and Flexible Value Sampling. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 160–167). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#BurrowsELVWWW00
    17. Mattson, P. R., Dally, W. J., Rixner, S., Kapasi, U. J., & Owens, J. D. (2000). Communication Scheduling. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 82–92). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#MattsonDRKO00
    18. Aida, K. (2000). Effect of Job Size Characteristics on Job Scheduling Performance. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 1–17). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#Aida00
    19. Schulz, S. (2000). Learning search control knowledge for equational deduction. In DISKI (Bd. 230, S. I–XIII, 1–182). Infix Akademische Verlagsgesellschaft.
    20. Diehl, S. (2000). A generative methodology for the design of abstract machines. Sci. Comput. Program., 38(1–3), 125–142. http://dblp.uni-trier.de/db/journals/scp/scp38.html#Diehl00
    21. Merz, S. (2000). Weak Alternating Automata in Isabelle/HOL. In M. Aagaard & J. Harrison (Hrsg.), TPHOLs (Bd. 1869, S. 424–441). Springer. http://dblp.uni-trier.de/db/conf/tphol/tphol2000.html#Merz00
    22. ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA, USA, November 12-15, 2000. (2000). In L. Rudolph & A. Gupta (Hrsg.), ASPLOS. ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html
    23. Snavely, A., & Tullsen, D. M. (2000). Symbiotic Jobscheduling for a Simultaneous Multithreading Processor. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 234–244). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#SnavelyT00
    24. Kawahito, M., Komatsu, H., & Nakatani, T. (2000). Effective Null Pointer Check Elimination Utilizing Hardware Trap. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 139–149). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#KawahitoKN00
    25. Zahir, R., Ross, J., Morris, D., & Hess, D. (2000). OS and Compiler Considerations in the Design of the IA-64 Architecture. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 212–221). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#ZahirRMH00
    26. Lie, D., Thekkath, C. A., Mitchell, M., Lincoln, P., Boneh, D., Mitchell, J. C., & Horowitz, M. (2000). Architectural Support for Copy and Tamper Resistant Software. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 168–177). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#LieTMLBMH00
    27. Connors, D. A., Hunter, H. C., Cheng, B.-C., & mei W. Hwu, W. (2000). Hardware Support for Dynamic Management of Compiler-Directed Computation Reuse. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 222–233). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#ConnorsHCH00
    28. Busemann, S. (2000). Interfacing Constraint-Based Grammars and Generation Algorithms. CoRR, cs.CL/0008003. http://dblp.uni-trier.de/db/journals/corr/corr0008.html#cs-CL-0008003
    29. Roch, S. (2000). Analyzing and Reducing Simultaneous Firing in Signal-Event Nets. Fundam. Inform., 43(1–4), 321–330. http://dblp.uni-trier.de/db/journals/fuin/fuin43.html#Roch00
    30. Nanda, A. K., Mak, K.-K., Sugavanam, K., Sahoo, R. K., Soundararajan, V., & Smith, T. B. (2000). MemorIES: A Programmable, Real-Time Hardware Emulation Tool for Multiprocessor Server Design. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 37–48). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#NandaMSSSS00
    31. Berger, E. D., McKinley, K. S., Blumofe, R. D., & Wilson, P. R. (2000). Hoard: A Scalable Memory Allocator for Multithreaded Applications. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 117–128). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#BergerMBW00
    32. Düwel, S. (2000). BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung. University of Marburg, Germany.
    33. Rixen, S. (2000). Neues Datenschutzrecht für den Strafvollzug. Datenschutz und Datensicherheit, 24(11), Article 11. http://dblp.uni-trier.de/db/journals/dud/dud24.html#Rixen00
    34. Winter, S. (2000). Uncertain topological relations between imprecise regions. International Journal of Geographical Information Science, 14(5), 411–430. http://dblp.uni-trier.de/db/journals/gis/gis14.html#Winter00
    35. Zhou, B. B., Walsh, D., & Brent, R. P. (2000). Resource Allocation Schemes for Gang Scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 74–86). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#ZhouWB00
    36. Tobies, S. (2000). The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. J. Artif. Intell. Res., 12, 199–217. http://dblp.uni-trier.de/db/journals/jair/jair12.html#Tobies00
    37. Kubiatowicz, J., Bindel, D., Chen, Y., Czerwinski, S. E., Eaton, P. R., Geels, D., Gummadi, R., Rhea, S. C., Weatherspoon, H., Weimer, W., Wells, C., & Zhao, B. Y. (2000). OceanStore: An Architecture for Global-Scale Persistent Storage. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 190–201). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#KubiatowiczBCCEGGRWWWZ00
    38. Olbrich, S. (2000). Ein leistungsfähiges System zur Online-Präsentation von Sequenzen komplexer virtueller 3D-Szenen. (S. 1–114). University of Hanover, Hannover, Germany.
    39. Lebeck, A. R., Fan, X., Zeng, H., & Ellis, C. S. (2000). Power Aware Page Allocation. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 105–116). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#LebeckFZE00
    40. Petrini, F., & chun Feng, W. (2000). Time-Sharing Parallel Jobs in the Presence of Multiple Resource Requirements. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 113–136). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#PetriniF00
    41. Diehl, S. (2000). 3D Technologien im Internet. KI, 14(2), 38–39. http://dblp.uni-trier.de/db/journals/ki/ki14.html#Diehl00
    42. da Silva, F. A. B., & Scherson, I. D. (2000). Improving Parallel Job Scheduling Using Runtime Measurements. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 18–38). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#SilvaS00
    43. Gibson, J., Kunz, R., Ofelt, D., & Heinrich, M. (2000). FLASH vs. (Simulated) FLASH: Closing the Simulation Loop. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 49–58). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#GibsonKOH00
    44. Wenger, S. (2000). High-level syntax for H.26L: first results. In K. N. Ngan, T. Sikora, & M.-T. Sun (Hrsg.), VCIP (Bd. 4067, S. 1307–1316). SPIE. http://dblp.uni-trier.de/db/conf/vcip/vcip2000.html#Wenger00
    45. Werner, S. (2000). Der Autor im digitalen Medium - ein notwendiges Konstrukt? In G. Knorz & R. Kuhlen (Hrsg.), ISI (Bd. 38, S. 285–302). Hochschulverband für Informationswissenschaft. http://dblp.uni-trier.de/db/conf/isiwi/isi2000.html#Werner00
    46. Chou, A., Chelf, B., Engler, D. R., & Heinrich, M. (2000). Using Meta-level Compilation to Check FLASH Protocol Code. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 59–70). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#ChouCEH00
    47. Zimmermann, S. (2000). Evaluierung und Tuning von parallelen Datenbanksystemen. (S. 1–220). Technical University Munich, Germany.
    48. Dempe, S. (2000). A Bundle Algorithm Applied to Bilevel Programming Problems with Non-Unique Lower Level Solutions. Comp. Opt. and Appl., 15(2), 145–166. http://dblp.uni-trier.de/db/journals/coap/coap15.html#Dempe00
    49. Job Scheduling Strategies for Parallel Processing, IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000, Proceedings. (2000). In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html
    50. Hill, J. L., Szewczyk, R., Woo, A., Hollar, S., Culler, D. E., & Pister, K. S. J. (2000). System Architecture Directions for Networked Sensors. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 93–104). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#HillSWHCP00
    51. Bhoedjang, R., Verstoep, K., Rühl, T., Bal, H. E., & Hofman, R. F. H. (2000). Evaluating Design Alternatives for Reliable Communication on High-Speed Networks. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 71–81). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#BhoedjangVRBH00
    52. Burke, J., McDonald, J., & Austin, T. M. (2000). Architectural Support for Fast Symmetric-Key Cryptography. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 178–189). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#BurkeMA00
    53. Pontow, S. (2000). Theorie und Anwendung constraintbasierter Planungsverfahren. (S. 1–168). Shaker.
    54. Merz, S. (2000). Model Checking: A Tutorial Overview. In F. Cassez, C. Jard, B. Rozoy, & M. D. Ryan (Hrsg.), MOVEP (Bd. 2067, S. 3–38). Springer. http://dblp.uni-trier.de/db/conf/movep/movep2000.html#Merz00
    55. Bucur, A. I. D., & Epema, D. H. J. (2000). The Influence of the Structure and Sizes of Jobs on the Performance of Co-allocation. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 154–173). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#BucurE00
    56. Düwel, S. (2000). BASE - Ein begriffbasiertes Analyseverfahren für die Software-Entwicklung. Softwaretechnik-Trends, 20(4), Article 4. http://dblp.uni-trier.de/db/journals/stt/stt20.html#Duwel00
    57. Zhang, Y., Yang, J., & Gupta, R. (2000). Frequent Value Locality and Value-Centric Data Cache Design. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 150–159). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#ZhangYG00
    58. Martin, M. M. K., Sorin, D. J., Ailamaki, A., Alameldeen, A. R., Dickson, R. M., Mauer, C. J., Moore, K. E., Plakal, M., Hill, M. D., & Wood, D. A. (2000). Timestamp snooping: an approach for extending SMPs. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 25–36). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#MartinSAADMMPHW00
    59. Snell, Q., Clement, M. J., Jackson, D. B., & Gregory, C. (2000). The Performance Impact of Advance Reservation Meta-scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1911, S. 137–153). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp2000.html#SnellCJG00
    60. Schmitt, S. (2000). A Tableau-Like Representation Framework for Efficient Proof Reconstruction. In R. Dyckhoff (Hrsg.), TABLEAUX (Bd. 1847, S. 398–414). Springer. http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html#Schmitt00
    61. Kreutzer, S. (2000). Fixed-Point Query Languages for Linear Constraint Databases. In V. Vianu & G. Gottlob (Hrsg.), PODS (S. 116–125). ACM. http://dblp.uni-trier.de/db/conf/pods/pods2000.html#Kreutzer00
    62. Gharachorloo, K., Sharma, M., Steely, S., & Doren, S. V. (2000). Architecture and design of AlphaServer GS320. In L. Rudolph & A. Gupta (Hrsg.), ASPLOS (S. 13–24). ACM Press. http://dblp.uni-trier.de/db/conf/asplos/asplos2000.html#GharachorlooSSD00
    63. Raaijmakers, S. (2000). Learning Distributed Linguistic Classes. In W. Daelemans & R. Zajac (Hrsg.), CoNLL/LLL (S. 55–60). ACL. http://dblp.uni-trier.de/db/conf/conll/conll2000.html#Raaijmakers00
    64. Tillmann, S. (2000). Gestaltungsmöglichkeiten bei der Ausbildung - Kooperationsmodelle zwischen schulischer und betrieblicher Berufsbildung. LOG IN, 20(2), 23-. http://dblp.uni-trier.de/db/journals/login/login20.html#Tillmann00
  23. 1999

    1. Stilkerich, S. (1999). Verhaltensorientierte generische Hardwarebeschreibung statistischer Modelle - Markov Random Fields für Low Level Bildverarbeitungsprobleme. In GMD research series: Bd. 16/1999 (S. 1–154). GMD.
    2. Smith, W., Taylor, V. E., & Foster, I. T. (1999). Using Run-Time Predictions to Estimate Queue Wait Times and Improve Scheduler Performance. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1659, S. 202–219). Springer. http://dblp.uni-trier.de/db/conf/ipps/jsspp1999.html#SmithTF99
    3. Roussos, K., Bitar, N., & English, R. (1999). Deterministic Batch Scheduling without Static Partitioning. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1659, S. 220–235). Springer. http://dblp.uni-trier.de/db/conf/ipps/jsspp1999.html#RoussosBE99
    4. Somogyi, S. (1999). Technology survey: future perfect. Interactions, 6(6), 16–18. http://dblp.uni-trier.de/db/journals/interactions/interactions6.html#Somogyi99
    5. Job Scheduling Strategies for Parallel Processing, IPPS/SPDP’99 Workshop, JSSPP’99, San Juan, Puerto Rico, April 16, 1999, Proceedings. (1999). In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1659). Springer. http://dblp.uni-trier.de/db/conf/ipps/jsspp1999.html
    6. Philippi, S. (1999). OOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten Modellierung. In J. Desel & A. Oberweis (Hrsg.), AWPN (Bd. 26). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/awpn/awpn1999.html#Philippi99
    7. Brandt, S. (1999). 9-Connected Claw-Free Graphs Are Hamilton-Connected. J. Comb. Theory, Ser. B, 75(2), 167–173. http://dblp.uni-trier.de/db/journals/jct/jctb75.html#Brandt99
    8. Suzaki, K., & Walsh, D. (1999). Scheduling on AP/Linux for Fine and Coarse Grain Parallel Processes. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1659, S. 111–128). Springer. http://dblp.uni-trier.de/db/conf/ipps/jsspp1999.html#SuzakiW99
    9. Korsholm, S. (1999). Transparent, Scalable, Efficient OO-Persistence. In A. M. D. Moreira & S. Demeyer (Hrsg.), ECOOP Workshops (Bd. 1743, S. 212). Springer. http://dblp.uni-trier.de/db/conf/ecoopw/ecoopw99.html#Korsholm99a
    10. Reitzner, S. (1999). Koordinierung in nebenläufigen, objektorientierten Systemen. (S. 1–117). University of Erlangen-Nuremberg, Germany.
    11. Jacobs, S. (1999). Introducing Measurable Quality Requirements: A Case Study. RE, 172–179. http://dblp.uni-trier.de/db/conf/re/re1999.html#Jacobs99
    12. Philippi, S. (1999). Synthese von Petri-Netzen und objektorientierten Konzepten. (S. 1–179). Fölbach.
    13. Talby, D., Feitelson, D. G., & Raveh, A. (1999). Comparing Logs and Models of Parallel Workloads Using the Co-plot Method. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1659, S. 43–66). Springer. http://dblp.uni-trier.de/db/conf/ipps/jsspp1999.html#TalbyFR99
    14. Merz, S. (1999). A More Complete TLA. In J. M. Wing, J. Woodcock, & J. Davies (Hrsg.), World Congress on Formal Methods (Bd. 1709, S. 1226–1244). Springer. http://dblp.uni-trier.de/db/conf/fm/fm1999-2.html#Merz99
    15. Winter, S. (1999). Topological Relations in Hierarchical Partitions. In C. Freksa & D. M. Mark (Hrsg.), COSIT (Bd. 1661, S. 141–155). Springer. http://dblp.uni-trier.de/db/conf/cosit/cosit99.html#Winter99
    16. Raaijmakers, S. (1999). Finding Representations for Memory-Based Language Learning. In M. Osborne & E. F. T. K. Sang (Hrsg.), CoNLL (S. 24–32). ACL. http://dblp.uni-trier.de/db/conf/conll/conll1999.html#Raaijmakers99
    17. Staudacher, S. (1999). Modeling of gas turbine cooling air systems. Fourteenth International Symposium on Air Breathing Engines : Papers from the XIV ISABE, ISABE-99-7013.
    18. Tobies, S. (1999). A PSpace Algorithm for Graded Modal Logic. In H. Ganzinger (Hrsg.), CADE (Bd. 1632, S. 52–66). Springer. http://dblp.uni-trier.de/db/conf/cade/cade99.html#Tobies99
    19. Lehmke, S. (1999). Konstruktion von Fuzzy-Interferenzmechanismen aus Inferenzbausteinen unter Anwendung von Methoden der Schaltwerktheorie. In K. Beiersdörfer, G. Engels, & W. Schäfer (Hrsg.), GI Jahrestagung (S. 322–329). Springer. http://dblp.uni-trier.de/db/conf/gi/gi99.html#Lehmke99
    20. Wehner, S. (1999). On Recursive Enumerability with Finite Repetitions. J. Symb. Log., 64(3), 927–945. http://dblp.uni-trier.de/db/journals/jsyml/jsyml64.html#Wehner99
    21. Tobies, S. (1999). A NExpTime-Complete Description Logic Strictly Contained in C2. In J. Flum & M. Rodríguez-Artalejo (Hrsg.), CSL (Bd. 1683, S. 292–306). Springer. http://dblp.uni-trier.de/db/conf/csl/csl99.html#Tobies99
    22. Zhou, B. B., Brent, R. P., Johnson, C. W., & Walsh, D. (1999). Job Re-pacing for Enhancing the Performance of Gang Scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1659, S. 129–143). Springer. http://dblp.uni-trier.de/db/conf/ipps/jsspp1999.html#ZhouBJW99
    23. Güsken, S. (1999). Stochastic estimator techniques and their implementation on distributed parallel computers. Parallel Computing, 25(10–11), 1371–1381. http://dblp.uni-trier.de/db/journals/pc/pc25.html#Gusken99
    24. Schulz, S. (1999). System Abstract: E 0.3. In H. Ganzinger (Hrsg.), CADE (Bd. 1632, S. 297–301). Springer. http://dblp.uni-trier.de/db/conf/cade/cade99.html#Schulz99
    25. Philippi, S. (1999). Formally Based Development of Concurrent Object-Oriented Systems. In H. R. Arabnia (Hrsg.), PDPTA (S. 2077–2083). CSREA Press. http://dblp.uni-trier.de/db/conf/pdpta/pdpta1999-4.html#Philippi99
    26. Mertens, S. (1999). A complete anytime algorithm for balanced number partitioning. CoRR, cs.DS/9903011. http://dblp.uni-trier.de/db/journals/corr/corr9903.html#cs-DS-9903011
    27. Chapin, S. J., Katramatos, D., Karpovich, J. F., & Grimshaw, A. S. (1999). The Legion Resource Management System. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1659, S. 162–178). Springer. http://dblp.uni-trier.de/db/conf/ipps/jsspp1999.html#ChapinKKG99
    28. Tobies, S. (1999). On the Complexity of Counting in Description Logics. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, & P. F. Patel-Schneider (Hrsg.), Description Logics (Bd. 22). CEUR-WS.org. http://dblp.uni-trier.de/db/conf/dlog/dlog1999.html#Tobies99
    29. Hartmann, S. (1999). Layout problems in VLSI circuit design. (S. 1–142). Cuvillier.
    30. Grashey, S. (1999). Ein Klassifikationsansatz zur fertigkeitsbasierten Verhaltensmodellierung beim Autofahren. (S. 1–148). Bundeswehr University Munich, Neubiberg (Munich), Germany.
  24. 1998

    1. Wenger, S. (1998). Temporal scalability using P-pictures for low-latency applications. In P. W. Wong, A. Alwan, A. Ortega, C.-C. J. Kuo, & C. L. M. Nikias (Hrsg.), MMSP (S. 559–564). IEEE. http://dblp.uni-trier.de/db/conf/mmsp/mmsp1998.html#Wenger98
    2. Tassart, S. (1998). Infinite length windows for short-time Fourier transform. ICMC. http://dblp.uni-trier.de/db/conf/icmc/icmc1998.html#Tassart98
    3. Aida, K., Kasahara, H., & Narita, S. (1998). Job Scheduling Scheme for Pure Space Sharing Among Rigid Jobs. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1459, S. 98–121). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1998.html#AidaKN98
    4. Czajkowski, K., Foster, I. T., Karonis, N. T., Kesselman, C., Martin, S., Smith, W., & Tuecke, S. (1998). A Resource Management Architecture for Metacomputing Systems. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1459, S. 62–82). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1998.html#CzajkowskiFKKMST98
    5. Diehl, S. (1998). A Formal Introduction to the Compilation of Java. Softw., Pract. Exper., 28(3), 297–327. http://dblp.uni-trier.de/db/journals/spe/spe28.html#Diehl98
    6. Kleuker, S. (1998). Reengineering of Distributed Systems Using Formal Methods. CSMR, 189–192. http://dblp.uni-trier.de/db/conf/csmr/csmr1998.html#Kleuker98
    7. Ohr, S. (1998). How Much Analog Does a Designer Need to Know for Successful Mixed-Signal Design? (Panel). In B. R. Chawla, R. E. Bryant, & J. M. Rabaey (Hrsg.), DAC (S. 250). ACM Press. http://dblp.uni-trier.de/db/conf/dac/dac98.html#Ohr98
    8. Hori, A., Tezuka, H., & Ishikawa, Y. (1998). Overhead Analysis of Preemptive Gang Scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1459, S. 217–230). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1998.html#HoriTI98
    9. Zhou, B. B., Brent, R. P., Walsh, D., & Suzaki, K. (1998). Job Scheduling Strategies for Networks of Workstations. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1459, S. 143–157). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1998.html#ZhouBWS98
    10. Melzer, S. (1998). Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung. (S. 1–246). Utz.
    11. Reitzner, S. (1998). Virtual synchronization: uncoupling synchronization annotations from synchronization code. In K. M. George & G. B. Lamont (Hrsg.), SAC (S. 655–659). ACM. http://dblp.uni-trier.de/db/conf/sac/sac1998.html#Reitzner98
    12. Suzaki, K., & Walsh, D. (1998). Implementing the Combination of Time Sharing and Space Sharing on AP/Linux. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1459, S. 83–97). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1998.html#SuzakiW98
    13. Zimmermann, S. (1998). Aktivitätskontrolle im parallelen DBMS MIDAS. Datenbank Rundbrief, 21, 12–13. http://dblp.uni-trier.de/db/journals/gidr/gidr21.html#Zimmermann98a
    14. Wesemeyer, S. (1998). On the Automorphism Group of Various Goppa Codes. IEEE Trans. Information Theory, 44(2), 630–643. http://dblp.uni-trier.de/db/journals/tit/tit44.html#Wesemeyer98
    15. Sobalvarro, P., Pakin, S., Weihl, W. E., & Chien, A. A. (1998). Dynamic Coscheduling on Workstation Clusters. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1459, S. 231–256). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1998.html#SobalvarroPWC98
    16. Kepser, S. (1998). Combination of constraint systems. (S. 1–170). Ludwig Maximilian University of Munich, Germany.
    17. Jette, M. A. (1998). Expanding Symmetric Multiprocessor Capability Through Gang Scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1459, S. 199–216). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1998.html#Jette98
    18. Knapek, S. (1998). Matrix-Dependent Multigrid Homogenization for Diffusion Problems. SIAM J. Scientific Computing, 20(2), 515–533. http://dblp.uni-trier.de/db/journals/siamsc/siamsc20.html#Knapek98
    19. Brandt, S. (1998). The local density of triangle-free graphs. Discrete Mathematics, 183(1–3), 17–25. http://dblp.uni-trier.de/db/journals/dm/dm183.html#Brandt98
    20. Stephan, U. (1998). Zur Behandlung von Quicksort im Unterricht. LOG IN, 18(1), 47-. http://dblp.uni-trier.de/db/journals/login/login18.html#Stephan98
    21. Stephan, F. (1998). Learning via Queries and Oracles. Ann. Pure Appl. Logic, 94(1–3), 273–296. http://dblp.uni-trier.de/db/journals/apal/apal94.html#Stephan98
    22. Wiesener, S. (1998). SemaLink - ein wissensbasiertes Hypermedia-System. (S. 1–150). Shaker.
    23. Pontow, S. (1998). Modelling CSP Solution Algorithms with Petri Decision Nets. In M. J. Maher & J.-F. Puget (Hrsg.), CP (Bd. 1520, S. 471). Springer. http://dblp.uni-trier.de/db/conf/cp/cp98.html#Pontow98
  25. 1997

    1. Jann, J., Pattnaik, P., Franke, H., Wang, F., Skovira, J., & Riordan, J. (1997). Modeling of Workload in MPPs. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 95–116). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#JannPFWSR97
    2. Kleuker, S. (1997). Formalizing Requirements for Distributed Systems with Trace Diagrams. In J. S. Fitzgerald, C. B. Jones, & P. Lucas (Hrsg.), FME (Bd. 1313, S. 102–121). Springer. http://dblp.uni-trier.de/db/conf/fm/fme1997.html#Kleuker97
    3. Gibbons, R. (1997). A Historical Application Profiler for Use by Parallel Schedulers. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 58–77). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#Gibbons97
    4. Kleuker, S. (1997). Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme. (S. 1–320). University of Oldenburg, Germany.
    5. Diehl, S. (1997). VRML++: A Language for Object-Oriented Virtual-Reality Models. TOOLS (24), 141–150. http://dblp.uni-trier.de/db/conf/tools/tools24-1997.html#Diehl97
    6. Zelewski, S. (1997). Elektronische Märkte zur Prozeßkoordinierung in Produktionsnetzwerken. Wirtschaftsinformatik, 39(3), 231–243. http://dblp.uni-trier.de/db/journals/wi/wi39.html#Zelewski97
    7. Busemann, S. (1997). Automating NL Appointment Scheduling with COSMA. ANLP, 5–6. http://dblp.uni-trier.de/db/conf/anlp/anlp1997.html#Busemann97
    8. Schönwälder, S. (1997). Portfoliomanagement für betriebliche Informationssysteme: ein computergestützter Ansatz zur partizipativen Einführung und Gestaltung. (S. 1–366). Gabler.
    9. Kleuker, S. (1997). Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. In A. Wolisz, I. Schieferdecker, & A. Rennoch (Hrsg.), FBT (Bd. 315, S. 175–184). GMD-Forschungszentrum Informationstechnik GmbH. http://dblp.uni-trier.de/db/conf/fbt/fbt1997.html#Kleuker97
    10. Brandt, S. (1997). A Sufficient Condition for All Short Cycles. Discrete Applied Mathematics, 79(1–3), 63–66. http://dblp.uni-trier.de/db/journals/dam/dam79.html#Brandt97
    11. Brandt, S. (1997). Computing the Independence Number of Dense Triangle-Free Graphs. In R. H. Möhring (Hrsg.), WG (Bd. 1335, S. 100–108). Springer. http://dblp.uni-trier.de/db/conf/wg/wg97.html#Brandt97
    12. Melzer, S. (1997). Verification of Parallel Systems using Constraint Programming. In G. Smolka (Hrsg.), CP (Bd. 1330, S. 92–106). Springer. http://dblp.uni-trier.de/db/conf/cp/cp97.html#Melzer97
    13. Fischer, S. (1997). Indikatorenkombination zur Inhaltsanalyse digitaler Filme. (S. 1–225). Shaker.
    14. Feitelson, D. G. (1997). Memory Usage in the LANL CM-5 Workload. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 78–94). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#Feitelson97
    15. Roppel, S. (1997). Visualisierung und Adaption: Techniken zur Verbesserung der Interaktion mit hierarchisch strukturierter Information. (S. 1–248). University of Regensburg.
    16. Stephan, F. (1997). Noisy Inference and Oracles. Theor. Comput. Sci., 185(1), 129–157. http://dblp.uni-trier.de/db/journals/tcs/tcs185.html#Stephan97
    17. Downey, A. B. (1997). Using Queue Time Predictions for Processor Allocation. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 35–57). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#Downey97
    18. Kleuker, S. (1997). Incremental Development of Deadlock-Free Communicating Systems. In E. Brinksma (Hrsg.), TACAS (Bd. 1217, S. 306–320). Springer. http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#Kleuker97
    19. Zimmermann, S. (1997). Transaktionen in parallenen Datenbanksystemen. Datenbank Rundbrief, 19, 59–60. http://dblp.uni-trier.de/db/journals/gidr/gidr19.html#Zimmermann97
    20. Greene, S. (1997). Metadata for Units of Measure in Social Science Databases. Int. J. on Digital Libraries, 1(2), 161–175. http://dblp.uni-trier.de/db/journals/jodl/jodl1.html#Greene97
    21. Jacobs, S. (1997). Konfliktvisualisierung im kooperativen Entwurf. (S. 1–190). Gabler.
    22. Hartwig, S. (1997). On the performance bounds of motion-compensated deinterlacing. Sig. Proc.: Image Comm., 10(4), 291–302. http://dblp.uni-trier.de/db/journals/spic/spic10.html#Hartwig97
    23. Schäfer, S. (1997). Hierarchcal Radiosity on Curved Surfaces. In J. Dorsey & P. Slusallek (Hrsg.), Rendering Techniques (S. 187–192). Springer. http://dblp.uni-trier.de/db/conf/rt/rt1997.html#Schafer97
    24. Brecht, T. (1997). An Experimental Evaluation of Processor Pool-Based Scheduling for Shared-Memory NUMA Multiprocessors. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 139–165). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#Brecht97
    25. Job Scheduling Strategies for Parallel Processing, IPPS’97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings. (1997). In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html
    26. Kindermann, S. (1997). Strukturbasierte Programmgenerierung für massiv parallele Rechensysteme. (S. 1–235). University of Erlangen-Nuremberg.
    27. Diehl, S. (1997). An Experiment in Abstract Machine Design. Softw., Pract. Exper., 27(1), 49–62. http://dblp.uni-trier.de/db/journals/spe/spe27.html#Diehl97
    28. Pareigis, S. (1997). Adaptive Choice of Grid and Time in Reinforcement Learning. In M. I. Jordan, M. J. Kearns, & S. A. Solla (Hrsg.), NIPS (S. 1036–1042). The MIT Press. http://dblp.uni-trier.de/db/conf/nips/nips1997.html#Pareigis97
    29. Hori, A., Tezuka, H., & Ishikawa, Y. (1997). Global State Detection Using Network Preemption. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 262–276). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#HoriTI97
    30. Lagerstrom, R. N., & Gipp, S. K. (1997). PScheD: Political Scheduling on the CRAY T3E. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 117–138). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#LagerstromG97
    31. Romahn, S. (1997). Wissensbasierte Unterstützung bei der Benutzung komplexer technischer Systeme: angewendet auf die Arbeit von Piloten mit dem Flight-Management-System (FMS). (S. 1–129). Shaker.
    32. Merz, S. (1997). Rules for Abstraction. In R. K. Shyamasundar & K. Ueda (Hrsg.), ASIAN (Bd. 1345, S. 32–45). Springer. http://dblp.uni-trier.de/db/conf/asian/asian97.html#Merz97
    33. Diehl, S. (1997). Java und Co - die Sprachen des Webs: HTML, VRML, Java, JavaScript. (S. 1–288). Addison-Wesley-Longman.
    34. Waack, S. (1997). On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams. In R. Reischuk & M. Morvan (Hrsg.), STACS (Bd. 1200, S. 201–212). Springer. http://dblp.uni-trier.de/db/conf/stacs/stacs97.html#Waack97
    35. Parsons, E. W., & Sevcik, K. C. (1997). Implementing Multiprocessor Scheduling Disciplines. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 166–192). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#ParsonsS97
    36. Hanh, P. H., & Simonenko, V. (1997). Objective-Oriented Algorithm for Job Scheduling in Parallel Heterogeneous Systems. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1291, S. 193–214). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1997.html#HanhS97
    37. Diehl, S. (1997). VRML - Das aktuelle Schlagwort. Informatik Spektrum, 20(5), 294–295. http://dblp.uni-trier.de/db/journals/insk/insk20.html#Diehl97
  26. 1996

    1. Winter, S. (1996). Unsichere topologische Beziehungen zwischen ungenauen Flächen. (S. 1–66). Beck.
    2. Gehring, J., & Ramme, F. (1996). Architecture-Independent Request-Scheduling with Tight Waiting-Time Estimations. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 65–88). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#GehringR96
    3. Mehl, S. (1996). Systematic alternatives in lexicalization: The case of gerund translation. Machine Translation, 11(1–3), 185–216. http://dblp.uni-trier.de/db/journals/mt/mt11.html#Mehl96
    4. Roppel, S. (1996). Visualisierter hierarchischer Zugriff auf Faktendatenbanken. In W. D. Rauch, F. Strohmeier, H. Hiller, & C. Schlögl (Hrsg.), ISI (Bd. 27, S. 285–296). Hochschulverband für Informationswissenschaft. http://dblp.uni-trier.de/db/conf/isiwi/isiwi1996.html#Roppel96
    5. Kolletzki, S. (1996). Secure Internet Banking with Privacy Enhanced Mail - A Protocol for Reliable Exchange of Secured Order Forms. Computer Networks and ISDN Systems, 28(14), 1891–1899. http://dblp.uni-trier.de/db/journals/cn/cn28.html#Kolletzki96
    6. Busemann, S. (1996). Best-First Surface Realization. INLG (1). http://dblp.uni-trier.de/db/conf/inlg/inlg1996-1.html#Busemann96
    7. Kleuker, S. (1996). Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. In R. Gotzhein & J. Bredereke (Hrsg.), FORTE (Bd. 69, S. 113–128). Chapman & Hall. http://dblp.uni-trier.de/db/conf/forte/forte1996.html#Kleuker96
    8. Pareigis, S. (1996). Multi-Grid Methods for Reinforcement Learning in Controlled Diffusion Processes. In M. Mozer, M. I. Jordan, & T. Petsche (Hrsg.), NIPS (S. 1033–1039). MIT Press. http://dblp.uni-trier.de/db/conf/nips/nipsN1996.html#Pareigis96
    9. Euler, S. (1996). A time continuous model for speech recognition. ICASSP, 889–892. http://dblp.uni-trier.de/db/conf/icassp/icassp1996.html#Euler96
    10. Pareigis, S. (1996). Lernen der Lösung der Bellman-Gleichung durch Beobachtung von kontinuierlichen Prozessen. (S. 1–116). University of Kiel, Germany.
    11. Olariu, S. (1996). Foreword. Parallel Algorithms Appl., 8(3–4), 177–178. http://dblp.uni-trier.de/db/journals/paapp/paapp8.html#OlariuE96
    12. Job Scheduling Strategies for Parallel Processing, IPPS’96 Workshop, Honolulu, Haiwai, USA, April 16, 1996, Proceedings. (1996). In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html
    13. Heilbrunner, S. (1996). A Direct Complement Construction for LR(1) Grammars. Acta Inf., 33(8), 781–797. http://dblp.uni-trier.de/db/journals/acta/acta33.html#Heilbrunner96
    14. Larson, S. (1996). Convolve. SIGGRAPH Visual Proceedings, 173. http://dblp.uni-trier.de/db/conf/siggraph/siggraph1996vp.html#Larson96
    15. Padhye, J., & Dowdy, L. W. (1996). Dynamic versus Adaptive Processor Allocation Policies for Message Passing Parallel Computers: An Empirical Comparison. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 224–243). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#PadhyeD96
    16. Pruyne, J., & Livny, M. (1996). Managing Checkpoints for Parallel Programs. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 140–154). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#PruyneL96
    17. Teiwes, S. (1996). Entwurf linearer optischer Prozessoren mit Anwendungen in der Informationstechnik. (S. 1–250). Chemnitz University of Technology, Germany.
    18. Winkler, S. (1996). Parallele Implementierung der funktional-logischen Programmiersprache BABEL. (S. 1–172). Shaker.
    19. Wan, M., Moore, R., Kremenek, G., & Steube, K. (1996). A Batch Scheduler for the Intel Paragon MPP System with a Non-contiguous Node Allocation Algorithm. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 48–64). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#WanMKS96
    20. Feitelson, D. G. (1996). Packing Schemes for Gang Scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 89–110). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#Feitelson96
    21. Nguyen, T. D., Vaswani, R., & Zahorjan, J. (1996). Using Runtime Measured Workload Characteristics in Parallel Processor Scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 155–174). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#NguyenVZ96
    22. Hotovy, S. (1996). Workload Evolution on the Cornell Theory Center IBM SP2. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 27–40). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#Hotovy96
    23. Zelewski, S. (1996). Eignung von Petrinetzen für die Modellierung komplexer Realsysteme - Beurteilungskriterien. Wirtschaftsinformatik, 38(4), 369–381. http://dblp.uni-trier.de/db/journals/wi/wi38.html#Zelewski96
    24. Gottwald, S. (1996). Das Divide-&-Conquer-Prinzip für massiv-parallele numerische Algorithmen. (S. 1–141). Shaker.
    25. Diehl, S. (1996). Semantics-directed generation of compilers and abstract machines (S. 1–183). Saarland University, Saarbrücken, Germany.
    26. Islam, N., Prodromidis, A. L., & Squillante, M. S. (1996). Dynamic Partitioning in Different Distributed-Memory Environments. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 244–270). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#IslamPS96
    27. Hori, A., Tezuka, H., Ishikawa, Y., Soda, N., Konaka, H., & Maeda, M. (1996). Implementation of Gang-Scheduling on Workstation Cluster. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 1162, S. 126–139). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1996.html#HoriTISKM96
  27. 1995

    1. Pruyne, J., & Livny, M. (1995). Parallel Processing on Dynamic Resources with CARMI. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 259–278). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#PruyneL95
    2. Alverson, G. A., Kahan, S., Korry, R., McCann, C., & Smith, B. J. (1995). Scheduling on the Tera MTA. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 19–44). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#AlversonKKMS95
    3. Stephan, F. (1995). Learning via Queries and Oracles. In W. Maass (Hrsg.), COLT (S. 162–169). ACM. http://dblp.uni-trier.de/db/conf/colt/colt1995.html#Stephan95
    4. Rosenkrantz, M. E., Schneider, D. J., Leibensperger, R., Shore, M., & Zollweg, J. (1995). Requirements of the Cornell Theory Center for Resource Management and Process Scheduling. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 304–318). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#RosenkrantzSLSZ95
    5. Yue, K. K., & Lilja, D. J. (1995). Loop-Level Process Control: An Effective Processor Allocation Policy for Multiprogrammed Shared-Memory Multiprocessors. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 182–199). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#YueL95
    6. Stoica, I., Abdel-Wahab, H. M., & Pothen, A. (1995). A Microeconomic Scheduler for Parallel Computers. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 200–218). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#StoicaAP95
    7. Schultze, S. (1995). Fehlertolerantes Kommunikationssystem für hochdynamische Antriebsregelungen. (S. 1–124). Darmstadt University of Technology, Germany.
    8. Feitelson, D. G., & Nitzberg, B. (1995). Job Characteristics of a Production Parallel Scientivic Workload on the NASA Ames iPSC/860. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 337–360). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#FeitelsonN95
    9. Setia, S. (1995). The Interaction between Memory Allocation and Adaptive Partitioning in Message-Passing Multicomputers. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 146–164). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#Setia95
    10. Lifka, D. A. (1995). The ANL/IBM SP Scheduling System. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 295–303). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#Lifka95
    11. Connelly, C., & Ellis, C. S. (1995). Scheduling to Reduce Memory Coherence Overhead on Coarse-Grain Multiprocessors. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 70–91). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#ConnellyE95
    12. Stephan, F. (1995). Noisy Inference and Oracles. In K. P. Jantke, T. Shinohara, & T. Zeugmann (Hrsg.), ALT (Bd. 997, S. 185–200). Springer. http://dblp.uni-trier.de/db/conf/alt/alt1995.html#Stephan95
    13. Mehl, S. (1995). Zur Präzisierung des Begriffs der Unschärfe. In L. Hitzenberger (Hrsg.), GLDV-Jahrestagung (S. 143–151). Georg Olms Verlag. http://dblp.uni-trier.de/db/conf/gldv/gldv1995.html#Mehl95
    14. Barton, J. M., & Bitar, N. (1995). A Scalable Multi-Discipline, Multiple-Processor Scheduling Framework for IRIX. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 45–69). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#BartonB95
    15. Brandt, S. (1995). An Extremal Result for Subgraphs with Few Edges. J. Comb. Theory, Ser. B, 64(2), 288–299. http://dblp.uni-trier.de/db/journals/jct/jctb64.html#Brandt95
    16. Wehner, S. (1995). On injective enumerability of recursively enumerable classes of cofinite sets. Arch. Math. Log., 34(3), 183–196. http://dblp.uni-trier.de/db/journals/aml/aml34.html#Wehner95
    17. Euler, S. (1995). Integrated optimization of feature transformation for speech recognition. EUROSPEECH. http://dblp.uni-trier.de/db/conf/interspeech/eurospeech1995.html#Euler95
    18. Squillante, M. S. (1995). On the Benefits and Limitations of Dynamic Partitioning in Parallel Computer Systems. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 219–238). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#Squillante95
    19. Rosti, E., Smirni, E., Serazzi, G., & Dowdy, L. W. (1995). Analysis of Non-Work-Conserving Processor Partitioning Policies. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 165–181). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#RostiSSD95
    20. Dunkelman, S. (1995). Vertically Read Notation. ICMC. http://dblp.uni-trier.de/db/conf/icmc/icmc1995.html#Dunkelman95
    21. Stephan, W. (1995). Die Deutsche Bibliothek: The National Archive for Electronic Media? In A. H. Helal & J. W. Weiss (Hrsg.), Essen Symposium (Bd. 20, S. 132–140). Universitäsbibliothek Essen. http://dblp.uni-trier.de/db/conf/essen/essen95.html#Stephan95
    22. Sobalvarro, P., & Weihl, W. E. (1995). Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 106–126). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#SobalvarroW95
    23. Winter, S. (1995). Topological Relations between Regions in Raster. In M. J. Egenhofer & J. R. Herring (Hrsg.), SSD (Bd. 951, S. 310–327). Springer. http://dblp.uni-trier.de/db/conf/ssd/ssd95.html#Winter95
    24. Kleuker, S. (1995). A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications. In P. D. Mosses, M. Nielsen, & M. I. Schwartzbach (Hrsg.), TAPSOFT (Bd. 915, S. 636–650). Springer. http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft95.html#Kleuker95
    25. Saphir, W., Tanner, L. A., & Traversat, B. (1995). Job Management Requirements for NAS Parallel Systems and Clusters. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 319–336). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#SaphirTT95
    26. Kipersztok, O., & Patterson, J. C. (1995). Intelligent Fuzzy Control to Augment Scheduling Capabilities of Network Queueing Systems. In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949, S. 239–258). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html#KipersztokP95
    27. Job Scheduling Strategies for Parallel Processing, IPPS’95 Workshop, Santa Barbara, CA, USA, April 25, 1995, Proceedings. (1995). In D. G. Feitelson & L. Rudolph (Hrsg.), JSSPP (Bd. 949). Springer. http://dblp.uni-trier.de/db/conf/jsspp/jsspp1995.html
    28. Tuor, S. (1995). Extraktion geometrischer Primitiven aus digitalen Grauwertbildern durch effiziente Suche im Parameterraum. ETH Zurich, Zürich, Switzerland.
    29. Baumann, S. (1995). A simplified attributed graph grammar for high-level music recognition. ICDAR, 1080–1083. http://dblp.uni-trier.de/db/conf/icdar/icdar1995-2.html#Baumann95
  28. 1994

    1. Lechner, S. (1994). SAMSON: Management of security in open systems. Computer Communications, 17(7), 538–543. http://dblp.uni-trier.de/db/journals/comcom/comcom17.html#Lechner94
    2. Stephan, I. (1994). An SLOU Prolog Interpreter. In R. Dyckhoff, L.-H. Eriksson, A. Momigliano, & M. Ornaghi (Hrsg.), ICLP Workshop: Proof-Theoretical Extensions on Logic Programming. http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#Stephan94
    3. Brandt, S. (1994). Subtrees and Subforests of Graphs. J. Comb. Theory, Ser. B, 61(1), 63–70. http://dblp.uni-trier.de/db/journals/jct/jctb61.html#Brandt94
    4. Kindermann, S. (1994). Flexible Program and Architecture Specification for Massively Parallel Systems. In B. Buchberger & J. Volkert (Hrsg.), CONPAR (Bd. 854, S. 160–171). Springer. http://dblp.uni-trier.de/db/conf/conpar/conpar1994.html#Kindermann94
    5. Gutzwiller, S. (1994). Werkzeuge und Methoden des skelettorientierten Programmierens von Parallelrechnern. University of Basel, Switzerland.
    6. Hartmann, S. (1994). Gewinnung effektiver Relevanzbeschreibungen und Indexierungsfunktionen für die automatische Indexierung. (S. I–II, 1–141). TH Darmstadt.
    7. Waack, S. (1994). On the Parallel Complexity of Iterated Multiplication in Rings of Algebraic Integers. In M. Cosnard, A. Ferreira, & J. G. Peters (Hrsg.), Canada-France Conference on Parallel and Distributed Computing (Bd. 805, S. 35–44). Springer. http://dblp.uni-trier.de/db/conf/cfcp/cfcp94.html#Waack94
    8. Mehl, S. (1994). Forward Inferences in Text Generation. In A. G. Cohn (Hrsg.), ECAI (S. 525–529). John Wiley and Sons, Chichester. http://dblp.uni-trier.de/db/conf/ecai/ecai94.html#Mehl94
    9. Rössig, S. (1994). A transformational approach to the design of communicating systems. (S. 1–185). University of Oldenburg, Germany.
    10. Ester, S. (1994). Herzschallanalyse mit automatischem Diagnosevorschlag auf der Basis neuronaler Netze. (S. 1–136). EMT.
    11. Wehner, S. (1994). The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets is ∑5-Complete. Math. Log. Q., 40, 87–94. http://dblp.uni-trier.de/db/journals/mlq/mlq40.html#Wehner94
    12. Diehl, S. (1994). Towards a Verified OR-Parallel WAM. In P. V. Hentenryck (Hrsg.), ICLP (S. 737–738). MIT Press. http://dblp.uni-trier.de/db/conf/iclp/iclp94.html#Diel94
  29. 1993

    1. Merz, S. (1993). Efficiently Executable Temporal Logic Programs. In M. Fisher & R. Owens (Hrsg.), Executable Modal and Temporal Logics (Bd. 897, S. 69–85). Springer. http://dblp.uni-trier.de/db/conf/ijcai/ijcai1993em.html#Merz93
    2. Olariu, S. (1993). Quasi-brittle graphs, a new class of perfectly orderable graphs. Discrete Mathematics, 113(1–3), 143–153. http://dblp.uni-trier.de/db/journals/dm/dm113.html#Olariu93
    3. Karczewski, S. (1993). Die Ausbildung zum Mathematisch-technischen Assistenten. Die Förderung von Schlüsselqualifikationen in der innerbetrieblichen Ausbildung. In K. G. Troitzsch (Hrsg.), INFOS (S. 83–87). Springer. http://dblp.uni-trier.de/db/conf/schule/schule1993.html#Karczewski93
    4. Churt, S. (1993). Aspekte der Spezifikation und Validierung paralleler Algorithmen auf der Grundlage von Automatennetzen unter Nutzung der logischen Programmierung. (S. 1–113). Ilmenau University of Technology, Germany.
    5. Baumann, S. (1993). IAPR Workshop on Structural and Syntactic Pattern Recognition. KI, 7(4), 57–58. http://dblp.uni-trier.de/db/journals/ki/ki7.html#Baumann93
    6. Roppel, S. (1993). Intelligent Retrieval in a Multimodal Materials Information System. In J. Rix & E. G. Schlechtendahl (Hrsg.), Interfaces in Industrial Systems for Production Engineering: Bd. B-10 (S. 73–86). North-Holland. http://dblp.uni-trier.de/db/conf/ifip5-10/ifip5-10-1993.html#Roppel93
    7. Dempe, S. (1993). Directional differentiability of optimal solutions under Slater’s condition. Math. Program., 59, 49–69. http://dblp.uni-trier.de/db/journals/mp/mp59.html#Dempe93
    8. Mehl, S. (1993). Dynamische semantische Netze - Zur Kontextabhängigkeit von Wortbedeutungen. In DISKI (Bd. 52). Infix Verlag, St. Augustin, Germany.
    9. Kleuker, S. (1993). Case Study: Stepwise Development of a Communication Processor Using Trace Logic. In D. J. Andrews, J. F. Groote, & C. A. Middelburg (Hrsg.), Semantics of Specification Languages (S. 252–269). Springer. http://dblp.uni-trier.de/db/conf/sosl/sosl1993.html#Kleuker93
    10. Naundorf, S. (1993). Die Multiplikatoralgebra einer Banachalgebra mit approximativer Eins. (S. 1–129). Universität Paderborn.
  30. 1992

    1. Heuer, S. (1992). Vererbung, semantische Netzwerke und Wissensrepräsentation. University of Münster, Germany.
    2. Olariu, S. (1992). On sources in comparability graphs, with applications. Discrete Mathematics, 110(1–3), 289–292. http://dblp.uni-trier.de/db/journals/dm/dm110.html#Olariu92
    3. Heep, S. (1992). Anfragen auf Geometriedaten in CAD-Datenbanksystemen. (S. 1–346). University of Bremen, Germany.
    4. Merz, S. (1992). Temporal logic as a programming language. (S. 1–202). Ludwig Maximilian University of Munich, Germany.
    5. Merz, S. (1992). Decidability and incompleteness results for first-order temporal logics of linear time. Journal of Applied Non-Classical Logics, 2(2), 139–156. http://dblp.uni-trier.de/db/journals/jancl/jancl2.html#Merz92
    6. Murer, S. (1992). Übersetzung funktionaler Sprachen für den ADAM-Parallelrechner. (S. 1–224). Verlag der Fachvereine.
    7. Busemann, S. (1992). Generierung natürlicher Sprache mit Generalisierten Phrasenstruktur-Grammatiken. In Informatik-Fachberichte (Bd. 313). Springer.
    8. Kaufmann, S. (1992). Mathematica als Werkzeug - eine Einführung mit Anwendungsbeispielen. (S. I–IV, 1–396). Birkhäuser.
    9. Bönewitz, S. (1992). Modellierung eines Werkzeugs zur automatischen Unterstützung bei der Lösung von Konfigurationsaufgaben. (S. 1–106). Technische Hochschule Leipzig, Germany.
    10. Geue, S. (1992). Fehler in der signalabhängigen FFT: (FFT= Fast Fourier Transform). (S. 1–136). Technische Hochschule Wismar, Germany.
  31. 1991

    1. Busemann, S. (1991). Structure-Driven Generation From Separate Semantic Representations. In J. Kunze & D. Reimann (Hrsg.), EACL (S. 113–118). The Association for Computer Linguistics. http://dblp.uni-trier.de/db/conf/eacl/eacl1991.html#Busemann91
    2. Euler, S. (1991). Adaptation techniques in tied density hidden Markov models. EUROSPEECH. http://dblp.uni-trier.de/db/conf/interspeech/eurospeech1991.html#Euler91
    3. Busemann, S. (1991). Using Pattern-Action Rules for the Generation of GPSG Structures from MT-Oriented Semantics. In J. Mylopoulos & R. Reiter (Hrsg.), IJCAI (S. 1003–1011). Morgan Kaufmann. http://dblp.uni-trier.de/db/conf/ijcai/ijcai91.html#Busemann91
    4. Olariu, S. (1991). An Optimal Greedy Heuristic to Color Interval Graphs. Inf. Process. Lett., 37(1), 21–25. http://dblp.uni-trier.de/db/journals/ipl/ipl37.html#Olariu91
    5. Schmid, S. (1991). Adaptive synchronization of interconnected systems. Kaiserslautern University of Technology, Germany.
    6. Olariu, S. (1991). On the homogeneous representation of interval graphs. Journal of Graph Theory, 15(1), 65–80. http://dblp.uni-trier.de/db/journals/jgt/jgt15.html#Olariu91
    7. Rupp, S. (1991). Digitale Radiographie: Optimierung der Bildqualität durch Bildverarbeitung. (S. 1–139). VDI-Verlag.
    8. Karczewski, S. (1991). Die Entwicklung einer modularen Gesamtarchitektur für die Softwarekomponenten von Planspielen. (S. 1–174). Dt. Univ.-Verlag.
    9. Olariu, S. (1991). Some aspects of the semi-perfect elimination. Discrete Applied Mathematics, 31(3), 291–298. http://dblp.uni-trier.de/db/journals/dam/dam31.html#Olariu91
    10. Karczewski, S. (1991). Das Planspiel TAU - Simulation von zukunftsorientierten politischen Entscheidungen in der Weiterbildung. In P. Gorny (Hrsg.), INFOS (Bd. 292, S. 270–278). Springer. http://dblp.uni-trier.de/db/conf/schule/schule1991.html#Karczewski91
    11. Waack, S. (1991). On the parallel complexity of linear groups. ITA, 25, 323–354. http://dblp.uni-trier.de/db/journals/ita/ita25.html#Waack91
    12. Olariu, S. (1991). On the structure of unbreakable graphs. Journal of Graph Theory, 15(4), 349–373. http://dblp.uni-trier.de/db/journals/jgt/jgt15.html#Olariu91a
  32. 1990

    1. Wolf, S. (1990). CARGEX - ein Fallbeispiel eines objektorientierten Expertensystems zur Luftfrachtdisposition. Wirtschaftsinformatik, 32(3), 263–272. http://dblp.uni-trier.de/db/journals/wi/wi32.html#Wolf90
    2. Waack, S. (1990). The Parallel Complexity of Some Constructions in Combinatorial Group Theory (Abstract). In B. Rovan (Hrsg.), MFCS (Bd. 452, S. 492–498). Springer. http://dblp.uni-trier.de/db/conf/mfcs/mfcs90.html#Waack90
    3. Olariu, S. (1990). Constructing bimodal convex hexagons. Int. J. Comput. Math., 35(1–4), 1–5. http://dblp.uni-trier.de/db/journals/ijcm/ijcm35.html#Olariu90
    4. Waack, S. (1990). The Parallel Complexity of Some Constructions in Combinatorial Group Theory. Elektronische Informationsverarbeitung und Kybernetik, 26(5/6), 265–281. http://dblp.uni-trier.de/db/journals/eik/eik26.html#Waack90
    5. Busemann, S. (1990). Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken. (S. 1–273). Saarland University, Saarbrücken, Germany.
    6. Olariu, S. (1990). On the Closure of Triangle-Free Graphs Under Substitution. Inf. Process. Lett., 34(2), 97–101. http://dblp.uni-trier.de/db/journals/ipl/ipl34.html#Olariu90a
    7. Murer, S. (1990). A Latency Tolerant Code Generation Algorithm for a Coarse Grain Dataflow Machine. In H. Burkhart (Hrsg.), CONPAR (Bd. 457, S. 277–287). Springer. http://dblp.uni-trier.de/db/conf/conpar/conpar1990.html#Murer90
    8. Rössig, S. (1990). Erweiterte Vektorisierung durch Vektor-Makro- und Vektor-Edit-Befehle. Inform., Forsch. Entwickl., 5(2), 72–83. http://dblp.uni-trier.de/db/journals/ife/ife5.html#Rossig90
    9. Olariu, S. (1990). A simple linear-time algorithm for computing the center of an interval graph. Int. J. Comput. Math., 34(3–4), 121–128. http://dblp.uni-trier.de/db/journals/ijcm/ijcm34.html#Olariu90a
    10. Frydrychowicz, S. (1990). Strukturvergleich ebener Kurven mit Lokalen Formelelementen. In R. E. Großkopf (Hrsg.), DAGM-Symposium (Bd. 254, S. 332–339). Springer. http://dblp.uni-trier.de/db/conf/dagm/dagm1990.html#Frydrychowicz90
    11. Mehl, S. (1990). Vom maschinenlesbaren Wörterbuch zur Lexikonkomponente - Zur Repräsentation von Wortdedeutungen. In B. Schaeder & B. B. Rieger (Hrsg.), GLDV-Jahrestagung (S. 106–119). Georg Olms Verlag. http://dblp.uni-trier.de/db/conf/gldv/gldv1990.html#Mehl90
    12. Olariu, S. (1990). A Generalization of Chvátal’s Star-Cutset Lemma. Inf. Process. Lett., 33(6), 301–303. http://dblp.uni-trier.de/db/journals/ipl/ipl33.html#Olariu90
    13. Olariu, S. (1990). Wings and perfect graphs. Discrete Mathematics, 80(3), 281–296. http://dblp.uni-trier.de/db/journals/dm/dm80.html#Olariu90
  33. 1989

    1. Frydrychowicz, S. (1989). Ein neues Verfahren zur Kontursegmentierung als Grundlage für einen maßstabs- und bewegungsinvarianten Strukturvergleich bei offenen, gekrümmten Kurven. In H. Burkhardt, K. H. Höhne, & B. Neumann (Hrsg.), DAGM-Symposium (Bd. 219, S. 240–247). Springer. http://dblp.uni-trier.de/db/conf/dagm/dagm1989.html#Frydrychowicz89
    2. Olariu, S. (1989). A Simple Linear-Time Algorithm for Computing the RNG and MST of Unimodal Polygons. Inf. Process. Lett., 31(5), 243–247. http://dblp.uni-trier.de/db/journals/ipl/ipl31.html#Olariu89
    3. Fensch, S. (1989). Anwendung von Netzen im Software-Entwurf für Steuerungssysteme. Technische Hochschule Karl-Marx-Stadt, Germany.
    4. Olariu, S. (1989). A decomposition for strongly perfect graphs. Journal of Graph Theory, 13(3), 301–311. http://dblp.uni-trier.de/db/journals/jgt/jgt13.html#Olariu89
    5. Abramowski, S. (1989). Exakte Algorithmen zur Bewegung gelenkgekoppelter Objekte zwischen festen Hindernissen. (S. 1–119). Karlsruhe Institute of Technology, Germany.
    6. Waack, S. (1989). Obere und untere Schranken für Schaltkreise und Verzweigungsprogramme. Academy of Sciences of the German Democratic Republic, Berlin, Germany.
    7. Olariu, S. (1989). Weak bipolarizable graphs. Discrete Mathematics, 74(1–2), 159–171. http://dblp.uni-trier.de/db/journals/dm/dm74.html#Olariu89
    8. Olariu, S. (1989). The Strong Perfect Graph Conjecture for pan-free graphs. J. Comb. Theory, Ser. B, 47(2), 187–191. http://dblp.uni-trier.de/db/journals/jct/jctb47.html#Olariu89
  34. 1988

    1. Zelewski, S. (1988). Netztheoretische Fundierung von parallelen Algorithmen zur Bestimmung von Lösungen für linear-ganzzahlige OR-Modelle ohne Extremalziele. Angewandte Informatik, 30(8), 352–362. http://dblp.uni-trier.de/db/journals/wi/wi30.html#Zelewski88
    2. Euler, S. (1988). Automatische Spracherkennung auf der Grundlage stochastischer Wortmodelle. Goethe University Frankfurt, Frankfurt am Main, Germany.
    3. Jahnsen, D., & Rudolph, H. (Hrsg.). (1988). Frauen gestalten Technik : Ingenieurinnen im internationalen Vergleich. Centaurus. http://www.worldcat.org/search?qt=worldcat_org_all&q=3890852793
    4. Olariu, S. (1988). On the Unimodality of Convex Polygons. Inf. Process. Lett., 29(6), 289–292. http://dblp.uni-trier.de/db/journals/ipl/ipl29.html#Olariu88a
    5. Olariu, S. (1988). No antitwins in minimal imperfect graphs. J. Comb. Theory, Ser. B, 45(2), 255–257. http://dblp.uni-trier.de/db/journals/jct/jctb45.html#Olariu88a
    6. Abramowski, S. (1988). Collision Avoidance for Nonrigid Objects. In H. Noltemeier (Hrsg.), Workshop on Computational Geometry (Bd. 333, S. 168–179). Springer. http://dblp.uni-trier.de/db/conf/cga/cga1988.html#Abramowski88
    7. Busemann, S. (1988). Zum Lexikonzugriff bei der Generierung mit GPSG. In H. Trost (Hrsg.), ÖGAI (Bd. 176, S. 164–170). Springer. http://dblp.uni-trier.de/db/conf/ogai/ogai1988.html#Busemann88
    8. Olariu, S. (1988). On the strong perfect graph conjecture. Journal of Graph Theory, 12(2), 169–176. http://dblp.uni-trier.de/db/journals/jgt/jgt12.html#Olariu88
    9. Zelewski, S. (1988). The concept of fuzzy sets with special regard to their linguistic interpretation - a solution for fuzzy problems? ZOR - Meth. & Mod. of OR, 32(1), 47–68. http://dblp.uni-trier.de/db/journals/mmor/mmor32.html#Zelewski88
    10. Olariu, S. (1988). Paw-Fee Graphs. Inf. Process. Lett., 28(1), 53–54. http://dblp.uni-trier.de/db/journals/ipl/ipl28.html#Olariu88
    11. Olariu, S. (1988). All variations on perfectly orderable graphs. J. Comb. Theory, Ser. B, 45(2), 150–159. http://dblp.uni-trier.de/db/journals/jct/jctb45.html#Olariu88
  35. 1987

    1. Dutke, S. (1987). Wann nützt ein Handbuch? Eine handlungsorientierte, empirische Analyse und ihre Ergebnisse. In W. Schönpflug & M. Wittstock (Hrsg.), Software-Ergonomie (Bd. 29, S. 398–407). Teubner. http://dblp.uni-trier.de/db/conf/softerg/softerg1987.html#Dutke87
    2. Selle, S. (1987). Desktop Publishing - ein Überblick. In M. Paul (Hrsg.), GI Jahrestagung (Bd. 156, S. 240–251). Springer. http://dblp.uni-trier.de/db/conf/gi/gi87.html#Selle87
    3. Strohmeyer, S. (1987). Theoretisch-methodologische Probleme der Entwicklung und Nutzung diskreter Simulationsmodelle und daraus resultierende Konsequenzen für die Gestaltung des Zugangs zu fachgebietsorientierten Simulationssystemen. Dresden University of Technology, Germany.
    4. Pfefferli, S. (1987). Produktionssystheme für die schweizerische Rindviehhaltung: Ergebnisse von sektoralen Modellrechnungen mit nach Klimaeignung differenzierten Regionshöfen. (S. 1–309). ETH Zurich, Zürich, Switzerland.
    5. Busemann, S. (1987). Generierung mit GPSG. In K. Morik (Hrsg.), GWAI (Bd. 152, S. 355–364). Springer. http://dblp.uni-trier.de/db/conf/ki/gwai87.html#Busemann87
    6. Trispel, S. (1987). Die Konstruktion effizienter Teststrategien zur automatisierten Bestimmung von Wahrnehmungsschwellen. (S. 1–4). RWTH Aachen University, Germany.
    7. Albers, S. (1987). Zeitabhängiger Ersatzprozess als Modell für die Fehlerhäufigkeit bei menschlicher Tätigkeit: e. Beitr. zur quantitativen Beschreibung d. Zuverlässigkeit in Mensch-Maschine-Systemen. (S. 1–183). University of Hanover, Hannover, Germany.
    8. Rupf, S. (1987). Diagnoseunterstützung durch Selbsttestverfahren in Mikrorechnerbaugruppen. Technische Hochschule Karl-Marx-Stadt, Germany.
    9. Kaufmann, S. (1987). Ein geometrieorientiertes Datenmodell für hochaggregiertes Arbeiten. Bundeswehr University Munich, Neubiberg, Germany.
    10. Dietrich, S. (1987). Entwicklung von Systemunterlagen zur Rationalisierung betrieblicher Planungsprozesse unter Nutzung der Daten- und Programmbanktechnologie. Dresden University of Technology, Germany.
  36. 1986

    1. Schön, S. (1986). Wienfilter: ein Simulationsprogramm für den Physikunterricht im Leistungskurs der gymnasialen Oberstufe. In E. von Puttkamer (Hrsg.), INFOS (Bd. 129, S. 334–340). Springer. http://dblp.uni-trier.de/db/conf/schule/schule1986.html#Schon86
    2. Stephan, P. (1986). Untersuchungen zu Multiplikatormethoden der nichtlinearen Optimierung. Ilmenau University of Technology, Germany.
    3. Zorn, S. (1986). Digital systems design automation: a simulation-based framework. In J. R. Wilson, J. O. Henriksen, & S. D. Roberts (Hrsg.), Winter Simulation Conference (S. 853–857). ACM. http://dblp.uni-trier.de/db/conf/wsc/wsc1986.html#Zorn86
    4. Paarmann, S. (1986). Beitrag zu Entwurf und Gestaltung von Dialogsystemen für die rechnergestützte Anlagenprojektierung. Ingenieurhochschule Köthen, Germany.
    5. Mehl, S. (1986). Word Expert Parsing and Disambiguierung. Can inquiring expects be helpful?. LDV Forum, 4(2), 3–8. http://dblp.uni-trier.de/db/journals/ldvf/ldvf4.html#Mehl86
  37. 1985

    1. Dempe, S. (1985). Polynomiale Näherungsalgorithmen für ein NP-schwieriges lineares, gemischt-ganzzahliges Optimierungsproblem spezieller Struktur. Technische Hochschule Karl-Marx-Stadt, Germany.
    2. Albert, S. (1985). Untersuchung von Verfahren zur Prüfung von digitalen Systemen unter dem Gesichtspunkt der Erarbeitung eines neuen Prüfverfahrens mit Eignung für Selbstprüfanwendungen. Ingenieurhochschule Mittweida, Germany.
    3. Jobke, S. (1985). Über ein Näherungsverfahren zur Berechnung von Netzknoten in Zeitmultiplexnetzen mit Vielfachzugriff und Burst-Verkehr. In H. Beilner (Hrsg.), MMB (Bd. 110, S. 360–374). Springer. http://dblp.uni-trier.de/db/conf/mmb/mmb85.html#Jobke85
    4. Frydrychowicz, S. (1985). Anwendung der Gruppentheorie auf Probleme der Mustererkennung. (S. 1–135). VDI-Verlag.
    5. Heilbrunner, S. (1985). Truly Prefix-Correct Chain-Free  LR  (1) Parsers. Acta Inf., 22(5), 499–536. http://dblp.uni-trier.de/db/journals/acta/acta22.html#Heilbrunner85
  38. 1984

    1. Neuthe, S. (1984). Untersuchungen zur Implementation des automatentheoretischen Modellkonzeptes für fachgebietsbezogene Simulationssysteme, dargestellt am Simulationssystem TOMAS. Ingenieurhochschule Dresden, Germany.
  39. 1983

    1. Heilbrunner, S. (1983). Tests for the LR-, LL-, and LC-Regular Conditions. J. Comput. Syst. Sci., 27(1), 1–13. http://dblp.uni-trier.de/db/journals/jcss/jcss27.html#Heilbrunner83
    2. Heilbrunner, S. (1983). A Metatheorem for Undecidable Properties of Formal Languages and its Application to LRR and LLR Grammars and Languages. Theor. Comput. Sci., 23, 49–68. http://dblp.uni-trier.de/db/journals/tcs/tcs23.html#Heilbrunner83
    3. Waack, S. (1983). Raumkomplexität von Wortproblemen endlicher Gruppenpräsentationen. Humboldt University of Berlin, Unter den Linden, Germany.
    4. Busemann, S. (1983). Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. In B. Neumann (Hrsg.), GWAI (Bd. 76, S. 90–99). Springer. http://dblp.uni-trier.de/db/conf/ki/gwai1983.html#Busemann83
    5. Mayer, S. (1983). LAPEX - ein rechnerunterstütztes Verfahren zur Betriebsmittelzuordnung. (S. 1–160). Springer.
    6. Schwarz, S. (1983). Scientific and Technical Information in Development: the Small Systems Syndrome and the Inverted binocular Strategy. Journal of Documentation, 39(1), 38–48. http://dblp.uni-trier.de/db/journals/jd/jd39.html#Schwarz83
  40. 1982

    1. Stephan, W. (1982). Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen. (S. 1–162). Karlsruhe Institute of Technology, Germany.
    2. Fensch, S. (1982). Ein Beitrag zur Beschreibung und Implementierung paralleler Abläufe in Steuerungssystemen. Technische Hochschule Karl-Marx-Stadt, Germany.
  41. 1981

    1. Heilbrunner, S. (1981). A Parsing Automata Approach to LR Theory. Theor. Comput. Sci., 15, 117–157. http://dblp.uni-trier.de/db/journals/tcs/tcs15.html#Heilbrunner81
    2. Waack, S. (1981). Tape Complexity of Word Problems. In F. Gécseg (Hrsg.), FCT (Bd. 117, S. 467–471). Springer. http://dblp.uni-trier.de/db/conf/fct/fct81.html#Waack81
  42. 1980

    1. Heilbrunner, S. (1980). An Algorithm for the Solution of Fixed-Point Equations for Infinite Words. ITA, 14(2), 131–141. http://dblp.uni-trier.de/db/journals/ita/ita14.html#Heilbrunner80
  43. 1979

    1. Heilbrunner, S. (1979). On the Definition of ELR(k) and ELL(k) Grammars. Acta Inf., 11, 169–176. http://dblp.uni-trier.de/db/journals/acta/acta11.html#Heilbrunner79
  44. 1973

    1. Braun, S. (1973). Automatische Indexierung durch Linguistische Syntaxanalyse. In W. Brauer (Hrsg.), GI Jahrestagung (Bd. 1, S. 414–420). Springer. http://dblp.uni-trier.de/db/conf/gi/gi73.html#Braun73
  45. 1969

    1. Braun, S. (1969). Some formal properties of phonological redundancy rules. COLING. http://dblp.uni-trier.de/db/conf/coling/coling1969.html#Braun69
  46. 1852

    1. Monumenta Zollerana. 1, Urkunden der Schwäbischen Linie : 1095 - 1418. (1852). In R. Stillfried & T. Märcker (Hrsg.), Monumenta Zollerana : Urkunden-Buch zur Geschichte des Hauses Hohenzollern (Bd. 1). Ernst & Korn. https://opacplus.bsb-muenchen.de/Vta2/bsb10000937/bsb:BV020107797?page=5

Arbeitsgruppe

Dieses Bild zeigt  Stephan Rudolph
PD Dr.-Ing.

Stephan Rudolph

Leiter Arbeitsgruppe "Entwurfstheorie und Ähnlichkeitsmechanik"

Zum Seitenanfang