2008 |
9 | EE | Per Kreuger,
Malin Forsgren,
Martin Aronsson:
Reducing temporal delays in a real time train management system.
SCAI 2008: 181-187 |
2006 |
8 | EE | Martin Aronsson,
Per Kreuger,
Jonatan Gjerdrum:
An Efficient MIP Model for Locomotive Scheduling with Time Windows.
ATMOS 2006 |
2002 |
7 | EE | Thomas Sjöland,
Per Kreuger,
Martin Aronsson:
Heterogeneous Scheduling and Rotation.
Computational Logic: Logic Programming and Beyond 2002: 655-676 |
1992 |
6 | | Martin Aronsson:
Implementational Issues in GCLA: A-Sufficiency and Definiens Operation.
ELP 1992: 394-417 |
1991 |
5 | | Martin Aronsson:
Methodology and Programming Techniques in GCLA II.
ELP 1991: 1-44 |
4 | | Martin Aronsson,
Lars-Henrik Eriksson:
The GCLA II Programming Language.
PDK 1991: 399-401 |
1989 |
3 | | Martin Aronsson,
Lars-Henrik Eriksson,
Lars Hallnäs,
Per Kreuger:
A Survey of GCLA: A Definitional Approach to Logic Programming.
ELP 1989: 49-99 |
2 | | Manny Rayner,
Åsa Hugosson,
Martin Aronsson,
Annika Wærn:
Formal Reasoning about Plan-Controlled Vehicles.
SCAI 1989: 739-751 |
1 | | Martin Aronsson,
Lars-Henrik Eriksson,
Anette Gäredal,
Lars Hallnäs,
P. Olin:
GCLA: Generalized Horn Clauses as a Programming Language.
SCAI 1989: 873-887 |