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}
}

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.