Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ictcs/ictcs2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/ictcs/AcetoHIJK03,
author = {Luca Aceto and
Jens A. Hansen and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Jacob Johnsen and
John Knudsen},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {The Complexity of Checking Consistency of Pedigree Information and
Related Problems},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {174--187},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_15},
doi = {10.1007/978-3-540-45208-9\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AcetoHIJK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaFZ03,
author = {Davide Ancona and
Sonia Fagorzi and
Elena Zucca},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {A Calculus for Dynamic Linking},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {284--301},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_23},
doi = {10.1007/978-3-540-45208-9\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaFZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Bakeld03,
author = {Steffen van Bakel and
Ugo de'Liguoro},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Logical Semantics for the First Order varsigma-Calculus},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {202--215},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_17},
doi = {10.1007/978-3-540-45208-9\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Bakeld03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BaldoniBMP03,
author = {Matteo Baldoni and
Cristina Baroglio and
Alberto Martelli and
Viviana Patti},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Reasoning about Self and Others: Communicating Agents in a Model Action
Logic},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {228--241},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_19},
doi = {10.1007/978-3-540-45208-9\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BaldoniBMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BartolettiDF03,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Security-Aware Program Transformations},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {355--368},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_28},
doi = {10.1007/978-3-540-45208-9\_28},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BartolettiDF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BertoniMP03,
author = {Alberto Bertoni and
Carlo Mereghetti and
Beatrice Palano},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Lower Bounds on the Size of Quantum Automata Accepting Unary Languages},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {86--96},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_8},
doi = {10.1007/978-3-540-45208-9\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BertoniMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BertossiPRS03,
author = {Alan A. Bertossi and
Maria Cristina Pinotti and
Romeo Rizzi and
Anil M. Shende},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Channel Assignment in Honeycomb Networks},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {150--162},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_13},
doi = {10.1007/978-3-540-45208-9\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BertossiPRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BossiMPR03,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Information Flow Security and Recursive Systems},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {369--382},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_29},
doi = {10.1007/978-3-540-45208-9\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BossiMPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Boudol03,
author = {G{\'{e}}rard Boudol},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {On Programming Models for Mobility},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {22},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_3},
doi = {10.1007/978-3-540-45208-9\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Boudol03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BruniMMS03,
author = {Roberto Bruni and
Jos{\'{e}} Meseguer and
Ugo Montanari and
Vladimiro Sassone},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Algebraic Theories for Contextual Pre-nets},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {256--270},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_21},
doi = {10.1007/978-3-540-45208-9\_21},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BruniMMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Calamoneri03,
author = {Tiziana Calamoneri},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Exact Solution of a Class of Frequency Assignment Problems in Cellular
Networks},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {163--173},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_14},
doi = {10.1007/978-3-540-45208-9\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Calamoneri03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CancilaH03,
author = {Daniela Cancila and
Furio Honsell},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {A Coalgebraic Description of Web Interactions},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {271--283},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_22},
doi = {10.1007/978-3-540-45208-9\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/CancilaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CardoneC03,
author = {Felice Cardone and
Mario Coppo},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Decidability Properties of Recursive Types},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {242--255},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_20},
doi = {10.1007/978-3-540-45208-9\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/CardoneC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CimatoDV03,
author = {Stelvio Cimato and
Paolo D'Arco and
Ivan Visconti},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Anonymous Group Communication in Mobile Networks},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {316--328},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_25},
doi = {10.1007/978-3-540-45208-9\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/CimatoDV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Coen03,
author = {Claudio Sacerdoti Coen},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {A Constructive Proof of the Soundness of the Encoding of Random Access
Machines in a Linda Calculus with Ordered Semantics},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {37--57},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_5},
doi = {10.1007/978-3-540-45208-9\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Coen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DamianiDG03,
author = {Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Refined Effects for Unanticipated Object Re-classification: Fickle\({}_{\mbox{3}}\)},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {97--110},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_9},
doi = {10.1007/978-3-540-45208-9\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/DamianiDG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/FerranteP03,
author = {Alessandro Ferrante and
Mimmo Parente},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {An Approximation Algorithm for the Minimum Weight Vertex-Connectivity
Problem in Complete Graphs with Sharpened Triangle Inequality},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {137--149},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_12},
doi = {10.1007/978-3-540-45208-9\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/FerranteP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/FerraraM03,
author = {Anna Lisa Ferrara and
Barbara Masucci},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {An Information-Theoretic Approach to the Access Control Problem},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {342--354},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_27},
doi = {10.1007/978-3-540-45208-9\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/FerraraM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Fuster-Sabater03,
author = {Amparo F{\'{u}}ster{-}Sabater},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {329--341},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_26},
doi = {10.1007/978-3-540-45208-9\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Fuster-Sabater03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GairingLMMS03,
author = {Martin Gairing and
Thomas L{\"{u}}cking and
Marios Mavronicolas and
Burkhard Monien and
Paul G. Spirakis},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Extreme Nash Equilibria},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {1--20},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_1},
doi = {10.1007/978-3-540-45208-9\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/GairingLMMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GustedtT03,
author = {Jens Gustedt and
Jan Arne Telle},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {A Work-Optimal Coarse-Grained {PRAM} Algorithm for Lexicographically
First Maximal Independent Set},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {125--136},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_11},
doi = {10.1007/978-3-540-45208-9\_11},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/GustedtT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Hofmann03,
author = {Martin Hofmann},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Certification of Memory Usage},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {21},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_2},
doi = {10.1007/978-3-540-45208-9\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Hofmann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/HuangL03,
author = {Qiwei Huang and
Errol L. Lloyd},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Cost Constrained Fixed Job Scheduling},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {111--124},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_10},
doi = {10.1007/978-3-540-45208-9\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/HuangL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Lago03,
author = {Ugo Dal Lago},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {On the Expressive Power of Light Affine Logic},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {216--227},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_18},
doi = {10.1007/978-3-540-45208-9\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Lago03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/LagoMP03,
author = {Ugo Dal Lago and
Angelo Montanari and
Gabriele Puppis},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Towards Compact and Tractable Automaten-Based Representations of Time
Granularities},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {72--85},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_7},
doi = {10.1007/978-3-540-45208-9\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/LagoMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Lagorio03,
author = {Giovanni Lagorio},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Towards a Smart Compilation Manager for Java},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {302--315},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_24},
doi = {10.1007/978-3-540-45208-9\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Lagorio03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MairsonT03,
author = {Harry G. Mairson and
Kazushige Terui},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {On the Computational Complexity of Cut-Elimination in Linear Logic},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {23--36},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_4},
doi = {10.1007/978-3-540-45208-9\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/MairsonT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MartinelliPV03,
author = {Fabio Martinelli and
Marinella Petrocchi and
Anna Vaccarelli},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Compositional Verification of Secure Streamed Data: {A} Case Study
with {EMSS}},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {383--396},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_30},
doi = {10.1007/978-3-540-45208-9\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/MartinelliPV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/PennaIMTZ03,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Finite Horizon Analysis of Stochastic Systems with the Mur varphi
Verifier},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {58--71},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_6},
doi = {10.1007/978-3-540-45208-9\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/PennaIMTZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Subramani03,
author = {K. Subramani},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {On Clausal Equivalence and Hull Inclusion},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {188--201},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_16},
doi = {10.1007/978-3-540-45208-9\_16},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Subramani03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2003,
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13810},
doi = {10.1007/B13810},
isbn = {3-540-20216-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-13 23:30 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
