Skip to content

International Colloquium on Automata Languages and Programming

ICALP

A*

CORE rank

CORE rank (raw)

A*

Fields of research

Theory of Computation

Papers indexed

4,916

1972–2026

Papers per year

1972193 peak2026

ICALP papers

4,916 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1998Axioms for Contextual Net Processes.Fabio Gadducci, Ugo Montanari
1998A Hierarchy of Equivalences for Asynchronous Calculi.Cdric Fournet, Georges Gonthier
1998A Genuinely Polynomial-Time Algorithms for Sampling Two-Rowed Contingency Tables.Martin E. Dyer, Catherine S. Greenhill
1998Power of Cooperation and Multihead Finite Systems.Pavol Duris, Tomasz Jurdzinski, Miroslaw Kutylowski, Krzysztof Lorys
1998Reset Nets Between Decidability and Undecidability.Catherine Dufourd, Alain Finkel, Philippe Schnoebelen
1998A Simple Solution to Type Specialization.Olivier Danvy
1998On Computing the Entropy of Cellular Automata.Michele d'Amico, Giovanni Manzini, Luciano Margara
1998Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP.Ivan Damgrd, Birgit Pfitzmann
1998A Polynomial Time Approximation Scheme for Euclidean Minimum Cost k-Connectivity.Artur Czumaj, Andrzej Lingas
1998Low-Bandwidth Routing and Electrical Power Networks.Doug Cook, Vance Faber, Madhav V. Marathe, Aravind Srinivasan, Yoram J. Sussmann
1998Static and Dynamic Low-Congested Interval Routing Schemes.Serafino Cicerone, Gabriele Di Stefano, Michele Flammini
1998Compact Encodings of Planar Graphs via Canonical Orderings and Multiple Parentheses.Richie Chih-Nan Chuang, Ashim Garg, Xin He, Ming-Yang Kao, Hsueh-I Lu
1998Computing Mimicking Networks.Shiva Chaudhuri, K. V. Subrahmanyam, Frank Wagner, Christos D. Zaroliagis
1998On the Determinization of Weighted Finite Automata.Adam L. Buchsbaum, Raffaele Giancarlo, Jeffery R. Westbrook
1998Totality, Definability and Boolean Ciruits.Antonio Bucciarelli, Ivano Salvo
1998Quantum Counting.Gilles Brassard, Peter Hyer, Alain Tapp
1998New Horizons in Quantum Information Processing.Gilles Brassard
1998On Existentially First-Order Definable Languages and Their Relation to NP.Bernd Borchert, Dietrich Kuske, Frank Stephan
1998On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).Bernard Boigelot, Stphane Rassart, Pierre Wolper
1998Inversion of Circulant Matrices over ZDario Bini, Gianna M. Del Corso, Giovanni Manzini, Luciano Margara
1998CONS-Free Programs with Tree Input (Extended Abstract).Amir M. Ben-Amram, Holger Petersen
1998Efficient Approximation Algorithms for the Subset-Sums Equality Problem.Cristina Bazgan, Miklos Santha, Zsolt Tuza
1998The Relevance of Proof-Irrelevance.Gilles Barthe
1998Concatenable Graph Processes: Relating Processes and Derivation Traces.Paolo Baldan, Andrea Corradini, Ugo Montanari
1998Metric Semantics for True Concurrent Real Time.Christel Baier, Joost-Pieter Katoen, Diego Latella
3,6513,675 of 4,916← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.