| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
|
Feng, Yuan
|
|
|
294 |
C |
p.
|
article
|
| 2 |
Achieving sequenced SQL with log-segmented timestamps
|
Dyreson, Curtis E.
|
|
|
294 |
C |
p.
|
article
|
| 3 |
A new class of string transformations for compressed text indexing
|
Giancarlo, Raffaele
|
|
|
294 |
C |
p.
|
article
|
| 4 |
A strengthened eCK secure identity based authenticated key agreement protocol based on the standard CDH assumption
|
Daniel, Renu Mary
|
|
|
294 |
C |
p.
|
article
|
| 5 |
Building a small and informative phylogenetic supertree
|
Jansson, Jesper
|
|
|
294 |
C |
p.
|
article
|
| 6 |
Combinatory categorial grammars as generators of weighted forests
|
Maletti, Andreas
|
|
|
294 |
C |
p.
|
article
|
| 7 |
Editorial Board
|
|
|
|
294 |
C |
p.
|
article
|
| 8 |
Efficient construction of the BWT for repetitive text using string compression
|
Díaz-Domínguez, Diego
|
|
|
294 |
C |
p.
|
article
|
| 9 |
Extending the reach of the point-to-set principle
|
Lutz, Jack H.
|
|
|
294 |
C |
p.
|
article
|
| 10 |
Further improvements for SAT in terms of formula length
|
Peng, Junqiang
|
|
|
294 |
C |
p.
|
article
|
| 11 |
Modelling mutual exclusion in a process algebra with time-outs
|
van Glabbeek, Rob
|
|
|
294 |
C |
p.
|
article
|
| 12 |
On the complexity of decision problems for some classes of machines and applications
|
Ibarra, Oscar H.
|
|
|
294 |
C |
p.
|
article
|
| 13 |
Pspace-completeness of the temporal logic of sub-intervals and suffixes
|
Bozzelli, Laura
|
|
|
294 |
C |
p.
|
article
|
| 14 |
Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields
|
Feng, Weiming
|
|
|
294 |
C |
p.
|
article
|
| 15 |
Taming Strategy Logic: Non-Recurrent Fragments
|
Benerecetti, Massimo
|
|
|
294 |
C |
p.
|
article
|
| 16 |
The tail-recursive fragment of timed recursive CTL
|
Bruse, Florian
|
|
|
294 |
C |
p.
|
article
|
Journal description