default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 44
Volume 44, Number 1, April 2007
- Ladislav Vagner, Borivoj Melichar:
Parallel LL parsing. 1-21 - Tian-Shyr Dai, Yuh-Dauh Lyuu
:
An exact subexponential-time lattice algorithm for Asian options. 23-39 - John Derrick, Heike Wehrheim:
On using data abstractions for model checking refinements. 41-71 - Ladislav Vagner, Borivoj Melichar:
Parallel LL parsing. 73
Volume 44, Number 2, May 2007
- Jan A. Bergstra, Inge Bethke, Alban Ponse:
Decision problems for pushdown threads. 75-90 - Stefan Kahrs:
Infinitary rewriting: meta-theory and convergence. 91-121 - Wim H. Hesselink:
A criterion for atomicity revisited. 123-151
Volume 44, Numbers 3-4, July 2007
- Lila Kari, Kalpana Mahalingam, Gabriel Thierrin:
The syntactic monoid of hairpin-free languages. 153-166 - Alexander Okhotin:
Recursive descent parsing for Boolean grammars. 167-189 - Vesa Halava, Mika Hirvensalo:
Improved matrix pair undecidability results. 191-205 - Millist W. Vincent, Jixue Liu, Mukesh K. Mohania:
On the equivalence between FDs in XML and FDs in relations. 207-247 - Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
Well-structured languages. 249-288
Volume 44, Number 5, September 2007
- Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki:
View selection for real conjunctive queries. 289-321 - Joseph M. Morris, Malcolm Tyrrell:
Dual unbounded nondeterminacy, recursion, and fixpoints. 323-344 - Chuzo Iwamoto, Naoki Hatayama, Yoshiaki Nakashiba, Kenichi Morita, Katsunobu Imai:
Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs. 345-359 - Antonio Bernini, Elisabetta Grazzini, Elisa Pergola, Renzo Pinzani:
A general exhaustive generation algorithm for Gray structures. 361-376
Volume 44, Number 6, October 2007
- Rachele Fuzzati, Massimo Merro, Uwe Nestmann:
Distributed Consensus, revisited. 377-425 - Elizabeth Scott, Adrian Johnstone, Giorgios Economopoulos:
BRNGLR: a cubic Tomita-style GLR parsing algorithm. 427-461
Volume 44, Numbers 7-8, December 2007
- Serge Haddad, Denis Poitrenaud:
Recursive Petri nets. 463-508 - Naomi Nishimura, Prabhakar Ragde, Stefan Szeider:
Solving #SAT using vertex covers. 509-523 - Jan A. Bergstra, Cornelis A. Middelburg:
Synchronous cooperation for explicit multi-threading. 525-569 - Yiwei Jiang, Yong He:
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information. 571-590 - Toon Calders:
The complexity of satisfying constraints on databases of transactions. 591-624
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.
last updated on 2025-11-01 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
