Hans-Wolfgang Loidl Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann: "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369
2008
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl: Scheduling Light-Weight Parallelism in ArTCoP. PADL 2008: 214-229
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl: Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Trans. Parallel Distrib. Syst. 19(2): 219-233 (2008)
2007
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti: SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) 2007: 617-624
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon: Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
2006
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl: Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004. Intellect 2006
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Strong Mobility in Mobile Haskell. J. UCS 12(7): 868-884 (2006)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Hans-Wolfgang Loidl: Preface. Theor. Comput. Sci. 364(3): 271-272 (2006)
2005
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson: Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) 2005: 746-754
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Lange, Hans-Wolfgang Loidl: Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. Electr. Notes Theor. Comput. Sci. 128(3): 125-138 (2005)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: mHaskell: Mobile Computation in a Purely Functional Language. J. UCS 11(7): 1234-1254 (2005)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Towards Mobility Skeletons. Parallel Processing Letters 15(3): 273-288 (2005)
2004
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
2003
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Implementing Mobile Haskell. Trends in Functional Programming 2003: 79-94
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder: Comparing Parallel Functional Languages: Programming and Performance Higher-Order and Symbolic Computation 16(3): 203-251 (2003)
2002
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl: The Virtual Shared Memory Performance of a Parallel Graph Reduce. CCGRID 2002: 311-318
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder: Thread Migration in a Parallel Graph Reducer. IFL 2002: 199-214
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁlvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos: Cost Analysis Using Automatic Size and Time Inference. IFL 2002: 232-248
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder: Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD 2002: 82-92
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon: Parallel and Distributed Haskells. J. Funct. Program. 12(4&5): 469-510 (2002)
2001
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder: Functional Vs Object-Oriented Distributed Languages. EUROCAST 2001: 642-656
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl: Load Balancing in a Parallel Graph Reducer. Scottish Functional Programming Workshop 2001: 63-74
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz: Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Processing Letters 11(4): 471-486 (2001)
2000
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl: Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999 Intellect 2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo: The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par 2000: 739-743
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl: The Design and Implementation of Glasgow Distributed Haskell. IFL 2000: 53-70
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl: Runtime system level fault tolerance for a distributed functional language. Scottish Functional Programming Workshop 2000: 103-114
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder: GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop 2000: 39-52
1999
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones: Engineering parallel symbolic programs in GPH. Concurrency - Practice and Experience 11(12): 701-752 (1999)
1998
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones: Algorithms + Strategy = Parallelism. J. Funct. Program. 8(1): 23-60 (1998)
1997
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Philip W. Trinder: Engineering Large Parallel Functional Programs. Implementation of Functional Languages 1997: 178-197
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano: Parallelising a Large Functional Program or: Keeping LOLITA Busy. Implementation of Functional Languages 1997: 198-213
1996
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Kevin Hammond: Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Implementation of Functional Languages 1996: 184-199
1995
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Wolfgang Loidl, Kevin Hammond: On the Granularity of Divide-and-Conquer Parallelism. Functional Programming 1995: 8
1994
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoon Hong, Hans-Wolfgang Loidl: Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. CONPAR 1994: 325-336
1993
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla Limongelli, Hans-Wolfgang Loidl: Rational Number Artihmetic by Parallel P-adic Algorihtms. ACPC 1993: 72-86

Coauthor Index

1David Aspinall [24] [28] [35]
2Ed. Barry Jr. [12]
3Lennart Beringer [24] [28] [35]
4Jost Berthold [39]
5André Rauber Du Bois [18] [20] [23] [25] [26] [32]
6Armelle Bonenfant [36]
7Carsten Butz [14]
8Chris Cooper [5]
9Marco Costanti [37]
10Kei Davis [12]
11Roy Dyckhoff [29] [33]
12Christian Ferdinand [29] [33]
13Roberto Garigliano [5]
14Stephen Gilmore (Stephen T. Gilmore) [28]
15Kevin Hammond [3] [4] [7] [8] [9] [12] [19] [22] [29] [33] [36] [37] [40]
16Reinhold Heckmann [29] [33]
17Christoph Armin Herrmann (Christoph A. Herrmann) [36]
18Martin Hofmann [24] [28] [29] [31] [33] [35] [40]
19Hoon Hong [2]
20Susumu Horiguchi [22]
21Simon L. Peyton Jones [5] [7] [8] [12]
22Steffen Jost [29] [33] [36] [40]
23Sahalu B. Junaidu [8]
24Ulrike Klusik [9] [12] [22]
25Martin Lange [27]
26Carla Limongelli [1]
27Steve Linton [37]
28Rita Loogen [9] [16] [22]
29Kenneth MacKenzie [28]
30Greg Michaelson [13] [22] [29] [30] [33] [38]
31Alberto Momigliano [24] [28] [35]
32Richard G. Morgan [5] [8]
33Ricardo Peña-Marí (Ricardo Pena) [22]
34Robert F. Pointon [10] [11] [16] [17] [18] [29] [33] [36]
35Sanjay Poria [5]
36Álvaro J. Rebón Portillo [12] [19] [22]
37Steffen Priebe [16] [22]
38Fernando Rubio [22]
39Donald Sannella [28]
40Norman Scaife [22] [29] [33] [40]
41Jocelyn Sérot [29] [33]
42Olha Shkaravska [28]
43Ian Stark [28]
44Philip W. Trinder [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [20] [22] [23] [25] [26] [30] [32] [37] [38]
45Pedro B. Vasconcelos [19]
46Andy Wallace [29] [33]
47Abdallah Al Zain [30] [37] [38]
48Abyd Al Zain [39]

Colors in the list of coauthors

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)