
Conferences in DBLP
 Giuseppe Castagna
Semantic Subtyping: Challenges, Perspectives, and Open Problems. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:120 [Conf]
 Luca Cardelli
Biological Systems as Reactive Systems. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:21 [Conf]
 Nicola Santoro
Mobile Agents Computing: Security Issues and Algorithmic Solutions. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:22 [Conf]
 Luzi Anderegg, Mark Cieliebak, Giuseppe Prencipe
Efficient Algorithms for Detecting Regular Point Configurations. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:2335 [Conf]
 Yuichi Asahiro, Eiji Miyano, Shinichi Shimoirisa
Pickup and Delivery for Moving Objects on Broken Lines. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:3650 [Conf]
 Benjamin Aziz, David Gray, Geoff W. Hamilton
A Static Analysis of PKIBased Systems. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:5165 [Conf]
 Steffen van Bakel, Ugo de'Liguoro
Subtyping Object and Recursive Types Logically. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:6680 [Conf]
 Steffen van Bakel, Stephane Lengrand, Pierre Lescanne
The Language chi: Circuits, Computations and Classical Logic. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:8196 [Conf]
 Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
Checking Risky Events Is Enough for Local Policies. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:97112 [Conf]
 Clara Bertolissi
The Graph Rewriting Calculus: Confluence and Expressiveness. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:113127 [Conf]
 Lorenzo Bettini, Viviana Bono, Silvia Likavec
Safe Object Composition in the Presence of Subtyping. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:128142 [Conf]
 Nadia Busi, Gianluigi Zavattaro
Reachability Analysis in Boxed Ambients. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:143159 [Conf]
 Giuseppe Castagna, Dario Colazzo, Alain Frisch
Error Mining for Regular Expression Patterns. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:160172 [Conf]
 MarieChristine Costa, Fethi Jarray, Christophe Picouleau
Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:173181 [Conf]
 Bhaskar DasGupta, Sergio Ferrarini, Uthra Gopalakrishnan, Nisha Raj Paryani
Inapproximability Results for the Lateral Gene Transfer Problem. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:182195 [Conf]
 Gianluca De Marco, Marco Pellegrini, Giovanni Sburlati
Faster Deterministic Wakeup in Multiple Access Channels. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:196204 [Conf]
 Bruno Escoffier, Jérôme Monnot, Vangelis Th. Paschos
Weighted Coloring: Further Complexity and Approximability Results. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:205214 [Conf]
 Stephen A. Fenner, Yong Zhang
Quantum Algorithms for a Set of Group Theoretic Problems. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:215227 [Conf]
 Jirí Fiala, Jan Kratochvíl
On the Computational Complexity of the L_{(2, 1)}Labeling Problem for Regular Graphs. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:228236 [Conf]
 Giuditta Franco
A Polymerase Based Algorithm for SAT. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:237250 [Conf]
 Stanley P. Y. Fung, Francis Y. L. Chin, Chung Keung Poon
Laxity Helps in Broadcast Scheduling. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:251264 [Conf]
 Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for OneWay Functions in Complexity Theory. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:265279 [Conf]
 Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Synthesis from Temporal Specifications Using Preferred Answer Set Programming. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:280294 [Conf]
 Wojciech Jamroga, Jürgen Dix
Model Checking Strategic Abilities of Agents Under Incomplete Information. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:295308 [Conf]
 Tsvi Kopelowitz, Ely Porat
Improved Algorithms for PolynomialTime Decay and TimeDecay with Additive Error. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:309322 [Conf]
 Tetsuji Kuboyama, Kilho Shin, Tetsuhiro Miyahara, Hiroshi Yasuda
A Theoretical Analysis of Alignment and Edit Problems for Trees. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:323337 [Conf]
 Marco Macchetti, Mario Caironi, Luca Breveglieri, Alessandra Cherubini
A Complete Formulation of Generalized Affine Equivalence. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:338347 [Conf]
 Sabrina Mantaci, Antonio Restivo, G. Rosone, Marinella Sciortino
A New Combinatorial Approach to Sequence Comparison. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:348359 [Conf]
 Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli
A Typed Assembly Language for Noninterference. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:360374 [Conf]
 Venkatesh Raman, Saket Saurabh, Somnath Sikdar
Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:375389 [Conf]
 Jan Schwinghammer
A Typed Semantics of HigherOrder Store and Subtyping. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:390405 [Conf]
 Richard Statman
Two Variables Are Not Enough. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:406409 [Conf]
