|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
38 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract interpretation based verification of temporal properties for BioAmbients |
Gori, Roberta |
2010 |
220-221 | 8 |
p. 869-921 53 p. |
artikel |
|
| 2 | A characterization of computable analysis on unbounded domains using differential equations |
Campagnolo, Manuel L. |
2011 |
220-221 | 8 |
p. 1135-1159 25 p. |
artikel |
|
| 3 | Bases for parametrized iterativity |
Adámek, Jiří |
2008 |
220-221 | 8 |
p. 966-1002 37 p. |
artikel |
|
| 4 | Bin packing with controllable item sizes |
Correa, José R. |
2008 |
220-221 | 8 |
p. 1003-1016 14 p. |
artikel |
|
| 5 | Characterize branching distance in terms of (η, α)-bisimilarity |
Zhang, Jinjin |
2008 |
220-221 | 8 |
p. 953-965 13 p. |
artikel |
|
| 6 | Cluster computing and the power of edge recognition |
Hemaspaandra, Lane A. |
2007 |
220-221 | 8 |
p. 1274-1293 20 p. |
artikel |
|
| 7 | Comparing communication primitives via their relative expressive power |
Gorla, Daniele |
2008 |
220-221 | 8 |
p. 931-952 22 p. |
artikel |
|
| 8 | Complementing two-way finite automata |
Geffert, Viliam |
2007 |
220-221 | 8 |
p. 1173-1187 15 p. |
artikel |
|
| 9 | Context-sensitive dependency pairs |
Alarcón, Beatriz |
2010 |
220-221 | 8 |
p. 922-968 47 p. |
artikel |
|
| 10 | Controlling information release in the π -calculus |
Crafa, Silvia |
2007 |
220-221 | 8 |
p. 1235-1273 39 p. |
artikel |
|
| 11 | Data-complexity of the two-variable fragment with counting quantifiers |
Pratt-Hartmann, Ian |
2009 |
220-221 | 8 |
p. 867-888 22 p. |
artikel |
|
| 12 | Editorial Board |
2011 |
220-221 | 8 |
p. IFC- 1 p. |
artikel |
||
| 13 | Editorial Board |
2011 |
220-221 | 8 |
p. i- 1 p. |
artikel |
||
| 14 | Editorial Board (continued) |
2010 |
220-221 | 8 |
p. i- 1 p. |
artikel |
||
| 15 | Editorial Board (continued) |
2008 |
220-221 | 8 |
p. i- 1 p. |
artikel |
||
| 16 | Editorial Board (continued) |
2007 |
220-221 | 8 |
p. i- 1 p. |
artikel |
||
| 17 | Editorial Board (continued) |
2009 |
220-221 | 8 |
p. i- 1 p. |
artikel |
||
| 18 | Editorial Board (continued) |
2006 |
220-221 | 8 |
p. i- 1 p. |
artikel |
||
| 19 | Efficient recognition of trace languages defined by repeat-until loops |
Breveglieri, Luca |
2010 |
220-221 | 8 |
p. 969-981 13 p. |
artikel |
|
| 20 | Generalizing DPLL and satisfiability for equalities |
Badban, Bahareh |
2007 |
220-221 | 8 |
p. 1188-1211 24 p. |
artikel |
|
| 21 | Hardness of fully dense problems |
Ailon, Nir |
2007 |
220-221 | 8 |
p. 1117-1129 13 p. |
artikel |
|
| 22 | Improving the round complexity of VSS in point-to-point networks |
Katz, Jonathan |
2009 |
220-221 | 8 |
p. 889-899 11 p. |
artikel |
|
| 23 | Inside Front Cover: Editorial Board |
2010 |
220-221 | 8 |
p. IFC- 1 p. |
artikel |
||
| 24 | Inside Front Cover: Editorial Board |
2008 |
220-221 | 8 |
p. IFC- 1 p. |
artikel |
||
| 25 | Inside Front Cover: Editorial Board |
2006 |
220-221 | 8 |
p. CO2- 1 p. |
artikel |
||
| 26 | Inside Front Cover: Editorial Board |
2007 |
220-221 | 8 |
p. IFC- 1 p. |
artikel |
||
| 27 | Inside Front Cover: Editorial Board |
2009 |
220-221 | 8 |
p. IFC- 1 p. |
artikel |
||
| 28 | Inverse monoids: Decidability and complexity of algebraic questions |
Lohrey, Markus |
2007 |
220-221 | 8 |
p. 1212-1234 23 p. |
artikel |
|
| 29 | On probabilistic pushdown automata |
Hromkovič, Juraj |
2010 |
220-221 | 8 |
p. 982-995 14 p. |
artikel |
|
| 30 | Pattern-matching spi-calculus |
Haack, Christian |
2006 |
220-221 | 8 |
p. 1195-1263 69 p. |
artikel |
|
| 31 | Qualitative reachability in stochastic BPA games |
Brázdil, Tomáš |
2011 |
220-221 | 8 |
p. 1160-1183 24 p. |
artikel |
|
| 32 | Sharp lower bounds on the extractable randomness from non-uniform sources |
Škorić, Boris |
2011 |
220-221 | 8 |
p. 1184-1196 13 p. |
artikel |
|
| 33 | Synchronous structures |
Nowak, David |
2006 |
220-221 | 8 |
p. 1295-1324 30 p. |
artikel |
|
| 34 | Task automata: Schedulability, decidability and undecidability |
Fersman, Elena |
2007 |
220-221 | 8 |
p. 1149-1172 24 p. |
artikel |
|
| 35 | The equality problem for infinite words generated by primitive morphisms |
Honkala, Juha |
2009 |
220-221 | 8 |
p. 900-907 8 p. |
artikel |
|
| 36 | The myriad virtues of Wavelet Trees |
Ferragina, Paolo |
2009 |
220-221 | 8 |
p. 849-866 18 p. |
artikel |
|
| 37 | Variations on U-shaped learning |
Carlucci, Lorenzo |
2006 |
220-221 | 8 |
p. 1264-1294 31 p. |
artikel |
|
| 38 | When not losing is better than winning: Abstraction and refinement for the full μ-calculus |
Grumberg, Orna |
2007 |
220-221 | 8 |
p. 1130-1148 19 p. |
artikel |
38 gevonden resultaten