| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools
|
Khalilian, Alireza
|
|
|
57 |
C |
p.
|
article
|
| 2 |
Editorial Board
|
|
|
|
57 |
C |
p.
|
article
|
| 3 |
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
|
Smits, Jeff
|
|
|
57 |
C |
p.
|
article
|
| 4 |
Incremental correct-by-construction of distributed systems
|
Benyagoub, Sarah
|
|
|
57 |
C |
p.
|
article
|
| 5 |
Interactive exploration of large time-dependent bipartite graphs
|
Waldner, Manuela
|
|
|
57 |
C |
p.
|
article
|
| 6 |
Morbig: A Static parser for POSIX shell
|
Régis-Gianas, Yann
|
|
|
57 |
C |
p.
|
article
|
| 7 |
On the semantics for spreadsheets with sheet-defined functions
|
Bock, Alexander Asp
|
|
|
57 |
C |
p.
|
article
|
| 8 |
QueryCrumbs search query history visualization – Usability, transparency and long-term usage
|
Schlötterer, Jörg
|
|
|
57 |
C |
p.
|
article
|
| 9 |
Relational reference attribute grammars: Improving continuous model validation
|
Mey, Johannes
|
|
|
57 |
C |
p.
|
article
|
| 10 |
Run-time conflict detection in visual language parsing
|
Costagliola, G.
|
|
|
57 |
C |
p.
|
article
|
| 11 |
Visual analysis of customer switching behavior pattern mining for takeout service
|
Du, Yaru
|
|
|
57 |
C |
p.
|
article
|
Journal description