Kurt P. Brown
PRPL: A Database Workload Specification Language, v1.3.
1992
Univ. of Wisconsin-Madison
Tolga Yurek
Efficient View Maintenance at Data Warehouses.
1997
University of California at Santa Barbara, Department of Computer Science
Paul R. McJones
The 1995 SQL Reunion: People, Project, and Politics, May 29, 1995.
Digital System Research Center Report
SRC1997-018
1997
db/labs/dec/SRC1997-018.html
http://www.mcjones.org/System_R/SQL_Reunion_95/
decTR/src1997-018.pdf
db/labs/gte/TR-0263-08-94-165.html
Frank Manola
An Evaluation of Object-Oriented DBMS Developments: 1994 Edition.
GTE Laboratories Incorporated
TR-0263-08-94-165
August
1994
db/labs/gte/index.html#TR-0263-08-94-165
GTE/MANO94a.pdf
db/labs/gte/TR-0169-12-91-165.html
Frank Manola
Object Data Language Facilities for Multimedia Data Types.
GTE Laboratories Incorporated
TR-0169-12-91-165
December
1991
db/labs/gte/index.html#TR-0169-12-91-165
GTE/MANO91a.pdf
db/labs/gte/TR-0231-08-93-165.html
Frank Manola
Sandra Heiler
A 'RISC' Object Model for Object System Interoperation: Concepts and Applications.
GTE Laboratories Incorporated
TR-0231-08-93-165
August
1993
db/labs/gte/index.html#TR-0231-08-93-165
GTE/MANO93c.pdf
db/labs/gte/TM-0014-06-88-165.html
Frank Manola
Distributed Object Management Technology.
GTE Laboratories Incorporated
TM-0014-06-88-165
June
1988
db/labs/gte/index.html#TM-0014-06-88-165
GTE/MANO88.pdf
db/labs/gte/TM-0332-11-90-165.html
Frank Manola
Mark F. Hornick
Alejandro P. Buchmann
Object Data Model Facilities for Multimedia Data Types.
GTE Laboratories Incorporated
TM-0332-11-90-165
December
1990
db/labs/gte/index.html#TM-0332-11-90-165
GTE/MANO90b.pdf
db/labs/gte/TR-0236-09-93-165.html
Farshad Nayeri
Benjamin Hurwitz
Experiments with Dispatching in a Distributed Object System.
GTE Laboratories Incorporated
TR-0236-09-93-165
July
1993
db/labs/gte/index.html#TR-0236-09-93-165
GTE/NAYE93c.pdf
db/labs/gte/TR-0244-12-93-165.html
Frank Manola
MetaObject Protocol Concepts for a RISC Object Model.
GTE Laboratories Incorporated
TR-0244-12-93-165
December
1993
db/labs/gte/index.html#TR-0244-12-93-165
GTE/MANO93d.pdf
db/labs/gte/TR-0146-06-91-165.html
Alejandro P. Buchmann
M. Tamer Özsu
Dimitrios Georgakopoulos
Towards a Transaction Management System for DOM.
GTE Laboratories Incorporated
TR-0146-06-91-165
June
1991
db/labs/gte/index.html#TR-0146-06-91-165
GTE/BUCH91.pdf
db/labs/gte/TR-0174-12-91-165.html
Mark F. Hornick
Joe D. Morrison
Farshad Nayeri
Integrating Heterogeneous, Autonomous, Distributed Applications Using the DOM Prototype.
GTE Laboratories Incorporated
TR-0174-12-91-165
December
1991
db/labs/gte/index.html#TR-0174-12-91-165
GTE/HORN91.pdf
db/labs/gte/TM-0149-06-89-165.html
Frank Manola
Object Model Capabilities For Distributed Object Management.
GTE Laboratories Incorporated
TM-0149-06-89-165
June
1989
db/labs/gte/index.html#TM-0149-06-89-165
GTE/MANO89a.pdf
db/labs/gte/TR-0310-11-95-165.html
Frank Manola
Integrating Object-Oriented Applications and Middleware with Relational Databases.
GTE Laboratories Incorporated
TR-0310-11-95-165
November
1995
db/labs/gte/index.html#TR-0310-11-95-165
GTE/MANO95.pdf
SQL/Data System, General Information Manual.
IBM Publication
GH24-5012
IBM Corporation, White Plains, NY
1981
db/labs/ibm/GH24-5012.html
ibmTR/gh24-5012.pdf
SQL/Data System, Conpects and Facilities.
IBM Publication
GH24-5013
IBM Corporation, White Plains, NY
1981
db/labs/ibm/GH24-5013.html
ibmTR/gh24-5013.pdf
Dines Bjørner
E. F. Codd
Kenneth L. Deckert
Irving L. Traiger
The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations.
IBM Research Report
RJ1200
April
1973
db/labs/ibm/RJ1200.html
ibmTR/rj1200.pdf
Raymond F. Boyce
Donald D. Chamberlin
Using a Structured English Query Language as a Data Definition Facility.
IBM Research Report
RJ1318
December
1973
db/labs/ibm/RJ1318.html
ibmTR/rj1318.pdf
Jim Gray
Vera Watson
A Shared Segment and Interprocess Communication Facility for VM/370
IBM Research Report
RJ1579
May
1975
db/labs/ibm/RJ1579.html
ibmTR/rj1579.pdf
E. F. Codd
Robert S. Arnold
Jean-Marc Cadiou
Chin-Liang Chang
Nick Roussopoulos
RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases.
IBM Research Report
RJ2144
January
1978
db/labs/ibm/RJ2144.html
ibmTR/rj2144.pdf
H. Raymond Strong
Irving L. Traiger
George Markowsky
Slide Search.
IBM Research Report
RJ2274
June
1978
db/labs/ibm/RJ2274.html
ibmTR/rj2274.pdf
Irving L. Traiger
Jim Gray
Cesare A. Galtieli
Bruce G. Lindsay
Transactions and Consistency in Distributed Database Systems.
IBM Research Report
RJ2555
June
1979
db/labs/ibm/RJ2555.html
ibmTR/rj2555.pdf
Raymond A. Lorie
Bradford W. Wade
The Compilation of a High Level Data Language.
IBM Research Report
RJ2598
August
1979
db/labs/ibm/RJ2598.html
ibmTR/rj2598.pdf
Sai Choi Kwan
H. Raymond Strong
Index Path Length Evaluation for the Research Storage System of System R.
IBM Research Report
RJ2736
1980
January
db/labs/ibm/RJ2736.html
ibmTR/rj2736.pdf
Michel E. Adiba
Bruce G. Lindsay
Database Snapshots.
IBM Research Report
RJ2772
1980
db/labs/ibm/RJ2772.html
ibmTR/rj2772.pdf
Raymond A. Lorie
XRM - An Extended (N-ary) Relational Memory.
IBM Cambridge Scientific Center
IBM Research Report
G320-2096
January
1974
db/labs/ibm/G320-2096.html
ibmTR/g320-2096.pdf
SQL/Data System for VSE: A Relational Data System for Application Development.
IBM Publication
G320-6590
IBM Corporation, White Plains, NY
1981
db/labs/ibm/G320-6590.html
ibmTR/g320-6590.pdf
Krishna G. Kulkarni
Jim Melton
Jonathan Bauer
Mike Kelley
Inheritance for ADTs (revised)
ANSI X2H2
DBL:KAW-006 X3H2-91-133rev1
July
1991
db/systems/sqlPapers.html#X3H2-91-133rev1
SQL/x3h2-91-133rev1.pdf
db/systems/X3H2-91-133rev1.html
Jim Melton
Jonathan Bauer
Krishna G. Kulkarni
Object ADTs (with improvements for Value ADTs)
ANSI X3H2
DBL:ARL-029 X3H2-91-083rev1
April
1991
db/systems/sqlPapers.html#X3H2-91-083rev1
SQL/X3H2-91-083rev1.pdf
db/systems/X3H2-91-083rev1.html
Phil Shaw
Modification of User Defined Types
ANSI X3H2
X3H2-90-292
1990
db/systems/sqlPapers.html#X3H2-90-292
SQL/X3H2-90-292.pdf
db/systems/X3H2-90-292.html
David Beech
Cetin Ozbutun
Object Oriented DBMS as a Generalization of Relational DBMS
ANSI X3H2
X3H2-90-412
1990
db/systems/sqlPapers.html#X3H2-90-412
SQL/X3H2-90-412.pdf
db/systems/X3H2-90-412.html
David Beech
Unification of Value and Object ADTs
ANSI X3H2
X3H2-92-062
1992
db/systems/sqlPapers.html#X3H2-92-062
Andra Sikeler
Implementierungskonzepte für Non-Standard-Datenbanksysteme.
1989
Universität Kaiserslautern
Inderpal Singh Mumick
Query Optimization in Deductive and Relational Databases
1991
Department of Computer Science, Stanford University
Divesh Srivastava
Representing and Querying Complex Information in the Coral Deductive Database System.
1993
Univ. of Wisconsin-Madison
Lars Arge
Efficient External-Memory Data Structures and Applications.
1996
BRICS Dissertation Series
DS-96-3
University of Aarhus
Todd A. Proebsting
Code Generation Techniques.
1992
Univ. of Wisconsin-Madison
Erich Gehlen
Optimierung der Anfrageauswertung in einem Deduktiven Datenbanksystem.
1992
Uni Trier, Informatik
Marcia A. Derr
Adaptive Optimization in a Database Programming Language
1992
Stanford University, Department of Computer Science
Frank Olken
Random Sampling from Databases
1993
University of California at Berkeley
LBL Technical Report
LBL-32883
Angelo Montanari
Metric and Layered Temporal Logic for Time Granularity
1996
ILLC Dissertation Series 1996-02, University of Amsterdam
Asit Dan
Performance Analysis of Data Sharing Environments
1990
University of Massachusetts, Amherst
Shaul Dar
Augmenting Databases with Generalized Transitive Closure
1993
Univ. of Wisconsin-Madison
Younkyung Cha Kang
Randomized Algorithms for Query Optimization.
1991
Univ. of Wisconsin-Madison
David B. Kemp
On the Foundations of Query Evaluation in Deductive Databases
1992
University of Melbourne, Department of Computer Science
Bruce K. Holmer
Automatic Design of Computer Instruction Sets
1993
University of California at Berkeley
Roberta Cochrane
Issues in Integrating Actice Rules Into Database Systems
1992
University of Maryland, Department of Computer Science, College Park, MD
Robert Kooi
The Optimization of Queries in Relational Databases.
1980
September
Case Western Reserve University
Joann J. Ordille
Descriptive Name Services for Large Internets.
1993
Univ. of Wisconsin-Madison
Leo Mark
Self-Describing Database Systems - Formalization and Realization
1985
University of Maryland, Department of Computer Science, College Park, MD
Seth J. White
Pointer Swizzling Techniques for Object-Oriented Database Systems
1994
Univ. of Wisconsin-Madison
Marshall K. McKusick
Register Allocation and Data Conversion in Machine Independent Code Generators
1984
University of California at Berkeley
Michael J. Carey
Modeling and Evaluation of Database Concurrency Control Algorithms
1983
College of Engineering, University of California, Berkeley
Christian Schulte
Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine.
1991
Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme
Katherine A. Morris
Subgoal Order for Query Optimization in Logic Databases.
1991
Stanford University, Department of Computer Science
Kjell Post
Analysis and Transformation of Logic Programs.
1994
University of California at Santa Cruz
John Sieg Jr.
Making Extensible Database Technology Work.
1989
Boston Univerity
William J. McKenna
Efficient Search in Extensible Query Optimization: The Volcano Optimizer Generator
1993
University of Colorado-Boulder
Francisco Reverbell
Persistence in Distributed Object Systems: ORB/ODBMS Integration.
1996
April
University of New Mexico
Michael J. Franklin
Caching and Memory Management in Client-Server Database Systems
1993
Univ. of Wisconsin-Madison
Daniel F. Lieuwen
Optimizing and Parallelizing Loops in Object-Oriented Database Programming Languages.
1992
Univ. of Wisconsin-Madison
Limsoon Wong
Querying Nested Collections.
1994
Univ. Pennsylvania
Dietmar Seipel
Decomposition in Database and Knowledge-Base Systems.
1989
Uni Würzburg
Suryanarayana M. Sripada
Temporal Reasoning in Deductive Databases
1991
Imperial College of Science, University of London
Iakovos Motakis
Temporal Reasoning in Active Databases.
1997
University of California at Los Angeles
V. Srinivasan
On-Line Processing in Large-Scale Transaction Systems.
1992
Univ. of Wisconsin-Madison
Russell Turpin
Programming Data Structures in Logic.
1992
University of Texas, Austin
S. Sudarshan
Optimizing Bottom-Up Query Evaluation for Deductive Databases.
1992
Univ. of Wisconsin-Madison
Ulf Nilsson
Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs.
1992
Linköping University, Department of Computer and Information Science
Thomas W. Getzinger
Abstract Interpretation for the Compile-Time Optimization of Logic Programs
1993
University of Southern California
Michael Schiwietz
Speicherung und Anfragebearbeitung komplexer Geo-Objekte
1993
Ludwig-Maximilian-Universität München
Verlag Shaker
3-86111-723-1
John T. Robinson
Design of Concurrency Control Protocols for Transaction Processing Systems.
1982
Carnegie Mellon University
Craig Chambers
The Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages
1992
Stanford University, Department of Computer Science
Michael H. Böhlen
The Temporal Deductive Database System ChronoLog
1994
Departement Informatik, ETH Zürich
Tep Dobry
A High Performance Architecture For Prolog
1987
University of California at Berkeley
Andrew Taylor
High Performance Prolog Implementation
1991
University of Sydney, Basser Department of Computer Science
Gert Smolka
Logic Programming over Polymorphically Order-Sorted Tyypes.
1989
Universität Kaiserslautern
Peter Van Roy
A Prolog Compiler for the PLM.
1984
University of California at Berkeley
Peter Van Roy
Can Logic Programming Execute as Fast as Imperative Programming?
1990
University of California at Berkeley
Mark Sullivan
System Support for Software Fault Tolerance in Highly Available Database Management Systems.
1993
University of California at Berkeley
Heping Shang
Trie Methods for Text and Spatial Data on Secondary Storage.
1994
McGill University
Gail Mitchell
Extensible Query Processing in an Object-Oriented Database.
1993
Brown University, Department of Computer Science
Ann L. Chervenak
Tertiary Storage: An Evaluation of New Applications
1994
U. C. Berkeley
Edsger W. Dijkstra
Communication with an Automatic Computer
1959
Excelsior
University of Amsterdam
http://www.cs.utexas.edu/users/EWD/PhDthesis/PhDthesis.PDF
Eric Simon
Conception et Realisation d'un sous Systeme d'Intgerite dans un SGBD Relationnel
1986
Univerite de Paris VI
Viswanath Poosala
Histogram-Based Estimation Techniques in Database Systems.
1997
Univ. of Wisconsin-Madison
Hennie J. Steenhagen
Optimization of Object Query Languages.
1995
University of Twente
Mark A. Friedman
A Characterization of Prolog Execution
1992
Univ. of Wisconsin-Madison
Walter Waterfeld
Eine erweiterbare Speicher- und Zugriffskomponente für geowissenschaftliche Datenbanksysteme.
1991
Technische Universität Darmstadt
Gerhard Weikum
Transaktionsverwaltung in Datenbanksystemen mit Schichtenarchitektur.
1986
Technische Universität Darmstadt
Sanjai Narain
LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation.
1988
University of California at Los Angeles
Sumit Ganguly
Parallel Evaluation of Deductive Database Queries.
1992
University of Texas, Austin
Arun N. Swami
Optimization of Large Join Queries
1989
Stanford University, Department of Computer Science
Yonathan Malachi
Nonclausal Logic Programming
1986
Stanford University, Department of Computer Science
Edwin McKenzie
An Algebraic Language for Query and Update of Temporal Databases
1988
September
University of North Carolina, Computer Science Department
Goetz Graefe
Rule-Based Query Optimization in Extensible Database Systems
1987
Univ. of Wisconsin-Madison
Manoli M. Tsangaris
Principles of Static Clustering for Object Oriented Databases
1992
Univ. of Wisconsin-Madison
Günther Specht
Source-to-Source Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken.
1992
Technische Universität München
Antonin Guttman
New Features for Relational Database Systems to Support CAD Applications
1984
University of California, Berkeley
Sanjay Ghemawat
The Modified Object Buffer: A Storage Management Technique for Object-Oriented Databases
1995
MIT Laboratory for Computer Science
Christof Hasse
Inter- und Intratransaktionsparallelität in Datenbanksystemen: Entwurf, Implementierung und Evaluation eines Datenbanksystems mit Inter- und Intratransaktionsparallelität
1995
11045
Departement Informatik, ETH Zürich
Barry Hayes
Key Objects in Garbage Collection
1993
Stanford University, Department of Computer Science
Praveen Seshadri
Management of Sequence Data
1996
Univ. of Wisconsin-Madison, CS Department
Geoffrey Phipps
Glue: A Deductive Database Programming Language
1992
Stanford University, Department of Computer Science
Joseph M. Hellerstein
Optimization and Execution Techniques for Queries With Expensive Methods
1995
Univ. of Wisconsin-Madison
Margo I. Seltzer
File System Performance and Transaction Support.
1992
University of California at Berkeley
Tatu Ylönen
Shadow Paging Is Feasible.
1994
Helsinki University of Technology, Department of Computer Science
Self-organizing Map
http://www.cis.hut.fi/nnrc/nnrc-programs.html
Ardent Software
http://www.ardentsoftware.fr
The MPEG Home Page
http://drogo.cselt.stet.it/mpeg/
IBM DB2
http://www.software.ibm.com/data/db2/
Objectstore
http://www.odi.com
Persistence Software
http://www.persistence.com/
Poet
http://www.poet.com
AltaVista
http://www.altavista.com/
Lycos
http://www.lycos.com
Ontos
http://www.ontos.com/
Yahoo
http://www.yahoo.com/
MetaCrawler
http://www.metacrawler.com
Google
http://www.google.com
Versant ODBMS
http://www.versant.com
Objectivity White Paper: Choosing an Object Database
1998
http://www.objectivity.com/ObjectDatabase/WP/Choosing/Choosing.html
Java Language Home Page
http://java.sun.com/
Jean-Loup Gailly
Mark Adler
Zlib Home Page [old location: http://quest.jpl.nasa.gov/zlib]
http://www.cdrom.com/pub/infozip/zlib/
Beowulf Project at CESDIS
http://beowulf.gsfc.nasa.gov/beowulf.html
Alin Deutsch
Mary F. Fernandez
Daniela Florescu
Alon Y. Levy
Dan Suciu
Xml-ql: A Query Language for XML
http://www.w3.org/TR/NOTE-xml-ql/
Mary F. Fernandez
Jonathan Robie
XML Query Data Model
2001
http://www.w3.org/TR/query-datamodel
Donald D. Chamberlin
Peter Fankhauser
Massimo Marchiori
Jonathan Robie
XML Query Requirements
2001
http://www.w3.org/TR/xmlquery-req
Donald D. Chamberlin
Peter Fankhauser
Massimo Marchiori
Jonathan Robie
XML Query Use Cases
2001
http://www.w3.org/TR/xmlquery-use-cases
Peter Fankhauser
Mary F. Fernandez
Ashok Malhotra
Michael Rys
Jérôme Siméon
Philip Wadler
The XML Query Algebra
2001
http://www.w3.org/TR/query-algebra
Donald D. Chamberlin
Daniela Florescu
Jonathan Robie
Jérôme Siméon
Mugur Stefanescu
XQuery: A Query Language for XML
2001
http://www.w3.org/TR/xquery
W3C: Extensible Markup Language (XML) 1.0
http://www.w3.org/TR/REC-xml
W3C: Document Oject Model (DOM)
http://www.w3.org/DOM/
W3C - The World Wide Web Consortium
http://www.w3.org/
W3C: The w3c Query Language Workshop, December 1998, Boston, MA, USA
1998
http://www.w3.org/TandS/QL/QL98/
Tim Berners-Lee
Request for Comments: 1738, Uniform Resource Locators (URL)
1994
http://www.w3.org/Addressing/rfc1738.txt
W3C: Extensible Stylesheet Language (XSL)
http://www.w3.org/Style/XSL/
Roy T. Fielding
Henrik Frystyk Nielsen
Tim Berners-Lee
Internet Draft: Hypertext Transfer Protocol - HTTP/1.1
http://www.w3.org/Protocols/HTTP/1.1/spec.html
OMG, UML Notation Guide, Version 1.1
1997
http://www.omg.org/techprocess/meetings/schedule/Technology_Adoptions.htm
Transaction Processing Performance Council
http://www.tpc.org
KAFFE
http://www.kaffe.org/
Arnon Rosenthal
The Future of Classic Data Administration: Objects + Databases + CASE
SWEE
1998
http://www.mitre.org/support/swee/rosenthal.html
Robin Cover
The SGML/XML Web Page
http://www.oasis-open.org/cover/xml.html
WfMC Standards: The Workflow Reference Model, Version 1.1.
1995
http://www.aiim.org/wfmc/mainframe.htm
Didier Bert
B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
B
Lecture Notes in Computer Science
1393
Springer
1998
3-540-64405-9
db/conf/b/b1998.html
Emil Sekerinski
Graphical Design of Reactive Systems.
182-197
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930182.htm
db/conf/b/b1998.html#Sekerinski98
Patrick Behm
Lilian Burdy
Jean-Marc Meynadier
Well Defined B.
29-45
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930029.htm
db/conf/b/b1998.html#BehmBM98
Patrick Behm
Pierre Desforges
Jean-Marc Meynadier
MÉTÉOR : An Industrial Success in Formal Development.
26
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930026.htm
db/conf/b/b1998.html#BehmDM98
Jean-François Pétin
Gérard Morel
Dominique Méry
Patrick Lamboley
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.
198-209
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930198.htm
db/conf/b/b1998.html#PetinMML98
Marie-Laure Potet
Yann Rouzaud
Composition and Refinement in the B-Method.
46-65
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930046.htm
db/conf/b/b1998.html#PotetR98
Jean-Raymond Abrial
On B.
1-8
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930001.htm
db/conf/b/b1998.html#Abrial98
Marina A. Waldén
Layering Distributed Algorithms within the B-Method.
243-260
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930243.htm
db/conf/b/b1998.html#Walden98
Carroll Morgan
The Generalised Substitution Language Extended to Probabilistic Programs.
9-25
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930009.htm
db/conf/b/b1998.html#Morgan98
Souâd Taouil-Traverson
Sylvie Vignes
Designing a B Model for Safety-Critical Software Systems.
210-225
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930210.htm
db/conf/b/b1998.html#Taouil-TraversonV98
Brian Matthews
Brian Ritchie
Juan Bicarregui
Synthesising Structure from Flat Specifications.
148-161
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930148.htm
db/conf/b/b1998.html#MatthewsRB98
François Pilarski
Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE.
27-28
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930027.htm
db/conf/b/b1998.html#Pilarski98
Pierre Chartier
Formalisation of B in Isabelle/HOL.
66-82
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930066.htm
db/conf/b/b1998.html#Chartier98
Jacques Julliand
Bruno Legeard
Thierry Machicoane
Benoit Parreaux
Bruno Tatibouët
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.
273-292
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930273.htm
db/conf/b/b1998.html#JulliandLMPT98
Jean-Raymond Abrial
Louis Mussat
Introducing Dynamic Constraints in B.
83-128
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930083.htm
db/conf/b/b1998.html#AbrialM98
Philipp A. Heuberger
Two Strategies to Data-Refine an Equivalence to a Forest.
261-272
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930261.htm
db/conf/b/b1998.html#Heuberger98
Richard Banach
M. Poppleton
Retrenchment: An Engineering Variation on Refinement.
129-147
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930129.htm
db/conf/b/b1998.html#BanachP98
Helen Treharne
J. Draper
Steve Schneider
Test Case Preparation Using a Prototype.
293-311
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930293.htm
db/conf/b/b1998.html#TreharneDS98
Alexander Malioukov
An Object-Based Approach to the B Formal Method.
162-181
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930162.htm
db/conf/b/b1998.html#Malioukov98
Bill Stoddart
Steve Dunne
Andy Galloway
Richard Shore
Abstract State Machines: Designing Distributed Systems with State Machines and B.
226-242
1998
conf/b/1998
B
http://link.springer.de/link/service/series/0558/bibs/1393/13930226.htm
db/conf/b/b1998.html#StoddartDGS98
Jean-Loup Baer
Modelling Architectural Features with Petri Nets.
258-277
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Baer86
Philippe le Chenadec
A Survey of Symmetrized and Complete Group Presentations.
135-153
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Chenadec93
Walter Baur
Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion.
11-19
1976
conf/ac/1976ent
Komplexität von Entscheidungsproblemen 1976
db/conf/ac/entscheid1976.html#Baur76
Richard W. Watson
IPC Interface and End-to-End Protocols.
140-174
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Watson80a
Richard W. Watson
Identifiers (Naming) in Distributed Systems.
191-210
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Watson80b
Georgios Paliouras
Vangelis Karkaletsis
Constantine D. Spyropoulos
Machine Learning and Its Applications, Advanced Lectures
Machine Learning and Its Applications
Lecture Notes in Computer Science
2049
Springer
2001
3-540-42490-3
db/conf/ac/ml2001.html
Georg Dorffner
An Introduction to Neurocomputing and its Possible Role in AI.
440-464
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Dorffner92
Eike Best
Atomicity of Activities.
225-250
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Best75
Eike Best
COSY: Its Relation to Nets and CSP.
416-440
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Best86
Marisa Venturini Zilli
Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings
Mathematical Models for the Semantics of Parallelism
Lecture Notes in Computer Science
280
Springer
1987
3-540-18419-8
db/conf/ac/parallel1986.html
Bart Preneel
Standardization of Cryptographic Techniques.
162-173
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#Preneel91
Bart Preneel
Cryptographic Primitives for Information Authentication - State of the Art.
49-104
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280049.htm
db/conf/ac/crypto1997.html#Preneel97
Bart Preneel
The State of Cryptographic Hash Functions.
158-182
http://link.springer.de/link/service/series/0558/bibs/1561/15610158.htm
1998
Lectures on Data Security
db/conf/ac/security1998.html#Preneel98
Hiroshi Nogami
Gordon L. Stüber
New Error Probability Upper Bound on Maximum Likelihood Sequence Estimation for Intersymbol Interference Channels.
230-241
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#NogamiS94
Ralph-Hardo Schulz
Check Character Systems and Anti-symmetric Mappings.
136-147
2001
conf/ac/2001cdm
Computational Discrete Mathematics
http://link.springer.de/link/service/series/0558/bibs/2122/21220136.htm
db/conf/ac/cdm2001.html#Schulz01
E. Douglas Jensen
Hardware/Software Relationships in Distributed Systems.
413-420
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Jensen80a
Kurt Jensen
Coloured Petri Nets.
248-299
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Jensen86a
Martin Aigner
Lattice Paths and Determinants.
1-12
2001
conf/ac/2001cdm
Computational Discrete Mathematics
http://link.springer.de/link/service/series/0558/bibs/2122/21220001.htm
db/conf/ac/cdm2001.html#Aigner01
Rubén González-Rubio
A. Bradier
J. Rohmer
DDC Delta Driven Computer - a Parallel Machine for Symbolic Processing.
286-298
1986
conf/ac/1986fpc
Future Parallel Computers
db/conf/ac/fpc1986.html#Gonzalez-RubioBR86
Ali Shokoufandeh
Sven J. Dickinson
Graph-Theoretical Methods in Computer Vision.
148-174
2000
conf/ac/2000tacs
Theoretical Aspects of Computer Science
http://link.springer.de/link/service/series/0558/bibs/2292/22920148.htm
db/conf/ac/tacs2000.html#ShokoufandehD00
Dominique de Waleffe
Jean-Jacques Quisquater
Better Login Protocols for Computer Networks.
50-70
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#WaleffeQ91
Klaus Vedder
Security Aspects of Mobile Communications.
193-210
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#Vedder91
Klaus Vedder
GSM: Security, Services, and the SIM.
224-240
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280224.htm
db/conf/ac/crypto1997.html#Vedder97
Nikita D. Vvedenskaya
J. C. Arnbak
B. S. Tsybakov
Improved Performance of Mobile Data Networks Using Stack Algorithms and Receiver Capture.
464-475
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#VvedenskayaAT94
Anthony G. Cohn
Qualitative Reasoning.
60-95
1987
conf/ac/1987acai
Advanced Topics in Artificial Intelligence
db/conf/ac/acai1987.html#Cohn87
Pierpaolo Degano
Rocco De Nicola
Ugo Montanari
CCS is an (Augmented) Contact Free C/E System.
144-165
1986
conf/ac/1986parallel
Mathematical Models for the Semantics of Parallelism
db/conf/ac/parallel1986.html#DeganoNM86
Max Dauchet
Rewriting and Tree Automata.
95-113
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Dauchet93
Michel Diaz
Petri Nets Based Models in the Specification and Verification of Protocols.
135-170
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Diaz86
Pierre America
Jaco de Bakker
Designing Equvialent Semantic Models for Process Creation.
21-80
1986
conf/ac/1986parallel
Mathematical Models for the Semantics of Parallelism
db/conf/ac/parallel1986.html#AmericaB86
Ian T. Foster
Task Parallelism and High-Performance Languages.
179-196
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#Foster96
Johann Eder
Logic and Databases.
95-103
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Eder92
R. D. Cideciyan
E. Eleftheriou
Concatenated Coding Scheme for Reliable Data Transmission in CDMA Cellular Systems.
76-86
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#CideciyanE94
Zoran Siveski
Yeheskel Bar-Ness
David W. Chen
Adaptive Multiuser Detector for Synchronous Code Division Multiple Access Applications.
67-75
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#SiveskiBC94
Gerald J. Popek
Charles S. Kline
Issues in Kernel Design.
209-227
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#PopekK78
Bob J. Wielinga
Bert Bredeweg
Joost Breuker
Knowledge Acquisition for Expert Systems.
96-124
1987
conf/ac/1987acai
Advanced Topics in Artificial Intelligence
db/conf/ac/acai1987.html#WielingaBB87
Petr Hájek
David Harmanec
On Belief Functions.
286-307
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#HajekH92
Anastasia Pagnoni
Stochastic Nets and Performance Evaluation.
460-478
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Pagnoni86
Alan W. Biermann
Fundamental Mechanisms in Machine Learning and Inductive Inference.
133-169
1985
Advanced Course: Fundamentals of Artificial Intelligence
db/conf/ac/ai.html#Biermann85
Alan W. Biermann
Fundamental Mechanisms in Machine Learning and Inductive Inference: Part 2.
125-145
1987
conf/ac/1987acai
Advanced Topics in Artificial Intelligence
db/conf/ac/acai1987.html#Biermann87
Joos Vandewalle
René Govaerts
Bart Preneel
Technical Approaches to Thwart Computer Fraud.
20-30
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#VandewalleGP91
Brian Randell
Reliable Computing Systems.
282-391
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#Randell78
Pulin R. Patel
Jack M. Holtzman
Analysis of Successive Interference Cancellation in M-ary Orthogonal DS-CDMA System with Single Path Rayleigh Fading.
150-161
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#PatelH94
David Gilbert
Christopher J. Hogger
Logic for Representing and Implementing Knwoledge about System Behaviour.
42-49
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#GilbertH92
Michele Zorzi
Laurence B. Milstein
Power Control on the Forward Link in Cellular CDMA.
391-399
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#ZorziM94
Michele Zorzi
Ramesh R. Rao
Slotted ALOHA with Capture in a Mobile Radio Environment.
452-463
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#ZorziR94
Walter Fumy
Key Management.
132-147
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#Fumy91
Walter Fumy
Key Management Techniques.
142-162
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280142.htm
db/conf/ac/crypto1997.html#Fumy97
P. S. Thiagarajan
Jesper G. Henriksen
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.
643-681
1996
Petri Nets
db/conf/ac/petri1.html#ThiagarajanH96
Holger Hussmann
Performance Evaluation of the DECT Radio Resource Management.
45-55
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Hussmann94
Marc Shapiro
Fabrice Le Fessant
Paulo Ferreira
Recent Advances in Distributed Garbage Collection.
104-126
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520104.htm
db/conf/ac/dc1999.html#ShapiroFF99
Carlo Ghezzi
Angelo Morzenti
Mauro Pezzè
On the Role of Software Reliability in Software Engineering.
1-40
1987
conf/ac/1987sr
Software Reliability Modelling and Identification
db/conf/ac/sr1987.html#GhezziMP87
Sirikiat Lek Ariyavisitakul
Performance of Dynamic Feedback Power Control in a TDMA Radio System.
365-375
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Ariyavisitakul94
Sergio Bittanti
Paolo Bolzern
Riccardo Scattolini
An Introduction to Software Reliability Modelling.
43-67
1987
conf/ac/1987sr
Software Reliability Modelling and Identification
db/conf/ac/sr1987.html#BittantiBS87
Mihir Bellare
Practice-Oriented Provable Security.
1-15
http://link.springer.de/link/service/series/0558/bibs/1561/15610001.htm
1998
Lectures on Data Security
db/conf/ac/security1998.html#Bellare98
Mark Vandenwauver
Frank Jorissen
Securing Internet Electronic Mail.
208-223
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280209.htm
db/conf/ac/crypto1997.html#VandenwauverJ97
Robert Valette
Nets in Production Systems.
191-217
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Valette86
Christos Papatheodorou
Machine Learning in User Modeling.
286-294
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490286.htm
db/conf/ac/ml2001.html#Papatheodorou01
Michael Bertol
Volker Diekert
On Efficient Reduction Algorithms for Some Trace Rewriting Systems.
114-126
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#BertolD93
Jim Gray
Notes on Data Base Operating Systems.
393-481
GrayOS/Gray_DBOS.pdf
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#Gray78
db/conf/ac/Gray78.html
Helmut Alt
The Nearest Neighbor.
13-24
2001
conf/ac/2001cdm
Computational Discrete Mathematics
http://link.springer.de/link/service/series/0558/bibs/2122/21220013.htm
db/conf/ac/cdm2001.html#Alt01
James P. Delgrande
John Mylopoulos
Knowledge Representation: Features of Knowledge.
3-36
1985
Advanced Course: Fundamentals of Artificial Intelligence
db/conf/ac/ai.html#DelgrandeM85
Werner Bux
Performance Issues.
108-161
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Bux83
Wayne Iba
Pat Langley
Unsupervised Learning of Probabilistic Concept Hierarchies.
39-70
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490039.htm
db/conf/ac/ml2001.html#IbaL01
Jonathan L. Shapiro
Genetic Algorithms in Machine Learning.
146-168
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490146.htm
db/conf/ac/ml2001.html#Shapiro01
Robert M. Shapiro
The Application of General Net Theory - A Personal History.
401-440
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Shapiro75
Ehud Y. Shapiro
Concurrent Prolog: A Progress Report.
277-313
1985
Advanced Course: Fundamentals of Artificial Intelligence
db/conf/ac/ai.html#Shapiro85
Gordon Lennox
EDI Security.
235-243
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#Lennox91
Monica S. Lam
Current Status of the SUIF Research Project.
65-78
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#Lam96
Horng-Dar Lin
Area-Efficient Viterbi Decoders for Complex Rate-k/n Convolutional and Trellis Codes.
529-540
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Lin94
Jean-Louis Pazat
Tools for High Performance Fortran: A Survey.
134-158
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#Pazat96
Pierre-Louis Curien
Abstract Machines, Control, and Sequents.
123-136
2000
conf/ac/2000appsem
APPSEM
http://link.springer.de/link/service/series/0558/bibs/2395/23950123.htm
db/conf/ac/appsem2000.html#Curien00
Gérard P. Huet
Deduction and Computation.
38-74
1985
Advanced Course: Fundamentals of Artificial Intelligence
db/conf/ac/ai.html#Huet85
Jerre D. Noe
Nets in Modeling and Simulation.
347-368
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Noe75
Eike Best
The Relative Strength of K-Density.
261-276
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Best75a
Eike Best
Adequacy of Path Programs.
291-305
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Best75b
Eike Best
Structure Theory of Petri Nets: the Free Choice Hiatus.
168-205
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Best86a
Jean-François Rey
Burnside Monoids, Word Problem and the Conjecture of Brzozowski.
214-221
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Rey93
Antonio L. Perrone
A Formal Scheme for Avoiding Undecidable Problems - Applications to Chaotic Behaviour, Characterization and Parallel Computation.
9-52
1993
conf/ac/1993adcs
Analysis of Dynamical and Cognitive Systems
db/conf/ac/adcs1993.html#Perrone93
Saverio Cacopardi
Fabrizio Frescura
Gianluca Reali
Increased Capacity of DS-CDMA Mobile Systems on Frequency-Selective Slow Fading Channels.
131-140
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#CacopardiFR94
Antoni W. Mazurkiewicz
Trace Theory.
279-324
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Mazurkiewicz86
Marco Ajmone Marsan
Andrea Bobbio
Susanna Donatelli
Petri Nets in Performance Analysis: An Introduction.
211-256
1996
Petri Nets
db/conf/ac/petri1.html#MarsanBD96
César Fernández
Non-sequential Processes.
95-115
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Fernandez86
Richard Hayton
Andrew Herbert
FlexiNet: A Flexible, Component-Oriented Middleware System.
497-
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520497.htm
db/conf/ac/dc1999.html#HaytonH99
Berry Schoenmakers
Security Aspects of the Ecash™ Payment System.
338-352
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280338.htm
db/conf/ac/crypto1997.html#Schoenmakers97
Elmar Holler
Multiple Copy Update.
284-307
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Holler80
Heinz Adolf Jung
Degree Bounds for Long Paths and Cycles in k-Connected Graphs.
56-60
2001
conf/ac/2001cdm
Computational Discrete Mathematics
http://link.springer.de/link/service/series/0558/bibs/2122/21220056.htm
db/conf/ac/cdm2001.html#Jung01
George J. Klir
The Role of Uncertainty Measures and Principles in AI.
245-254
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Klir92
Gérard Le Lann
Motivations, Objectives and Characterization of Distributed Systems.
1-9
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Lann80
Gérard Le Lann
Synchronization.
361-395
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Lann83
Günter M. Ziegler
Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions.
159-172
2001
conf/ac/2001cdm
Computational Discrete Mathematics
http://link.springer.de/link/service/series/0558/bibs/2122/21220159.htm
db/conf/ac/cdm2001.html#Ziegler01
Jan Verschuren
Security of Computer Networks.
163-185
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280163.htm
db/conf/ac/crypto1997.html#Verschuren97
Wolfgang Bibel
Methods of Automated Reasoning.
171-217
1985
Advanced Course: Fundamentals of Artificial Intelligence
db/conf/ac/ai.html#Bibel85
Wolfgang Bibel
Advanced Topics in Automated Deduction.
41-59
1987
conf/ac/1987acai
Advanced Topics in Artificial Intelligence
db/conf/ac/acai1987.html#Bibel87
Cédric Fournet
Georges Gonthier
The Join Calculus: A Language for Distributed Mobile Programming.
268-332
2000
conf/ac/2000appsem
APPSEM
http://link.springer.de/link/service/series/0558/bibs/2395/23950268.htm
db/conf/ac/appsem2000.html#FournetG00
Peter Schramm
Bit Error Probability of a Rapidly-Adapting Rake Receiver as a Function of Dwell Time.
242-250
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Schramm94
Günter Hommel
Introduction.
1-6
1984
Advanced Course: Distributed Systems
db/conf/ac/ds84.html#Hommel84
C. A. Petri
Introduction to General Net Theory.
1-19
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Petri75
C. A. Petri
``Forgotten Topics'' of Net Theory.
500-514
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Petri86
Klaus Voss
Nets in Office Automation.
234-257
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Voss86a
Claude Marché
Normalized Rewriting - Application to Ground Completion and Standard Bases.
154-169
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Marche93
Luc Bougé
David Cachera
Yann Le Guyadec
Gil Utard
Bernard Virot
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
252-281
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#BougeCGUV96
Vladimír Marík
Tomás Vlcek
Some Aspects of Knowledge Engineering.
316-337
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#MarikV92
Roberto Padovani
The Capacity of CDMA Cellular: Reverse Link Field Test Results.
56-66
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Padovani94
Antti Valmari
The State Explosion Problem.
429-528
1996
Petri Nets
db/conf/ac/petri1.html#Valmari96
Bart De Decker
Unix Security & Kerberos.
257-274
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#Decker91
Bart De Decker
Introduction to Computer Security.
377-393
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280377.htm
db/conf/ac/crypto1997.html#Decker97
Davide Sorbara
Monica Visintin
Performance Comparison of GMSK and \pi/4-DQPSK Modulations in a Mobile Radio Environment.
310-321
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#SorbaraV94
Jerre D. Noe
Abstractions of Net Models.
369-388
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Noe75a
Jerre D. Noe
Applications of Net-Based Models.
389-400
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Noe75b
Jochen Ludewig
Practical Methods and Tools for Specification.
174-207
1986
conf/ac/1986esys
Embedded Systems
db/conf/ac/esys1986.html#Ludewig86
Marcos A. Kiwi
Frédéric Magniez
Miklos Santha
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey.
30-83
2000
conf/ac/2000tacs
Theoretical Aspects of Computer Science
http://link.springer.de/link/service/series/0558/bibs/2292/22920030.htm
db/conf/ac/tacs2000.html#KiwiMS00
Blaz Zupan
Ivan Bratko
Marko Bohanec
Janez Demsar
Function Decomposition in Machine Learning.
71-101
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490071.htm
db/conf/ac/ml2001.html#ZupanBBD01
L. Levi
F. Muratore
G. Romano
Simulation Results for a CDMA Interference Cancellation Technique in a Rayleigh Fading Channel.
162-171
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#LeviMR94
Géraud Sénizergues
Formal Languages and Word-Rewriting.
75-94
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Senizergues93
David Hutchison
Access Units.
87-107
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Hutchison83
Eike Best
Raymond R. Devillers
Maciej Koutny
Petri Nets, Process Algebras and Concurrent Programming Languages.
1-84
1996
Petri Nets (2)
db/conf/ac/petri2.html#BestDK96
Andrew M. Pitts
Operational Semantics and Program Equivalence.
378-412
2000
conf/ac/2000appsem
APPSEM
http://link.springer.de/link/service/series/0558/bibs/2395/23950378.htm
db/conf/ac/appsem2000.html#Pitts00
Riccardo De Gaudenzi
Filippo Giannetti
Performance Analysis of a CDMA-Based Satellite-Mobile Audio Broadcasting System.
400-416
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#GaudenziG94
Serge G. Petiton
Nahid Emad
A Data Parallel Scientific Computing Introduction.
45-64
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#PetitonE96
Jirí Lazanský
Practical Applications of Planning Tasks.
238-244
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Lazansky92
Wolfgang Reisig
Ekkart Kindler
Tobias Vesper
Hagen Völzer
Rolf Walter
Distributed Algorithms for Networks of Agents.
331-385
1996
Petri Nets (2)
db/conf/ac/petri2.html#ReisigKVVW96
Didier Rémy
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa.
413-536
2000
conf/ac/2000appsem
APPSEM
http://link.springer.de/link/service/series/0558/bibs/2395/23950413.htm
db/conf/ac/appsem2000.html#Remy00
Hans-Rüdiger Wiehle
On System Specifications.
547-582
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#Wiehle78
Paulo Ferreira
Marc Shapiro
Xavier Blondel
Olivier Fambon
João Garcia
Sytse Kloosterman
Nicolas Richer
Marcus Roberts
Fadi Sandakly
George Coulouris
Jean Dollimore
Paulo Guedes
Daniel Hagimont
Sacha Krakowiak
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store.
427-452
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520427.htm
db/conf/ac/dc1999.html#FerreiraSBFGKRRSCDGHK99
Joseph Sifakis
Performance Evaluation of Systems Using Nets.
307-319
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Sifakis75
Grzegorz Rozenberg
Behaviour of Elementary Net Systems.
60-94
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Rozenberg86
Günter Rote
Division-Free Algorithms for the Determinant and the Pfaffian: Algebraic and Combinatorial Approaches.
119-135
2001
conf/ac/2001cdm
Computational Discrete Mathematics
http://link.springer.de/link/service/series/0558/bibs/2122/21220119.htm
db/conf/ac/cdm2001.html#Rote01
Leon O. Chua
Tamás Roska
Tibor Kozek
Cellular Neural Networks - A Tutorial on Programmable Nonlinear Dynamics in Space.
53-73
1993
conf/ac/1993adcs
Analysis of Dynamical and Cognitive Systems
db/conf/ac/adcs1993.html#ChuaRK93
David B. Ingham
Fabio Panzieri
Santosh K. Shrivastava
Constructing Dependable Web Services.
277-294
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520277.htm
db/conf/ac/dc1999.html#InghamPS99
Gerry Kelleher
The Application of Reason Maintenance Systems in Planning and Scheduling.
208-237
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Kelleher92
Michel Mouly
Marie-Bernadette Pautet
The Evolution of GSM.
13-20
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#MoulyP94
David J. Goodman
Personal Communications.
1-12
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Goodman94
Luc Bougé
The Data Parallel Programming Model: A Semantic Perspective.
4-26
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#Bouge96
Raymond T. Boute
Elements for the Formal Description of Systems.
63-90
1986
conf/ac/1986esys
Embedded Systems
db/conf/ac/esys1986.html#Boute86
Olga Stepánková
An Introduction to Qualitative Reasoning.
404-418
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Stepankova92
Ernst Specker
Georges Wick
Längen und Formeln.
182-217
1976
conf/ac/1976ent
Komplexität von Entscheidungsproblemen 1976
db/conf/ac/entscheid1976.html#SpeckerW76
Valérie Issarny
Michel Banâtre
Boris Charpiot
Jean-Marc Menaud
Quality of Service and Electronic Newspaper: The Etel Solution.
472-496
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520472.htm
db/conf/ac/dc1999.html#IssarnyBCM99
János Komlós
Ali Shokoufandeh
Miklós Simonovits
Endre Szemerédi
The Regularity Lemma and Its Applications in Graph Theory.
84-112
2000
conf/ac/2000tacs
Theoretical Aspects of Computer Science
http://link.springer.de/link/service/series/0558/bibs/2292/22920084.htm
db/conf/ac/tacs2000.html#KomlosSSS00
Valérie Issarny
Luc Bellissard
Michel Riveill
Apostolos Zarras
Component-Based Programming of Distributed Applications.
327-353
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520327.htm
db/conf/ac/dc1999.html#IssarnyBRZ99
A. J. Herbert
The Cambridge Distributed Computing System.
282-312
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Herbert83
P. L. Higginson
Wide Area Internetworking.
428-456
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Higginson83
Sergios Theodoridis
Konstantinos Koutroumbas
Pattern Recognition and Neural Networks.
169-195
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490169.htm
db/conf/ac/ml2001.html#TheodoridisK01
Ibrahim Ghareeb
Abbas Yongaçoglu
Joint Frequency-Phase Modulation over Rayleigh Fading Channels.
101-112
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#GhareebY94
Mogens Nielsen
Vladimiro Sassone
Petri Nets and Other Models of Concurrency.
587-642
1996
Petri Nets
db/conf/ac/petri1.html#NielsenS96
Richard F. Rashid
Network Operating Systems.
313-360
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Rashid83
Donald W. Davies
Richard W. Watson
Hierarchy.
94-139
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#DaviesW80
Amos Lapidoth
Convolutional Codes and Finite Interleavers for the Block Erasure Channel.
113-120
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Lapidoth94
Rüdiger Valk
Nets in Computer Organisation.
218-233
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Valk86
Frank Kriwaczek
An Introduction to Constraint Logic Programming.
82-94
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Kriwaczek92
David Chaum
Numbers Can Be a Better Form of Cash than Paper.
174-178
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#Chaum91
Richard W. Watson
Distibuted System Architecture Model.
10-43
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Watson80
Manfred Broy
Thomas Streicher
Views of Distributed Systems.
114-143
1986
conf/ac/1986parallel
Mathematical Models for the Semantics of Parallelism
db/conf/ac/parallel1986.html#BroyS86
Igor Mozetic
Model-Based Diagnosis: An Overview.
419-430
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Mozetic92
Ivan Bruha
Pre- and Post-processing in Machine Learning and Data Mining.
258-266
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490258.htm
db/conf/ac/ml2001.html#Bruha01
Klaus Vedder
International Standardisation of IT Security.
353-365
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280353.htm
db/conf/ac/crypto1997.html#Vedder97a
Klaus Vedder
Franz Weikmann
Smart Cards - Requirements, Properties, and Applications.
307-331
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280307.htm
db/conf/ac/crypto1997.html#VedderW97
Klaus Voss
Nets in Data Bases.
97-134
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Voss86
P. Mehring
E. Aposporidis
Multi-Level Simulator for VLSI.
373-386
1986
conf/ac/1986fpc
Future Parallel Computers
db/conf/ac/fpc1986.html#MehringA86
Erik De Win
Bart Preneel
Elliptic Curve Public-Key Cryptosystems - An Introduction.
131-141
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280131.htm
db/conf/ac/crypto1997.html#WinP97
Grazyna Mirkowska
Andrzej Salwicki
On Axiomatic Definition of Max-Model of Concurrency.
199-230
1986
conf/ac/1986parallel
Mathematical Models for the Semantics of Parallelism
db/conf/ac/parallel1986.html#MirkowskaS86
Mogens Nielsen
CCS - and its Relationship to Net Theory.
393-415
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Nielsen86
Robert Schreiber
An Introduction to HPF.
27-44
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#Schreiber96
Peter Schuster
Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind.
36-48
1976
conf/ac/1976ent
Komplexität von Entscheidungsproblemen 1976
db/conf/ac/entscheid1976.html#Schuster76
Stefan Wolf
Unconditional Security in Cryptography.
217-250
http://link.springer.de/link/service/series/0558/bibs/1561/15610217.htm
1998
Lectures on Data Security
db/conf/ac/security1998.html#Wolf98
Hartmann J. Genrich
Predicate/Transition Nets.
207-247
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Genrich86
Mark P. Hoyle
Chris J. Mitchell
On Solutions to the Key Escrow Problem.
277-306
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280277.htm
db/conf/ac/crypto1997.html#HoyleM97
Gerard J. M. Janssen
Patrick A. Stigter
Ramjee Prasad
A Model for BER Evaluation of Indoor Frequency Selective Channels Using Multipath Measurement Results at 2.4, 4.75 and 11.5 GHz.
344-355
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#JanssenSP94
Bart De Schutter
Trends in the Fight Against Computer-Related Delinquency.
3-19
1991
conf/ac/1991esat
Computer Security and Industrial Cryptography
db/conf/ac/esat1991.html#Schutter91
Bart De Schutter
Trends in the Fight Against Computer-Related Delinquency.
1-17
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280001.htm
db/conf/ac/crypto1997.html#Schutter97
Susanna Donatelli
Giuliana Franceschinis
Modelling and Analysis of Distributed Software Using GSPNs.
438-476
1996
Petri Nets (2)
db/conf/ac/petri2.html#DonatelliF96
Fabio Panzieri
Marco Roccetti
Responsive Protocols for Distributed Multimedia Applications.
157-181
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520157.htm
db/conf/ac/dc1999.html#PanzieriR99
Rachid Guerraoui
Michel Hurfin
Achour Mostéfaoui
Riucarlos Oliveira
Michel Raynal
André Schiper
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour.
33-47
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520033.htm
db/conf/ac/dc1999.html#GuerraouiHMORS99
M. J. McCullagh
D. R. Wisely
P. L. Eardly
P. P. Smyth
A 50 Mbit/s Optical Wireless LAN Link Using Novel Optical and Electronic Enabling Technologies.
298-309
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#McCullaghWES94
Anna Labella
Alberto Pettorossi
Universal Models in Categories for Process Synchronization.
183-198
1986
conf/ac/1986parallel
Mathematical Models for the Semantics of Parallelism
db/conf/ac/parallel1986.html#LabellaP86
Ernest A. Edmonds
Bryan S. Murray
Intelligent Presentation and Dialogue Management.
465-476
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#EdmondsM92
Konrad Zuse
Petri-Nets from the Engineer's Viewpoint.
441-479
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#Zuse75
Anita K. Jones
Protection Mechanisms and the Enforcement of Security Policies.
228-251
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#Jones78a
Luís Rodrigues
Paulo Verissimo
Topology-Aware Algorithms for Large-Scale Communication.
127-156
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520127.htm
db/conf/ac/dc1999.html#RodriguesV99
Mark E. Stickel
An Introduction to Automated Deduction.
75-132
1985
Advanced Course: Fundamentals of Artificial Intelligence
db/conf/ac/ai.html#Stickel85
Matthias Jantzen
Complexity of Place/Transition Nets.
413-434
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Jantzen86a
Matthias Jantzen
Rüdiger Valk
Formal Properties of Place/Transition Nets.
165-212
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#JantzenV75
François J. N. Cosquer
Paulo Verissimo
Sacha Krakowiak
Loïc Decloedt
Support for Distributed CSCW Applications.
295-326
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520295.htm
db/conf/ac/dc1999.html#CosquerVKD99
Manuel Silva
Enrique Teruel
José Manuel Colom
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.
309-373
1996
Petri Nets
db/conf/ac/petri1.html#SilvaTC96
Steve J. Caughey
Daniel Hagimont
David B. Ingham
Deploying Distributed Objects on the Internet.
213-237
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520213.htm
db/conf/ac/dc1999.html#CaugheyHI99
R. J. Karia
Towards a Parallel Architecture for Functional Languages.
270-285
1986
conf/ac/1986fpc
Future Parallel Computers
db/conf/ac/fpc1986.html#Karia86
Mohammad Amin Shokrollahi
An Introduction to Low-Density Parity-Check Codes.
175-197
2000
conf/ac/2000tacs
Theoretical Aspects of Computer Science
http://link.springer.de/link/service/series/0558/bibs/2292/22920175.htm
db/conf/ac/tacs2000.html#Shokrollahi00
Hartmann J. Genrich
E. Stankiewicz-Wiechno
A Dictionary of Some Basic Notions of Net Theory.
519-531
1975
conf/ac/1975nt
Advanced Course: Net Theory and Applications
db/conf/ac/nt.html#GenrichS75
Jörg Desel
Wolfgang Reisig
Place or Transition Petri Nets.
122-173
1996
Petri Nets
db/conf/ac/petri1.html#DeselR96
Fulvio Babich
Contention Resolution Multiple Access Techniques for Handling Speech and Data Traffic on Wireless Networks.
476-487
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Babich94
Ernst Specker
Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme.
72-85
1976
conf/ac/1976ent
Komplexität von Entscheidungsproblemen 1976
db/conf/ac/entscheid1976.html#Specker76
Jean-Pierre Jouannaud
Introduction to Rewriting.
1-15
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Jouannaud93
Anita K. Jones
The Object Model: A Conceptual Tool for Structuring Software.
7-16
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#Jones78
Simon L. Peyton Jones
Functional Programming Languages as a Software Engineering Tool.
153-173
1986
conf/ac/1986esys
Embedded Systems
db/conf/ac/esys1986.html#Jones86
Claude-André Christen
Spektralproblem und Komplexitätstheorie.
102-126
1976
conf/ac/1976ent
Komplexität von Entscheidungsproblemen 1976
db/conf/ac/entscheid1976.html#Christen76
Jörg Desel
Basic Linear Algebraic Techniques for Place or Transition Nets.
257-308
1996
Petri Nets
db/conf/ac/petri1.html#Desel96
Gérard Roucairol
FIFO-Nets.
436-459
1986
Advances in Petri Nets
db/conf/ac/petri86-1.html#Roucairol86
Nikolaos Hatziargyriou
Machine Learning Applications to Power Systems.
308-317
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490308.htm
db/conf/ac/ml2001.html#Hatziargyriou01
Yves Lafont
Equational Reasoning with Two-Dimensional Diagrams.
170-195
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Lafont93
Ernst-Rüdiger Olderog
TCSP: Theory of Communicating Sequential Processes.
441-465
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Olderog86
Gerard Lallement
The Word Problem for Thue Rewriting Systems.
27-38
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#Lallement93
George D. Magoulas
Andriana Prentza
Machine Learning in Medical Applications.
300-307
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490300.htm
db/conf/ac/ml2001.html#MagoulasP01
Luca Aceto
Rocco De Nicola
Alessandro Fantechi
Testing Equivalences for Event Structures.
1-20
1986
conf/ac/1986parallel
Mathematical Models for the Semantics of Parallelism
db/conf/ac/parallel1986.html#AcetoNF86
Peter Landrock
TTPs Overview - Concepts and Review of the State of Art from a Technical Point of View.
241-263
1997
State of the Art in Applied Cryptography
http://link.springer.de/link/service/series/0558/bibs/1528/15280241.htm
db/conf/ac/crypto1997.html#Landrock97
Peter Landrock
Primality Tests and Use of Primes in Public-Key Systems.
127-133
http://link.springer.de/link/service/series/0558/bibs/1561/15610127.htm
1998
Lectures on Data Security
db/conf/ac/security1998.html#Landrock98
Sergio Bittanti
Paolo Bolzern
E. Pedrotti
M. Pozzi
Riccard Scattolini
A Flexible Modelling Approach for Software Reliability Growth.
101-140
1987
conf/ac/1987sr
Software Reliability Modelling and Identification
db/conf/ac/sr1987.html#BittantiBPPS87
Mack W. Alford
A Graph Model Based Approach to Specifications.
131-201
1984
Advanced Course: Distributed Systems
db/conf/ac/ds84.html#Alford84
Antonio Valdovinos
Fernando J. Casadevall
Performance of Adaptive Equalization in Typical Indoor Environments Including Non-Linear Power Amplifiers.
219-229
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#ValdovinosC94
Mark C. Little
Santosh K. Shrivastava
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects.
238-253
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520238.htm
db/conf/ac/dc1999.html#LittleS99
José Cuena
Architectures for Second Generation Knowledge Based Systems.
373-403
1992
conf/ac/1992ai
Advanced Topics in Artificial Intelligence
db/conf/ac/ai1992.html#Cuena92
Ronald Cramer
Introduction to Secure Computation.
16-62
http://link.springer.de/link/service/series/0558/bibs/1561/15610016.htm
1998
Lectures on Data Security
db/conf/ac/security1998.html#Cramer98
Hans Jürgen Prömel
Anusch Taraz
Random Graphs, Random Triangle-Free Graphs, and Random Partial Orders.
98-118
2001
conf/ac/2001cdm
Computational Discrete Mathematics
http://link.springer.de/link/service/series/0558/bibs/2122/21220098.htm
db/conf/ac/cdm2001.html#PromelT01
Paulo Verissimo
Michel Raynal
Time in Distributed System Models and Algorithms.
1-32
1999
Advances in Distributed Systems
http://link.springer.de/link/service/series/0558/bibs/1752/17520001.htm
db/conf/ac/dc1999.html#VerissimoR99
Jan Tarski
Historical Background of Gödel's Theorem.
3-7
1993
conf/ac/1993adcs
Analysis of Dynamical and Cognitive Systems
db/conf/ac/adcs1993.html#Tarski93
W. D. Shepherd
Lan Internetworking.
396-427
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Shepherd83
Egidio Astesiano
Gianna Reggio
An Qutline of the SMoLCS Approach.
81-113
1986
conf/ac/1986parallel
Mathematical Models for the Semantics of Parallelism
db/conf/ac/parallel1986.html#AstesianoR86
Giuliana Franceschinis
Marina Ribaudo
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.
386-437
1996
Petri Nets (2)
db/conf/ac/petri2.html#FranceschinisR96
Elmar Holler
The National Software Works (NSW).
421-445
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Holler80a
Holger Opderbeck
Common Carrier Provided Network Interfaces.
482-516
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#Opderbeck78
Stephen D. Lingwood
A 65-MHz Digital Chip-Matched-Filter for DS-Spread Spectrum Applications.
522-528
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#Lingwood94
Paul Feautrier
Automatic Parallelization in the Polytope Model.
79-103
1996
conf/ac/1996dppm
The Data Parallel Programming Model
db/conf/ac/data1996.html#Feautrier96
Jerome H. Saltzer
Research Problems of Decentralized Systems with Largely Autonomous Nodes.
583-593
1978
conf/ac/1978os
Advanced Course: Operating Systems
db/conf/ac/os.html#Saltzer78a
D. W. Bennett
P. B. Kenington
R. J. Wilkinson
The Effect of Modulation on the Power Rating of Multi-Channel Linear Amplifiers.
322-333
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#BennettKW94
Grzegorz Rozenberg
Joost Engelfriet
Elementary Net Systems.
12-121
1996
Petri Nets
db/conf/ac/petri1.html#RozenbergE96
John F. Shoch
Yogen K. Dalal
David D. Redell
Ronald C. Crane
The Ethernet.
1-35
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#ShochDRC83
Wim Van Laer
Luc De Raedt
How to Upgrade Propositional Learners to First Order Logic: A Case Study.
102-126
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490102.htm
db/conf/ac/ml2001.html#LaerR01
Spase L. Drakul
Ezio Biglieri
Design and Performance of an 8-Dimensional Modulation Scheme.
141-149
1994
conf/ac/1994mc
Mobile Communications
db/conf/ac/mc1994.html#DrakulB94
Nick Benton
John Hughes
Eugenio Moggi
Monads and Effects.
42-122
2000
conf/ac/2000appsem
APPSEM
http://link.springer.de/link/service/series/0558/bibs/2395/23950042.htm
db/conf/ac/appsem2000.html#BentonHM00
Gérard Le Lann
Link Level.
86-93
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Lann80a
Gérard Le Lann
Synchronization.
266-283
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Lann80b
Gérard Le Lann
Error Recovery.
371-376
1980
Advanced Course: Distributed Systems
db/conf/ac/ds.html#Lann80c
Gérard Le Lann
Real-Time Protocols.
457-469
1983
Advanced Course: Local Area Networks
db/conf/ac/lan.html#Lann83a
Fabrizio Baiardi
Marco Vanneschi
Parallelism Issues in Multi-Style Computers.
1-34
1986
conf/ac/1986fpc
Future Parallel Computers
db/conf/ac/fpc1986.html#BaiardiV86
Grigoris J. Karakoulas
Giovanni Semeraro
Machine Learning for Intelligent Information Access.
274-280
2001
conf/ac/2001
Machine Learning and Its Applications
http://link.springer.de/link/service/series/0558/bibs/2049/20490274.htm
db/conf/ac/ml2001.html#KarakoulasS01
Philippe Balbiani
Luis Fariñas del Cerro
Affine Geometry of Collinearity and Conditional Term Rewriting.
196-213
1993
conf/ac/1993tr
Term Rewriting
db/conf/ac/tr1993.html#BalbianiC93
Werner E. Kluge
Reduction, Data Flow and Control Flow Models of Computation.
466-498
1986
Advances in Petri Nets
db/conf/ac/petri86-2.html#Kluge86
Stefan Wimbauer
J. Leo van Hemmen
Hebbian Unlearning.
121-136
1993
conf/ac/1993adcs
Analysis of Dynamical and Cognitive Systems
db/conf/ac/adcs1993.html#WimbauerH93
Wolfgang Fichtner
Design of VLSI Systems.
6-17
1986
conf/ac/1986esys