Search dblp for Publications

export results for "toc:db/conf/ictcs/ictcs2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ictcs/AndereggCP05,
  author       = {Luzi Anderegg and
                  Mark Cieliebak and
                  Giuseppe Prencipe},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Efficient Algorithms for Detecting Regular Point Configurations},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {23--35},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_4},
  doi          = {10.1007/11560586\_4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/AndereggCP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/AsahiroMS05,
  author       = {Yuichi Asahiro and
                  Eiji Miyano and
                  Shinichi Shimoirisa},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Pickup and Delivery for Moving Objects on Broken Lines},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {36--50},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_5},
  doi          = {10.1007/11560586\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/AsahiroMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/AzizGH05,
  author       = {Benjamin Aziz and
                  David Gray and
                  Geoff W. Hamilton},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {A Static Analysis of PKI-Based Systems},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_6},
  doi          = {10.1007/11560586\_6},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/AzizGH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/BakelLL05,
  author       = {Steffen van Bakel and
                  St{\'{e}}phane Lengrand and
                  Pierre Lescanne},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {The Language chi: Circuits, Computations and Classical Logic},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {81--96},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_8},
  doi          = {10.1007/11560586\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BakelLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Bakeld05,
  author       = {Steffen van Bakel and
                  Ugo de'Liguoro},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Subtyping Object and Recursive Types Logically},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_7},
  doi          = {10.1007/11560586\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/Bakeld05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/BartolettiDF05,
  author       = {Massimo Bartoletti and
                  Pierpaolo Degano and
                  Gian{-}Luigi Ferrari},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Checking Risky Events Is Enough for Local Policies},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_9},
  doi          = {10.1007/11560586\_9},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BartolettiDF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Bertolissi05,
  author       = {Clara Bertolissi},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {The Graph Rewriting Calculus: Confluence and Expressiveness},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_10},
  doi          = {10.1007/11560586\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/Bertolissi05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/BettiniBL05,
  author       = {Lorenzo Bettini and
                  Viviana Bono and
                  Silvia Likavec},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Safe Object Composition in the Presence of Subtyping},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {128--142},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_11},
  doi          = {10.1007/11560586\_11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BettiniBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/BusiZ05,
  author       = {Nadia Busi and
                  Gianluigi Zavattaro},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Reachability Analysis in Boxed Ambients},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_12},
  doi          = {10.1007/11560586\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BusiZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Cardelli05,
  author       = {Luca Cardelli},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Biological Systems as Reactive Systems},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {21},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_2},
  doi          = {10.1007/11560586\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/Cardelli05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Castagna05,
  author       = {Giuseppe Castagna},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Semantic Subtyping: Challenges, Perspectives, and Open Problems},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_1},
  doi          = {10.1007/11560586\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/Castagna05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/CastagnaCF05,
  author       = {Giuseppe Castagna and
                  Dario Colazzo and
                  Alain Frisch},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Error Mining for Regular Expression Patterns},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {160--172},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_13},
  doi          = {10.1007/11560586\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/CastagnaCF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/CostaJP05,
  author       = {Marie{-}Christine Costa and
                  Fethi Jarray and
                  Christophe Picouleau},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal
                  Projections},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {173--181},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_14},
  doi          = {10.1007/11560586\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/CostaJP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/DasGuptaFGP05,
  author       = {Bhaskar DasGupta and
                  Sergio Ferrarini and
                  Uthra Gopalakrishnan and
                  Nisha Raj Paryani},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Inapproximability Results for the Lateral Gene Transfer Problem},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {182--195},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_15},
  doi          = {10.1007/11560586\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/DasGuptaFGP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/EscoffierMP05,
  author       = {Bruno Escoffier and
                  J{\'{e}}r{\^{o}}me Monnot and
                  Vangelis Th. Paschos},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Weighted Coloring: Further Complexity and Approximability Results},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {205--214},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_17},
  doi          = {10.1007/11560586\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/EscoffierMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/FennerZ05,
  author       = {Stephen A. Fenner and
                  Yong Zhang},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Quantum Algorithms for a Set of Group Theoretic Problems},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {215--227},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_18},
  doi          = {10.1007/11560586\_18},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/FennerZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/FialaK05,
  author       = {Jir{\'{\i}} Fiala and
                  Jan Kratochv{\'{\i}}l},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {On the Computational Complexity of the \emph{L}\({}_{\mbox{(2, 1)}}\)-Labeling
                  Problem for Regular Graphs},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {228--236},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_19},
  doi          = {10.1007/11560586\_19},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/FialaK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Franco05,
  author       = {Giuditta Franco},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {A Polymerase Based Algorithm for {SAT}},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {237--250},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_20},
  doi          = {10.1007/11560586\_20},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/Franco05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/FungCP05,
  author       = {Stanley P. Y. Fung and
                  Francis Y. L. Chin and
                  Chung Keung Poon},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Laxity Helps in Broadcast Scheduling},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {251--264},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_21},
  doi          = {10.1007/11560586\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/FungCP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/HemaspaandraRS05,
  author       = {Lane A. Hemaspaandra and
                  J{\"{o}}rg Rothe and
                  Amitabh Saxena},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Enforcing and Defying Associativity, Commutativity, Totality, and
                  Strong Noninvertibility for One-Way Functions in Complexity Theory},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {265--279},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_22},
  doi          = {10.1007/11560586\_22},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/HemaspaandraRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/HeymansNV05,
  author       = {Stijn Heymans and
                  Davy Van Nieuwenborgh and
                  Dirk Vermeir},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Synthesis from Temporal Specifications Using Preferred Answer Set
                  Programming},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {280--294},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_23},
  doi          = {10.1007/11560586\_23},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/HeymansNV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/JamrogaD05,
  author       = {Wojciech Jamroga and
                  J{\"{u}}rgen Dix},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Model Checking Strategic Abilities of Agents Under Incomplete Information},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {295--308},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_24},
  doi          = {10.1007/11560586\_24},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/JamrogaD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/KopelowitzP05,
  author       = {Tsvi Kopelowitz and
                  Ely Porat},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Improved Algorithms for Polynomial-Time Decay and Time-Decay with
                  Additive Error},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {309--322},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_25},
  doi          = {10.1007/11560586\_25},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/KopelowitzP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/KuboyamaSMY05,
  author       = {Tetsuji Kuboyama and
                  Kilho Shin and
                  Tetsuhiro Miyahara and
                  Hiroshi Yasuda},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {A Theoretical Analysis of Alignment and Edit Problems for Trees},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {323--337},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_26},
  doi          = {10.1007/11560586\_26},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/KuboyamaSMY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/MacchettiCBC05,
  author       = {Marco Macchetti and
                  Mario Caironi and
                  Luca Breveglieri and
                  Alessandra Cherubini},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {A Complete Formulation of Generalized Affine Equivalence},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {338--347},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_27},
  doi          = {10.1007/11560586\_27},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/MacchettiCBC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/MantaciRRS05,
  author       = {Sabrina Mantaci and
                  Antonio Restivo and
                  Giovanna Rosone and
                  Marinella Sciortino},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {A New Combinatorial Approach to Sequence Comparison},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {348--359},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_28},
  doi          = {10.1007/11560586\_28},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MantaciRRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/MarcoPS05,
  author       = {Gianluca De Marco and
                  Marco Pellegrini and
                  Giovanni Sburlati},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Faster Deterministic Wakeup in Multiple Access Channels},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {196--204},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_16},
  doi          = {10.1007/11560586\_16},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/MarcoPS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/MedelCB05,
  author       = {Ricardo H. Medel and
                  Adriana B. Compagnoni and
                  Eduardo Bonelli},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {A Typed Assembly Language for Non-interference},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {360--374},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_29},
  doi          = {10.1007/11560586\_29},
  timestamp    = {Sat, 13 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/MedelCB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/RamanSS05,
  author       = {Venkatesh Raman and
                  Saket Saurabh and
                  Somnath Sikdar},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Improved Exact Exponential Algorithms for Vertex Bipartization and
                  Other Problems},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {375--389},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_30},
  doi          = {10.1007/11560586\_30},
  timestamp    = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/RamanSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Santoro05,
  author       = {Nicola Santoro},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Mobile Agents Computing: Security Issues and Algorithmic Solutions},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {22},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_3},
  doi          = {10.1007/11560586\_3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/Santoro05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Schwinghammer05,
  author       = {Jan Schwinghammer},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {A Typed Semantics of Higher-Order Store and Subtyping},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {390--405},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_31},
  doi          = {10.1007/11560586\_31},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/Schwinghammer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Statman05,
  author       = {Richard Statman},
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Two Variables Are Not Enough},
  booktitle    = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  pages        = {406--409},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586\_32},
  doi          = {10.1007/11560586\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/Statman05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ictcs/2005,
  editor       = {Mario Coppo and
                  Elena Lodi and
                  G. Michele Pinna},
  title        = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
                  Siena, Italy, October 12-14, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3701},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560586},
  doi          = {10.1007/11560586},
  isbn         = {3-540-29106-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.