journals/vlc/DomingueM98:::John Domingue::Paul Mulholland:::An Effective Web-based Software Visualization Learning Environment.
journals/vlc/LemonP98:::Oliver Lemon::Ian Pratt:::Complete Logics for QSR: A Guide to Plane Meretopology.
journals/vlc/LiC99:::Sheng-Tun Li::Wen-Shen Chen:::A Java-centric Distributed Object-based Paradigm for Surveillance Services and Visual Message Exchange.
journals/vlc/HsuLL99:::Fang-Jung Hsu::Suh-Yin Lee::Bao-Shuh P. Lin:::2D C-Tree Spatial Representation for Iconic Image.
journals/vlc/HarelS95:::David Harel::Meir Sardas:::Randomized Graph Drawing with Heavy-Duty Preprocessing.
journals/vlc/BurnettA94:::Margaret M. Burnett::Allen L. Ambler:::Declarative Visual Languages.
journals/vlc/BurnettB94:::Margaret M. Burnett::Marla J. Baker:::A Classification System for Visual Programming Languages.
journals/vlc/PoswigVM94:::Jörg Poswig::Guido Vrankar::Claudio Morara:::VisaVis: a Higher-order Functional Visual Programming Language.
journals/vlc/Kramer96:::Axel Kramer:::Translucent Patches.
journals/vlc/LandauerH97:::Jürgen Landauer::Masahito Hirakawa:::From Programming by Demonstration to Programming by WYSIWYG.
journals/vlc/RodriguezE00:::M. Andrea Rodríguez::Max J. Egenhofer:::A Comparison of Inferences about Containers and Surfaces in Small-Scale and Large-Scale Spaces.
journals/vlc/PoupyrevI99:::Ivan Poupyrev::Tadao Ichikawa:::Manipulating Objects in Virtual Worlds: Categorization and Empirical Evaluation of Interaction Techniques.
journals/vlc/HundhausenD02:::Christopher D. Hundhausen::Sarah A. Douglas:::Low-Fidelity Algorithm Visualization.
journals/vlc/RomeroCBL03:::Pablo Romero::Richard Cox::Benedict du Boulay::Rudi Lutz:::A survey of external representations employed in object-oriented programming environments.
journals/vlc/BimboPT00:::Alberto Del Bimbo::Pietro Pala::L. Tanganelli:::Retrieval of Commercials based on Dynamics of Color Flows.
journals/vlc/Philippi01:::Stephan Philippi:::Visual Programming of Concurrent Object-Oriented Systems.
journals/vlc/LiaoLCL03:::Shih-Kuan Liao::Chin-Feng Lin::Yeh-Ching Chung::Jim Z. C. Lai:::A differential volume rendering method with second-order difference for time-varying volume data.
journals/vlc/SmedleyC97:::Trevor J. Smedley::Philip T. Cox:::Visual Languages for the Design and Development of Structured Objects.
journals/vlc/Zhang03:::Kang Zhang:::Book Review: "Improvizational design" by Suguru Ishizaki; MIT Press, Cambridge, MA, 2003, ISBN 0-262-09035-X.
journals/vlc/Najork96:::Marc Najork:::Programming in Three Dimensions.
journals/vlc/WunscheY03:::Burkhard Wünsche::Alistair A. Young:::The visualization and measurement of left ventricular deformation using finite element models.
journals/vlc/Tucci00:::Maurizio Tucci:::Special Issue on Multimedia Databases and Image Communication.
journals/vlc/TyuguV97:::Enn Tyugu::R. Valt:::Visual Programming in NUT.
journals/vlc/HirotomiM03:::Tetsuya Hirotomi::Nikolay N. Mirenkov:::Self-explanatory components: a basis for new communicators.
journals/vlc/Sajaniemi00:::Jorma Sajaniemi:::Modeling Spreadsheet Audit: A Rigorous Approach to Automatic Visualization.
journals/www/Tolksdorf98:::Robert Tolksdorf:::A Framework for Multiple Coordination Languages.
journals/www/BegA03:::Mirza Mohd. Sufyan Beg::Nesar Ahmad:::Soft Computing Techniques for Rank Aggregation on the World Wide Web.
journals/www/ChongHYF98:::L. S. K. Chong::S. C. Hui::C. K. Yeo::S. Foo:::A WWW-Assisted Fax System for Internet Fax-to-Fax Communication.
journals/www/PhuaHY00:::Kia Ming Phua::Siu Cheung Hui::Chai Kiat Yeo:::A web-based Internet Java Phone for real-time voice communication.
journals/www/WangTR02:::Yan Wang::Kian-Lee Tan::Jian Ren:::A Study of Building Internet Marketplaces on the Basis of Mobile Agents for Parallel Processing.
journals/www/DouglisBCK98:::Fred Douglis::Thomas Ball::Yih-Farn Chen::Eleftherios Koutsofios:::The AT&amp;T Internet Difference Engine: Tracking and Viewing Changes on the Web.
journals/www/NeumannZ00:::Gustaf Neumann::Uwe Zdun:::High-level design and architecture of an HTTP-based infrastructure for web applications.
journals/www/BelloumHM01:::Adam Belloum::Louis O. Hertzberger::Henk L. Muller:::Scalable Federation of Web Cache Servers.
journals/www/MadriaMB00:::Sanjay Kumar Madria::Mukesh K. Mohania::Bharat K. Bhargava:::Editorial.
journals/www/GrecoGZ01:::Gianluigi Greco::Sergio Greco::Ester Zumpano:::A Probabilistic Approach for Distillation and Ranking of Web Pages.
journals/www/UrecheP00:::Octavian Ureche::Rejean Plamondon:::Digital payment systems for Internet commerce: The state of the art.
journals/www/PaikBH02:::Hye-Young Paik::Boualem Benatallah::Rachid Hamadi:::Dynamic Restructuring of E-Catalog Communities Based on User Interaction Patterns.
journals/zmp/KnoblochZGK02:::Silvia Knobloch::Dolf Zillmann::Rhonda Gibson::James A. Karrh:::Effects of Salient News Items on Information Acquisition and Issue Perception.
journals/zmp/Weber01:::René Weber:::Datenanalyse mittels Neuronaler Netze am Beispiel des Publikumserfolgs von Spielfilmen.
journals/zmp/HorzFH03:::Holger Horz::Stefan Fries::Manfred Hofer:::Stärken und Schwächen der Gestaltung eines kollaborativen Teleseminars zum Thema "Distance Learning".
journals/acta/ColemanH79:::Derek Coleman::Jane W. Hughes:::The Clean Termination of Pascal Programs.
journals/acta/NeuholdW76:::Erich J. Neuhold::T. Weller:::Specification and Proving of Command Programs.
journals/acta/Bird84:::Richard S. Bird:::Using Circular Programs to Eliminate Multiple Traversals of Data.
journals/acta/Book78:::Ronald V. Book:::On the Complexity of Formal Grammars.
journals/acta/CulikK86:::Karel Culik II::Juhani Karhumäki:::Synchronizable Deterministic Pushdown Automata and the Decidability of their Equivalence.
journals/acta/Stewart93:::Iain A. Stewart:::Logical and Schematic Characterization of Complexity Classes.
journals/acta/SchneiderCS85:::Fred B. Schneider::Richard Conway::Dale Skeen:::Thrifty Execution of Task Pipelines.
journals/acta/Wyrostek86:::Piotr Wyrostek:::Precedence Technique is not Worse than SLR(1).
journals/acta/HanI99:::Yijie Han::Yoshihide Igarashi:::Parallel PROFIT/COST Algorithms Through Fast Derandomization.
journals/acta/MoreauD01:::Luc Moreau::Jean Duprat:::A construction of distributed reference counting.
journals/acta/Fox73:::B. L. Fox:::Reducing the Number of Multiplikations in Iterative Processes
journals/acta/JurgensenS95:::Helmut Jürgensen::Ludwig Staiger:::Local Hausdorff Dimension
journals/acta/HsuP95:::W.-J. Hsu::C. V. Page:::Parallel Tree Contraction and Prefix Computations on a Large Family of Interconnection Topologies
journals/acta/Rao96:::M. R. K. Krishna Rao:::Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems.
journals/acta/MannaP93:::Zohar Manna::Amir Pnueli:::Models for Reactivity.
journals/acta/BrunoC97:::John L. Bruno::Edward G. Coffman Jr.:::Optimal Fault-Tolerant Computing on Multiprocessor Systems.
journals/acta/YuR89:::Lin Yu::Daniel J. Rosenkrantz:::Minimizing Time-Space Cost for Database Version Control.
journals/acta/EhrenfeuchtR90:::Andrzej Ehrenfeucht::Grzegorz Rozenberg:::A Characterization of Set Representable Labeled Partial 2-Structures Through Decompositions.
journals/acta/AvenhausM78:::Jürgen Avenhaus::Klaus Madlener:::Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen.
journals/acta/TamminenLSWW86:::Markku Tamminen::W. K. Luk::Paolo Sipala::L. S. Woo::C. K. Wong:::Constructing Maximal Slicings from Geometry.
journals/acta/Hansen73:::Per Brinch Hansen:::A Reply to Comments on "A Comparison of Two Synchronizing Concepts"
journals/acta/LeeW77:::D. T. Lee::C. K. Wong:::Worst-Case Analysis for Region and Partial Region Searches in Multidimensional Binary Search Trees and Balanced Quad Trees.
journals/acta/Mayr81:::Ernst W. Mayr:::Persistence of Vector Replacement Systems is Decidable.
journals/acta/MooreR81:::Daniel J. Moore::Bruce Russell:::Axiomatic Data Type Specifications: A First Order Theory of Linear Lists.
journals/acta/Walter76:::Hermann K.-G. Walter:::Grammarforms and Grammarhomomorphisms
journals/acta/Martin81:::Alain J. Martin:::An Axiomatic Definition of Synchronization Primitives.
journals/acta/McIverM01:::Annabelle McIver::Carroll Morgan:::Demonic, angelic and unbounded probabilistic choices in sequential programs.
journals/acta/CourtoisHP72:::Pierre-Jacques Courtois::F. Heymans::David Lorge Parnas:::Comments on "A Comparison of Two Synchronizing Concepts by Per Brinch Hansen"
journals/acta/Huwig82:::Hagen Huwig:::Ein Modell des <i>P=NP</i> -Problems mit einer positiven Lösung.
journals/acta/Schuler74:::P. F. Schuler:::Weakly Context-Sensitive Languages as Model for Programming Languages
journals/acta/BlumS84:::Norbert Blum::Martin Seysen:::Characterization of all Optimal Networks for a Simultaneous Computation of AND and NOR.
journals/acta/IlieS00:::Lucian Ilie::Arto Salomaa:::On the Expressiveness of Subset-Sum Representations.
journals/acta/JajaS82:::Joseph JáJá::Janos Simon:::Space Efficient Algorithms for Some Graph Theoretical Problems.
journals/acta/Rollik80:::Hans-Anton Rollik:::Automaten in planaren Graphen.
journals/acta/GergelyU82:::Tamás Gergely::László Úry:::A Theory of Interactive Programming.
journals/acta/Correl78:::Claus H. Correl:::Proving Programs Correct through Refinement.
journals/acta/Franta76:::William R. Franta:::The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic Queue.
journals/acta/NakataS86:::Ikuo Nakata::Masataka Sassa:::Generation of Efficient <i> LALR </i> Parsers for Regular Right Part Grammars.
journals/acta/Rosenberg78:::Arnold L. Rosenberg:::Data Encodings and Their Costs.
journals/acta/Kamimura85:::Tsutomu Kamimura:::An Effectively Given Initial Semigroup.
journals/acta/ArakiT81:::Toshiro Araki::Nobuki Tokura:::Flow Languages Equal Recursively Enumerable Languages.
journals/acta/Anderson93:::James H. Anderson:::A Fine-Grained Solution to the Mutual Exclusion Problem.
journals/acta/Heilbrunner79:::Stephan Heilbrunner:::On the Definition of ELR(k) and ELL(k) Grammars.
journals/acta/LatteuxT90:::Michel Latteux::Paavo Turakainen:::On Characterizations of Recursively Enumerable Languages.
journals/acta/Brandwajn74:::Alexandre Brandwajn:::A Model of a Time Sharing Virtual Memory System Solved Using Equivalence and Decomposition Methods
journals/acta/CoffmanLT78:::Edward G. Coffman Jr.::Joseph Y.-T. Leung::D. W. Ting:::Bin Packing: Maximizing the Number of Pieces Packed.
journals/acta/Pratt78:::Terrence W. Pratt:::Program Analysis and Optimization through Kernel-Control Decomposition.
journals/acta/Wegener80:::Ingo Wegener:::A new Lower Bound on the Monotone Network Complexity of Boolean Sums.
journals/acta/Buckle93:::John Buckle:::A Characterisation of Meet and Join Respecting Pre-Orders and Congruences on Finite Lattices.
journals/acta/Winklmann82a:::Karl Winklmann:::On the Complexity of some Problems Concerning the Use of Procedures II.
journals/acta/Neraud95:::Jean Neraud:::Detecting Morphic Images of a Word on the Rank of a Pattern
journals/acta/GelenbeH89:::Erol Gelenbe::Marisela Hernández:::Optimum Checkpoints with Age Dependent Failures.
journals/acta/Iwama83:::Kazuo Iwama:::The Universe Problem for Unrestricted Flow Languages.
journals/acta/AkyildizB89:::Ian F. Akyildiz::Horst von Brand:::Computational Algorithms for Networks of Queues with Rejection Blocking.
journals/acta/Mehlhorn79:::Kurt Mehlhorn:::Some Remarks on Boolean Sums.
journals/acta/Mahmoud02:::Hosam M. Mahmoud:::The size of random bucket trees via urn models.
journals/acta/Mahmoud86:::Hosam M. Mahmoud:::On the Average Internal Path Length of <i> m </i> -ary Search Trees.
journals/acta/HehnerGM88:::Eric C. R. Hehner::Lorene E. Gupta::Andrew J. Malton:::Erratum: Predicative Methodology.
journals/acta/CarlssonC92:::Svante Carlsson::Jingsen Chen:::On Partitions and Presortedness of Sequences.
journals/acta/WirsingPPD83:::Martin Wirsing::Peter Pepper::Helmuth Partsch::Walter Dosch:::On Hierarchies of Abstract Data Types.
journals/acta/Bulyonkov84:::Mikhail A. Bulyonkov:::Polyvariant Mixed Computation for Analyzer Programs.
journals/acta/CorradiniGR97:::Flavio Corradini::Roberto Gorrieri::Marco Roccetti:::Performance Preorder and Competitive Equivalence.
journals/acta/WotschkeW78:::Detlef Wotschke::Celia Wrathall:::A Note on Classes of Complements and the LBA Problem.
journals/acta/BentleyM80:::Jon Louis Bentley::Hermann A. Maurer:::Efficient Worst-Case Data Structures for Range Searching.
journals/acta/AstesianoR01:::Egidio Astesiano::Gianna Reggio:::Labelled transition logic: an outline.
journals/acta/RozenbergL73:::Grzegorz Rozenberg::Aristid Lindenmayer:::Developmental Systems with Locally Catenative Formulas
journals/acta/Sabelfeld78:::Viktor K. Sabelfeld:::Äquivalente Transformationen für Flußdiagramme.
journals/acta/Cremers73:::Armin B. Cremers:::Normal Forms for Context-Sensitive Grammars
journals/acta/MakinenS02:::Erkki Mäkinen::Tarja Systä:::Minimally adequate teacher synthesizes statechart diagrams.
journals/acta/MorimotoS01:::Shin-ichi Morimoto::Masataka Sassa:::Yet another generation of LALR parsers for regular right part grammars.
journals/acta/KourieO98:::Derrick G. Kourie::G. Deon Oosthuizen:::Lattices in Machine Learning: Complexity Issues.
journals/acta/Lamport80:::Leslie Lamport:::The `Hoare Logic' of Concurrent Programs.
journals/acta/PierreS89:::Laurent Pierre::Sylviane R. Schwer:::Rational Index of Vector Addition Systems Languages.
journals/acta/Mitchell88:::William P. R. Mitchell:::Inductive Completion with Retracts.
journals/acta/TurnbullL79:::C. J. M. Turnbull::E. S. Lee:::Generalized Deterministic Left To Right Parsing.
journals/acta/BauerO84:::G. Bauer::Friedrich Otto:::Finite Complete Rewriting Systems and the Complexity of the Word Problem.
journals/acta/Singh93:::Ambuj K. Singh:::Program Refinement in Fair Transition Systems.
journals/acta/SchlumbergerV73:::Maurice Schlumberger::Jean Vuillemin:::Optimal Disk Merge Patterns
journals/acta/Sanders98:::Beverly A. Sanders:::Data Refinement of Mixed Specifications.
journals/acta/GoodmanS83:::Nathan Goodman::Oded Shmueli:::NP-complete Problems Simplified on Tree Schemas.
journals/acta/SupowitR82:::Kenneth J. Supowit::Edward M. Reingold:::The Complexity of Drawing Trees Nicely.
journals/acta/SobelS88:::Ann E. Kelley Sobel::N. Soundararajan:::A Proof System for Distributed Processes.
journals/acta/Latteux79:::Michel Latteux:::Intersections de langages algébriques bornés.
journals/acta/FennerL81:::Trevor I. Fenner::George Loizou:::An Analysis of two Related Loop-free Algorithms for Generating Integer Partitions.
journals/acta/RichardsS92:::Dana S. Richards::Jeffrey S. Salowe:::Stacks, Queues, and Deques with Order-Statistic Operations.
journals/acta/Barstow80:::David R. Barstow:::Remarks on "A Synthesis of Several Sorting Algorithms" by John Darlington.
journals/acta/SutnerM88:::Klaus Sutner::Wolfgang Maass:::Motion Planning Among Time Dependent Obstacles.
journals/acta/KearnsS83:::John P. Kearns::Mary Lou Soffa:::The Implementation of Retention in a Coroutine Environment.
journals/acta/BoxmaK81:::Onno J. Boxma::Alan G. Konheim:::Approximate Analysis of Exponential Queueing Systems with Blocking.
journals/acta/BergstraT83:::Jan A. Bergstra::J. Terlouw:::Standard Model Semantics for DSL A Data Type Specification Language.
journals/acta/Takeichi87:::Masato Takeichi:::Partial Parametrization Eliminates Multiple Traversals of Data Structures.
journals/acta/MitraniH77:::Isi Mitrani::J. H. Hine:::Complete Parameterized Families of Job Scheduling Strategies
journals/acta/GenlebeTB73:::Erol Gelenbe::Paolo Tiberio::J. C. A. Boekhorst:::Page Size in Demand-Paging Systems
journals/acta/FlajoletG94:::Philippe Flajolet::Mordecai J. Golin:::Mellin Transforms and Asymptotics: The Mergesort Recurrence.
journals/acta/Ramsperger77:::Norbert Ramsperger:::Concurrent Access to Data
journals/acta/KrivanekM86:::Mirko Krivánek::Jaroslav Morávek::: <i> NP </i> -Hard Problems in Hierarchical-Tree Clustering.
journals/acta/Yamazaki97:::Koichi Yamazaki:::A Hierarchy of the Class of Apex NLC Graph Languages by Bounds on the Number of Nonterminal Nodes in Productions.
journals/acta/KouvatsosA89:::Demetres D. Kouvatsos::John Almond:::Erratum: Maximum Entropy Two-Station Cyclic Queues with Multiple General Servers.
journals/acta/Reutenauer80:::Christophe Reutenauer:::An Ogden-Like Iteration Lemma for Rational Power Series.
journals/acta/Hesselink89:::Wim H. Hesselink:::Predicate-Transformer Semantics of General Recursion.
journals/acta/Hesselink96:::Wim H. Hesselink:::Bounded Delay for a Free Address.
journals/acta/ZhangH89:::Bin Zhang::Meichun Hsu:::Unsafe Operations in B-Trees.
journals/acta/FulopV97:::Zoltán Fülöp::Sándor Vágvölgyi:::Minimal Equational Representations of Recognizable Tree Languages.
journals/acta/GinsburgS75:::Seymour Ginsburg::Edwin H. Spanier:::Substitution of Grammar Forms
journals/acta/MeyerO89:::John-Jules Ch. Meyer::Ernst-Rüdiger Olderog:::Hiding in Stream Semantics of Uniform Concurrency.
journals/acta/ChakkaH01:::Ram Chakka::Peter G. Harrison:::A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue.
journals/acta/Hartmanis72:::Juris Hartmanis:::On Non-Determinancy in Simple Computing Devices
journals/acta/HuangL87:::Chua-Huang Huang::Christian Lengauer:::The Derivation of Systolic Implementations of Programs.
journals/acta/ChoffrutC84:::Christian Choffrut::Karel Culik II:::On Real-Time Cellular Automata and Trellis Automata.
journals/acta/BertinoM88:::Elisa Bertino::Daniela Musto:::Correctness of Semantic Integrity Checking in Database Management Systems.
journals/acta/CharlierH95:::Baudouin Le Charlier::Pascal Van Hentenryck:::Reexecution in Abstract Interpretation of Prolog
journals/acta/BijlsmaWM86:::A. Bijlsma::J. G. Wiltink::P. A. Matthews:::Equivalence of the Gries and Martin Proof Rules for Procedure Calls.
journals/acta/Pohlmann91:::Werner Pohlmann:::A Fixed Point Approach to Parallel Discrete Event Simulation.
journals/acta/KoblerST89:::Johannes Köbler::Uwe Schöning::Jacobo Torán:::On Counting and Approximation.
journals/acta/HarjuKL92:::Tero Harju::H. C. M. Kleijn::Michel Latteux:::Deterministic Sequential Functions.
journals/acta/GrafS86:::Susanne Graf::Joseph Sifakis:::A Logic for the Specification and Proof of Regular Controllable Processes of CCS.
journals/acta/HofstedeLW97:::Arthur H. M. ter Hofstede::E. Lippe::Theo P. van der Weide:::Applications of a Categorical Framework for Conceptual Data Modelling.
journals/acta/Hennessy95:::Matthew Hennessy:::Concurrent Testing of Processes
journals/acta/BestFHKP98:::Eike Best::Wojciech Fraczak::Richard P. Hopkins::Hanna Klaudel::Elisabeth Pelz:::M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.
journals/amai/Kornai93:::András Kornai:::The Generative Power of Feature Geometry.
journals/amai/MaherS95:::Michael J. Maher::Peter J. Stuckey:::On Inductive Inference of Cyclic Structures.
journals/amai/WagnerB01:::Israel A. Wagner::Alfred M. Bruckstein:::From Ants to A(ge)nts: A Special Issue on Ant-Robotics.
journals/amai/HolldoblerT95:::Steffen Hölldobler::Michael Thielscher:::Computing change and specificity with equational logic programs.
journals/amai/EggertSB95:::David Eggert::Louise Stark::Kevin W. Bowyer:::Aspect Graphs and Their use in Object Recognition.
journals/amai/ZlotkinR93:::Gilad Zlotkin::Jeffrey S. Rosenschein:::The Case of the Lying Postman: Decoys and Deception in Negotiation.
journals/amai/Fong91:::Amelia Lochovsky Fong:::Analysis of parallel algorithms using pipeline architectures in computer vision applications.
journals/amai/Gelder91:::Allen Van Gelder:::Deriving Constraints Among Argument Sizes in Logic Programs.
journals/amai/DelgrandeG96:::James P. Delgrande::Arvind Gupta:::The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae.
journals/amai/Dix99:::Jürgen Dix:::Selected Papers of Logic in AI - Editorial.
journals/amai/Pavel93:::Monique Pavel:::An Invitation to Fiberwise Topology: The General Framework for Multicolored Images in Pattern Recognition and Some so its Artificial Intelligence Aspects.
journals/amai/Koehler93:::Gary J. Koehler:::A Proof of the Vose-Liepins Conjecture.
journals/amai/Vauzeilles96:::Jacqueline Vauzeilles:::Ordinals II: Some Applications and a Functorial Approach.
journals/amai/ColettiS01:::Giulianella Coletti::Romano Scozzafava:::From Conditional Events to Conditional Measures: A New Axiomatic Approach.
journals/amai/Pearl01:::Judea Pearl:::On Two Pseudo-Paradoxes in Bayesian Analysis.
journals/amai/Pflug95:::Georg Ch. Pflug:::Random Planar Shapes and Their Statistical Recognition.
journals/amai/AuerC98:::Peter Auer::Nicolò Cesa-Bianchi:::On-Line Learning with Malicious Noise and the Closure Algorithm.
journals/amai/Halpern99:::Joseph Y. Halpern:::Set-theoretic completeness for epistemic and conditional logic.
journals/amai/Ortiz99:::Charles L. Ortiz Jr.:::Introspective and Elaborative Processes in Rational Agents.
journals/amai/FriedrichGN94:::Gerhard Friedrich::Georg Gottlob::Wolfgang Nejdl:::Formalizing the Repair Process - Extended Report.
journals/amai/Mundici92:::Daniele Mundici:::Turing Complexity of Behncke-Leptin C<sup>*</sup>-algebras with a Two-Point Dual.
journals/amai/BertiR02:::Patrizia Berti::Pietro Rigo:::On Coherent Conditional Probabilities and Disintegrations.
journals/amai/BurckertHL96:::Hans-Jürgen Bürckert::Bernhard Hollunder::Armin Laux:::On Skolemization in Constrained Logics.
journals/amai/BradfordCDJW02:::Russell Bradford::Robert M. Corless::James H. Davenport::David J. Jeffrey::Stephen M. Watt:::Reasoning about the Elementary Functions of Complex Analysis.
journals/amai/Przymusinski94:::Teodor C. Przymusinski:::Well-founded and Stationary Models of Logic Programs.
journals/amai/Abramson90:::Bruce Abramson:::The statistics of state-spaces.
journals/amai/GrumbachL97:::Stéphane Grumbach::Zoé Lacroix:::On Non-Determinism in Machines and Languages.
journals/amai/Arapis93:::Constantin Arapis:::A Temporal Logic-Based Approach for the Description of Object Behavior Evolution.
journals/amai/Archer00:::Myla Archer:::TAME: Using PVS strategies for special-purpose theorem proving.
journals/amai/MorrisK01:::Robert Morris::Lina Khatib:::General Temporal Knowledge for Planning and Data Mining.
journals/amai/Minoux92:::Michel Minoux:::The Unique Horn-Satisfiability Problem and Quadratic Boolean Equations.
journals/amai/DemetrovicsK93:::János Demetrovics::Gyula O. H. Katona:::A Survey of Some Combinatorial Results Concerning Functional Dependencies in Database Relations.
journals/amai/Hollunder96:::Bernhard Hollunder:::Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems.
journals/amai/Iwanowski94:::Sebastian Iwanowski:::An Algorithm for Model-Based Diagnosis That Considers Time.
journals/amai/HummelM97:::Robert A. Hummel::Larry M. Manevitz:::Combination Calculi for Uncertainty Reasoning: Representing Uncertainty Using Distributions.
journals/amai/Sprinkhuizen-KuyperB99:::Ida G. Sprinkhuizen-Kuyper::Egbert J. W. Boers:::The Local Minima of the Error Surface of the 2-2-1 XOR Network.
journals/amai/Termini02:::Settimo Termini:::On Some Vagaries of Vagueness and Information.
journals/amai/Seipel01:::Dietmar Seipel:::Using clausal deductive databases for defining semantics in disjunctive deductive databases.
journals/amai/HornsbyE02:::Kathleen Hornsby::Max J. Egenhofer:::Modeling Moving Objects over Multiple Granularities.
journals/amai/YuAN98:::Qingxun Yu::Mohammed Almulla::Monroe M. Newborn:::Heuristics Used by HERBY for Semantic Tree Theorem Proving.
journals/amai/Dalal98:::Mukesh Dalal:::Anytime Clausal Reasoning.
