journals/ecr/SuMKDH03:::Stanley Y. W. Su::Jie Meng::Raja Krithivasan::Seema Degwekar::Abdelsalam Helal:::Dynamic Inter-Enterprise Workflow Management in a Constraint-Based E-Service Infrastructure.
journals/ecr/AbererDDW03:::Karl Aberer::Anwitaman Datta::Zoran Despotovic::Andreas Wombacher:::Separating Business Process from User Interaction in Web-Based Information Commerce.
journals/ecr/YeLM01:::Yiming Ye::Jiming Liu::Alexandros Moukas:::Agents in Electronic Commerce.
journals/ecr/Gavish01:::Bezalel Gavish:::Editor's Introduction to Electronic Commerce Research.
journals/ecr/BertelsB01:::Koen Bertels::Magnus Boman:::Agent-Based Social Simulation in Markets.
journals/cys/Jovanovic-DolecekS99:::Gordana Jovanovic-Dolecek::Arturo Sarmiento-Reyes:::An Efficient Method for Narrowband FIR Filter Design.
journals/dpd/BryK03:::François Bry::Peer Kröger:::A Computational Biology Database Digest: Data, Data Analysis, and Data Management.
journals/dpd/ChenLDLMSSPK94:::Peter M. Chen::Edward K. Lee::Ann L. Drapeau::Ken Lutz::Ethan L. Miller::Srinivasan Seshan::Ken Shirriff::David A. Patterson::Randy H. Katz:::Performance and Design Evaluation of the RAID-II Storage Server.
journals/dpd/ChiuKLK02:::Dickson K. W. Chiu::Kamalakar Karlapalem::Qing Li::Eleanna Kafeza:::Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment.
journals/dpd/HsuK96:::Meichun Hsu::Charly Kleissner:::ObjectFlow: Towards a Process Management Infrastructure.
journals/dpd/SolworthO93:::Jon A. Solworth::Cyril U. Orji:::Distored Mapping Techniques to Achieve High Performance in Mirrored Disk Systems.
journals/dpd/TsalgatidouP02:::Aphrodite Tsalgatidou::Thomi Pilioura:::An Overview of Standards and Related Technology in Web Services.
journals/dpd/CingilD01:::Ibrahim Cingil::Asuman Dogac:::An Architecture for Supply Chain Integration and Automation on the Internet.
journals/dpd/DehneEHR02:::Frank K. H. A. Dehne::Todd Eavis::Susanne E. Hambrusch::Andrew Rau-Chaplin:::Parallelizing the Data Cube.
journals/dpd/HollandGS94:::Mark Holland::Garth A. Gibson::Daniel P. Siewiorek:::Architectures and Algorithms for On-Line Failure Recovery in Redundant Disk Arrays.
journals/dpd/PapakonstantinouGH98:::Yannis Papakonstantinou::Ashish Gupta::Laura M. Haas:::Capabilities-Based Query Rewriting in Mediator Systems.
journals/dpd/MissierLVGLA03:::Paolo Missier::Gail Lalk::Vassilios S. Verykios::F. Grillo::T. Lorusso::P. Angeletti:::Improving Data Quality in Practice: A Case Study in the Italian Public Administration.
journals/dpd/Dogac99:::Asuman Dogac:::Guest Editor's Introduction.
journals/dpd/Clamen94:::Stewart M. Clamen:::Schema Evolution and Integration.
journals/dpd/BarkerB01:::Ken Barker::Subhrajyoti Bhar:::A Graphical Approach to Allocating Class Fragments in Distributed Objectbase Systems.
journals/dpd/SinghCHJKOSTW97:::Munindar P. Singh::Philip Cannata::Michael N. Huhns::Nigel Jacobs::Tomasz Ksiezyk::KayLiang Ong::Amit P. Sheth::Christine Tomlinson::Darrell Woelk:::The Carnot Heterogeneous Database Project: Implemented Applications.
journals/dpd/ThakoreS94:::Arun K. Thakore::Stanley Y. W. Su:::Performance Analysis of Parallel Object-Oriented Query Processing Algorithms.
journals/dpd/Menon94:::Jai Menon:::Performance of RAID5 Disk Arrays with Read and Write Caching.
journals/dpd/MuharemagicMM95:::Edin A. Muharemagic::Imadeldin O. Mahgoub::Milan Milenkovic:::Analysis of File Usage in Personal Computer Environments.
journals/dpd/FridayDSSW99:::Adrian Friday::Nigel Davies::Jochen Seitz::Matt Storey::Stephen P. Wade:::Experiences of Using Generative Communications to Support Adaptive Mobile Applications.
journals/dpd/Ramamritham93:::Krithi Ramamritham:::Real-Time Databases.
journals/dse/ChenMM97:::Xiaomin Chen::Louise E. Moser::P. M. Melliar-Smith:::Totally ordered gigabit multicasting.
journals/dse/HirotsuFT95:::Toshio Hirotsu::Hiroko Fujii::Mario Tokoro:::A multiversion mechanism for intra-object concurrency.
journals/dse/BaldoniBFR99:::Roberto Baldoni::Roberto Beraldi::Roy Friedman::Robbert van Renesse:::The hierarchical daisy architecture for causal delivery.
journals/dse/NiG95:::Y. Ni::Andrzej M. Goscinski:::Evaluation of attributed names.
journals/dse/MeyerAL96:::Bernd Meyer::Frank Anstötz::Claudia Linnhoff-Popien:::Towards implementing policy-based systems management.
journals/dse/TeoT96:::Yong Meng Teo::Seng Chuan Tay:::Performance analysis of parallel simulation on distributed systems.
journals/dse/HeijenkH96:::Geert J. Heijenk::Boudewijn R. Haverkort:::Design and evaluation of a connection management mechanism for an ATM-based connectionless service.
journals/dse/DonatelliMR96:::Susanna Donatelli::Nicola Mazzocca::Stefano Russo:::Client - server programs analysis in the EPOCA environment.
journals/dse/FrySVW97:::Michael Fry::Aruna Seneviratne::Andreas Vogel::Varuni Witana:::QoS management in a World Wide Web environment which supports continuous media.
journals/dse/KochK96:::Thomas Koch::Bernd J. Krämer:::Rules and agents for automated management of distributed systems.
journals/dse/HiltunenIS99:::Matti A. Hiltunen::Vijaykumar Immanuel::Richard D. Schlichting:::Supporting customized failure models for distributed software.
journals/dse/NeumairW96:::Bernhard Neumair::René Wies:::Case study: applying management policies to manage distributed queuing systems.
journals/dse/KshemkalyaniSC98:::Ajay D. Kshemkalyani::George Samaras::Andrew Citron:::Context management and its applications to distributed transactions.
journals/dse/Leser93:::Norbert Leser:::The distributed computing environment naming architecture.
journals/dse/Chrysanthis96:::Panos K. Chrysanthis:::Guest Editor's introduction.
journals/dse/BudhiaMM98:::Ravi K. Budhia::Louise E. Moser::P. M. Melliar-Smith:::Performance engineering of the Totem group communication system.
journals/dse/KaashoekTV93:::M. Frans Kaashoek::Andrew S. Tanenbaum::Kees Verstoep:::Group communication in Amoeba and its applications.
journals/dtj/Blake91:::Jane C. Blake:::Editor's Introduction: Transaction Processing.
journals/dtj/Blake95:::Jane C. Blake:::Editors Introduction: Special Edition 1995
journals/dtj/GodiwalaM95:::Nitin D. Godiwala::Barry A. Maskas:::The Second-generation Processor Module for AlphaServer 2100 Systems
journals/dtj/Borgialli91:::Carlos G. Borgialli:::Forword.
journals/dtj/Blake98b:::Jane C. Blake:::Editors Introduction.
journals/eik/Dorfler73:::Willibald Dörfler:::Zur algebraischen Theorie der Automaten.
journals/eik/Schutz72:::Karin Schütz:::Zur Beschreibung eines Labyrinthes durch ein Wort über einem zweistelligen Alphabet.
journals/eik/GosselP80:::Michael Gössel::Reinhard Pöschel:::Invariant Relations for Automata - A Proposal.
journals/eik/FrankenKS84:::Peter Franken::Bernd-Michael Kirstein::Arnfried Streller:::Reliability Analysis of Complex Systems with Repair.
journals/eik/Nicolau68:::Par Edmond Nicolau:::Macromodèles, concernant la productivité, l'éducation et la recherche.
journals/eik/Dopp71:::Klemens Döpp:::Automaten in Labyrinthen I.
journals/eik/Moisil67:::Par Grigore C. Moisil:::Sur les aléas de commutation dans les circuits à contacts et relais.
journals/eik/Bar69:::Dieter Bär:::Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken I.
journals/eik/Hoa92:::Vu Dinh Hoa:::Über Hamiltonizität in einer Klasse spezieller Graphen.
journals/eik/Lau92:::Dietlinde Lau:::A Completeness Criterion for P<sub>k</sub>(l).
journals/eik/HuyT92:::Nguyen Xuan Huy::Le Thi Thanh:::Generalized Positive Boolean Dependencies.
journals/eik/KernerA74:::Immo O. Kerner::Hassan Al-Sheikh-Khalil:::Algorithmische Sprache ALGOL 60+8.
journals/eik/Kemp84:::Rainer Kemp:::On a Decidability and Translation Result Concerning LR(0) Grammars.
journals/eik/Monjau78:::Dieter Monjau:::Ein Verfahren zur Synthese kombinatorischer Schaltfunktionen in einer zellularen Struktur.
journals/eik/Weber83:::Karl Weber:::Subcubes of Random Boolean Functions.
journals/eik/Schweigert90:::Dietmar Schweigert:::Clone Homomorphisms and Reductions.
journals/eik/Pichler72:::Franz Pichler:::Zur Theorie verallgemeinerter Faltungssysteme: Dyadische Faltungssysteme und Walshfunktionen.
journals/eik/Harnau76:::Walter Harnau:::Eine Verallgemeinerung der Vertauschbarkeit in der k-wertigen Logik.
journals/eik/KochetkovGN88:::Dimitri W. Kochetkov::Bernhard Goetze::Werner Nehrlich:::Construction of Maximal Partial Intervals.
journals/eik/Gottwald79:::Siegfried Gottwald:::A Note on Measure of Fuzziness.
journals/eik/Schulze83:::Reinhard Schulze:::Darstellung von nichtauflösbaren impliziten nichtlinearen Differentialgleichungen in Zustandsform und Existenzaussagen über die Lösbarkeit.
journals/eik/Pohl83:::Hans Werner Pohl:::Petri Net Games.
journals/eik/Rozenberg77:::Grzegorz Rozenberg:::Selective Substitution Grammars (Towards a Framework for Rewriting Systems). Part 1: Definitions and Examples.
journals/eik/GrassmannS74:::Hubert Grassmann::Gert Siebert:::Kohomologie und Dekomponierbarkeit von Automaten.
journals/eik/Thai81:::Do Minh Thai:::On Minimal-Program Complexity of Complex Sets.
journals/eik/VanM78:::Do Long Van::Vu Duy Man:::Bemerkungen zu einer Klasse von durch eindimensionale iterative Automaten akzeptierten Sprachen.
journals/eik/Koester65:::Gerhard Koester:::Näherungsverfahren zur Lösung von Steuerungsproblemen bei der Informationsübertragung von Nerven auf Erfolgsstrukturen.
journals/eik/RoslerU70:::Ulrich Rösler::Wolfgang Uebel:::Bestimmung der magnetischen Zustände in flußgekoppelten magnetischen Bauelementen.
journals/eik/Rosler69:::Ulrich Rösler:::Die memorierende Lernmatrix.
journals/eik/SamboanT68:::Gabriel Samboan::Radu Theodorescu:::On the notion of concentration I.
journals/eik/ItoKS87:::Masami Ito::Masashi Katsura::Huei-Jan Shyr:::Regular Domains.
journals/eik/Willie88:::Helmut Willie:::Individual Call Blocking Probabilities in the Loss Systems SM+M/M/N and G +M/M/N.
journals/eik/Zech71:::Karl-Adolf Zech:::Homomorphe Dekomposition stochastischer und nicht-deterministischer Automaten.
journals/eik/WiehagenJ77:::Rolf Wiehagen::Hermann Jung:::Rekursionstheoretische Charakterisierung von erkennbaren Klassen rekursiver Funktionen.
journals/eik/Hartenstein71:::Reiner W. Hartenstein:::Synthese endlicher Automaten bei Problemen der Erkennung, Klassifikation und Informationsreduktion.
journals/eik/BrandtS87:::Andreas Brandt::Hannelore Sulanke:::On the GI/M/infinity Queue with Batch Arrivals of Constant Size and its Application to a Repairable Standby System.
journals/eik/Starke74:::Peter H. Starke:::On Diagnosing Experiments with Nondeterministic Automata with Final States.
journals/eik/Starke77:::Peter H. Starke:::Correction to: On the Diagnoals of n-Regular Relations.
journals/eik/Starke81:::Peter H. Starke:::Processes in Petri Nets.
journals/eik/Denecke85:::Klaus Denecke:::Durch binäre Relationen erzeugbare zweielementige Algebren.
journals/eik/Grabowski80:::Jan Grabowski:::Linear Methods in the Theory of Vector Addition Systems I.
journals/eik/Csuhaj-VarjuD90:::Erzsébet Csuhaj-Varjú::Jürgen Dassow:::On Cooperating/Distributed Grammar Systems.
journals/eik/Szendrei78:::Ágnes Szendrei:::On Closed Sets of Linear Operations over a Finite Set of Square-free Cardinality.
journals/eik/Schwandtke87:::Annette Schwandtke:::On Estimation Methods in Planar Sampling.
journals/eik/Teichert82:::Hanns-Martin Teichert:::Über B-Produkte mit einelementiger Basismenge - eine Verallgemeinerung des cartesischen Produkts ungerichteter Graphen.
journals/eik/Janicki85:::Ryszard Janicki:::An Equivalence Notion for Path Expressions Systems.
journals/eik/Lampe90:::Jürgen Lampe:::Local Parse - A Base for Realistic Parallelisation of Compilers.
journals/eik/NegoitaR76:::Constantin Virgil Negoita::Dan A. Ralescu:::L-Fuzzy Sets and L-Flou Sets.
journals/eik/Stoyan84a:::Dietrich Stoyan:::A Heuristic Approximation for a Single-Server Cyclic Queueing System.
journals/eik/Tikhonenko87:::Oleg M. Tikhonenko:::The Problem of Determination of the Summarized Messages Volume in Queueing Systems and its Applications.
journals/eik/Sztrik87:::János Sztrik:::A Queueing Model for Processor-shared Multiprogrammed Computer Systems with Controlled Services.
journals/eik/Koebe91:::Manfred Koebe:::Tolerance Graphs and Trapezoid Graphs.
journals/eik/Vollmar73:::Roland Vollmar:::Über Turingmaschinen mit variablem Speicher.
journals/eik/Merkelbach73:::Wilbrecht Merkelbach:::Modellierung biologischer Prozesse durch elektrische Schaltungen.
journals/eik/Strassner79a:::Karl Straßner:::Erweiterungen und Produkte von Semimoduln.
journals/eik/Wechsung80:::Gerd Wechsung:::A Note on the Return Complexity.
journals/eik/Kohlhase82:::Hans Kohlhase:::Redundanzmatrizen und Reduktion von Modulautomaten.
journals/eik/Lorenc78:::Aivar A. Lorenc:::Transformer mit g-zirkulanter Struktur.
journals/eik/Weber83a:::Karl Weber:::Prime Implicants of Random Boolean Functions.
journals/eik/Weber83b:::Karl Weber:::Irredundant Disjunctive Normal Forms of Random Boolean Functions.
journals/eik/Falin87:::Gennadi Falin:::Multichannel Queueing Systems with Repeated Calls Under High Intensity of Repetition.
journals/eik/Dragalin89:::Albert G. Dragálin:::Some Trends in Automated Reasoning.
journals/eik/Warmuth85:::Walter Warmuth:::On the Relation Between the Land Distribution and Offered Traffic.
journals/eik/Seiffart66:::Egon Seiffart:::Exakte und approximative Lösungsmöglichkeiten von Reihenfolgeproblemen.
journals/eik/Marko69:::Hans Marko:::Die Anwendung nachrichtentheoretischer Methoden in der Biologie.
journals/eik/HendrichS92:::U. Hendrich::Michael Stiebitz:::On the Bandwidth of Graph Products.
journals/eik/Gerber70a:::Siegmar Gerber:::Über eine Formalisierung sequentieller Synchronschaltungen II.
journals/eik/Mecke66:::Joseph Mecke:::Ein Grenzwertsatz aus der Zuverlässigkeitstheorie.
journals/eik/Grabowski74a:::Jan Grabowski:::Ein Analyse-Synthese-Satz für lokal-endliche ND-Automaten.
journals/eik/Fiksel84a:::Thomas Fiksel:::Simple Spatial-Temporal Models for Sequences of Geological Events.
journals/eik/Simanovskis94:::Raimonds Simanovskis:::Consistent and Conform Identification by Total Recursive Strategies.
journals/eik/Kammerer72:::Wilhelm Kämmerer:::Ein Algorithmus zur Berechnung der Werte einer durch ihre charakteristische Zahl gegebenen n-wertigen und k-stelligen Booleschen Funktion.
journals/eik/Posthoff78:::Christian Posthoff:::Die Lösung und Auflösung binärer Gleichungen mit Hilfe des Booleschen Differentialkalküls.
journals/eik/SztrikA89:::János Sztrik::Vladimir V. Anisimov:::Reliability Analysis of a Complex Renewable System with Fast Repair.
journals/eik/Burkhard74:::Hans-Dieter Burkhard:::Diagnose und Einstellung nicht-deterministischer Automaten bei regulären Unterscheidungsformen.
journals/eik/Burkhard86:::Hans-Dieter Burkhard:::Adaptive Experiments at Finite Automata.
journals/eik/Makinen86:::Erkki Mäkinen:::On Szilard Languages of Pure Context-free Grammars.
journals/eik/Sujan83:::Stefan Sujan:::Epsilon-Rates and Noiseless Fixed-Rate Block Coding for Stationary Non-Ergodic Sources.
journals/eik/Hemmerling77a:::Armin Hemmerling:::Allgemeine Untersuchungen zur Entscheidbarkeit und Trennbarkeit bezüglich Kodierungen.
journals/eik/Kochel87a:::Peter Köchel:::Some Remarks on Steady-State Availability for Series Systems with Exponentially Distributed Life and Repair Times.
journals/eik/Bordihn92:::Henning Bordihn:::Pure Languages and the Degree of Nondeterminism.
journals/eik/Uebel71:::Wolfgang Uebel:::Analyse der kombinatorischen Eigenschaften von magnetischen Bauelementen.
journals/eik/GerlachW78:::Bernhard Gerlach::Walter Warmuth:::A comment to a paper by D. J. Daley and D. N. Shanbhag.
journals/eik/DuskePS79:::Jürgen Duske::Rainer Parchmann::Johann Specht:::A Homomorphic Characterization of Indexed Languages.
journals/eik/Ruzicka75:::Peter Ruzicka:::Size Complexity of Context-free Languages.
journals/eik/Schatte73:::Peter Schatte:::Über indexsequentielles Tabellensuchen.
journals/eik/Golze79:::Ulrich Golze:::Lokale und globale Synchronisation.
journals/eik/Zander70:::Hans Joachim Zander:::Ein Verfahren zur Optimierung von Kombinationsschaltungen mit mehreren Ausgängen bei unvollständig gegebenen Arbeitsbedingungen.
journals/eik/Lorenzen79:::Hans-Peter Lorenzen:::A Practicable Module Conception for Dynamically Organized Higher Level Programming Languages.
journals/eik/MullerS74:::Irmfried Müller::Gerhard Siegel:::About two inhomogeneous Wiener-Hope integral equations and their interpretation for delayed random walks and queueing models GI/G/1 with "warming-up".
journals/eik/KorecP77:::Ivan Korec::Juraj Procházka:::Real-Time Computability of integer part of (abs(alpha) x) and integer part of x<sup>alpha</sup>.
journals/eik/Muller71:::Horst Müller:::Endliche Automaten und Labyrinthe.
journals/dud/Blum01:::Felix Blum:::Entwurf eines neuen Signaturgesetzes.
journals/dud/Koster03:::Birthe Köster:::Erfahrungen mit dem schleswig-holsteinischen Informationsfreiheitsgesetz.
journals/dud/Fritsch01a:::Lothar Fritsch:::A secure, affordable infrastructure for electronic signature applications - Overview of a server based, user-friendly approach.
journals/dud/Baumler02:::Helmut Bäumler:::Marktwirtschaftlicher Datenschutz.
journals/dud/Miedbrodt01:::Anja Miedbrodt:::Stellungnahme des TeleTrust e.V. zum Entwurf der Signaturverordnung.
journals/dud/Fox02e:::Dirk Fox:::Bluetooth Security.
journals/dud/Hahn03:::Oliver Hahn:::Data Warehousing und Data Mining in der Praxis.
journals/dud/Gold01:::Sönke Gold:::WAP Security für Bank-Applikationen.
journals/dud/Schmitz01:::Peter Schmitz:::Datenschutzgerechte Gestaltung von AGB für Telemedia-Dienste.
journals/dud/Dix01:::Alexander Dix:::Regelungsdefizite der Cyber-Crime-Konvention und der E-TKÜV.
journals/dud/Patzel02:::Claus Pätzel:::Durchsuchungen bei Gefahr in Verzug - Die Auswirkungen des Urteils des BVerfG vom 20.2.2001.
journals/dud/Krader01:::Gabriela Krader:::Kampf gegen die Internetkriminalität.
journals/dud/Weichert03:::Thilo Weichert:::Kundenbindungssysteme - Verbraucherschutz oder der gläserne Konsument?
journals/dud/RossnagelPG01:::Alexander Roßnagel::Andreas Pfitzmann::Hans-Jürgen Garstka:::Modernisierung des Datenschutzrechts.
journals/dud/Buchholz02:::Cristina Buchholz:::Digital Identities and Federations - Project Liberty and Web Services Security.
journals/dud/Romeike03:::Frank Romeike:::Integration von IT Risiken in das proaktive Risk Management.
journals/dud/Bruhann02a:::Ulf Brühann:::Sektorspezifischer Datenschutz in Europa.
journals/dud/Schwemmer01:::Jürgen Schwemmer:::Solutions and Problems - (Why) It's a long Way to Interoperability.
journals/dud/DuhrNPS02:::Elisabeth Duhr::Helga Naujok::Martina Peter::Evelyn Seiffert:::Neues Datenschutzrecht für die Wirtschaft - Erläuterungen und praktische Hinweise zu § 1 bis § 11 BDSG.
journals/dud/Winter01:::Renate Winter:::Kryptoalgorithmen unter Ausnutzung der Komplexität des Clique-Problems.
journals/dud/Opaschowski01:::Horst W. Opaschowski:::Quo vadis, Datenschutz? Die Angst vor dem Datenklau breitet sich aus.
journals/dud/Tinnefeld02:::Marie-Theres Tinnefeld:::Aktuelle Fragen des Arbeitnehmerdatenschutzes.
journals/dud/Baumler01b:::Helmut Bäumler:::"AN-ON" Projekt in Schleswig-Holstein zur Anonymität im Internet.
journals/dud/Baumler02c:::Helmut Bäumler:::Ärger über Werbesendungen.
journals/dud/HansenR03:::Marit Hansen::Martin Rost:::Nutzerkontrollierte Verkettung - Pseudonyme, Credentials, Protokolle für Identitätsmanagement.
journals/dud/HulsmannMS01a:::Franz Werner Hülsmann::Sven Mörs::Peter Schaar:::Satellitenkommunikation.
journals/dud/KuhnW02:::Ulrich Kühn::Sebastian Wirth:::Datenschutz bei Windows 2000.
journals/dud/Sokol01:::Bettina Sokol:::Der Fall "deCODE" - Das isländische Beispiel für den Einsatz genetischer Forschung.
journals/dud/Rihaczek03e:::Karl Rihaczek:::Massenhafter Zwang zur Individualisierung.
journals/dud/Rihaczek03f:::Karl Rihaczek:::Arme DigitSig.
journals/dud/Rihaczek03h:::Karl Rihaczek:::Werbung.
journals/dud/Genghini01:::Riccardo Genghini:::Global relevance of the European Electronic Signatures co-regulation process.
journals/dud/KuhnW02a:::Ulrich Kühn::Sebastian Wirth:::Datenschutz bei Windows 2000.
journals/dud/RulandS01:::Christoph Ruland::Niko Schweitzer:::Anmerkungen zur Kryptoanalyse der Ruland/Schweitzer-Signatur von Bitströmen.
journals/dud/Bizer01d:::Johann Bizer:::Ziele und Elemente der Modernisierung des Datenschutzrechts.
journals/dud/Bizer03a:::Johann Bizer:::Transparenz und Kooperation.
journals/dud/BourseauFT02:::Frank Bourseau::Dirk Fox::Christoph Thiel:::Vorzüge und Grenzen des RSA-Verfahrens.
journals/dud/Welschenbach01:::Michael Welschenbach:::Rijndael - Nachfolger des DES - Der zukünftige Advanced Encryption Standard.
journals/dud/Pohlmann02:::Norbert Pohlmann:::Biometrics and IT Security - About the practical deployment of the new Technology.
journals/dud/Schaar02:::Peter Schaar:::Neuer Datenschutz für TeleMediendienste.
journals/fac/CavalcantiW98:::Ana Cavalcanti::Jim Woodcock:::ZRC - A Refinement Calculus for Z.
journals/fac/PaynterAH00:::Stephen Paynter::Jim Armstrong::Jan Haveman:::ADL: An Activity Description Language for Real-Time Networks.
journals/fac/Holcombe00:::Mike Holcombe:::What are X-Machines?
journals/fac/AptM94:::Krzysztof R. Apt::Elena Marchiori:::Reasoning About Prolog Programs: From Modes Through Types to Assertions.
journals/fac/ZhouHK96:::Ping Zhou::Jozef Hooman::Ruurd Kuiper:::Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.
journals/fac/BackhouseC89:::Roland Carl Backhouse::Paul Chisholm:::Do-It-Yourself Type Theory.
journals/fac/Baumann91:::Peter Baumann:::Towards a Semantics-Based Information Theory.
journals/fac/EngelhardtR95:::Kai Engelhardt::Willem P. de Roever:::Towards a Practitioners' Approach to Abadi and Lamport's Method.
journals/fac/Dybjer94:::Peter Dybjer:::Inductive Families.
journals/fac/Owe93:::Olaf Owe:::Partial Logics Reconsidered: A Conservative Approach.
journals/fac/Shields92:::M. W. Shields:::Multitraces, Hypertraces and Partial Order Semantics.
journals/fac/KayL92:::Andrew Kay::Peter Lupton:::Sequential to Parallel Buffer Refinement (Short Communication).
journals/fac/Hooman94:::Jozef Hooman:::Extending Hoare Logic to Real-Time.
journals/fac/OweD91:::Olaf Owe::Ole-Johan Dahl:::Generator Induction in Order Sorted Algebras.
journals/fac/Ronn96:::Stefan Rönn:::Invariants and Closures in the Theory of Rewrite Systems.
journals/fac/CostaS95:::José Félix Costa::Amílcar Sernadas:::Progress Assumption in Concurrent Systems.
journals/fac/Suhl02:::Carsten Sühl:::An Overview of the Integrated Formalism RT-Z.
journals/fac/Hennicker91:::Rolf Hennicker:::Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations.
journals/fac/HayesM95:::Ian J. Hayes::Brendan P. Mahony:::Using Units of Measurement in Formal Specifications.
journals/fac/HayesS95:::Ian J. Hayes::Jeff W. Sanders:::Specification by Interface Separation.
