journals/csys/Calabrese96:::Christopher J. Calabrese:::A Tool for Building Firewall-Router Configurations.
journals/csys/McKenneyD92:::Paul E. McKenney::Ken F. Dove:::Efficient Demultiplexing of Incoming TCP Packets.
journals/csys/Langston90:::Peter S. Langston:::Little Languages for Music.
journals/dlib/NelsonA02:::Michael L. Nelson::B. Danette Allen:::Object Persistence and Availability in Digital Libraries.
journals/dlib/SompelB01:::Herbert Van de Sompel::Oren Beit-Arie:::Generalizing the OpenURL Framework beyond References to Scholarly Works: The Bison-Futé Model.
journals/dlib/Benson01:::Larry D. Benson:::The Harvard University Geoffrey Chaucer Collection.
journals/dlib/Friedlander02:::Amy Friedlander:::The National Digital Information Infrastructure Preservation Program: Expectations, Realities, Choices and Progress to Date.
journals/dlib/Bobbitt02:::Steve Bobbitt:::American Numismatic Association.
journals/dlib/Allard02:::Suzie Allard:::Digital Library: IT Opportunities and Challenges in the New Millennium: 8 - 12 July 2002, Beijing, China.
journals/dlib/AllardF02:::Suzie Allard::Edward A. Fox:::The 4th International Conference of Asian Digital Libraries: Digital Libraries: Dynamic Landscapes for Knowledge Creation, Access and Management December 10-12, 2001, Bangalore, India.
journals/dlib/Garrison01:::William A. Garrison:::Retrieval Issues for the Colorado Digitization Project's Heritage Database.
journals/dlib/CerdaJLP03:::José Hilario Canós Cerdá::Javier Jaén Martínez::Juan C. Lorente::Jennifer Pérez:::Building Safety Systems with Dynamic Disseminations of Multimedia Digital Objects.
journals/dlib/GoodvinL02:::Renée Goodvin::Brooke Lippy:::eML: Taking Mississippi Libraries into the 21st Century.
journals/dlib/Beit-ArieBCFILMPRS01:::Oren Beit-Arie::Miriam Blake::Priscilla Caplan::Dale Flecker::Tim Ingoldsby::Laurence W. Lannom::William H. Mischo::Edward Pentz::Sally Rogers::Herbert Van de Sompel:::Linking to the Appropriate Copy: Report of a DOI-Based Prototype.
journals/dlib/Bramer02:::Daniel Bramer:::WW2010 - the Weather World 2010 Project.
journals/eccc/ECCC-TR00-004:::Oded Goldreich::Salil P. Vadhan::Avi Wigderson:::Simplified derandomization of BPP using a hitting set generator.
journals/eccc/ECCC-TR00-016:::Michael V. Vyugin:::Information Distance and Conditional Complexities
journals/eccc/ECCC-TR00-030:::Wolfgang Maass:::A Simple Model for Neural Computation with Firing Rates and Firing Correlations 
journals/eccc/ECCC-TR00-034:::Valentine Kabanets::Charles Rackoff::Stephen Cook:::Efficiently Approximable Real-Valued Functions
journals/eccc/ECCC-TR00-039:::Yevgeniy Dodis:::Impossibility of Black-Box Reduction from Non-Adaptively to Adaptively Secure Coin-Flipping
journals/eccc/ECCC-TR00-051:::Marek Karpinski::Miroslaw Kowaluk::Andrzej Lingas:::Approximation Algorithms for MAX-BISECTION on Low Degree Reg ular Graphs and Planar Graphs
journals/eccc/ECCC-TR00-066:::Peter Auer:::On Learning from Ambiguous Information
journals/eccc/ECCC-TR00-069:::Peter Auer:::Learning Nested Differences in the Presence of Malicious Noise
journals/eccc/ECCC-TR00-070:::Peter Auer::Manfred K. Warmuth:::Tracking the best disjunction
journals/eccc/ECCC-TR00-086:::Michael Schmitt:::On the Complexity of Computing and Learning with Multiplicative Neural Networks
journals/eccc/ECCC-TR00-089:::Lars Engebretsen::Marek Karpinski:::Approximation Hardness of TSP with Bounded Metrics
journals/eccc/ECCC-TR00-090:::Oded Goldreich:::Candidate One-Way Functions Based on Expander Graphs
journals/eccc/ECCC-TR01-002:::Venkatesan Guruswami:::Constructions of Codes from Number Fields
journals/eccc/ECCC-TR01-006:::Rocco A. Servedio:::On Learning Monotone DNF under Product Distributions
journals/eccc/ECCC-TR01-009:::Ronen Shaltiel:::Towards proving strong direct product theorems
journals/eccc/ECCC-TR01-037:::Rustam Mubarakzjanov:::Bounded-Width Probabilistic OBDDs and Read-Once Branching Programs are Incomparable
journals/eccc/ECCC-TR01-046:::Oded Goldreich::Salil P. Vadhan::Avi Wigderson:::On Interactive Proofs with a Laconic Prover
journals/eccc/ECCC-TR01-068:::Philippe Moser:::Relative to P, APP and promise-BPP are the same
journals/eccc/ECCC-TR01-074:::Josh Buresh-Oppenheim::David Mitchell::Toniann Pitassi:::Linear and Negative Resolution are Weaker than Resolution
journals/eccc/ECCC-TR01-076:::Robert A. Legenstein:::On the Complexity of Knock-knee Channel-Routing with 3-Terminal Nets
journals/eccc/ECCC-TR01-085:::Gerhard J. Woeginger:::Resource augmentation for online bounded space bin packing
journals/eccc/ECCC-TR01-092:::Till Tantau:::A Note on the Complexity of the Reachability Problem for Tournaments
journals/eccc/ECCC-TR01-094:::Jonas Holmerin:::Vertex Cover on 4-regular Hyper-graphs is Hard to Approximate Within 2-epsilon
journals/eccc/ECCC-TR01-097:::Piotr Berman::Marek Karpinski:::Improved Approximations for General Minimum Cost Scheduling
journals/eccc/ECCC-TR01-098:::Ke Yang:::On Learning Correlated Boolean Functions Using Statistical Query
journals/eccc/ECCC-TR02-010:::Albert Atserias::Maria Luisa Bonet:::On the Automatizability of Resolution and Related Propositional Proof Systems
journals/eccc/ECCC-TR02-017:::Aggelos Kiayias::Moti Yung:::Cryptographic Hardness based on the Decoding of Reed-Solomon Codes with Applications
journals/eccc/ECCC-TR02-019:::Nader H. Bshouty::Lynn Burroughs:::On the proper learning of axis parallel concepts
journals/eccc/ECCC-TR02-027:::Irit Dinur::Venkatesan Guruswami::Subhash Khot:::Vertex Cover on k-Uniform Hypergraphs is Hard to Approximate within Factor (k-3-epsilon)
journals/eccc/ECCC-TR02-029:::Marek Karpinski::Yakov Nekrich:::Parallel Construction of Minimum Redundancy Length-Limited  Codes
journals/eccc/ECCC-TR02-034:::Andrei A. Bulatov:::Mal'tsev constraints are tractable
journals/eccc/ECCC-TR02-038:::Rahul Santhanam:::Resource Tradeoffs and Derandomization
journals/eccc/ECCC-TR02-046:::Marek Karpinski:::On Approximability of Minimum Bisection Problem
journals/eccc/ECCC-TR02-058:::Philippe Moser:::A generalization of Lutz's measure to probabilistic classes
journals/eccc/ECCC-TR02-072:::Scott Aaronson:::Quantum Lower Bound for Recursive Fourier Sampling
journals/eccc/ECCC-TR03-012:::Edward A. Hirsch::Arist Kojevnikov:::Several notes on the power of Gomory-Chvatal cuts
journals/ecc/ECCC-TR03-020:::Elad Hazan::Shmuel Safra::Oded Schwartz:::On the Hardness of Approximating k-Dimensional Matching
journals/eccc/ECCC-TR03-024:::Till Tantau:::Weak Cardinality Theorems for First-Order Logic
journals/eccc/ECCC-TR03-026:::Janka Chlebíková::Miroslav Chlebík:::Inapproximability results for bounded variants of optimization problems
journals/eccc/ECCC-TR03-050:::Daniel Král:::Locally satisfiable formulas
journals/eccc/ECCC-TR03-063:::John M. Hitchcock:::The Size of SPP
journals/eccc/ECCC-TR03-065:::Hoeteck Wee:::Compressibility Lower Bounds in Oracle Settings
journals/eccc/ECCC-TR03-068:::Matthias Homeister:::Lower Bounds for the Sum of Graph--driven Read--Once Parity Branching Programs
journals/eccc/ECCC-TR03-074:::Vince Grolmusz:::Sixtors and Mod 6 Computations
journals/eccc/ECCC-TR03-081:::Valentin E. Brimkov::Bruno Codenotti::Valentino Crespi::Reneta P. Barneva::Mauro Leoncini:::Computation of the Lovász Theta Function for Circulant Graphs
journals/eccc/ECCC-TR94-001:::Noam Nisan::Avi Wigderson:::On Rank vs. Communication Complexity
journals/eccc/ECCC-TR94-021:::Lance Fortnow:::My Favorite Ten Complexity Theorems of the Past Decade
journals/eccc/ECCC-TR94-023:::Matthias Krause::Pavel Pudlák:::On the Computational Power of Depth 2  Circuits with Threshold and Modulo Gates
journals/eccc/ECCC-TR94-026:::Beate Bollig::Martin Sauerhoff::Detlef Sieling::Ingo Wegener:::On the Power of Different Types of Restricted Branching Programs
journals/eccc/ECCC-TR95-001:::Amos Beimel::Anna Gál::Mike Paterson:::Lower Bounds for Monotone Span Programs
journals/eccc/ECCC-TR95-006:::Kenneth W. Regan::D. Sivakumar::Jin-yi Cai:::Pseudorandom Generators, Measure Theory, and Natural Proofs
journals/eccc/ECCC-TR95-023:::Sanjeev Khanna::Rajeev Motwani::Madhu Sudan::Umesh V. Vazirani:::On Syntactic versus Computational Views of Approximability
journals/eccc/ECCC-TR95-036:::Richard Beigel::William I. Gasarch::Efim B. Kinber:::Frequency Computation and Bounded Queries
journals/eccc/ECCC-TR95-042:::Beate Bollig::Ingo Wegener:::Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams
journals/eccc/ECCC-TR95-048:::Helmut Veith:::Succinct Representation and Leaf Languages
journals/eccc/ECCC-TR96-002:::Manindra Agrawal::Eric Allender:::An Isomorphism Theorem for Circuit Complexity
journals/eccc/ECCC-TR96-011:::Stephen A. Bloch::Jonathan F. Buss::Judy Goldsmith:::Sharply Bounded Alternation within P
journals/eccc/ECCC-TR96-012:::Giuseppe Ateniese::Carlo Blundo::Alfredo De Santis::Douglas R. Stinson:::Visual Cryptography for General Access Structures
journals/eccc/ECCC-TR96-014:::Mitsunori Ogihara:::Sparse Hard Sets for P Yields Space-Efficient Algorithms
journals/eccc/ECCC-TR96-018:::Oded Goldreich::Johan Håstad:::On the Message Complexity of Interactive Proof Systems
journals/eccc/ECCC-TR96-026:::Stasys Jukna:::Finite Limits and Monotone Computations
journals/eccc/ECCC-TR96-038:::Michael Gibson::Jehoshua Bruck:::Efficient Digital to Analog Encoding
journals/eccc/ECCC-TR96-055:::Alexander E. Andreev::Andrea E. F. Clementi::José D. P. Rolim:::Hitting Properties of Hard Boolean Operators and their Consequences on BPP
journals/eccc/ECCC-TR97-001:::Marco Cesati::Luca Trevisan:::On the Efficiency of Polynomial Time Approximation Schemes
journals/eccc/ECCC-TR97-014:::Klaus Reinhardt::Eric Allender:::Making Nondeterminism Unambiguous
journals/eccc/ECCC-TR97-021:::Farid M. Ablayev:::Randomization and nondeterminsm are incomparable for ordered read-once branching programs
journals/eccc/ECCC-TR97-023:::Stasys Jukna::Alexander A. Razborov::Petr Savický::Ingo Wegener:::On P versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs
journals/eccc/ECCC-TR97-030:::Martin Sauerhoff:::On Nondeterminism versus Randomness for Read-Once Branching Programs
journals/eccc/ECCC-TR97-039:::Pierluigi Crescenzi::Luca Trevisan:::MAX NP-Completeness Made Easy
journals/eccc/ECCC-TR97-040:::Dorit Dor::Shay Halperin::Uri Zwick:::All Pairs Almost Shortest Paths
journals/eccc/ECCC-TR97-045:::Oded Goldreich::David Zuckerman:::Another proof that BPP subseteq PH (and more). 
journals/eccc/ECCC-TR97-051:::Wolfgang Maass::Pekka Orponen:::On the Effect of Analog Noise in Discrete-Time Analog Computations
journals/eccc/ECCC-TR97-052:::Wolfgang Maass::Eduardo D. Sontag:::Analog Neural Nets with Gaussian or other Common Noise Distributions cannot Recognize Arbitrary Regular Languages
journals/eccc/ECCC-TR97-060:::Manindra Agrawal::Thomas Thierauf:::The Satisfiability Problem for Probabilistic Ordered Branching Programs
journals/eccc/ECCC-TR97-061:::Eli Biham::Dan Boneh::Omer Reingold:::Generalized Diffie-Hellman Modulo a Composite is not Weaker than Factoring
journals/eccc/ECCC-TR98-002:::Jayram S. Thathachar:::On Separating the Read-k-Times Branching Program Hierarchy
journals/eccc/ECCC-TR98-007:::Luca Trevisan:::Recycling Queries in PCPs and in Linearity Tests
journals/eccc/ECCC-TR98-019:::Eric Allender::Klaus Reinhardt:::Isolation, Matching, and Counting
journals/eccc/ECCC-TR98-066:::Irit Dinur::Eldar Fischer::Guy Kindler::Ran Raz::Shmuel Safra:::PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability
journals/eccc/ECCC-TR98-070:::Rüdiger Reischuk:::Can Large Fanin Circuits Perform Reliable Computations in the Presence of Noise?
journals/eccc/ECCC-TR98-074:::Madhu Sudan::Luca Trevisan::Salil P. Vadhan:::Pseudorandom generators without the XOR Lemma
journals/eccc/ECCC-TR99-006:::Jin-yi Cai:::Some Recent Progress on the Complexity of Lattice Problems
journals/eccc/ECCC-TR99-013:::Oded Goldreich::Amit Sahai::Salil P. Vadhan:::Can Statistical Zero Knowledge be made Non-Interactive? or On the Relationship of SZK and NISZK
journals/eccc/ECCC-TR99-014:::Alexander A. Razborov::Nikolai K. Vereshchagin:::One Property of Cross-Intersecting Families
journals/eccc/ECCC-TR99-015:::Irit Dinur::Shmuel Safra:::On the Hardness of Approximating Label Cover
journals/eccc/ECCC-TR99-021:::Igor Shparlinski:::On the Uniformity of Distribution of a Certain Pseudo-Random Function
journals/eccc/ECCC-TR99-029:::Ilya Dumer::Daniele Micciancio::Madhu Sudan:::Hardness of Approximating the Minimum Distance of a Linear Code
journals/eccc/ECCC-TR99-030:::Meena Mahajan::P. R. Subramanya::V. Vinay:::A Combinatorial Algorithm for Pfaffians
journals/eccc/ECCC-TR99-043:::Venkatesan Guruswami:::The Approximability of Set Splitting Problems and Satisfiability Problems with no Mixed Clauses
journals/eccc/ECCC-TR99-044:::Farid M. Ablayev:::On Complexity  of  Regular (1,+k)-Branching Programs
journals/fmsd/Lind-NielsenAHBKL01:::Jørn Lind-Nielsen::Henrik Reif Andersen::Henrik Hulgaard::Gerd Behrmann::Kåre J. Kristoffersen::Kim Guldstrand Larsen:::Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
journals/fmsd/AlurH99:::Rajeev Alur::Thomas A. Henzinger:::Introduction.
journals/fmsd/EmersonS96:::E. Allen Emerson::A. Prasad Sistla:::Symmetry and Model Checking.
journals/fmsd/BerryS00:::Gérard Berry::Ellen Sentovich:::An Implementation of Constructive Synchronous Programs in POLIS.
journals/fmsd/NagallaH94:::Radhakrishna Nagalla::Graham R. Hellestrand:::Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays.
journals/fmsd/FantechiGRCVM94:::Alessandro Fantechi::Stefania Gnesi::Gioia Ristori::Michele Carenini::M. Vanocchi::Paolo Moreschini:::Assisting Requirement Formalization by Means of Natural Language Translation.
journals/fmsd/KurshanLMPY02:::Robert P. Kurshan::Vladimir Levin::Marius Minea::Doron Peled::Hüsnü Yenigün:::Combining Software and Hardware Verification Techniques.
journals/fmsd/Loewenstein93:::Paul Loewenstein:::A Formal Theory of Simulations between Infinite Automata.
journals/fmsd/GnesiL01:::Stefania Gnesi::Diego Latella:::Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers.
journals/fmsd/SloanB97:::Robert H. Sloan::Ugo A. Buy:::Stubborn Sets for Real-Time Petri Nets.
journals/fmsd/FernandezMJJ92:::Jean-Claude Fernandez::Laurent Mounier::Claude Jard::Thierry Jéron:::On-the-fly Verification of Finite Transition Systems.
journals/fmsd/LeducBLKP99:::Guy Leduc::Olivier Bonaventure::Luc Léonard::E. Koerner::Charles Pecheur:::Model-Based Verification of a Security Protocol for Conditional Access to Services.
journals/fmsd/Gamboa02:::Ruben Gamboa:::The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2.
journals/fmsd/KondratyevKTT98:::Alex Kondratyev::Michael Kishinevsky::Alexander Taubin::Sergei Ten:::Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings.
journals/fmsd/DevillersGRV00:::Marco Devillers::W. O. David Griffioen::Judi Romijn::Frits W. Vaandrager:::Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394.
journals/fmsd/BerardFKM03:::Béatrice Bérard::Laurent Fribourg::Francis Klay::Jean-François Monin:::Compared Study of Two Correctness Proofs for the Standardized.
journals/fmsd/MokkedemHJG00:::Abdel Mokkedem::Ravi Mohan Hosabettu::Michael D. Jones::Ganesh Gopalakrishnan:::Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.
journals/fmsd/AzizSSBS02:::Adnan Aziz::Thomas R. Shiple::Vigyan Singhal::Robert K. Brayton::Alberto L. Sangiovanni-Vincentelli:::Formula-Dependent Equivalence for Compositional CTL Model Checking.
journals/fmsd/MurthyBL97:::Praveen K. Murthy::Shuvra S. Bhattacharyya::Edward A. Lee:::Joint Minimization of Code and Data for Synchronous Dataflow Programs.
journals/fmsd/EsparzaM00:::Javier Esparza::Stephan Melzer:::Verification of Safety Properties Using Integer Programming: Beyond the State Equation.
journals/fmsd/GodefroidW93:::Patrice Godefroid::Pierre Wolper:::Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.
journals/fmsd/SheeranS00:::Mary Sheeran::Gunnar Stålmarck:::A Tutorial on Stålmarck's Proof Procedure for Propositional Logic.
journals/gidr/Benn01:::Wolfgang Benn:::Editorial.
journals/gidr/Schutz94:::Heribert Schütz:::Tupelweise Bottom-up-Auswertung von Logikprogrammen.
journals/gidr/Breunig01:::Markus M. Breunig:::Quality Driven Database Mining (Zusammenfassung).
journals/gidr/Breunig94:::Martin Breunig:::Wissenswertes vom 6th International Symposium on Spatial Data Handling, 5.-9. September 1994, Edinburgh, Scotland.
journals/gidr/Wasch99:::Jürgen Wäsch:::Transactional Support for Cooperative Applications (Abstract).
journals/gidr/Studer92a:::Rudi Studer:::Informationssysteme und Künstliche Intelligenz: Modellierung (Bericht über den 2. Workshop).
journals/gidr/Mussler99:::Gabriela Mußler:::Ein Agentensystem zur Unterstützung bei der Informationssuche im WWW.
journals/gidr/AltenhuberL93:::Wolfgang Altenhuber::Frank Leymann:::Unterstützung der Modellierung und Ausführung von Geschäftsvorgängen im LAN.
journals/gidr/Riedel94:::Holger Riedel:::Effiziente Anfrageauswertung in objektorientierten Datenbanken - Optimierungskonzepte für eine kalkülbasierte Sprache.
journals/gidr/BornZ93:::Eike Born::Sigmar Zäske:::Performance-Analyse eines verteilten Lock-Management auf Mehrrechner-Systemen.
journals/gidr/GringerG97:::Ingo Gringer::Otmar Görlitz:::Handbuch zum Veranstaltungskalender der GI-Fachgruppe Datenbanken.
journals/gidr/Sinnwell99:::Markus Sinnwell:::Adaptives Caching in verteilten Informationssystemen (Zusammenfassung).
journals/gidr/Gerhardt91:::Hans-Detlef Gerhardt:::Vorstellung der Arbeitsgruppe Datenbanken am Fachbereich Informatik der Universität Rostock.
journals/gidr/Kuspert91a:::Klaus Küspert:::Datenbank-Forschung und -Anwendung in der Abteilung Advanced Information Management am Wiss. Zentrum Heidelberg der IBM.
journals/gidr/Meyer-Wegener94:::Klaus Meyer-Wegener:::Einladung zur Wahlversammlung.
journals/gidr/Rakow98:::Thomas C. Rakow:::Semantische Concurrency Control in objektorientierten Datenbanksystemen (Kurzfassung).
journals/gidr/Ranft93:::Michael Ranft:::Einfluß des Transaktionsprofils auf die Antwortzeit.
journals/gidr/Ranft94:::Michael Ranft:::Synchronisation in Datenbanksystemen für heterogene Anwendungen.
journals/gidr/Gringer97:::Ingo Gringer:::Buchbesprechung: Objektorientierte Datenbanksysteme - Ein Praktikum von A. Geppert.
journals/gidr/Schweppe91:::Heinz Schweppe:::Brief der Fachgruppenleitung.
journals/gidr/Thoma91b:::Helmut Thoma:::Buchbesprechung: Schönthaler, Frank; Németh, Tibor: Software-Entwicklungswerkzeuge: Methodische Grundlagen, Stuttgart, Teubner, 1990.
journals/gidr/Thoma92a:::Helmut Thoma:::Unternehmensweite Modellierung von Anwendungssystemen, Bericht über das Fachgruppentreffen vom 26./27.2.92 in Ulm.
journals/gidr/Ritter94:::Norbert Ritter:::Bericht vom 5. Workshop "Transaktionskonzepte", Schloß Dhaun, 19.-21. Januar 1994.
journals/gidr/BarkowBHKS92:::Georg Barkow::Hubert von Braun::Wolfgang Hesse::Hans-Bernd Kittlaus::Gert Scheschonk:::Begriffsbildung für die Analyse und Modellierung von Anwendungssystemen, Bericht eines GI-Arbeitskreises.
journals/gidr/Kobialka92:::Hans-Ulrich Kobialka:::Kooperierende Transaktionen für die interaktive Software-Entwicklung.
journals/gidr/Saake97:::Gunter Saake:::Aktivitäten des Arbeitskreises Grundlagen von Informationssystemen in den Jahren 1996 und 1997.
journals/gidr/Geppert92:::Andreas Geppert:::Spezifikation and Realisierung von Transaktionssubsystemen in erweiterbaren Datenbanksystemen.
journals/gidr/Pernul93:::Günther Pernul:::11th International Conference on the Entity-Relationship Approach (ER 92), Karlsruhe (Tagungsbericht).
journals/gidr/Lamersdorf91:::Winfried Lamersdorf:::Fernzugriff auf Datenbanken in offenen Rechnernetzen: Remote Database Access (RDA) nach ISO/OSI.
journals/gidr/BandaraEGM93:::U. Bandara::R. Erbe::H. Gröger::K. Mohr:::Chemische Verbindungen im schnellen direkten Zugriff - Das Beilstein XFIRE Datenbanksystem und mögliche Erweiterungen.
journals/gidr/Thalheim92:::Bernhard Thalheim:::An Overview on Database Theory.
journals/gidr/Ester99:::Martin Ester:::Knowledge Discovery in Spatial Databases (Abstract).
journals/gidr/Jablonski91:::Stefan Jablonski:::Bericht über den Workshop "Transaktionsverwaltung", 16.-18. Januar 1991, VHS Hesselberg.
journals/gidr/Burkhard98:::Hans-Dieter Burkhard:::Architekturen "intelligenter" Agenten (Erweiterte Kurzfassung).
journals/gidr/Bittner93:::Jürgen Bittner:::Leistungen der DBMS vur Verwaltung verteilter Datenbanken.
journals/gidr/Messer98:::Burkhard Messer:::Realisierung von Transaktionen innerhalb von C/S-Systemen am Beispiel eines Workflow-Management-Systems.
journals/gidr/Sander99:::Jörg Sander:::Generalized Density-Based Clustering for Spatial Data Mining (Abstract).
journals/gidr/Heuer99a:::Andreas Heuer:::Brief des Sprechers der Fachgruppe 2.5.1.
journals/gidr/Trautloft91:::Rainer Trautloft:::Datenbankaktivitäten an der TU Chemnitz.
journals/gidr/Kuspert91:::Klaus Küspert:::Tagungsbericht zum Internationalen IBM Symposium "Database Systems of the 90s".
journals/gidr/Kuspert92:::Klaus Küspert:::Bericht vom Herbst-Treffen '92 der Fachgruppe zum Thema "Objektorientierte Datenbanksysteme - Forschungsergebnisse, Produkte, Einsatzerfahrungen", Universität Frankfurt, 17./18. September 1992.
journals/gidr/SilvaG91:::Antonio Joaquim S. R. Silva::George Walter Gerber:::Fault-Tolerant Distributed Database for Supervisory Control Systems.
journals/gidr/Nittel93:::Silvia Nittel:::Einsatz und Nutzen von objektorientierten Betriebssystemen für die Implementierung von Datenbanksystemen.
journals/gidr/Nittel95:::Silvia Nittel:::Konzepte für Speicherobjektdienste in konfigurierten DBMS (Zusammenfassung).
journals/gidr/Strohmann93:::Jürgen Ströhmann:::Threading-Architekturen für Hochleistungsserver am beispiel des Datenbanksystems UDS/SQL.
journals/gidr/Heuer95:::Andreas Heuer:::Forschungsprojekte am Lehrstuhl Datenbank- und Informationssysteme, Fachbereich Informatik, Universität Rostock.
journals/gidr/Gunthor92:::Roger Günthör:::Evaluation of Dependency Rules (Abstract).
journals/gidr/TeilleD93:::Karl Teille::Thomas Diedrich:::Evaluationsbericht zu 'GemStone'-Version 3.0.1.
journals/gidr/Dittrich91:::Klaus R. Dittrich:::The Database Community: Submitting and Publishing Itself to Death!?
journals/gidr/DBTA93:::DBTA:::Eine Auswahl aus den Mitteilungen.
journals/fuin/Farwer01:::Berndt Farwer:::Comparing Concepts of Object Petri Net Formalisms.
journals/fuin/DenejkoDPP00:::Piotr Denejko::Krzysztof Diks::Andrzej Pelc::Marek Piotrów:::Reliable Minimum Finding Comparator Networks.
journals/fuin/SchlechtaGMRT00:::Karl Schlechta::Laurent Gourmelen::Stéphanie Motré::Olivier Rolland::Bensalah Tahar:::A New Approach to Preferential Structures.
journals/fuin/BaazL94:::Matthias Baaz::Alexander Leitsch:::On Skolemization and Proof Complexity.
journals/fuin/HajekT01:::Petr Hájek::Sauro Tulipani:::Complexity of Fuzzy Probability Logics.
journals/fuin/Mohnen97:::Markus Mohnen:::A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras.
journals/fuin/Heckmann95:::Reinhold Heckmann:::Lower Bag Domains.
journals/fuin/Ostravsky98:::Jan Ostravsky:::Pregrammars Versus Submonoids.
journals/fuin/Wroblewski01:::Jakub Wroblewski:::Ensembles of Classifiers Based on Approximate Reducts.
journals/fuin/Tyszkiewicz01:::Jerzy Tyszkiewicz:::Computability by Sequences of Queries.
journals/fuin/Pawlak96:::Zdzislaw Pawlak:::Rough Sets, Rough Relations and Rough Functions.
journals/fuin/HanischL00:::Hans-Michael Hanisch::A. Lüder:::A Signal Extension for Petri Nets and its Use in Controller Design.
journals/fuin/KrithivasanM02:::Kamala Krithivasan::Mutyam Madhu:::Contextual P Systems.
journals/fuin/EhrenfeuchtEPR95:::Andrzej Ehrenfeucht::Joost Engelfriet::Paulien ten Pas::Grzegorz Rozenberg:::Grammatical Codes of Trees and Terminally Coded Grammars.
journals/fuin/Mundici93:::Daniele Mundici:::Ulam Games, Lukasiewicz Logic, and AF C*-Algebras.
journals/fuin/HuzarM97:::Zbigniew Huzar::Jan Magott:::Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.
journals/fuin/GruskaM01:::Damas P. Gruska::Andrea Maggiolo-Schettini:::Process Algebras for Network Communication.
journals/fuin/RasJ97:::Zbigniew W. Ras::Sucheta Joshi:::Query Approximate Answering System for an Incomplete DKBS.
journals/fuin/Seda97:::Anthony Karel Seda:::Quasi-Metrics and the Semantics of Logic Programs.
journals/fuin/GiavittoM02:::Jean-Louis Giavitto::Olivier Michel:::The Topological Structures of Membrane Computing.
journals/fuin/NielsenH99:::Mogens Nielsen::Thomas Hune:::Bisimulation and Open Maps for Timed Transition Systems.
journals/fuin/Moshkov94:::Mikhail Moshkov:::Optimization Problems for Decision Trees.
journals/fuin/SkowronS01:::Andrzej Skowron::Jaroslaw Stepaniuk:::Information Granule Decomposition.
