Search dblp for Publications

export results for "toc:db/conf/ictac/ictac2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ictac/AcetoFGI11,
  author       = {Luca Aceto and
                  David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Axiomatizing Weak Ready Simulation Semantics over {BCCSP}},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {7--24},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_4},
  doi          = {10.1007/978-3-642-23283-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/AcetoFGI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/AlthausAN11,
  author       = {Ernst Althaus and
                  Sebastian Altmeyer and
                  Rouven Naujoks},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Symbolic Worst Case Execution Times},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {25--44},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_5},
  doi          = {10.1007/978-3-642-23283-1\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/AlthausAN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/AndoBHKS11,
  author       = {Ei Ando and
                  Binay K. Bhattacharya and
                  Yuzhuang Hu and
                  Tsunehiko Kameda and
                  Qiaosheng Shi},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Selecting Good a Priori Sequences for Vehicle Routing Problem with
                  Stochastic Demand},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {45--61},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_6},
  doi          = {10.1007/978-3-642-23283-1\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/AndoBHKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Carreiro11,
  author       = {Facundo Carreiro},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {On Characterization, Definability and {\(\omega\)}-Saturated Models},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {62--76},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_7},
  doi          = {10.1007/978-3-642-23283-1\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Carreiro11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/CojocaruM11,
  author       = {Liliana Cojocaru and
                  Erkki M{\"{a}}kinen},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {On the Complexity of Szilard Languages of Regulated Grammars},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {77--94},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_8},
  doi          = {10.1007/978-3-642-23283-1\_8},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/CojocaruM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/FahrenbergJLS11,
  author       = {Uli Fahrenberg and
                  Line Juhl and
                  Kim G. Larsen and
                  Jir{\'{\i}} Srba},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Energy Games in Multiweighted Automata},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {95--115},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_9},
  doi          = {10.1007/978-3-642-23283-1\_9},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/FahrenbergJLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/GhilezanILL11,
  author       = {Silvia Ghilezan and
                  Jelena Ivetic and
                  Pierre Lescanne and
                  Silvia Likavec},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Intersection Types for the Resource Control Lambda Calculi},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {116--134},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_10},
  doi          = {10.1007/978-3-642-23283-1\_10},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/GhilezanILL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/HennickerK11,
  author       = {Rolf Hennicker and
                  Alexander Knapp},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Modal Interface Theories for Communication-Safe Component Assemblies},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {135--153},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_11},
  doi          = {10.1007/978-3-642-23283-1\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/HennickerK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LiuQL11,
  author       = {Yijing Liu and
                  Zongyan Qiu and
                  Quan Long},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {{WP} Semantics and Behavioral Subtyping},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {154--172},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_12},
  doi          = {10.1007/978-3-642-23283-1\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/LiuQL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/MerweZG11,
  author       = {Brink van der Merwe and
                  Lynette van Zijl and
                  Jaco Geldenhuys},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Ambiguity of Unary Symmetric Difference NFAs},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {256--266},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_17},
  doi          = {10.1007/978-3-642-23283-1\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/MerweZG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Misra11,
  author       = {Jayadev Misra},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Virtual Time and Timeout in Client-Server Networks - (Extended Abstract)},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_1},
  doi          = {10.1007/978-3-642-23283-1\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Misra11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/MraihiGLJBM11,
  author       = {Olfa Mraihi and
                  Wided Ghardallou and
                  Asma Louhichi and
                  Lamia Labed Jilani and
                  Khaled Bsa{\"{\i}}es and
                  Ali Mili},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Computing Preconditions and Postconditions of While Loops},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {173--193},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_13},
  doi          = {10.1007/978-3-642-23283-1\_13},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/MraihiGLJBM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/MuyindaLLW11,
  author       = {Paul Birevu Muyinda and
                  Jude T. Lubega and
                  Kathy Lynch and
                  Theo P. van der Weide},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {A Framework for Instantiating Pedagogic mLearning Objects Applications},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {194--217},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_14},
  doi          = {10.1007/978-3-642-23283-1\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/MuyindaLLW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Parnas11,
  author       = {David Lorge Parnas},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {The Use of Mathematics in Software Development - (Extended Abstract)},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {4--5},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_2},
  doi          = {10.1007/978-3-642-23283-1\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Parnas11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Tarau11,
  author       = {Paul Tarau},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Emulating Primality with Multiset Representations of Natural Numbers},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {218--238},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_15},
  doi          = {10.1007/978-3-642-23283-1\_15},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Tarau11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/TofanSR11,
  author       = {Bogdan Tofan and
                  Gerhard Schellhorn and
                  Wolfgang Reif},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Formal Verification of a Lock-Free Stack with Hazard Pointers},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {239--255},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_16},
  doi          = {10.1007/978-3-642-23283-1\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/TofanSR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Visser11,
  author       = {Willem Visser},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Infinitely Often Testing - (Extended Abstract)},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {6},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_3},
  doi          = {10.1007/978-3-642-23283-1\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Visser11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ictac/2011,
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1},
  doi          = {10.1007/978-3-642-23283-1},
  isbn         = {978-3-642-23282-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.