default search action

combined dblp search
author search
venue search
publication search

ask others

Acta Informatica, Volume 40

> Home > Journals > Acta Informatica

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 40, Number 1, September 2003

- view
  authority control:
- export record
  dblp key:
  - journals/acta/BoyarFLN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BoyarFLN03
Joan Boyar, Lene M. Favrholdt, Kim S. Larsen, Morten N. Nielsen:
Extending the accommodating function. 3-35
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Doberkat03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Doberkat03
Ernst-Erich Doberkat:
Pipelines: Modelling a software architecture through relations. 37-79

Volume 40, Number 2, October 2003

- view
  authority control:
- export record
  dblp key:
  - journals/acta/Ben-AmramBP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Ben-AmramBP03
Amir M. Ben-Amram, Omer Berkman, Holger Petersen:
Element distinctness on one-tape Turing machines: a complete solution. 81-94
- view
  authority control:
- export record
  dblp key:
  - journals/acta/KhomenkoKV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/KhomenkoKV03
Victor Khomenko, Maciej Koutny, Walter Vogler:
Canonical prefixes of Petri net unfoldings. 95-118
- view
  authority control:
- export record
  dblp key:
  - journals/acta/KariKLW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/KariKLW03
Lila Kari, Stavros Konstantinidis, Elena Losseva, Geoff Wozniak:
Sticky-free and overhang-free DNA languages. 119-157

Volume 40, Number 3, November 2003

- view
  authority control:
- export record
  dblp key:
  - journals/acta/LesleyF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/LesleyF03
Nicole Lesley, Alan D. Fekete:
Providing view synchrony for group communication services. 159-210
- view
  authority control:
- export record
  dblp key:
  - journals/acta/LayuanC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/LayuanC03
Layuan Li, Chunlin Li:
A distributed QoS-Aware multicast routing protocol. 211-233

Volume 40, Number 4, February 2004

- view
  authority control:
- export record
  dblp key:
  - journals/acta/Walther04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Walther04
Andrea Walther:
Program reversals for evolutions with non-uniform step costs. 235-263
- view
  authority control:
- export record
  dblp key:
  - journals/acta/CharpentierC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/CharpentierC04
Michel Charpentier, K. Mani Chandy:
Specification transformers: a predicate transformer approach to composition. 265-301
- view
  authority control:
- export record
  dblp key:
  - journals/acta/LeeWS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/LeeWS04
Wen-Chiung Lee, Chin-Chia Wu, Hua-Jung Sung:
A bi-criterion single-machine scheduling problem with learning considerations. 303-315

Volume 40, Number 5, March 2004

- view
  authority control:
- export record
  dblp key:
  - journals/acta/BarbutiT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BarbutiT04
Roberto Barbuti, Luca Tesei:
Timed automata with urgent transitions. 317-347
- view
  authority control:
- export record
  dblp key:
  - journals/acta/AndreiCC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/AndreiCC04
Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini:
Self-embedded context-free grammars with regular counterparts. 349-365
- view
  authority control:
- export record
  dblp key:
  - journals/acta/HeJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/HeJ04
Yong He, Yiwei Jiang:
Optimal algorithms for semi-online preemptive scheduling problems on two uniform machines. 367-383

Volume 40, Number 6-7, May 2004

- view
  authority control:
- export record
  dblp key:
  - journals/acta/EngelfrietG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/EngelfrietG04
Joost Engelfriet, Tjalling Gelsema:
A new natural structural congruence in the pi-calculus with replication. 385-430
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Markey04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Markey04
Nicolas Markey:
Past is for free: on the complexity of verifying linear temporal properties with past. 431-458
- view
  authority control:
- export record
  dblp key:
  - journals/acta/ScottJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/ScottJ04
Elizabeth Scott, Adrian Johnstone:
Reducing non-determinism in right nulled GLR parsers. 459-489
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Domaratzki04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Domaratzki04
Michael Domaratzki:
Trajectory-based codes. 491-527

Volume 40, Number 8, July 2004

- view
  authority control:
- export record
  dblp key:
  - journals/acta/GrumbachRT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/GrumbachRT04
Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini:
On the equivalence and rewriting of aggregate queries. 529-584
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BacchelliBGP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BacchelliBGP04
Silvia Bacchelli, Elena Barcucci, Elisabetta Grazzini, Elisa Pergola:
Exhaustive generation of combinatorial objects by ECO. 585-602
- view
  authority control:
- export record
  dblp key:
  - journals/acta/AkkermanBJT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/AkkermanBJT04
Thorsten Akkerman, Christoph Buchheim, Michael Jünger, Daniel Teske:
On the complexity of drawing trees nicely: corrigendum. 603-607

Volume 40, Number 9, September 2004

- view
  authority control:
- export record
  dblp key:
  - journals/acta/DolevS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DolevS04
Shlomi Dolev, Elad Schiller:
Self-stabilizing group communication in directed networks. 609-636
- view
  authority control:
- export record
  dblp key:
  - journals/acta/DelvauxH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DelvauxH04
Steven Delvaux, Leon Horsten:
On best transitive approximations to simple graphs. 637-655
- view
  authority control:
- export record
  dblp key:
  - journals/acta/EpsteinT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/EpsteinT04
Leah Epstein, Tamir Tassa:
Approximation schemes for the Min-Max Starting Time Problem. 657-674

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.