|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
28 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A formalisation of the copy-modify-merge approach to version control in MDE |
Rossini, Alessandro |
2010 |
60-61 | 7 |
p. 636-658 23 p. |
article |
|
| 2 | A Hardware Independent Parallel Programming Model |
Burrows, Eva |
2009 |
60-61 | 7 |
p. 519-538 20 p. |
article |
|
| 3 | Behavioral interface description of an object-oriented language with futures and promises |
Ábrahám, Erika |
2009 |
60-61 | 7 |
p. 491-518 28 p. |
article |
|
| 4 | Characterizing and proving operational termination of deterministic conditional term rewriting systems |
Schernhammer, Felix |
2010 |
60-61 | 7 |
p. 659-688 30 p. |
article |
|
| 5 | Composing model programs for analysis |
Veanes, Margus |
2010 |
60-61 | 7 |
p. 467-482 16 p. |
article |
|
| 6 | Contents |
2009 |
60-61 | 7 |
p. v- 1 p. |
article |
||
| 7 | Contents |
2010 |
60-61 | 7 |
p. v- 1 p. |
article |
||
| 8 | Contents |
2011 |
60-61 | 7 |
p. iii- 1 p. |
article |
||
| 9 | Dependently typed array programs don’t go wrong |
Trojahner, Kai |
2009 |
60-61 | 7 |
p. 643-664 22 p. |
article |
|
| 10 | Eager and delayed contract monitoring for call-by-value and call-by-name evaluation |
Degen, Markus |
2010 |
60-61 | 7 |
p. 515-549 35 p. |
article |
|
| 11 | Editorial Board |
2009 |
60-61 | 7 |
p. IFC- 1 p. |
article |
||
| 12 | Editorial Board |
2010 |
60-61 | 7 |
p. IFC- 1 p. |
article |
||
| 13 | Editorial Board |
2011 |
60-61 | 7 |
p. IFC- 1 p. |
article |
||
| 14 | Engineering constraint solvers for automatic analysis of probabilistic hybrid automata |
Fränzle, Martin |
2010 |
60-61 | 7 |
p. 436-466 31 p. |
article |
|
| 15 | Guest Editors’ Foreword |
Johnsen, Einar Broch |
2009 |
60-61 | 7 |
p. vii- 1 p. |
article |
|
| 16 | Guest Editors’ Foreword |
Uustalu, Tarmo |
2010 |
60-61 | 7 |
p. 435- 1 p. |
article |
|
| 17 | Lazy behavioral subtyping |
Dovland, Johan |
2010 |
60-61 | 7 |
p. 578-607 30 p. |
article |
|
| 18 | Proof optimization for partial redundancy elimination |
Saabas, Ando |
2009 |
60-61 | 7 |
p. 619-642 24 p. |
article |
|
| 19 | Quantitative analysis of weighted transition systems |
Thrane, Claus |
2010 |
60-61 | 7 |
p. 689-703 15 p. |
article |
|
| 20 | Ready to preorder: an algebraic and general proof |
Frutos Escrig, de David |
2009 |
60-61 | 7 |
p. 539-551 13 p. |
article |
|
| 21 | Relational bytecode correlations |
Beringer, Lennart |
2010 |
60-61 | 7 |
p. 483-514 32 p. |
article |
|
| 22 | Securing interaction between threads and the scheduler in the presence of synchronization |
Russo, Alejandro |
2009 |
60-61 | 7 |
p. 593-618 26 p. |
article |
|
| 23 | Structural operational semantics through context-dependent behaviour |
Colvin, Robert J. |
2011 |
60-61 | 7 |
p. 392-426 35 p. |
article |
|
| 24 | Synchronous Kleene algebra |
Prisacariu, Cristian |
2010 |
60-61 | 7 |
p. 608-635 28 p. |
article |
|
| 25 | Termination in higher-order concurrent calculi |
Demangeon, Romain |
2010 |
60-61 | 7 |
p. 550-577 28 p. |
article |
|
| 26 | Timed Mobility in process algebra and Petri nets |
Ciobanu, Gabriel |
2011 |
60-61 | 7 |
p. 377-391 15 p. |
article |
|
| 27 | Transfinite Semantics in the Form of Greatest Fixpoint |
Nestra, Härmel |
2009 |
60-61 | 7 |
p. 573-592 20 p. |
article |
|
| 28 | What is a Sorting Function? |
Henglein, Fritz |
2009 |
60-61 | 7 |
p. 552-572 21 p. |
article |
28 results found