conf/icail/Lauritsen93:::Marc Lauritsen:::Knowing Documents.
conf/icail/MoensA03:::Marie-Francine Moens::R. Angheluta:::Concept Extraction from Legal Cases: The Use of a Statistic of Coincidence.
conf/icail/McCarty91:::L. Thorne McCarty:::On the Role of Prototypes in Appellate Legal Argument (Abstract).
conf/icail/McCarty97:::L. Thorne McCarty:::Some Arguments About Legal Arguments.
conf/icail/Horty99:::John F. Horty:::Precedent, deontic logic, and inheritance.
conf/icail/MinskyR87:::Naftaly H. Minsky::David Rozenshtein:::System = Program + Users + Law.
conf/icail/RisslandSF93:::Edwina L. Rissland::David B. Skalak::M. Timur Friedman:::BankXX: A Program to Generate Argument Through Case-Base Research.
conf/icail/IvkovicYS03:::Sasha Ivkovic::John Yearwood::Andrew Stranieri:::Visualizing Association Rules for feedback within the legal system.
conf/icail/Bercic03:::Bostjan Bercic:::Formal representation of the Institute of Criminal Liability.
conf/icail/Cholvy99:::Laurence Cholvy:::Checking regulation consistency by using SOL-resolution.
conf/icail/OskampWSB89:::Anja Oskamp::R. F. Walker::J. A. Schrickx::P. H. van den Berg:::PROLEXS Divide and Rule: A Legal Application.
conf/icail/Indurkhya97:::Bipin Indurkhya:::On Modeling Creativity in Legal Reasoning.
conf/icail/Prakken91:::Henry Prakken:::A Tool in Modelling Disagreement in Law: Preferring the Most Specific Argument.
conf/icail/AshleyA91:::Kevin D. Ashley::Vincent Aleven:::Toward an Intelligent Tutoring System for Teaching Law Students to Argue with Cases.
conf/icail/PoulinBFM93:::Daniel Poulin::Paul Bratley::Jacques Frémont::Ejan Mackaay:::Legal Interpretation in Expert Systems.
conf/icail/RoyakkersD97:::Lambèr M. M. Royakkers::Frank Dignum:::The Logic of Enactment (abstract).
conf/icail/Bench-Capon87:::Trevor J. M. Bench-Capon:::Support for Policy Makers: Formulating Legislation with the Aid of Logical Models.
conf/icail/JohnstonG03:::Benjamin Johnston::Guido Governatori:::Induction of Defeasible Logic Theories in the Legal Domain.
conf/icail/QuaresmaR01:::Paulo Quaresma::Irene Pimenta Rodrigues:::Using logic programming to model multi-agent Web legal systems - an application report.
conf/icail/RoseB89:::Daniel E. Rose::Richard K. Belew:::Legal Information Retrieval a Hybrid Approach.
conf/icail/Sherman89:::D. M. Sherman:::Expert Systems and ICAI in Tax Law: Killing Two Birds with One AI Stone.
conf/icail/OpdorpWSGB91:::G. J. van Opdorp::R. F. Walker::J. A. Schrickx::Cees Groendijk::P. H. van den Berg:::Networks at Work: A Connectionist Approach to Non-Deductive Legal Reasoning.
conf/icail/Aikenhead97:::Michael Aikenhead:::Legal Principles and Analogical Reasoning (Extended Abstract).
conf/icail/Sartor93:::Giovanni Sartor:::A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning.
conf/icail/HuttonPT95:::Neil Hutton::A. Patterson::Cyrus Tata:::Decision Support for Sentencing in a Common Law Jurisdiction.
conf/icail/VoermansK97:::Wim Voermans::Robert W. van Kralingen:::Bringing IT Support for Legislative Drafting one Step Further: From Drafting Dupport to Design Assistance (Abstract).
conf/icail/Oskamp01:::Anja Oskamp:::AI techniques and concept analysis.
conf/icail/Arnold-Moore95:::Timothy Arnold-Moore:::Automatically Processing Amendments to Legislation.
conf/icail/MeikleY01:::Tunde Meikle::John Yearwood:::System development a la MODDE.
conf/icail/BrantingLC97:::Karl Branting::James C. Lester::Charles B. Callaway:::Automated Drafting of Self-Explaining Documents.
conf/icail/HanKASL03:::Zaw Z. Han::Tin T. Khine::Imtinan Ahmad::Sunil Shrestha::Laurence L. Leff:::Interoperability from Electronic Commerce to Litigation Using XML Rules.
conf/icail/RisslandD95:::Edwina L. Rissland::Jody J. Daniels:::A Hybrid CBR-IR Approach to Legal Information Retrieval.
conf/icail/KonstantinouSY93:::Vassilis Konstantinou::John Sykes::Georgios N. Yannopoulos:::Can Legal Knowledge be Derived from Legal Texts?
conf/icail/ConradC03:::Jack G. Conrad::Joanne S. Claussen:::Client-System Collaboration for Legal Corpus Selection in an Online Production Environment.
conf/icalp/Hromkovic84:::Juraj Hromkovic:::Communication Complexity.
conf/icalp/Bala02:::Sebastian Bala:::Intersection of Regular Languages and Star Hierarchy.
conf/icalp/BaoI95:::Feng Bao::Yoshihide Igarashi:::Break Finite Automata Public Key Cryptosystem.
conf/icalp/Schmid92:::Ulrich Schmid:::The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects.
conf/icalp/HromkovicS03:::Juraj Hromkovic::Georg Schnitger:::Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes.
conf/icalp/HromkovicS99:::Juraj Hromkovic::Georg Schnitger:::On the Power of Las Vegas II. Two-Way Finite Automata.
conf/icalp/CaiM87:::Jin-yi Cai::Gabriele E. Meyer:::On the Complexity of Graph Critical Uncolorability.
conf/icalp/McKenzieT89:::Pierre McKenzie::Denis Thérien:::Automata Theory Meets Circuit Complexity.
conf/icalp/Bohm89:::Corrado Böhm:::Subduing Self-Application.
conf/icalp/BolG91:::Roland N. Bol::Jan Friso Groote:::The Meaning of Negative Premises in Transition System Specifications.
conf/icalp/DiekertMM97:::Volker Diekert::Yuri Matiyasevich::Anca Muscholl:::Solving Trace Equations Using Lexicographical Normal Forms.
conf/icalp/ChlebusDP93:::Bogdan S. Chlebus::Krzysztof Diks::Andrzej Pelc:::Sparse Networks Supporting Efficient Reliable Broadcasting.
conf/icalp/DietzfelbingerGMP92:::Martin Dietzfelbinger::Joseph Gil::Yossi Matias::Nicholas Pippenger:::Polynomial Hash Functions Are Reliable (Extended Abstract).
conf/icalp/Cori72:::Robert Cori:::Sur des langages vérifiant des équations avec opérateur.
conf/icalp/BlondelD03:::Vincent D. Blondel::Paul Van Dooren:::Similarity Matrices for Pairs of Graphs.
conf/icalp/GandhiKS01:::Rajiv Gandhi::Samir Khuller::Aravind Srinivasan:::Approximation Algorithms for Partial Covering Problems.
conf/icalp/MainBH85:::Michael G. Main::Walter Bucher::David Haussler:::Applications of an Infinite Squarefree CO-CFL.
conf/icalp/AltBW90:::Helmut Alt::Johannes Blömer::Hubert Wagener:::Approximation of Convex Polygons.
conf/icalp/ChazelleRT01:::Bernard Chazelle::Ronitt Rubinfeld::Luca Trevisan:::Approximating the Minimum Spanning Tree Weight in Sublinear Time.
conf/icalp/Johnson85:::J. Howard Johnson:::Do Rational Equivalence Relations have Regular Cross-Sections?
conf/icalp/Johnson86:::J. Howard Johnson:::Rational Equivalence Relations.
conf/icalp/ErnoultM91:::Christine Ernoult::Alan Mycroft:::Uniform Ideals and Strictness Analysis.
conf/icalp/GilM94:::Joseph Gil::Yossi Matias:::Simple Fast Parallel Hashing.
conf/icalp/BusattoH00:::Giorgio Busatto::Pieter Jan't Hoen:::A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics.
conf/icalp/Schmidt79:::Gunther Schmidt:::Investigating Programs in Terms of Partial Graphs.
conf/icalp/LengauerW88:::Thomas Lengauer::Egon Wanke:::Efficient Analysis of Graph Properties on Context-free Graph Languages (Extended Abstract).
conf/icalp/JurgensenK95:::Helmut Jürgensen::Stavros Konstantinidis:::Variable-Length Codes for Error Correction.
conf/icalp/BozanisKMT95:::Panayiotis Bozanis::Nectarios Kitsios::Christos Makris::Athanasios K. Tsakalidis:::New Upper Bounds for Generalized Intersection Searching Problems.
conf/icalp/LiV89:::Ming Li::Paul M. B. Vitányi:::How to Share Concurrent Asynchronous Wait-Free Varaibles (Preliminary Version).
conf/icalp/MoriconiS81:::Mark Moriconi::Richard L. Schwartz:::Automatic Construction of Verification Condition Generators From Hoare Logics.
conf/icalp/ChrobakCINSW01:::Marek Chrobak::János Csirik::Csanád Imreh::John Noga::Jiri Sgall::Gerhard J. Woeginger:::The Buffer Minimization Problem for Multiprocessor Scheduling with Conflicts.
conf/icalp/Pin78:::Jean-Eric Pin:::Sur un Cas Particulier de la Conjecture de Cerny.
conf/icalp/Pin80:::Jean-Eric Pin:::Proprietes syntactiques du produit non ambigu.
conf/icalp/HeintzS81:::Joos Heintz::Malte Sieveking:::Absolute Primality of Polynomials is Decidable in Random Polynomial Time in the Number of Variables.
conf/icalp/Schnorr78:::Claus-Peter Schnorr:::Multiterminal Network Flow and Connectivity in Unsymmetrical Networks.
conf/icalp/SistlaVW85:::A. Prasad Sistla::Moshe Y. Vardi::Pierre Wolper:::The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).
conf/icalp/MannaP83:::Zohar Manna::Amir Pnueli:::Proving Precedence Properties: The Temporal Way.
conf/icalp/BorchertKS98:::Bernd Borchert::Dietrich Kuske::Frank Stephan:::On Existentially First-Order Definable Languages and Their Relation to NP.
conf/icalp/EhrenfeuchtR80:::Andrzej Ehrenfeucht::Grzegorz Rozenberg:::DOS Systems and Languages.
conf/icalp/Kemp79:::Rainer Kemp:::On the Average Stack Size of Regularly Distributed Binary Trees.
conf/icalp/CookFMSS98:::Doug Cook::Vance Faber::Madhav V. Marathe::Aravind Srinivasan::Yoram J. Sussmann:::Low-Bandwidth Routing and Electrical Power Networks.
conf/icalp/King81:::K. N. King:::Alternating Multihead Finite Automata (Extended Abstract).
conf/icalp/Peled03:::Doron Peled:::Model Checking and Testing Combined.
conf/icalp/Monien74:::Burkhard Monien:::Characterizations of Time-Bounded Computations by Limited Primitive Recursion.
conf/icalp/Pansiot84:::Jean-Jacques Pansiot:::Complexité des Facteurs des Mots Infinis Engendrés par Morphimes Itérés.
conf/icalp/Krob90:::Daniel Krob:::A Complete System of B-Rational Identities.
conf/icalp/PowerR98:::John Power::Giuseppe Rosolini:::A Modular Approach to Denotational Semantics.
conf/icalp/PowerT99:::John Power::Hayo Thielecke:::Closed Freyd- and kappa-categories.
conf/icalp/BournezM00:::Olivier Bournez::Oded Maler:::On the Representation of Timed Polyhedra.
conf/icalp/HondaY97:::Kohei Honda::Nobuko Yoshida:::Game Theoretic Analysis of Call-by-Value Computation.
conf/icalp/Ainhirn80:::W. Ainhirn:::How to Get Rid of Pseudoterminals.
conf/icalp/MeyerSM81:::Albert R. Meyer::Robert S. Streett::Grazyna Mirkowska:::The Deducibility Problem in Propositional Dynamic Logic.
conf/icalp/BenedekI88:::Gyora M. Benedek::Alon Itai:::Nonuniform Learnability.
conf/icalp/Martin00:::Keye Martin:::The Measurement Process in Domain Theory.
conf/icalp/Berman80:::Piotr Berman:::A Note on Sweeping Automata.
conf/icalp/LingasOO99:::Andrzej Lingas::Hans Olsson::Anna Östlin:::Efficient Merging, Construction, and Maintenance of Evolutionary Trees.
conf/icalp/AumannB96:::Yonatan Aumann::Michael A. Bender:::Efficient Asynchronous Consensus with the Value-Oblivious Adversary Scheduler.
conf/icalp/PazR72:::Azaria Paz::Michael Rabinovich:::Linear Automata - Approximation Problem (Extended Abstract).
conf/icalp/Senizergues99:::Géraud Sénizergues:::T(A) = T(B)?
conf/icalp/JohannsenL03:::Jan Johannsen::Martin Lange:::CTL<sup>+</sup> Is Complete for Double Exponential Time.
conf/icalp/PanangadenSS90:::Prakash Panangaden::Vasant Shanbhogue::Eugene W. Stark:::Stability and Sequentiality in Dataflow Networks.
conf/icalp/Reif81:::John H. Reif:::Minimum S-T Cut of a Planar Undirected Network in O(n log²(n)) Time.
conf/icalp/Kreowski87:::Hans-Jörg Kreowski:::Partial Algebras Flow From Algebraic Specifications.
conf/icalp/Sintzoff76:::Michel Sintzoff:::Eliminating Blind Alleys from Backtrack Programs.
conf/icalp/Havill01:::Jessen T. Havill:::Online Packet Routing on Linear Arrays and Rings.
conf/icalp/Matthes00:::Ralph Matthes:::Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types.
conf/icalp/EngelfrietF80:::Joost Engelfriet::Gilberto Filé:::Formal Properties of One-Visit and Multi-Pass Attribute Grammars.
conf/icalp/CleavelandI00:::Rance Cleaveland::S. Purushothaman Iyer:::Branching-Time Probalistic Model Checking.
conf/icalp/Snir80:::Marc Snir:::On the Size Complexity of Monotone Formulas.
conf/icalp/Flajolet85:::Philippe Flajolet:::Ambiguity and Transcendence.
conf/icalp/HenzingerT96:::Monika Rauch Henzinger::Mikkel Thorup:::Improved Sampling with Applications to Dynamic Graph Algorithms.
conf/icalp/GabbrielliL91:::Maurizio Gabbrielli::Giorgio Levi:::On the Semantics of Logic Programs.
conf/icalp/ChenN96:::Xiao Jun Chen::Rocco De Nicola:::Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.
conf/icalp/StraubingTT88:::Howard Straubing::Denis Thérien::Wolfgang Thomas:::regular Languages Defined with Generalized Quantifiers.
conf/icalp/BrodoDP00:::Linda Brodo::Pierpaolo Degano::Corrado Priami:::A tool for quantitative analysis of calculus processes.
conf/icalp/BorosEGKM03:::Endre Boros::Khaled M. Elbassioni::Vladimir Gurvich::Leonid Khachiyan::Kazuhisa Makino:::An Intersection Inequality for Discrete Distributions and Related Generation Problems.
conf/icalp/Hagerup00:::Torben Hagerup:::Improved Shortest Paths on the Word RAM.
conf/icalp/Wegener01:::Ingo Wegener:::Theoretical Aspects of Evolutionary Algorithms.
conf/icalp/BroderFSU92:::Andrei Z. Broder::Alan M. Frieze::Eli Shamir::Eli Upfal:::Near-perfect Token Distribution.
conf/icalp/MollerT92:::Faron Moller::Chris M. N. Tofts:::Behavioural Abstraction in TCCS.
conf/icalp/ItaiKR81:::Alon Itai::Alan G. Konheim::Michael Rodeh:::A Sparse Table Implementation of Priority Queues.
conf/icalp/ComptonD99:::Kevin J. Compton::Scott Dexter:::Proof Techniques for Cryptographic Protocols.
conf/icalp/YouS86:::Jia-Huai You::P. A. Subrahmanyam:::E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.
conf/icalp/Jansen97:::Klaus Jansen:::Approximation Results for the Optimum Cost Partition Problem.
conf/icalp/AnconaFMZ03:::Davide Ancona::Sonia Fagorzi::Eugenio Moggi::Elena Zucca:::Mixin Modules and Computational Effects.
conf/icalp/Friede79:::Dietmar Friede:::Partitioned LL(k) Grammars.
conf/icalp/Danvy98:::Olivier Danvy:::A Simple Solution to Type Specialization.
conf/icalp/Gargano98:::Luisa Gargano:::Limited Wavelength Conversion in All-Optical Tree Networks.
conf/icalp/DamicoMM98:::Michele D'amico::Giovanni Manzini::Luciano Margara:::On Computing the Entropy of Cellular Automata.
conf/icalp/AlstrupH00:::Stephen Alstrup::Jacob Holm:::Improved Algorithms for Finding Level Ancestors in Dynamic Trees.
conf/icalp/DeganoP92:::Pierpaolo Degano::Corrado Priami:::Proved Trees.
conf/icalp/Comon91:::Hubert Comon:::Complete Axiomatizations of Some Quotient Term Algebras.
conf/icalp/ChandraFL83:::Ashok K. Chandra::Steven Fortune::Richard J. Lipton:::Lower Bounds for Constant Depth Circuits for Prefix Problems.
conf/icalp/FussellRT89:::Donald S. Fussell::Vijaya Ramachandran::Ramakrishna Thurimella:::Finding Triconnected Components by Local Replacements.
conf/icalp/CorradiniN94:::Flavio Corradini::Rocco De Nicola:::Distribution and Locality of Concurrent Systems.
conf/icalp/Joung96:::Yuh-Jzer Joung:::Characterizing Fairness Implementability for Multiparty Interaction.
conf/icalp/Miyano87:::Satoru Miyano:::The Lexicographically First Maximal Subgraph Problems: P-Completeness and NC Algorithms.
conf/icalp/Buresh-OppenheimCIP00:::Josh Buresh-Oppenheim::Matthew Clegg::Russell Impagliazzo::Toniann Pitassi:::Homogenization and the Polynominal Calculus.
conf/icalp/Restivo76:::Antonio Restivo:::On a Family of Codes Related to Factorization of Cyclotomic Polynomials.
conf/icalp/AggarwalC88:::Alok Aggarwal::Ashok K. Chandra:::Communication Complexity of PRAMs (Preliminary Version).
conf/icalp/PettieR00:::Seth Pettie::Vijaya Ramachandran:::An Optimal Minimum Spanning Tree Algorithm.
conf/icalp/BergerBBCR03:::Noam Berger::Béla Bollobás::Christian Borgs::Jennifer T. Chayes::Oliver Riordan:::Degree Distribution of the FKP Network Model.
conf/icalp/EhrigWT83:::Hartmut Ehrig::Eric G. Wagner::James W. Thatcher:::Algebraic Specifications with Generating Constraints.
conf/icalp/Thorup01:::Mikkel Thorup:::Quick k-Median, k-Center, and Facility Location for Sparse Graphs.
conf/icalp/ShankarKSR01:::Priti Shankar::P. N. A. Kumar::Harmeet Singh::B. Sundar Rajan:::Minimal Tail-Biting Trellises for Certain Cyclic Block Codes Are Easy to Construct.
conf/icalp/SethiT79:::Ravi Sethi::Adrian Tang:::Constructing Call-by-Value Continuation Semantics.
conf/icalp/Gunter85:::Carl A. Gunter:::A Universal Domain Technique for Profinite Posets.
conf/icalp/RaoultS82:::Jean-Claude Raoult::Ravi Sethi:::Properties of a Notation for Combining Functions.
conf/icalp/Spehner86:::Jean-Claude Spehner:::Un Algorithme Determinant les Melanges de Deux Mots.
conf/icalp/Spehner88:::Jean-Claude Spehner:::La Reconnaissance des Facteurs d'un Language Fini dans un Texte en Temps Lineaire (Resume).
conf/icalp/DiekertG00:::Volker Diekert::Paul Gastin:::LTL Is Expressively Complete for Mazurkiewicz Traces.
conf/icalp/CraryM99:::Karl Crary::J. Gregory Morrisett:::Type Structure for Low-Level Programming Languages.
conf/icalp/SantisCP00:::Alfredo De Santis::Giovanni Di Crescenzo::Giuseppe Persiano:::Necessary and Sufficient Assumptions for Non-iterative Zero-Knowledge Proofs of Knowledge for All NP Relations.
conf/icalp/SantisCP99:::Alfredo De Santis::Giovanni Di Crescenzo::Giuseppe Persiano:::Non-Interactive Zero-Knowledge: A Low-Randomness Characterization of NP.
conf/icalp/HagerupMM93:::Torben Hagerup::Kurt Mehlhorn::J. Ian Munro:::Maintaining Discrete Probability Distributions Optimally.
conf/icalp/KuceraM99:::Antonín Kucera::Richard Mayr:::Simulation Preorder on Simple Process Algebras.
conf/icalp/Hashiguchi96:::Kosaburo Hashiguchi:::New Upper Bounds to the Limitedness of Distance Automata.
conf/icalp/BajajK88:::Chandrajit L. Bajaj::Myung-Soo Kim:::Algorithms for Planar Geometric Models.
conf/icalp/Cartwright76:::Robert Cartwright:::User-Defined Data Types as an Aid to Verifying LISP Programs.
conf/icalp/BohmCD77:::Corrado Böhm::Mario Coppo::Mariangiola Dezani-Ciancaglini:::Termination Tests inside lambda-Calculus.
conf/icalp/AldiniB00:::Alessandro Aldini::Mario Bravetti:::An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
conf/icalp/FreivaldsK94:::Rusins Freivalds::Marek Karpinski:::Lower Space Bounds for Randomized Computation.
conf/icalp/LongoZ76:::Giuseppe Longo::Marisa Venturini Zilli:::A Theory of Computation with an Identity Discriminator.
conf/icalp/Miculan99:::Marino Miculan:::Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions.
conf/icalp/AchlioptasKKT00:::Dimitris Achlioptas::J. H. Kim::Michael Krivelevich::Prasad Tetali:::Two-coloring Random Hypergraphs.
conf/icalp/KhullerMV91:::Samir Khuller::Stephen G. Mitchell::Vijay V. Vazirani:::On-Line Algorithms for Weighted Bipartite Matching and Stable Marriages.
conf/icalp/Engelfriet77:::Joost Engelfriet:::Macro Grammars, Lindenmayer Systems and Other Copying Devices.
conf/icalp/FocardiGM00:::Riccardo Focardi::Roberto Gorrieri::Fabio Martinelli:::Non Interference for the Analysis of Cryptographic Protocols.
conf/icalp/BuccafurriGS97:::Francesco Buccafurri::Sergio Greco::Domenico Saccà:::The Expressive Power of Unique Total Stable Model Semantics.
conf/icalp/LagergrenA91:::Jens Lagergren::Stefan Arnborg:::Finding Minimal Forbidden Minors Using a Finite Congruence.
conf/icalp/LangeJK87:::Klaus-Jörn Lange::Birgit Jenner::Bernd Kirsig:::The Logarithmic Alternation Hierarchiy Collapses: A Sigma^C_2 = A Pi^C_2.
conf/icalp/SheuL92:::Ming-Jye Sheu::Timothy J. Long:::UP and the Low and High Hierarchies: A Relativized Separation.
conf/icalp/Ablayev97:::Farid M. Ablayev:::Randomization and Nondeterminism Are Comparable for Ordered Read-Once Branching Programs.
conf/icalp/Kuich87:::Werner Kuich:::The Kleene and the Parikh Theorem in Complete Semirings.
conf/icalp/Kuske00:::Dietrich Kuske:::Infinite Series-Parallel Posets: Logic and Languages.
conf/icalp/DodisK99:::Yevgeniy Dodis::Sanjeev Khanna:::Space Time Tradeoffs for Graph Properties.
conf/icalp/Perrin76:::Dominique Perrin:::Sur la longeur moyenne des codes préfixes.
conf/icalp/Sharir81:::Micha Sharir:::Data Flow Analysis of Applicative Programs.
conf/icalp/BleichenbacherKY03:::Daniel Bleichenbacher::Aggelos Kiayias::Moti Yung:::Decoding of Interleaved Reed Solomon Codes over Noisy Data.
conf/icalp/BaligaC93:::Ganesh Baliga::John Case:::Learnability: Admissible, Co-finite, and Hypersimple Languages.
conf/icalp/CieliebakFPS03:::Mark Cieliebak::Paola Flocchini::Giuseppe Prencipe::Nicola Santoro:::Solving the Robots Gathering Problem.
conf/icalp/DurisG91:::Pavol Duris::Zvi Galil:::On the Power of Multiple Reads in a Chip.
conf/icalp/DurisG95:::Pavol Duris::Zvi Galil:::Sensing Versus Nonsensing Automata.
conf/icalp/FarachM96:::Martin Farach::S. Muthukrishnan:::Optimal Logarithmic Time Randomized Suffix Tree Construction.
conf/icalp/BergstraK82:::Jan A. Bergstra::Jan Willem Klop:::Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras.
conf/icalp/Vilfan72:::Bostjan Vilfan:::A Generalization of a Theorem of Specker and Some Applications.
conf/icalp/PoulalhonS03:::Dominique Poulalhon::Gilles Schaeffer:::Optimal Coding and Sampling of Triangulations.
conf/icalp/KoblerW95:::Johannes Köbler::Osamu Watanabe:::New Collapse Consequences of NP Having Small Circuits.
conf/icalp/DobkinK82:::David P. Dobkin::David G. Kirkpatrick:::Fast Detection of Polyhedral Intersections.
conf/icalp/DobkinK90:::David P. Dobkin::David G. Kirkpatrick:::Determining the Separation of Preprocessed Polyhedra - A Unified Approach.
conf/icalp/FixFG91:::Limor Fix::Nissim Francez::Orna Grumberg:::Program Composition and Modular Verification.
conf/icalp/PnueliS77:::Amir Pnueli::Giora Slutzki:::Simple Programs and Their Decision Problems.
conf/icalp/PnueliZ81:::Amir Pnueli::R. Zarhi:::Realizing an Equational Specification.
conf/icalp/Even-DarKM03:::Eyal Even-Dar::Alexander Kesselman::Yishay Mansour:::Convergence Time to Nash Equilibria.
conf/icalp/MilnerS92:::Robin Milner::Davide Sangiorgi:::Barbed Bisimulation.
conf/icalp/HoogersKT92:::P. W. Hoogers::H. C. M. Kleijn::P. S. Thiagarajan:::A Trace Semantics for Petri Nets (Extended Abstract).
conf/icalp/MalacariaH98:::Pasquale Malacaria::Chris Hankin:::Generalised Flowcharts and Games.
conf/icalp/PezzeB00:::Mauro Pezzè::Luciano Baresi:::Can Graph Grammars Make Formal Methods More Human?
conf/icalp/SannellaT92:::Donald Sannella::Andrzej Tarlecki:::Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.
conf/icalp/SannellaW82:::Donald Sannella::Martin Wirsing:::Implementation of Parameterised Specifications (Extended Abstract).
conf/icalp/FeigenbaumIMNSW01:::Joan Feigenbaum::Yuval Ishai::Tal Malkin::Kobbi Nissim::Martin Strauss::Rebecca N. Wright:::Secure Multiparty Computation of Approximations.
conf/icalp/Galil80:::Zvi Galil:::An Almost Linaer Time Algorithm for Computing a Dependency Basis in a Relational Data Base.
conf/icalp/DershowitzKP89:::Nachum Dershowitz::Stéphane Kaplan::David A. Plaisted:::Infinite Normal Forms (Preliminary Version).
conf/icalp/HitchcockLM03:::John M. Hitchcock::Jack H. Lutz::Elvira Mayordomo:::Scaled Dimension and Nonuniform Complexity.
conf/icalp/HarjuIKS01:::Tero Harju::Oscar H. Ibarra::Juhani Karhumäki::Arto Salomaa:::Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages.
conf/icalp/PrzytyckaL94:::Teresa M. Przytycka::Lawrence L. Larmore:::The Optimal Alphabetic Tree Problem Revisited.
