conf/aaecc/Kasami99:::Tadao Kasami:::On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms.
conf/aaecc/AlonsoLR88:::Maria Emilia Alonso::I. Luengo-Velasco::Mario Raimondo:::An Algorithm on Quasi-Ordinary Polynomials.
conf/aamas/MarrowHWB02:::Paul Marrow::Cefn Hoile::Fang Wang::Erwin Bonsma:::Evolving Preferences among Emergent Groups of Agents.
conf/acisp/AuLA00:::Richard Au::Mark Looi::Paul Ashley:::Towards a New Authorisation Paradigm for Extranets.
conf/acisp/KangYHC01:::Ju-Sung Kang::Okyeon Yi::Dowon Hong::Hyunsook Cho:::Pseudorandomness of MISTY-Type Transformations and the Block Cipher KASUMI.
conf/acisp/SinghNLS03:::Abhishek Singh::Ola Nordström::Chenghuai Lu::André L. M. dos Santos:::Malicious ICMP Tunneling: Defense against the Vulnerability.
conf/acisp/OmoteM01:::Kazumasa Omote::Atsuko Miyaji:::A Practical English Auction with One-Time Registration.
conf/acisp/FooB00:::Ernest Foo::Colin Boyd:::Passive Entities: A Strategy for Electronic Payment Design.
conf/acisp/Gong03:::Li Gong:::Is Cross-Platform Security Possible?
conf/acisp/GysinS99:::Marc Gysin::Jennifer Seberry:::Generalised Cycling Attacks on RSA and Strong RSA Primes.
conf/acisp/Han96:::Yongfei Han:::Investigation of non-repudiation protocols.
conf/acisp/MuV00:::Yi Mu::Vijay Varadharajan:::Fail-Stop Confirmer Signatures.
conf/acisp/Arita03:::Seigo Arita:::An Addition Algorithm in Jacobian of C<sub>34</sub> Curve.
conf/acisp/TeradaM97:::Masato Terada::Yuko Murayama:::User Access Domain Management Systems - ADAMS.
conf/acisp/Rose98:::Gregory G. Rose:::A Stream Cipher Based on Linear Feedback over GF(2<sup>8</sup>).
conf/acisp/SyukriOM98:::Agus Fanar Syukri::Eiji Okamoto::Masahiro Mambo:::A User Identification System Using Signature Written with Mouse.
conf/acisp/BlakleyB00:::Bob Blakley::G. R. Blakley:::All Sail, No Anchor, 1: Cryptography, Risk, and e-Commerce.
conf/acisp/KurnioSW02:::Hartono Kurnio::Reihaneh Safavi-Naini::Huaxiong Wang:::A Secure Re-keying Scheme with Key Recovery Property.
conf/acisp/HortonS98:::Jeffrey Horton::Jennifer Seberry:::Covert Distributed Computing Using Java Through Web Spoofing.
conf/acisp/HitchcockM02:::Yvonne Hitchcock::Paul Montague:::A New Elliptic Curve Scalar Multiplication Algorithm to Resist Simple Power Analysis.
conf/acisp/Taylor96:::R. Taylor:::Non-repudiation without public-key.
conf/acisp/SebeD02:::Francesc Sebé::Josep Domingo-Ferrer:::Short 3-Secure Fingerprinting Codes for Copyright Protection.
conf/acisp/ClarkJ00:::John Clark::Jeremy Jacob:::Two-Stage Optimisation in the Design of Boolean Functions.
conf/acisp/ParkKBD01:::DongGook Park::JungJoon Kim::Colin Boyd::Ed Dawson:::Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks.
conf/acisp/StinsonS01:::Douglas R. Stinson::Reto Strobl:::Provably Secure Distributed Schnorr Signatures and a (t, n) Threshold Scheme for Implicit Certificates.
conf/acisp/RuanV02:::Chun Ruan::Vijay Varadharajan:::Resolving Conflicts in Authorization Delegations.
conf/acisp/YooHLLYS00:::Heajoung Yoo::Seokhie Hong::Sangjin Lee::Jong In Lim::Okyeon Yi::Maenghee Sung:::A Proposal of a New Public Key Cryptosystem Using Matrices over a Ring.
conf/acisp/Baraani-DastjerdiPS96:::Ahmad Baraani-Dastjerdi::Josef Pieprzyk::Reihaneh Safavi-Naini:::Modeling a multi-level secure object-oriented database using views.
conf/acisp/BoydFP99:::Colin Boyd::Ernest Foo::Chris Pavlovski:::Efficient Electronic Cash Using Batch Signatures.
conf/acisp/CubaleskaQS02:::Biljana Cubaleska::Weidong Qiu::Markus Schneider:::How to Play Sherlock Holmes in the World of Mobile Agents.
conf/acisp/AbeFK97:::Takehito Abe::Hiroshi Fujii::Kazuhiko Kushima:::Image Distribution Method with Embedded Identifier Scheme for Copyright Protection.
conf/acisp/BanksLS00:::William D. Banks::Daniel Lieman::Igor Shparlinski:::An Extremely Small and Efficient Identification Scheme.
conf/acisp/MullerM98:::Siguna Müller::Winfried B. Müller:::The Security of Public Key Cryptosystems Based on Integer Factorization.
conf/adbis/NawawiGn98:::Lusiana Nawawi::Janusz R. Getta::Phillip J. McKerrow:::nP-Tree: Region Partitioning and Indexing for Efficient Path Planning.
conf/adbis/Pokorny00:::Jaroslav Pokorný:::Database Research in Czech Republic.
conf/adbis/Chen97:::Yangjun Chen:::Speeding up the Counting Method by Computing Heritage Functions in Topological Order.
conf/adbis/BryK03:::François Bry::Peer Kröger:::Bioinformatics Databases: State of the Art and Research Perspectives.
conf/adbis/BergholzF00:::André Bergholz::Johann Christoph Freytag:::Managing Schemata for Semistructured Databases Using Constraints.
conf/adbis/Altus96:::Margita Altus:::User Modelling for Conceptual Database Design Based on an Extended Entity Relationship Model: A Preliminary Study Relationship Model.
conf/adbis/WojciechowskiZ00:::Marek Wojciechowski::Maciej Zakrzewicz:::HASH-MINE: A New Frameword for Discovery of Frequent Itemsets.
conf/adbis/ParamaBPP02:::José R. Paramá::Nieves R. Brisaboa::Miguel R. Penabad::Ángeles S. Places:::A Semantic Query Optimization Approach to Optimize Linear Datalog Programs.
conf/adbis/RusinkiewiczS94:::Marek Rusinkiewicz::Amit P. Sheth:::Transactional Workflow Management in Distributed Systems (Invited Paper).
conf/adbis/PengH99:::Chionh Wei Peng::Chi Chi Hung:::Autonomous Agent Negotiation for Electroniuc Commerce.
conf/adbis/WietrzykTK01:::Vlad Ingar Wietrzyk::Makoto Takizawa::Vijay K. Khandelwal:::An Architecture for Work Flows Interoperability Supporting Electronic Commerce.
conf/adbis/SchmidtSSW01:::Joachim W. Schmidt::Hans-Werner Sehring::Michael Skusa::Axel Wienberg:::Subject-Oriented Work: Lessons Learned from an Interdisciplinary Content Management Project.
conf/adbis/SamarasP02:::George Samaras::Christoforos Panayiotou:::A Flexible Personalization Architecture for Wireless Internet Based on Mobile Agents.
conf/adbis/Brass95:::Stefan Brass:::Magic Sets vs. SLD-Resolution.
conf/adbis/Brysgalov97:::Stanislas Brysgalov:::Higher Level Query System Based on Supercombinators.
conf/adbis/Charczuk98:::Janusz Charczuk:::Physical Structures Design For Relational Databases.
conf/adbis/ChoiY99:::Yong S. Choi::Suk I. Yoo:::Neural Net Agent for Discovering Text Databases on the Web.
conf/adbis/SchweppeHF00:::Heinz Schweppe::Annika Hinze::Daniel Faensen:::Database Systems as Middleware-Events, Notification, Messages.
conf/adbis/EhikioyaB97:::Sylvanus A. Ehikioya::Ken Barker:::CSP with Record Data Type for Supporting Transaction Systems Specification.
conf/adbis/ShigiltchoffCP02:::Oleg Shigiltchoff::Panos K. Chrysanthis::Evaggelia Pitoura:::Multiversion Data Broadcast Organizations.
conf/adbis/Rabih99:::Yahia Rabih:::Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems.
conf/adbis/YangYW01:::Xiaochun Yang::Ge Yu::Guoren Wang:::Efficiently Mapping Integrity Constraints from Relational Database to XML Document.
conf/adbis/KutscheraR97:::Peter Kutschera::Ralf Rantzau:::Enhancing the Functionality of the Web.
conf/adbis/YangK99:::Andrew Yang::John Kim:::Performance Metering of Distributed Access Using Java Servlets.
conf/adbis/MenhoudjO96:::K. Menhoudj::M. Ou-Halima:::Migrating Data-Oriented Applications to a Relational Database Management System.
conf/adbis/BiskupK97:::Joachim Biskup::Andreas Kluck:::A New Approach to Inferences of Semantic Constraints.
conf/adbis/BasuKP97:::Julie Basu::Arthur M. Keller::Meikel Pöss:::Centralized versus Distributed Index Schemes in OODBMS - A Performance Analysis.
conf/adbis/NardelliP00:::Enrico Nardelli::Guido Proietti:::Size Estimation of the Intersection Join between Two Line Segment Datasets.
conf/adbis/FeyerT02:::Thomas Feyer::Bernhard Thalheim:::Many-Dimensional Schema Modeling.
conf/adbis/KrogerIRH99:::Joachim Kröger::Regina Illner::Steffen Rost::Andreas Heuer:::Query Rewriting and Search in CROQUE.
conf/adbis/UngerH97:::Toralf Unger::Michael Höding:::A Practitioner's View to the Integration of Virtual Enterprise Database Systems by Federation Techniques.
conf/adbis/ScherbakovZ95:::Nick Scherbakov::Alexandre V. Zamulin:::HM data Model and its Formal Definition.
conf/adbis/Goczyla99:::Krzysztof Goczyla:::Indexing on Multivalued Attributed Using Partial-Order Trees.
conf/adbis/Morozova94:::A. V. Morozova:::CASE-Repository for Project Descriptions: Standardization Directions (Extended Abstract, Poster).
conf/adbis/Pranevicius01:::Henrikas Pranevicius:::The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.
conf/adbis/ZhengC03:::Cheng Zheng::Li Chen:::FCBI: An Efficient User-Friendly Classifier Using Fuzzy Implication Table.
conf/adbis/FarreTU03:::Carles Farré::Ernest Teniente::Toni Urpí:::Query Containment with Negated IDB Predicates.
conf/adbis/NekrestyanovNPP97:::Igor Nekrestyanov::Boris Novikov::Ekaterina Pavlova::Serge Pikalev:::Concurrency Control Protocols for Persistent Shared Virtual Memory Systems (Extended Abstract).
conf/adbis/BukhresZB97:::Omran A. Bukhres::Peng Zhang::Boualem Benatallah:::Modeling of Dynamic Internet Transactional Workflows.
conf/adbis/HammerMG97:::Joachim Hammer::Jason McHugh::Hector Garcia-Molina:::Semistructured Data: The Tsimmis Experience.
conf/acsac/Russell99:::Selwyn Russell:::Fast Checking of Individual Certificate Revocation on Small Systems.
conf/acsac/AskwithMSW97:::B. Askwith::Madjid Merabti::Qi Shi::K. Whiteley:::Achieving User Privacy in Mobile Networks.
conf/acsac/Bao00:::Feng Bao:::Introducing Decryption Authority into PKI.
conf/acsac/Endler98:::D. Endler:::Intrusion Detection Applying Machine Learning to Solaris Audit Data.
conf/acsac/RohmHP99:::Alexander W. Röhm::Gaby Herrmann::Günther Pernul:::A Language for Modeling Secure Business Transactions.
conf/acsac/FreemanDN97:::J. W. Freeman::T. C. Darr::Richard B. Neely:::Risk Assessment for Large Heterogeneous Systems.
conf/acsac/CantW97:::C. Cant::Simon R. Wiseman:::Simple Assured Bastion Hosts.
conf/acsac/LewisW97:::S. Lewis::Simon R. Wiseman:::Securing an Object Relational Database.
conf/acsac/CaroniKSS00:::G. Caroni::S. Kumar::C. Schuba::G. Scott:::Virtual Enterprise Networks: The Next Generation of Secure Enterprise Networking.
conf/acsac/KirbyAH99:::James Kirby::Myla Archer::Constance L. Heitmeyer:::SCR: A Practical Approach to Building a High Assurance COMSEC System.
conf/acsac/JajodiaLM98:::Sushil Jajodia::Peng Liu::Catherine D. McCollum:::Application-Level Isolation to Cope with Malicious Database Users.
conf/acsac/AydosYK00:::M. Aydos::T. Yanik::Çetin Kaya Koç:::An High-Speed ECC-based Wireless Authentication Protocol on an ARM Microprocessor.
conf/acsac/Landwehr97:::Carl E. Landwehr:::Protecting Unattended Computers Without Software.
conf/acsac/GoshWC98:::A. K. Gosh::J. Wanken::F. Charron:::Detecting Anomalous and Unknown Intrusions Against Programs.
conf/acsac/TsengJ98:::Yuh-Min Tseng::Jinn-ke Jan:::ID-Based Cryptographic Schemes Using a Non-Interactive Public-Key Distribution System.
conf/advis/JensenB02:::Ole Guttorm Jensen::Michael H. Böhlen:::Current, Legacy, and Invalid Tuples in Conditionally Evolving Databases.
conf/advis/SadatYU02:::Fatiha Sadat::Masatoshi Yoshikawa::Shunsuke Uemura:::Cross-Language Information Retrieval Using Multiple Resources and Combinations for Query Expansion.
conf/advis/SerafiniG00:::Luciano Serafini::Chiara Ghidini:::Using Wrapper Agents to Answer Queries in Distributed Information Systems.
conf/advis/ChountasPAKE02:::Panagiotis Chountas::Ilias Petrounias::Krassimir T. Atanassov::Vassilis Kodogiannis::Elia El-Darzi:::Representation of Temporal Unawareness.
conf/advis/RyabovP00:::Vladimir Ryabov::Seppo Puuronen:::Estimation of Uncertain Relations between Indeterminate Temporal Points.
conf/advis/KutCB02:::Alp Kut::Sen Çakir::Ender Yazgan Bulgun:::Dokuz Eylul University - Distance Education Utilities Model.
conf/advis/FangS02:::Xiaoshan Fang::Huanye Sheng:::Pattern Acquisition for Chinese Named Entity Recognition: A Supervised Learning Approach.
conf/advis/YakhnoE02:::Tatyana M. Yakhno::Emine Ekin:::Ant Systems: Another Alternative for Optimization Problems?
conf/advis/MachadoTA00:::Elaine P. Machado::Caetano Traina Jr.::Myrian R. B. Araujo:::Classification Abstraction: An Intrinsic Element in Database Systems.
conf/advis/KarkalasM00:::Sokratis Karkalas::Nigel J. Martin:::Automatic Semantic Object Discovery and Mapping from Non-normalised Relational Database Systems.
conf/afips/Chen77:::Peter P. Chen:::The Entity-Relationship Model - A basis for the Enterprise View of Data.
conf/afips/OzkarahanSS75:::Esen A. Ozkarahan::Stewart A. Schuster::Kenneth C. Smith:::RAP - An Associative Processor for Database Management.
conf/afpac/Bayro-CorrochanoB97:::Eduardo Bayro-Corrochano::Sven Buchholz:::Geometric Neural Networks.
conf/afpac/BuchholzS00:::Sven Buchholz::Gerald Sommer:::Learning Geometric Transformations with Clifford Neurons.
conf/afpac/GeyerD00:::Christopher Geyer::Konstantinos Daniilidis:::Geometric Properties of Central Catadioptric Projections.
conf/afpac/BulowS97:::Thomas Bülow::Gerald Sommer:::Multi-Dimensional Signal Processin Using an Algebraically Extended Signal Representation.
conf/afpac/Ritter97:::Helge Ritter:::Neural Network Approaches for Perception and Action.
conf/afpac/MarchandC97:::Éric Marchand::François Chaumette:::Visual Perception Strategies for 3D Reconstruction.
conf/afpac/AloimonosF00:::Yiannis Aloimonos::Cornelia Fermüller:::Analyzing Action Representations.
conf/aimdm/KosaraM99:::Robert Kosara::Silvia Miksch:::Visualization Techniques for Time-Oriented, Skeletal Plans in Medical Therapy Planning.
conf/aimdm/Molino99:::Gianpaolo Molino:::From Clinical Guidelines to Decision Support.
conf/aimdm/WuHYCML99:::Ping Wu::Kok Liang Heng::Shuo Wang Yang::Yi Feng Chen::Ravuru Subramanyam Mohan::Peter Huat Chye Lim:::A Screening Technique for Prostate Cancer by Hair Chemical Analysis and Artificial Intelligence.
conf/aimdm/Aknine99:::Samir Aknine:::Exploiting Social Reasoning of Open Multi-agent Systems to Enhance Cooperation in Hospitals.
conf/aimdm/RomackerSH99:::Martin Romacker::Stefan Schulz::Udo Hahn:::Small Is Beautiful - Compact Semantics for Medical Language Processing.
conf/aimdm/SchmidtPG99:::Rainer Schmidt::Bernhard Pollwein::Lothar Gierl:::Experiences with Case-Based Reasoning Methods and Prototypes for Medical Knowledge-Based Systems.
conf/aimdm/HuttonHD99:::Tim J. Hutton::Peter Hammond::John C. Davenport:::Active Shape Models for Customised Prosthesis Design.
conf/aimsa/SebastianiV98:::Roberto Sebastiani::Adolfo Villafiorita:::SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.
conf/aimsa/GaglioMZ84:::Salvatore Gaglio::Giuseppe Marino::Renato Zaccaria:::Logic Programming on Reduction/Dataflow Machines.
conf/aimsa/ElouediMS00:::Zied Elouedi::Khaled Mellouli::Philippe Smets:::Classification with Belief Decision Trees.
conf/aimsa/Kipper92:::Bernhard Kipper:::MODALYS - A System for the Semantic-Pragmatic Analysis of Modal Verbs.
conf/aimsa/Dolmatova92:::Ludmila Dolmatova:::The Range Scale as Result of Inductive Learning.
conf/aimsa/Ramsay00:::Allan Ramsay:::Theorem Proving for Constructive lambda-Calculus.
conf/aimsa/Hufflen88:::Jean-Michel Hufflen:::Parallelizing Recursive Programs.
conf/aimsa/ArdissoB98:::Liliana Ardissono::Guido Boella:::An Agent Model for NL Dialog Interfaces.
conf/aimsa/DichevB88:::Christo Dichev::Benedict du Boulay:::A Data Tracing System for Prolog Novices.
conf/aimsa/Nenova86:::Irina Nenova:::Language-Based Environment for Developing ATN-Grammars.
conf/aimsa/Kononenko92:::Igor Kononenko:::Combining Decisions of Multiple Rules.
conf/aimsa/Arabadjisky86:::Krastu St. Arabadjisky:::Data Flow Computation Model and Analysis of its Asynchrony.
conf/aimsa/SharkovD88:::George I. Sharkov::Dimiter S. Dimitrov:::Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine.
conf/aimsa/ManzoGR98:::Mauro Di Manzo::Enrico Giunchiglia::Simone Ruffino:::Planning via Model Checking in Deterministic Domains: Preliminary Report.
conf/aimsa/BulotM88:::Rémy Bulot::Henri Meloni:::Processing Acoustic and Phonetic Knowledge in Prolog.
conf/aimsa/MonsifrotBQ02:::Antoine Monsifrot::François Bodin::Rene Quiniou:::A Machine Learning Approach to Automatic Production of Compiler Heuristics.
conf/aimsa/TzanovT88:::Valery A. Tzanov::Slavka G. Trifonova:::Real-time Diagnosis in Distributed Information System.
conf/aimsa/Bruynooghe86:::Maurice Bruynooghe:::Is Logic Programming ``Real'' Programming?
conf/aimsa/BesnardM92:::Philippe Besnard::Robert E. Mercer:::Non-Monotonic Logics: A Valuations-Based Approach.
conf/aimsa/KoitO90:::Mare Koit::Haldur Oim:::An Approach to the Modelling of Natural Reasoning.
conf/aimsa/RizzoM00:::Riccardo Rizzo::G. Munna:::A Neural Network Tool to Organize Large Document Sets.
conf/aimsa/CaferraZ90:::Ricardo Caferra::Nicolas Zabel:::An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover.
conf/aimsa/Jorrand84:::Philippe Jorrand:::FP2: Functional Parallel Programming Based on Term Substitution.
conf/aimsa/DohertyLS00:::Patrick Doherty::Witold Lukaszewicz::Andrzej Szalas:::Efficient Reasoning Using the Local Closed-World Assumption.
conf/aimsa/Polikarov84:::A. Polikarov:::Methodological Problems and Approaches in Artificial Intelligence.
conf/aimsa/BarbuceanuM86:::Mihai Barbuceanu::Stefan Trausan-Matu:::XRL: An Evolutionary Multi-Paradigm Environment for AI Programming.
conf/aimsa/Kasabov90:::Nikola K. Kasabov:::Hybrid Connectionist Rule-Based Systems.
conf/aimsa/Popelinsky02:::Lubos Popelínsky:::Efficient Relational Learning from Sparse Data.
conf/aimsa/AzcarragaA90:::Arnulfo P. Azcarraga::Bernard Amy:::Kohonen Feature Maps: Toward Invariant Character Recognition.
conf/aimsa/LetellierF90:::Sabine Letellier::Jean Pierre Fournier:::How to Deal Intelligently with Unexpected?
conf/aimsa/EijkBHM98:::Rogier M. van Eijk::Frank S. de Boer::Wiebe van der Hoek::John-Jules Ch. Meyer:::Constructing Translations Between Individual Vocabularies in Multi-Agent Systems.
conf/aimsa/Motta00:::Enrico Motta:::Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web.
conf/aimsa/Urbanski88:::Andrzej Urbanski:::Formalizing Non-Monotonic Truth Maintenance Systems.
conf/aimsa/AndreBHR86:::Elisabeth André::Guido Bosch::Gerd Herzog::Thomas Rist:::Coping with the Intrinsic and Deictic Uses of Spatial Prepositions.
conf/aimsa/Escalada-ImazT00:::Gonzalo Escalada-Imaz::Rodolfo Torres-Velázquez:::Complexity Issues in the Davis and Putnam Scheme.
conf/aimsa/Perdrix86:::Herve Perdrix:::Program Synthesis from Specification.
conf/aimsa/StoitschevA86:::Ljubomir Stoitschev::Anatoly Antonov:::Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach.
conf/aimsa/SgurevDDAM88:::Vasil Sgurev::Danail Dochev::Christo Dichev::Genadi Agre::Zdravko Markov:::Problems of Diagnostic Knowledge Processing.
conf/aimsa/Agre92:::Gennady Agre:::Using Bayesian Networks for Technical Diagnosis.
conf/amast/HaxthausenN96:::Anne Elisabeth Haxthausen::Friederike Nickl:::Pushouts of Order-Sorted Algebraic Specifications.
conf/amast/GrootR97:::Martin de Groot::Ken Robinson:::Modular Refinement and Model Building.
conf/amast/DeursenM96:::Arie van Deursen::Peter D. Mosses:::ASD: The Action Semantic Description Tools.
conf/amast/Brinksma93:::Ed Brinksma:::On the Coverage of Partial Validations.
conf/amast/Jimenez98:::Blas C. Ruiz Jiménez:::Condensing Lemmas for Pure Type Systems with Universes.
conf/amast/Wagner93:::Eric G. Wagner:::The Role of Memory in Object-based and Object-oriented Languages.
conf/amast/DenkerRCS97:::Grit Denker::Jaime Ramos::Carlos Caleiro::Amílcar Sernadas:::A Linear Temporal Logic Approach to Objects with Transactions.
conf/amast/JagadeesanJ95:::Lalita Jategaonkar Jagadeesan::Radha Jagadeesan:::Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).
conf/amast/SabadiniVW93:::Nicoletta Sabadini::Sebastiano Vigna::Robert F. C. Walters:::A Notion of Refinement for Automata.
conf/amast/Wyk00:::Eric Van Wyk:::Meta Languages in Algebraic Compilers.
conf/amast/RajanF97:::Sreeranga P. Rajan::Masahiro Fujita:::ATM Switch Design: Parametric High-Level Modeling and Formal Verification.
conf/amast/Malacaria93:::Pasquale Malacaria:::Equivalences of Transition Systems in an Algebraic Framework.
conf/amast/Jacobs96:::Bart Jacobs:::Coalgebraic Specifications and Models of Determinatistic Hybrid Systems.
conf/amast/GiegerichM02:::Robert Giegerich::Carsten Meyer:::Algebraic Dynamic Programming.
conf/amast/Fitzgerald96:::John S. Fitzgerald:::Two Industrial Trials of Formal Specification.
conf/amast/QinL91:::Huajun Qin::Philip Lewis:::Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences.
conf/amast/LakshmananSPS95:::Laks V. S. Lakshmanan::Iyer N. Subramanian::Despina Papoulis::Nematollaah Shiri:::A Declarative System for Multi-database Interoperability.
conf/amast/Reus02:::Bernhard Reus:::Class-Based versus Object-Based: A Denotational Comparison.
conf/amast/BorgneMRS96:::Michel Le Borgne::Hervé Marchand::Éric Rutten::Mazen Samaan:::Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.
conf/amast/BorgstromN02:::Johannes Borgström::Uwe Nestmann:::On Bisimulations for the Spi Calculus.
conf/amast/MouraM98:::Hermano Perrelli de Moura::Luis Carlos de Sousa Menezes:::The ABACO System - An Algebraic Based Action COmpiler.
conf/amast/GrooteM98:::Jan Friso Groote::Radu Mateescu:::Verification of Temporal Properties of Processes in a Setting with Data.
conf/amast/JamilL95:::Hasan M. Jamil::Laks V. S. Lakshmanan:::An Object-Oriented Front-end for Deductive Databases.
conf/amast/Jones91:::Neil D. Jones:::Efficient Algebraic Operations on Programs.
conf/amast/Arnold91:::André Arnold:::MEC: A System for Constructing and Analysis Transition Systems.
conf/amast/Robinson97:::Ken Robinson:::The B Method and the B Toolkit.
conf/amast/PiessensS97:::Frank Piessens::Eric Steegmans:::Selective Attribute Elimination for Categorial Data Specifications.
conf/amast/LopesF97:::Antónia Lopes::José Luiz Fiadeiro:::Preservation and Reflection in Specification.
conf/amast/FocardiGM00:::Riccardo Focardi::Roberto Gorrieri::Fabio Martinelli:::Message Authentication through Non Interference.
conf/amast/Machado00:::Patrícia D. L. Machado:::Testing from Structured Algebraic Specifications.
conf/amast/Machado98:::Patrícia D. L. Machado:::On Oracles for Interpreting Test Results against Algebraic Specifications.
conf/amast/Janowski97:::Tomasz Janowski:::On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance.
conf/amast/Duran00:::Francisco Durán:::The Extensibility of Maude's Module Algebra.
conf/amast/CerioliR93:::Maura Cerioli::Gianna Reggio:::Algebraic-Oriented Institutions.
conf/amast/Bleyberg91:::Maria Zamfir Bleyberg:::Modeling Concurrency with AND/OR Algebraic Theories.
conf/amast/Cengarle95:::María Victoria Cengarle:::Semantic Typing for Parametric Algebraic Specifications.
conf/amast/Smith91:::Scott F. Smith:::Extracting Recursive Programs in Type Theory.
conf/amast/Almendros-Jimenez98:::Jesús Manuel Almendros-Jiménez:::Improving Computations in a Typed Functional Logic Language.
conf/amast/GlabbeekR98:::Rob J. van Glabbeek::Peter Rittgen:::Scheduling Algebra.
conf/amast/Fidge00:::Colin J. Fidge:::The Algebra of Multi-tasking.
conf/amast/MarcusP96:::Monica Marcus::Amir Pnueli:::Using Ghost Variables to Prove Refinement.
conf/amast/AstesianoGMR91:::Egidio Astesiano::Alessandro Giovini::Franco Morando::Gianna Reggio:::Algebraic Specification at Work.
conf/amast/AlmeidaBNO97:::J. J. Almeida::L. S. Barbosa::F. L. Neves::J. N. Oliveira:::CAMILA: Prototyping and Refinement of Constructive Specifications.
conf/amast/Eertink91:::Henk Eertink:::Tools for Algebraic Distributed System Design.
conf/amast/Chaochen98:::Zhou Chaochen:::Duration Calculus, a Logical Approach to Real-Time Systems.
conf/amast/Sankar96:::Sriram Sankar:::Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language.
conf/amast/Skoglund02:::Mats Skoglund:::Sharing Objects by Read-Only References.
