Search dblp for Publications

export results for "toc:db/journals/entcs/entcs78.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BraghinCF03,
  author       = {Chiara Braghin and
                  Agostino Cortesi and
                  Riccardo Focardi},
  editor       = {James Harland},
  title        = {Information Leakage Detection in Boundary Ambients},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {123--143},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81010-7},
  doi          = {10.1016/S1571-0661(04)81010-7},
  timestamp    = {Fri, 11 Nov 2022 16:09:31 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BraghinCF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CaiD03,
  author       = {Mao{-}cheng Cai and
                  Xiaotie Deng},
  editor       = {James Harland},
  title        = {Approximation and Computation of Arbitrage in Frictional Foreign Exchange
                  Market},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {293--302},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81019-3},
  doi          = {10.1016/S1571-0661(04)81019-3},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaiD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CoppoDGS03,
  author       = {Mario Coppo and
                  Mariangiola Dezani{-}Ciancaglini and
                  Elio Giovannetti and
                  Ivano Salvo},
  editor       = {James Harland},
  title        = {Mobility Types for Mobile Processes in Mobile Ambients},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {144--177},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81011-9},
  doi          = {10.1016/S1571-0661(04)81011-9},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CoppoDGS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DawsonG03,
  author       = {Jeremy E. Dawson and
                  Rajeev Gor{\'{e}}},
  editor       = {James Harland},
  title        = {A New Machine-checked Proof of Strong Normalisation for Display Logic},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {20--39},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81004-1},
  doi          = {10.1016/S1571-0661(04)81004-1},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DawsonG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DinneenZ03,
  author       = {Michael J. Dinneen and
                  Nian Zhou},
  editor       = {James Harland},
  title        = {An Optimal Family of Bounded-Degree Broadcast Networks},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {196--208},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81013-2},
  doi          = {10.1016/S1571-0661(04)81013-2},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DinneenZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DowneyEFPR03,
  author       = {Rodney G. Downey and
                  Vladimir Estivill{-}Castro and
                  Michael R. Fellows and
                  Elena Prieto{-}Rodriguez and
                  Frances A. Rosamond},
  editor       = {James Harland},
  title        = {Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and
                  Related Problems},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {209--222},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81014-4},
  doi          = {10.1016/S1571-0661(04)81014-4},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DowneyEFPR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuckworthZ03,
  author       = {William Duckworth and
                  Michele Zito},
  editor       = {James Harland},
  title        = {Large 2-Independent Sets of Regular Graphs},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {223--235},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81015-6},
  doi          = {10.1016/S1571-0661(04)81015-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuckworthZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Governatori03,
  author       = {Guido Governatori},
  editor       = {James Harland},
  title        = {On the Relative Complexity of Labelled Modal Tableaux},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {40--57},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81005-3},
  doi          = {10.1016/S1571-0661(04)81005-3},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Governatori03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Harland03,
  author       = {James Harland},
  editor       = {James Harland},
  title        = {Preface},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {303--304},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)81020-5},
  doi          = {10.1016/S1571-0661(05)81020-5},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Harland03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Havas03,
  author       = {George Havas},
  editor       = {James Harland},
  title        = {On the Complexity of the Extended Euclidean Algorithm (extended abstract)},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {1--4},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81002-8},
  doi          = {10.1016/S1571-0661(04)81002-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Havas03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HerlihyLM03,
  author       = {Maurice Herlihy and
                  Victor Luchangco and
                  Mark Moir},
  editor       = {James Harland},
  title        = {Space and Time Adaptive Non-blocking Algorithms},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {260--280},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81017-X},
  doi          = {10.1016/S1571-0661(04)81017-X},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HerlihyLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/IgnjatovicN03,
  author       = {Aleksandar Ignjatovic and
                  Phuong Minh Nguyen},
  editor       = {James Harland},
  title        = {Characterizing polynomial time computable functions using theories
                  with weak set existence principles},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {112--122},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81009-0},
  doi          = {10.1016/S1571-0661(04)81009-0},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IgnjatovicN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/IshiiAN03,
  author       = {Toshimasa Ishii and
                  Yoko Akiyama and
                  Hiroshi Nagamochi},
  editor       = {James Harland},
  title        = {Minimum Augmentation of Edge-connectivity between Vertices and Sets
                  of Vertices in Undirected Graphs},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {236--259},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81016-8},
  doi          = {10.1016/S1571-0661(04)81016-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IshiiAN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JohnsonR03,
  author       = {Michael Johnson and
                  Robert D. Rosebrugh},
  editor       = {James Harland},
  title        = {Three approaches to Partiality in the Sketch Data Model},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {82--99},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81007-7},
  doi          = {10.1016/S1571-0661(04)81007-7},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JohnsonR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LermerFH03,
  author       = {Karl Lermer and
                  Colin J. Fidge and
                  Ian J. Hayes},
  editor       = {James Harland},
  title        = {Formal Semantics for Program Paths},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {58--81},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81006-5},
  doi          = {10.1016/S1571-0661(04)81006-5},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LermerFH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MatsunoS03,
  author       = {Yutaka Matsuno and
                  Hiroyuki Sato},
  editor       = {James Harland},
  title        = {Flow Analytic Type System for Array Bound Checks},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {178--195},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81012-0},
  doi          = {10.1016/S1571-0661(04)81012-0},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MatsunoS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SabadiniW03,
  author       = {Nicoletta Sabadini and
                  Robert F. C. Walters},
  editor       = {James Harland},
  title        = {Hierarchical Automata and P-systems},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {5--19},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81003-X},
  doi          = {10.1016/S1571-0661(04)81003-X},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SabadiniW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Takaoka03,
  author       = {Tadao Takaoka},
  editor       = {James Harland},
  title        = {The Reverse Problem of Range Query},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {281--292},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81018-1},
  doi          = {10.1016/S1571-0661(04)81018-1},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Takaoka03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Wright03,
  author       = {David A. Wright},
  editor       = {James Harland},
  title        = {Linearity and Passivity},
  booktitle    = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  pages        = {100--111},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81008-9},
  doi          = {10.1016/S1571-0661(04)81008-9},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Wright03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cats/2003,
  editor       = {James Harland},
  title        = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
                  SA, Australia, February 4-7, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {78},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/78/suppl/C},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/2003.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.