dblp.uni-trier.dewww.uni-trier.de

Martin Aronsson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEPer Kreuger, Malin Forsgren, Martin Aronsson: Reducing temporal delays in a real time train management system. SCAI 2008: 181-187
2006
8EEMartin Aronsson, Per Kreuger, Jonatan Gjerdrum: An Efficient MIP Model for Locomotive Scheduling with Time Windows. ATMOS 2006
2002
7EEThomas 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

Coauthor Index

1Lars-Henrik Eriksson [1] [3] [4]
2Malin Forsgren [9]
3Anette Gäredal [1]
4Jonatan Gjerdrum [8]
5Lars Hallnäs [1] [3]
6Åsa Hugosson [2]
7Per Kreuger [3] [7] [8] [9]
8P. Olin [1]
9Manny Rayner [2]
10Thomas Sjöland [7]
11Annika Wærn (Annika Waern) [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)