Conferences in DBLP

Italian Conference on Theoretical Computer Science (ICTCS) (ictcs)
2003 (conf/ictcs/2003)

1. Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul G. Spirakis
   Extreme Nash Equilibria. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:1-20 [Conf]
   
2. Martin Hofmann
   Certification of Memory Usage. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:21- [Conf]
   
3. Gérard Boudol
   On Programming Models for Mobility. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:22- [Conf]
   
4. Harry G. Mairson, Kazushige Terui
   On the Computational Complexity of Cut-Elimination in Linear Logic. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:23-36 [Conf]
   
5. Claudio Sacerdoti Coen
   A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:37-57 [Conf]
   
6. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
   Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:58-71 [Conf]
   
7. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
   Towards Compact and Tractable Automaten-Based Representations of Time Granularities. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:72-85 [Conf]
   
8. Alberto Bertoni, Carlo Mereghetti, Beatrice Palano
   Lower Bounds on the Size of Quantum Automata Accepting Unary Languages. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:86-96 [Conf]
   
9. Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
   Refined Effects for Unanticipated Object Re-classification: Fickle₃. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2003, pp:97-110 [Conf]
   
10. Qiwei Huang, Errol L. Lloyd
    Cost Constrained Fixed Job Scheduling. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:111-124 [Conf]
    
11. Jens Gustedt, Jan Arne Telle
    A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:125-136 [Conf]
    
12. Alessandro Ferrante, Mimmo Parente
    An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:137-149 [Conf]
    
13. Alan A. Bertossi, Maria Cristina Pinotti, Romeo Rizzi, Anil M. Shende
    Channel Assignment in Honeycomb Networks. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:150-162 [Conf]
    
14. Tiziana Calamoneri
    Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:163-173 [Conf]
    
15. Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
    The Complexity of Checking Consistency of Pedigree Information and Related Problems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:174-187 [Conf]
    
16. K. Subramani
    On Clausal Equivalence and Hull Inclusion. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:188-201 [Conf]
    
17. Steffen van Bakel, Ugo de'Liguoro
    Logical Semantics for the First Order varsigma-Calculus. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:202-215 [Conf]
    
18. Ugo Dal Lago
    On the Expressive Power of Light Affine Logic. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:216-227 [Conf]
    
19. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about Self and Others: Communicating Agents in a Model Action Logic. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:228-241 [Conf]
    
20. Felice Cardone, Mario Coppo
    Decidability Properties of Recursive Types. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:242-255 [Conf]
    
21. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Algebraic Theories for Contextual Pre-nets. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:256-270 [Conf]
    
22. Daniela Cancila, Furio Honsell
    A Coalgebraic Description of Web Interactions. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:271-283 [Conf]
    
23. Davide Ancona, Sonia Fagorzi, Elena Zucca
    A Calculus for Dynamic Linking. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:284-301 [Conf]
    
24. Giovanni Lagorio
    Towards a Smart Compilation Manager for Java. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:302-315 [Conf]
    
25. Stelvio Cimato, Paolo D'Arco, Ivan Visconti
    Anonymous Group Communication in Mobile Networks. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:316-328 [Conf]
    
26. Amparo Fúster-Sabater
    Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:329-341 [Conf]
    
27. Anna Lisa Ferrara, Barbara Masucci
    An Information-Theoretic Approach to the Access Control Problem. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:342-354 [Conf]
    
28. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Security-Aware Program Transformations. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:355-368 [Conf]
    
29. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Information Flow Security and Recursive Systems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:369-382 [Conf]
    
30. Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Compositional Verification of Secure Streamed Data: A Case Study with EMSS. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:383-396 [Conf]