Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/BozapalidisK06,
  author       = {Symeon Bozapalidis and
                  Antonios Kalampakas},
  title        = {Recognizability of graph and pattern languages},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {8-9},
  pages        = {553--581},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-006-0006-z},
  doi          = {10.1007/S00236-006-0006-Z},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BozapalidisK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BrlekPR06,
  author       = {Srecko Brlek and
                  Elisa Pergola and
                  Olivier Roques},
  title        = {Non uniform random generation of generalized Motzkin paths},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {8-9},
  pages        = {603--616},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-006-0008-x},
  doi          = {10.1007/S00236-006-0008-X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BrlekPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EhrenfeuchtHR06,
  author       = {Andrzej Ehrenfeucht and
                  Tero Harju and
                  Grzegorz Rozenberg},
  title        = {Embedding linear orders in grids},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {6-7},
  pages        = {419--428},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-005-0001-9},
  doi          = {10.1007/S00236-005-0001-9},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/EhrenfeuchtHR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EpsteinT06,
  author       = {Leah Epstein and
                  Tamir Tassa},
  title        = {Vector assignment schemes for asymmetric settings},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {6-7},
  pages        = {501--514},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-005-0003-7},
  doi          = {10.1007/S00236-005-0003-7},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EpsteinT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hesselink06,
  author       = {Wim H. Hesselink},
  title        = {Splitting forward simulations to copewith liveness},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {8-9},
  pages        = {583--602},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-006-0007-y},
  doi          = {10.1007/S00236-006-0007-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hesselink06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Levi06,
  author       = {Francesca Levi},
  title        = {A typed encoding of boxed into safe ambients},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {6-7},
  pages        = {429--500},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-005-0002-8},
  doi          = {10.1007/S00236-005-0002-8},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Levi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Majster-CederbaumWY06,
  author       = {Mila E. Majster{-}Cederbaum and
                  Jinzhao Wu and
                  Houguang Yue},
  title        = {Refinement of actions for real-time concurrent systems with causal
                  ambiguity},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {6-7},
  pages        = {389--418},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-005-0172-4},
  doi          = {10.1007/S00236-005-0172-4},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Majster-CederbaumWY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Meduna06,
  author       = {Alexander Meduna},
  title        = {Deep pushdown automata},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {8-9},
  pages        = {541--552},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-006-0005-0},
  doi          = {10.1007/S00236-006-0005-0},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/Meduna06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Tatti06,
  author       = {Nikolaj Tatti},
  title        = {Safe projections of binary data sets},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {8-9},
  pages        = {617--638},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-006-0009-9},
  doi          = {10.1007/S00236-006-0009-9},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Tatti06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/TipleaE06,
  author       = {Ferucio Laurentiu Tiplea and
                  Constantin Enea},
  title        = {Abstractions of data types},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {8-9},
  pages        = {639--671},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-006-0010-3},
  doi          = {10.1007/S00236-006-0010-3},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/TipleaE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/TrombettaM06,
  author       = {Alberto Trombetta and
                  Danilo Montesi},
  title        = {Equivalences and optimizations in an expressive {XSLT} subset},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {6-7},
  pages        = {515--539},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00236-005-0004-6},
  doi          = {10.1007/S00236-005-0004-6},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/TrombettaM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BergerHY05,
  author       = {Martin Berger and
                  Kohei Honda and
                  Nobuko Yoshida},
  title        = {Genericity and the pi-calculus},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {2-3},
  pages        = {83--141},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0175-1},
  doi          = {10.1007/S00236-005-0175-1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergerHY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BettiniVB05,
  author       = {Lorenzo Bettini and
                  Betti Venneri and
                  Viviana Bono},
  title        = {{MOMI:} a calculus for mobile mixins},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {2-3},
  pages        = {143--190},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0176-0},
  doi          = {10.1007/S00236-005-0176-0},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BettiniVB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Buttner05,
  author       = {Markus B{\"{u}}ttner},
  title        = {Enhanced prefetching and caching strategies for single- and multi-disk
                  systems},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {1},
  pages        = {21--42},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0170-6},
  doi          = {10.1007/S00236-005-0170-6},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Buttner05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Cieslik05,
  author       = {Iwona Cieslik},
  title        = {On-line coloring and cliques covering for K\emph{K}\({}_{\mbox{s,
                  t}}\)-free graphs},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {1},
  pages        = {1--20},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0167-1},
  doi          = {10.1007/S00236-005-0167-1},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Cieslik05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GayH05,
  author       = {Simon J. Gay and
                  Malcolm Hole},
  title        = {Subtyping for session types in the pi calculus},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {2-3},
  pages        = {191--225},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0177-z},
  doi          = {10.1007/S00236-005-0177-Z},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GayH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GeertsSB05,
  author       = {Floris Geerts and
                  Lieven Smits and
                  Jan Van den Bussche},
  title        = {N-dimensional versus (N-1)-dimensional connectivity testing of first-order
                  queries to semi-algebraic sets},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {1},
  pages        = {43--56},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0171-5},
  doi          = {10.1007/S00236-005-0171-5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GeertsSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HennessyRY05,
  author       = {Matthew Hennessy and
                  Julian Rathke and
                  Nobuko Yoshida},
  title        = {safeDpi: a language for controlling mobile code},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {4-5},
  pages        = {227--290},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0178-y},
  doi          = {10.1007/S00236-005-0178-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HennessyRY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/JacobsenL05,
  author       = {Lars Jacobsen and
                  Kim S. Larsen},
  title        = {Exponentially decreasing number of operations in balanced trees},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {1},
  pages        = {57--78},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0173-3},
  doi          = {10.1007/S00236-005-0173-3},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/JacobsenL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kobayashi05,
  author       = {Naoki Kobayashi},
  title        = {Type-based information flow analysis for the pi-calculus},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {4-5},
  pages        = {291--347},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0179-x},
  doi          = {10.1007/S00236-005-0179-X},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kobayashi05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Konig05,
  author       = {Barbara K{\"{o}}nig},
  title        = {A general framework for types in graph rewriting},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {4-5},
  pages        = {349--388},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0180-4},
  doi          = {10.1007/S00236-005-0180-4},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Konig05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/NicolaS05,
  author       = {Rocco De Nicola and
                  Davide Sangiorgi},
  title        = {Types in concurrency},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {2-3},
  pages        = {79--81},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0174-2},
  doi          = {10.1007/S00236-005-0174-2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/NicolaS05.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.