Jesper Larsson Träff

219 papers A 13B 16C 29Misc 2Journal 77Unranked 66
YearRankTypeTitle / Venue / Authors
2026 book
Jesper Larsson Träff
2025 J jnl
CoRR
Jesper Larsson Träff
2025 J jnl
Concurr. Comput. Pract. Exp.
Ioannis Vardas, Jesper Larsson Träff, Ruben Laso, Sascha Hunold
2025 J jnl
ACM Trans. Parallel Comput.
Jesper Larsson Träff
2024 B conf
CCGrid
Ioannis Vardas, Sascha Hunold, Philippe Swartvagher, Jesper Larsson Träff
2024 J jnl
CoRR
Jesper Larsson Träff
2024 conf
SC Workshops
Jesper Larsson Träff, Ioannis Vardas, Sascha Hunold
2024 J jnl
CoRR
Jesper Larsson Träff
2024 J jnl
CoRR
Jesper Larsson Träff
2023 conf
Euro-Par Workshops
Ioannis Vardas, Sascha Hunold, Philippe Swartvagher, Jesper Larsson Träff
2023 C conf
EuroMPI
Jesper Larsson Träff, Ioannis Vardas
2023 conf
NorCAS
Martti Forsell, Jussi Roivainen, Ville Leppänen, Jesper Larsson Träff
2023 J jnl
Microprocess. Microsystems
Martti Forsell, Jussi Roivainen, Ville Leppänen, Jesper Larsson Träff
2023 J jnl
CoRR
Jesper Larsson Träff
2023 C conf
CLUSTER
Jesper Larsson Träff, Sascha Hunold, Ioannis Vardas, Nikolaus Manes Funk
2023 conf
SC Workshops
Philippe Swartvagher, Sascha Hunold, Jesper Larsson Träff, Ioannis Vardas
2022 J jnl
CoRR
Jesper Larsson Träff
2022 conf
PERMAVOST@HPDC
Sascha Hunold, Jordy I. Ajanohoun, Ioannis Vardas, Jesper Larsson Träff
2022 B conf
SPAA
Jesper Larsson Träff
2022 C conf
CLUSTER
Jesper Larsson Träff
2022 J jnl
J. Supercomput.
Martti Forsell, Sara Nikula, Jussi Roivainen, Ville Leppänen, Jesper Larsson Träff
2022 conf
IPDPS Workshops
Ioannis Vardas, Sascha Hunold, Jordy I. Ajanohoun, Jesper Larsson Träff
2021 J jnl
CoRR
Jesper Larsson Träff
2021 B conf
PPoPP
Jesper Larsson Träff, Manuel Pöter
2021 J jnl
Parallel Comput.
Jesper Larsson Träff, Sascha Hunold, Guillaume Mercier, Daniel J. Holmes
2020 J jnl
CoRR
Jesper Larsson Träff, Manuel Pöter
2020 J jnl
ACM J. Exp. Algorithmics
Konrad von Kirchbach, Christian Schulz, Jesper Larsson Träff
2020 C conf
EuroMPI
Jesper Larsson Träff, Sascha Hunold, Guillaume Mercier, Daniel J. Holmes
2020 C conf
CLUSTER
Jesper Larsson Träff, Sascha Hunold
2020 C conf
CLUSTER
Konrad von Kirchbach, Markus Lehr, Sascha Hunold, Christian Schulz, Jesper Larsson Träff
2020 J jnl
CoRR
Sascha Hunold, Konrad von Kirchbach, Markus Lehr, Christian Schulz, Jesper Larsson Träff
2020 B conf
SEA
Marcelo Fonseca Faraj, Alexander van der Grinten, Henning Meyerhenke, Jesper Larsson Träff, Christian Schulz
2020 J jnl
CoRR
Marcelo Fonseca Faraj, Alexander van der Grinten, Henning Meyerhenke, Jesper Larsson Träff, Christian Schulz
2020 conf
IPDPS Workshops
Martti Forsell, Jussi Roivainen, Jesper Larsson Träff
2020 C conf
EuroMPI
Jesper Larsson Träff
2020 J jnl
Parallel Comput.
Jesper Larsson Träff, Torsten Hoefler
2020 J jnl
CoRR
Jesper Larsson Träff
2019 B conf
ICPP
Jesper Larsson Träff, Sascha Hunold
2019 J jnl
CoRR
Jesper Larsson Träff
2019 C conf
EuroMPI
Jesper Larsson Träff, Torsten Hoefler
2019 B conf
ICPP
Carlos Pachajoa, Markus Levonyak, Wilfried N. Gansterer, Jesper Larsson Träff
2019 J jnl
CoRR
Carlos Pachajoa, Markus Levonyak, Wilfried N. Gansterer, Jesper Larsson Träff
2019 J jnl
CoRR
Michael Kainer, Jesper Larsson Träff
2019 J jnl
IEEE Trans. Parallel Distributed Syst.
Jesper Larsson Träff
2019 C ed.
EuroMPI
Torsten Hoefler, Jesper Larsson Träff
2019 J jnl
Parallel Comput.
Qiao Kang, Jesper Larsson Träff, Reda Al-Bahrani, Ankit Agrawal, Alok N. Choudhary, Wei-keng Liao
2018 B conf
SPAA
Manuel Pöter, Jesper Larsson Träff
2018 C conf
EuroMPI
Qiao Kang, Jesper Larsson Träff, Reda Al-Bahrani, Ankit Agrawal, Alok N. Choudhary, Wei-keng Liao
2018 conf
IPDPS Workshops
Martti Forsell, Jussi Roivainen, Ville Leppänen, Jesper Larsson Träff
2018 J jnl
CoRR
Manuel Pöter, Jesper Larsson Träff
2018 J jnl
CoRR
Jesper Larsson Träff
2018 J jnl
Parallel Comput.
Jesper Larsson Träff
2018 J jnl
CoRR
Manuel Pöter, Jesper Larsson Träff
2018 J jnl
Microprocess. Microsystems
Martti Forsell, Jussi Roivainen, Ville Leppänen, Jesper Larsson Träff
2017 J jnl
CoRR
Manuel Pöter, Jesper Larsson Träff
2017 B conf
SEA
Christian Schulz, Jesper Larsson Träff
2017 J jnl
CoRR
Christian Schulz, Jesper Larsson Träff
2017 Misc conf
HiPC
Seyed Hessam Mirsadeghi, Jesper Larsson Träff, Pavan Balaji, Ahmad Afsahi
2017 J jnl
CoRR
Jesper Larsson Träff
2017 J jnl
Parallel Comput.
Alexandra Carpen-Amarie, Sascha Hunold, Jesper Larsson Träff
2017 J jnl
CoRR
Jesper Larsson Träff
2017 conf
EuroMPI/USA
Jesper Larsson Träff
2017 conf
NORCAS
Martti Forsell, Jussi Roivainen, Ville Leppänen, Jesper Larsson Träff
2017 J jnl
CoRR
Christian Schulz, Jesper Larsson Träff
2016 J jnl
Commun. ACM
Jesper Larsson Träff
2016 C conf
EuroMPI
Jesper Larsson Träff
2016 conf
Euro-Par
Sascha Hunold, Alexandra Carpen-Amarie, Felix Donatus Lübbe, Jesper Larsson Träff
2016 J jnl
CoRR
Jakob Gruber, Jesper Larsson Träff, Martin Wimmer
2016 B conf
SPAA
Jakob Gruber, Jesper Larsson Träff, Martin Wimmer
2016 J jnl
CoRR
Alexandra Carpen-Amarie, Sascha Hunold, Jesper Larsson Träff
2016 J jnl
CoRR
Jesper Larsson Träff, Alexandra Carpen-Amarie, Sascha Hunold, Antoine Rougier
2016 C conf
EuroMPI
Alexandra Carpen-Amarie, Sascha Hunold, Jesper Larsson Träff
2016 J jnl
CoRR
Sascha Hunold, Alexandra Carpen-Amarie, Felix Donatus Lübbe, Jesper Larsson Träff
2016 A conf
IPDPS
Robert Ganian, Martin Kalany, Stefan Szeider, Jesper Larsson Träff
2016 C ed.
EuroMPI
Jack J. Dongarra, Daniel J. Holmes, Antonia B. K. Collis, Jesper Larsson Träff, Lorna Smith
2016 J jnl
Concurr. Comput. Pract. Exp.
Christian Lengauer, Luc Bougé, Jesper Larsson Träff
2016 conf
ISC Workshops
Stefano Markidis, Ivy Bo Peng, Jesper Larsson Träff, Antoine Rougier, Valeria Bartsch, Rui Machado, Mirko Rahn, Alistair Hart, Daniel J. Holmes, Mark Bull, Erwin Laure
2015 C conf
EuroMPI
Martin Kalany, Jesper Larsson Träff
2015 ed.
Euro-Par
Jesper Larsson Träff, Sascha Hunold, Francesco Versaci
2015 C conf
EuroMPI
Jesper Larsson Träff, Felix Donatus Lübbe, Antoine Rougier, Sascha Hunold
2015 J jnl
CoRR
Robert Ganian, Martin Kalany, Stefan Szeider, Jesper Larsson Träff
2015 C conf
EuroMPI
Jesper Larsson Träff, Felix Donatus Lübbe
2015 J jnl
CoRR
Martin Wimmer, Jakob Gruber, Jesper Larsson Träff, Philippas Tsigas
2015 J jnl
CoRR
Jesper Larsson Träff
2015 B conf
PPoPP
Martin Wimmer, Jakob Gruber, Jesper Larsson Träff, Philippas Tsigas
2014 J jnl
CoRR
Jesper Larsson Träff, Martin Wimmer
2014 B conf
PPoPP
Martin Wimmer, Francesco Versaci, Jesper Larsson Träff, Daniel Cederman, Philippas Tsigas
2014 A conf
ICS
Jesper Larsson Träff, Antoine Rougier, Sascha Hunold
2014 conf
EuroMPI/ASIA
Jesper Larsson Träff, Antoine Rougier
2014 conf
EuroMPI/ASIA
Jesper Larsson Träff
2014 J jnl
Parallel Process. Lett.
Christian Siebert, Jesper Larsson Träff
2014 conf
EuroMPI/ASIA
Sascha Hunold, Alexandra Carpen-Amarie, Jesper Larsson Träff
2014 J jnl
Computing
Jesper Larsson Träff, Siegfried Benkner
2014 conf
EuroMPI/ASIA
Jesper Larsson Träff, Antoine Rougier
2013 J jnl
CoRR
Jesper Larsson Träff
2013 J jnl
CoRR
Martin Wimmer, Daniel Cederman, Jesper Larsson Träff, Philippas Tsigas
2013 J jnl
CoRR
Martin Wimmer, Daniel Cederman, Francesco Versaci, Jesper Larsson Träff, Philippas Tsigas
2013 J jnl
CoRR
Sascha Hunold, Jesper Larsson Träff
2013 J jnl
CoRR
Christian Siebert, Jesper Larsson Träff
2013 conf
IPDPS Workshops
Martin Wimmer, Manuel Pöter, Jesper Larsson Träff
2013 B conf
PPoPP
Martin Wimmer, Daniel Cederman, Jesper Larsson Träff, Philippas Tsigas
2012 conf
SC Companion
Christoph W. Kessler, Usman Dastgeer, Mudassar Majeed, Nathalie Furmento, Samuel Thibault, Raymond Namyst, Siegfried Benkner, Sabri Pllana, Jesper Larsson Träff, Martin Wimmer
2012 J jnl
Parallel Comput.
Jesper Larsson Träff
2012 C conf
EuroMPI
Christian Siebert, Jesper Larsson Träff
2012 ed.
Euro-Par Workshops (1)
Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Di Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Träff, Geoffroy Vallée, Josef Weidendorfer
2012 ed.
Euro-Par Workshops (2)
Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Di Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Träff, Geoffroy Vallée, Josef Weidendorfer
2012 conf
SC Companion
Christoph W. Keßler, Usman Dastgeer, Mudassar Majeed, Nathalie Furmento, Samuel Thibault, Raymond Namyst, Siegfried Benkner, Sabri Pllana, Jesper Larsson Träff, Martin Wimmer
2012 A conf
DATE
Christoph W. Kessler, Usman Dastgeer, Samuel Thibault, Raymond Namyst, Andrew Richards, Uwe Dolinsky, Siegfried Benkner, Jesper Larsson Träff, Sabri Pllana
2012 C ed.
EuroMPI
Jesper Larsson Träff, Siegfried Benkner, Jack J. Dongarra
2012 J jnl
CoRR
Jesper Larsson Träff
2012 J jnl
IEEE Micro
Torsten Hoefler, Patrick Geoffray, Fabrizio Petrini, Jesper Larsson Träff
2012 C conf
EuroMPI
Jesper Larsson Träff
2011 conf
IPDPS Workshops
Jesper Larsson Träff
2011 ch.
Encyclopedia of Parallel Computing
Jesper Larsson Träff, Robert A. van de Geijn
2011 ch.
Encyclopedia of Parallel Computing
Jesper Larsson Träff, Robert A. van de Geijn
2011 conf
IPDPS Workshops
Martin Wimmer, Jesper Larsson Träff
2011 ch.
Encyclopedia of Parallel Computing
Jesper Larsson Träff, Robert A. van de Geijn
2011 ch.
Encyclopedia of Parallel Computing
Robert A. van de Geijn, Jesper Larsson Träff
2011 ed.
Euro-Par Workshops
Mario R. Guarracino, Frédéric Vivien, Jesper Larsson Träff, Mario Cannataro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Beniamino Di Martino, Michael Alexander
2011 conf
Euro-Par (2)
Jesper Larsson Träff, Brice Goglin, Ulrich Brüning, Fabrizio Petrini
2011 J jnl
Parallel Process. Lett.
Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Torsten Hoefler, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff
2011 J jnl
IEEE Micro
Siegfried Benkner, Sabri Pllana, Jesper Larsson Träff, Philippas Tsigas, Uwe Dolinsky, Cédric Augonnet, Beverly Bachmayer, Christoph W. Kessler, David Moloney, Vitaly Osipov
2011 C conf
EuroMPI
William Gropp, Torsten Hoefler, Rajeev Thakur, Jesper Larsson Träff
2011 ch.
Encyclopedia of Parallel Computing
Jesper Larsson Träff
2011 conf
PARCO
Siegfried Benkner, Sabri Pllana, Jesper Larsson Träff, Philippas Tsigas, Andrew Richards, Raymond Namyst, Beverly Bachmayer, Christoph W. Kessler, David Moloney, Peter Sanders
2011 J jnl
Concurr. Comput. Pract. Exp.
Torsten Hoefler, Rolf Rabenseifner, Hubert Ritzdorf, Bronis R. de Supinski, Rajeev Thakur, Jesper Larsson Träff
2011 C conf
EuroMPI
Enes Bajrovic, Jesper Larsson Träff
2011 B conf
SPAA
Martin Wimmer, Jesper Larsson Träff
2010 J jnl
Int. J. High Perform. Comput. Appl.
Jesper Larsson Träff, Andreas Ripke, Christian Siebert, Pavan Balaji, Rajeev Thakur, William Gropp
2010 C conf
EuroMPI
Jesper Larsson Träff
2010 conf
Euro-Par Workshops (1)
Martti Forsell, Jesper Larsson Träff
2010 conf
Euro-Par Workshops
Martti Forsell, Jesper Larsson Träff
2010 conf
Euro-Par (2)
Beniamino Di Martino, Fabrizio Petrini, Siegfried Benkner, Kirk W. Cameron, Dieter Kranzlmüller, Jakub Kurzak, Davide Pasetto, Jesper Larsson Träff
2010 J jnl
IEEE Trans. Parallel Distributed Syst.
Jesper Larsson Träff, William D. Gropp, Rajeev Thakur
2010 C conf
EuroMPI
Torsten Hoefler, William Gropp, Rajeev Thakur, Jesper Larsson Träff
2010 C conf
EuroMPI
Jesper Larsson Träff
2010 J jnl
CoRR
Martin Wimmer, Jesper Larsson Träff
2009 book
Aspects of the efficient implementation of the message passing interface (MPI).
Jesper Larsson Träff
2009 ed.
Euro-Par Workshops
Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Träff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha
2009 conf
PVM/MPI
Faisal Ghias Mir, Jesper Larsson Träff
2009 conf
Euro-Par Workshops
Martti Forsell, H. Peter Hofstee, Ahmed Jerraya, Chris R. Jesshope, Uzi Vishkin, Jesper Larsson Träff
2009 conf
Euro-Par Workshops
Martti Forsell, Jesper Larsson Träff
2009 J jnl
Sci. Program.
Sabri Pllana, Jesper Larsson Träff
2009 B conf
ICPP
Vinod Tipparaju, William Gropp, Hubert Ritzdorf, Rajeev Thakur, Jesper Larsson Träff
2009 conf
PVM/MPI
Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff
2009 J jnl
Parallel Process. Lett.
Jesper Larsson Träff
2009 J jnl
Sci. Program.
Sabri Pllana, Jesper Larsson Träff
2009 A conf
IPDPS
Torsten Hoefler, Jesper Larsson Träff
2009 J jnl
Parallel Comput.
Peter Sanders, Jochen Speck, Jesper Larsson Träff
2009 J jnl
J. Parallel Distributed Comput.
Jesper Larsson Träff
2008 conf
PVM/MPI
Jesper Larsson Träff, Andreas Ripke, Christian Siebert, Pavan Balaji, Rajeev Thakur, William Gropp
2008 conf
PVM/MPI
Faisal Ghias Mir, Jesper Larsson Träff
2008 ed.
Euro-Par Workshops
Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs
2008 A conf
IPDPS
Jesper Larsson Träff
2008 J jnl
J. Parallel Distributed Comput.
Jesper Larsson Träff, Andreas Ripke
2008 conf
Euro-Par Workshops
Martti Forsell, Jesper Larsson Träff
2008 conf
PVM/MPI
William D. Gropp, Dries Kimpe, Robert B. Ross, Rajeev Thakur, Jesper Larsson Träff
2008 Misc conf
CISIS
Jörg Wagner, Armin Jahanpanah, Jesper Larsson Träff
2007 J jnl
Concurr. Comput. Pract. Exp.
Michael Gerndt, Bernd Mohr, Jesper Larsson Träff
2007 conf
PVM/MPI
Peter Sanders, Jochen Speck, Jesper Larsson Träff
2007 conf
Euro-Par Workshops
Martti Forsell, Jesper Larsson Träff
2007 J jnl
Parallel Comput.
Bernd Mohr, Jesper Larsson Träff, Joachim Worringen
2007 conf
PVM/MPI
Jesper Larsson Träff, William Gropp, Rajeev Thakur
2006 A conf
IPDPS
Hubert Ritzdorf, Jesper Larsson Träff
2006 J jnl
Oper. Res. Lett.
Jesper Larsson Träff
2006 conf
PVM/MPI
Jesper Larsson Träff
2006 conf
PVM/MPI
Peter Sanders, Jesper Larsson Träff
2006 ed.
PVM/MPI
Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack J. Dongarra
2006 conf
PVM/MPI
Guntram Berti, Jesper Larsson Träff
2005 conf
PVM/MPI
Jesper Larsson Träff
2005 conf
PVM/MPI
Jesper Larsson Träff, Andreas Ripke
2005 C conf
HPCC
Jesper Larsson Träff, Andreas Ripke
2005 conf
PARCO
Jesper Larsson Träff, Joachim Worringen
2004 conf
PVM/MPI
Jesper Larsson Träff
2004 conf
Euro-Par
Michael Gerndt, Bernd Mohr, Jesper Larsson Träff
2004 A conf
IPDPS
Jesper Larsson Träff
2004 conf
PVM/MPI
Rolf Rabenseifner, Jesper Larsson Träff
2004 conf
PVM/MPI
Jesper Larsson Träff, Joachim Worringen
2003 A conf
ESA
Irit Katriel, Peter Sanders, Jesper Larsson Träff
2003 A conf
SC
Joachim Worringen, Jesper Larsson Träff, Hubert Ritzdorf
2003 conf
PVM/MPI
Joachim Worringen, Jesper Larsson Träff, Hubert Ritzdorf
2003 C conf
HIPS
Bernd Mohr, Jesper Larsson Träff
2003 A conf
IPDPS
Bernd Mohr, Jesper Larsson Träff
2003 C conf
HIPS
Jesper Larsson Träff
2003 A conf
IPDPS
Jesper Larsson Träff
2002 A conf
SC
Jesper Larsson Träff
2002 conf
PVM/MPI
Jesper Larsson Träff
2002 J jnl
Sci. Program.
Ralf H. Reussner, Peter Sanders, Jesper Larsson Träff
2002 conf
Euro-Par
Peter Sanders, Jesper Larsson Träff
2001 conf
PVM/MPI
Maciej Golebiewski, Jesper Larsson Träff
2001 book
Practical PRAM programming.
Jörg Keller, Christoph W. Keßler, Jesper Larsson Träff
2000 conf
PVM/MPI
Ralf H. Reussner, Jesper Larsson Träff, Gunnar Hunzelmann
2000 J jnl
J. Parallel Distributed Comput.
Jesper Larsson Träff, Christos D. Zaroliagis
2000 conf
ISHPC
Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff
2000 conf
ISHPC
Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff
2000 B conf
ICPP
Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff
2000 A conf
SC
Jesper Larsson Träff, Hubert Ritzdorf, Rolf Hempel
1999 conf
Euro-Par
Maciej Golebiewski, Achim Basermann, Markus Baum, Rolf Hempel, Hubert Ritzdorf, Jesper Larsson Träff
1999 conf
PVM/MPI
Jesper Larsson Träff, Rolf Hempel, Hubert Ritzdorf, Falk Zimmermann
1999 J jnl
Parallel Comput.
Christoph W. Keßler, Jesper Larsson Träff
1998 J jnl
J. Parallel Distributed Comput.
Gerth Stølting Brodal, Jesper Larsson Träff, Christos D. Zaroliagis
1998 conf
WAE
Torben Hagerup, Peter Sanders, Jesper Larsson Träff
1998 conf
PVM/MPI
Jesper Larsson Träff
1997 C conf
CIAC
Jyrki Katajainen, Jesper Larsson Träff
1997 conf
IPPS
Gerth Stølting Brodal, Jesper Larsson Träff, Christos D. Zaroliagis
1997 C conf
PDP
Christoph W. Keßler, Jesper Larsson Träff
1997 conf
WAE
Artur Czumaj, Paolo Ferragina, Leszek Gasieniec, S. Muthukrishnan, Jesper Larsson Träff
1996 B conf
SPAA
Christoph W. Keßler, Jesper Larsson Träff
1996 conf
IRREGULAR
Jesper Larsson Träff, Christos D. Zaroliagis
1995 J jnl
Parallel Comput.
Jesper Larsson Träff
1995
Distributed and parallel graph algorithms - models and experiments.
Jesper Larsson Träff
1994 conf
ICPP (3)
Jesper Larsson Träff
1994 J jnl
Parallel Process. Lett.
Jens Clausen, Jesper Larsson Träff
1993 conf
PARCO
Jesper Larsson Träff
1993 conf
PARLE
Jesper Larsson Träff
1992 conf
META
Jesper Larsson Träff, Steven David Prestwich
1992 J jnl
Theor. Comput. Sci.
Torben Amtoft, Jesper Larsson Träff
1991 J jnl
Ann. Oper. Res.
Jens Clausen, Jesper Larsson Träff
1989 conf
Logic at Botik
Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones