| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract deduction and inferential models for type theory
|
Gentilini, Paolo
|
|
2010
|
|
7 |
p. 737-771
35 p.
|
artikel
|
| 2 |
Addendum to “Scalable secure storage when half the system is faulty” [Inform. Comput. 174 (2)(2002) 203–213]
|
Alon, Noga
|
|
2007
|
|
7 |
p. 1114-1116
3 p.
|
artikel
|
| 3 |
A framework for the verification of infinite-state graph transformation systems
|
Baldan, Paolo
|
|
2008
|
|
7 |
p. 869-907
39 p.
|
artikel
|
| 4 |
A general mathematics of names
|
Gabbay, Murdoch J.
|
|
2007
|
|
7 |
p. 982-1011
30 p.
|
artikel
|
| 5 |
An ID-based multi-signer universal designated multi-verifier signature scheme
|
Chang, Ting-Yi
|
|
2011
|
|
7 |
p. 1007-1015
9 p.
|
artikel
|
| 6 |
A thread calculus with molecular dynamics
|
Bergstra, J.A.
|
|
2010
|
|
7 |
p. 817-844
28 p.
|
artikel
|
| 7 |
Automatic decidability and combinability
|
Lynch, Christopher
|
|
2011
|
|
7 |
p. 1026-1047
22 p.
|
artikel
|
| 8 |
Axiomatizing rational power series over natural numbers
|
Bloom, S.L.
|
|
2009
|
|
7 |
p. 793-811
19 p.
|
artikel
|
| 9 |
A zero-one law for RP and derandomization of AM if NP is not small
|
Impagliazzo, Russell
|
|
2009
|
|
7 |
p. 787-792
6 p.
|
artikel
|
| 10 |
BTL 2 and the expressive power of ECTL +
|
Rabinovich, Alexander
|
|
2006
|
|
7 |
p. 1023-1044
22 p.
|
artikel
|
| 11 |
Compositional verification of sequential programs with procedures
|
Gurov, Dilian
|
|
2008
|
|
7 |
p. 840-868
29 p.
|
artikel
|
| 12 |
Computability of probability measures and Martin-Löf randomness over metric spaces
|
Hoyrup, Mathieu
|
|
2009
|
|
7 |
p. 830-847
18 p.
|
artikel
|
| 13 |
Computational complexity of sentences over fields
|
Tung, Shih Ping
|
|
2008
|
|
7 |
p. 791-805
15 p.
|
artikel
|
| 14 |
Determined theories and limit laws
|
Baldwin, John T.
|
|
2006
|
|
7 |
p. 1013-1022
10 p.
|
artikel
|
| 15 |
Editorial Board
|
|
|
2011
|
|
7 |
p. i-
1 p.
|
artikel
|
| 16 |
Editorial Board
|
|
|
2011
|
|
7 |
p. IFC-
1 p.
|
artikel
|
| 17 |
Editorial Board (continued)
|
|
|
2010
|
|
7 |
p. i-
1 p.
|
artikel
|
| 18 |
Editorial Board (continued)
|
|
|
2008
|
|
7 |
p. i-
1 p.
|
artikel
|
| 19 |
Editorial Board (continued)
|
|
|
2007
|
|
7 |
p. i-
1 p.
|
artikel
|
| 20 |
Editorial Board (continued)
|
|
|
2009
|
|
7 |
p. i-
1 p.
|
artikel
|
| 21 |
Editorial Board (continued)
|
|
|
2006
|
|
7 |
p. i-
1 p.
|
artikel
|
| 22 |
Efficient and exact quantum compression
|
Reif, John H.
|
|
2007
|
|
7 |
p. 967-981
15 p.
|
artikel
|
| 23 |
Ensuring termination by typability
|
Deng, Yuxin
|
|
2006
|
|
7 |
p. 1045-1082
38 p.
|
artikel
|
| 24 |
Faster query algorithms for the text fingerprinting problem
|
Chan, Chi-Yuan
|
|
2011
|
|
7 |
p. 1057-1069
13 p.
|
artikel
|
| 25 |
Fast gapped variants for Lempel–Ziv–Welch compression
|
Apostolico, Alberto
|
|
2007
|
|
7 |
p. 1012-1026
15 p.
|
artikel
|
| 26 |
Finding the conditional location of a median path on a tree
|
Wang, Biing-Feng
|
|
2008
|
|
7 |
p. 828-839
12 p.
|
artikel
|
| 27 |
Inapproximability of the Tutte polynomial
|
Goldberg, Leslie Ann
|
|
2008
|
|
7 |
p. 908-929
22 p.
|
artikel
|
| 28 |
Inside Front Cover: Editorial Board
|
|
|
2010
|
|
7 |
p. IFC-
1 p.
|
artikel
|
| 29 |
Inside Front Cover: Editorial Board
|
|
|
2008
|
|
7 |
p. IFC-
1 p.
|
artikel
|
| 30 |
Inside Front Cover: Editorial Board
|
|
|
2006
|
|
7 |
p. CO2-
1 p.
|
artikel
|
| 31 |
Inside Front Cover: Editorial Board
|
|
|
2007
|
|
7 |
p. IFC-
1 p.
|
artikel
|
| 32 |
Inside Front Cover: Editorial Board
|
|
|
2009
|
|
7 |
p. IFC-
1 p.
|
artikel
|
| 33 |
On computing ord N (2) and its application
|
Liu, Lihua
|
|
2006
|
|
7 |
p. 1173-1178
6 p.
|
artikel
|
| 34 |
On identifying codes that are robust against edge changes
|
Honkala, Iiro
|
|
2007
|
|
7 |
p. 1078-1095
18 p.
|
artikel
|
| 35 |
On properties not inherited by monoids from their Schützenberger groups
|
Gray, R.
|
|
2011
|
|
7 |
p. 1120-1134
15 p.
|
artikel
|
| 36 |
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
|
Kučera, Antonín
|
|
2010
|
|
7 |
p. 772-796
25 p.
|
artikel
|
| 37 |
On two DES implementations secure against differential power analysis in smart-cards
|
Lv, Jiqiang
|
|
2006
|
|
7 |
p. 1179-1193
15 p.
|
artikel
|
| 38 |
Ready simulation for concurrency: It’s logical!
|
Lüttgen, Gerald
|
|
2010
|
|
7 |
p. 845-867
23 p.
|
artikel
|
| 39 |
Rotation and lighting invariant template matching
|
Fredriksson, Kimmo
|
|
2007
|
|
7 |
p. 1096-1113
18 p.
|
artikel
|
| 40 |
Space-efficient construction of Lempel–Ziv compressed text indexes
|
Arroyuelo, Diego
|
|
2011
|
|
7 |
p. 1070-1102
33 p.
|
artikel
|
| 41 |
Splitting bisimulations and retrospective conditions
|
Bergstra, J.A.
|
|
2006
|
|
7 |
p. 1083-1138
56 p.
|
artikel
|
| 42 |
Symbolic model checking for probabilistic timed automata
|
Kwiatkowska, Marta
|
|
2007
|
|
7 |
p. 1027-1077
51 p.
|
artikel
|
| 43 |
Terminal coalgebras and free iterative theories
|
Adámek, Jiřı´
|
|
2006
|
|
7 |
p. 1139-1172
34 p.
|
artikel
|
| 44 |
Treewidth computations II. Lower bounds
|
Bodlaender, Hans L.
|
|
2011
|
|
7 |
p. 1103-1119
17 p.
|
artikel
|
| 45 |
Two-way unary automata versus logarithmic space
|
Geffert, Viliam
|
|
2011
|
|
7 |
p. 1016-1025
10 p.
|
artikel
|
| 46 |
Typechecking top-down XML transformations: Fixed input or output schemas
|
Martens, Wim
|
|
2008
|
|
7 |
p. 806-827
22 p.
|
artikel
|
| 47 |
Undecidable equivalences for basic parallel processes
|
Hüttel, Hans
|
|
2009
|
|
7 |
p. 812-829
18 p.
|
artikel
|
| 48 |
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
|
Gastin, Paul
|
|
2010
|
|
7 |
p. 797-816
20 p.
|
artikel
|
| 49 |
Unprovability of the logical characterization of bisimulation
|
Sánchez Terraf, Pedro
|
|
2011
|
|
7 |
p. 1048-1056
9 p.
|
artikel
|
Tijdschrift beschrijving