Search dblp for Publications

export results for "toc:db/journals/acta/acta39.bht:"

 download as .bib file

@article{DBLP:journals/acta/BauerB03,
  author       = {Friedrich L. Bauer and
                  Manfred Broy},
  title        = {Edsger W. Dijkstra - Acta Informatica and Marktoberdorf},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {3},
  pages        = {141--142},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0109-8},
  doi          = {10.1007/S00236-003-0109-8},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BauerB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BiskupP03,
  author       = {Joachim Biskup and
                  Torsten Polle},
  title        = {Adding inclusion dependencies to an object-oriented data model with
                  uniqueness constraints},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {6-7},
  pages        = {391--449},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0115-x},
  doi          = {10.1007/S00236-003-0115-X},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BiskupP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BurriezaG03,
  author       = {Alfredo Burrieza and
                  Inman P. de Guzm{\'{a}}n},
  title        = {A functional approach for temporal {\texttimes} modal logics},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {2},
  pages        = {71--96},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0098-z},
  doi          = {10.1007/S00236-002-0098-Z},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BurriezaG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CastellanosMMS03,
  author       = {Juan Castellanos and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Victor Mitrana and
                  Jos{\'{e}} M. Sempere},
  title        = {Networks of evolutionary processors},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {6-7},
  pages        = {517--529},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0114-y},
  doi          = {10.1007/S00236-003-0114-Y},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/CastellanosMMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CoffmanST03,
  author       = {Edward G. Coffman Jr. and
                  Jay Sethuraman and
                  Vadim G. Timkovsky},
  title        = {Ideal preemptive schedules on two processors},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {8},
  pages        = {597--612},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0119-6},
  doi          = {10.1007/S00236-003-0119-6},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CoffmanST03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Coulondre03,
  author       = {St{\'{e}}phane Coulondre},
  title        = {A top-down proof procedure for generalized data dependencies},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {1},
  pages        = {1--29},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0095-2},
  doi          = {10.1007/S00236-002-0095-2},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Coulondre03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CurrieM03,
  author       = {James D. Currie and
                  Erica Moodie},
  title        = {A word on 7 letters which is non-repetitive up to mod 5},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {6-7},
  pages        = {451--468},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0110-2},
  doi          = {10.1007/S00236-003-0110-2},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CurrieM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EngelfrietM03,
  author       = {Joost Engelfriet and
                  Sebastian Maneth},
  title        = {A comparison of pebble tree transducers with macro tree transducers},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {9},
  pages        = {613--698},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0120-0},
  doi          = {10.1007/S00236-003-0120-0},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EngelfrietM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Epstein03,
  author       = {Leah Epstein},
  title        = {Bin stretching revisited},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {2},
  pages        = {97--117},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0102-7},
  doi          = {10.1007/S00236-002-0102-7},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Epstein03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/FokkinkV03,
  author       = {Wan J. Fokkink and
                  Thuy Duong Vu},
  title        = {Structural operational semantics and bounded nondeterminism},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {6-7},
  pages        = {501--516},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0111-1},
  doi          = {10.1007/S00236-003-0111-1},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FokkinkV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GasoN03,
  author       = {J{\'{a}}n Gaso and
                  Martin Neh{\'{e}}z},
  title        = {Stochastic cooperative distributed grammar systems and random graphs},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {2},
  pages        = {119--140},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0104-5},
  doi          = {10.1007/S00236-002-0104-5},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GasoN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hesselink03,
  author       = {Wim H. Hesselink},
  title        = {Preference rankings in the face of uncertainty},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {3},
  pages        = {211--231},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0108-9},
  doi          = {10.1007/S00236-003-0108-9},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hesselink03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KiepuszewskiHA03,
  author       = {Bartek Kiepuszewski and
                  Arthur H. M. ter Hofstede and
                  Wil M. P. van der Aalst},
  title        = {Fundamentals of control flow in workflows},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {3},
  pages        = {143--209},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0105-4},
  doi          = {10.1007/S00236-002-0105-4},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KiepuszewskiHA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Majster-CederbaumW03,
  author       = {Mila E. Majster{-}Cederbaum and
                  Jinzhao Wu},
  title        = {Towards action refinement for true concurrent real time},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {8},
  pages        = {531--577},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0117-8},
  doi          = {10.1007/S00236-003-0117-8},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Majster-CederbaumW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Meduna03,
  author       = {Alexander Meduna},
  title        = {Coincidental extension of scattered context languages},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {5},
  pages        = {307--314},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0112-0},
  doi          = {10.1007/S00236-003-0112-0},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/Meduna03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Meduna03a,
  author       = {Alexander Meduna},
  title        = {Erratum: Coincidental extension of scattered context languages},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {9},
  pages        = {699},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0127-6},
  doi          = {10.1007/S00236-003-0127-6},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/Meduna03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PennaITZ03,
  author       = {Giuseppe Della Penna and
                  Benedetto Intrigila and
                  Enrico Tronci and
                  Marisa Venturini Zilli},
  title        = {Synchronized regular expressions},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {1},
  pages        = {31--70},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0099-y},
  doi          = {10.1007/S00236-002-0099-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PennaITZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Reisig03,
  author       = {Wolfgang Reisig},
  title        = {On Gurevich's theorem on sequential algorithms},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {4},
  pages        = {273--305},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0106-3},
  doi          = {10.1007/S00236-002-0106-3},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Reisig03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Silva03,
  author       = {Pedro V. Silva},
  title        = {A note on pure and p-pure languages},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {8},
  pages        = {579--595},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0107-x},
  doi          = {10.1007/S00236-003-0107-X},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Silva03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Srba03,
  author       = {Jir{\'{\i}} Srba},
  title        = {Strong bisimilarity of simple process algebras: complexity lower bounds},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {6-7},
  pages        = {469--499},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0116-9},
  doi          = {10.1007/S00236-003-0116-9},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Srba03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Wabenhorst03,
  author       = {Axel Wabenhorst},
  title        = {Stepwise development of fair distributed systems},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {4},
  pages        = {233--271},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-002-0103-6},
  doi          = {10.1007/S00236-002-0103-6},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Wabenhorst03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Ying03,
  author       = {Mingsheng Ying},
  title        = {Reasoning about probabilistic sequential programs in a probabilistic
                  logic},
  journal      = {Acta Informatica},
  volume       = {39},
  number       = {5},
  pages        = {315--389},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00236-003-0113-z},
  doi          = {10.1007/S00236-003-0113-Z},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ying03.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.