BibTeX records: Wolfram Amme

download as .bib file

@article{DBLP:journals/spe/HeinzeAM18,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Static analysis and process model transformation for an advanced business
               process to Petri net mapping},
  journal   = {Softw., Pract. Exper.},
  volume    = {48},
  number    = {1},
  pages     = {161--195},
  year      = {2018},
  url       = {https://doi.org/10.1002/spe.2523},
  doi       = {10.1002/spe.2523},
  timestamp = {Thu, 04 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/spe/HeinzeAM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HeinzeA16,
  author    = {Thomas S. Heinze and
               Wolfram Amme},
  title     = {Sparse Analysis of Variable Path Predicates Based upon SSA-Form},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  pages     = {227--242},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_16},
  doi       = {10.1007/978-3-319-47166-2\_16},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/HeinzeA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csimq/PrinzA15,
  author    = {Thomas M. Prinz and
               Wolfram Amme},
  title     = {A Complete and the Most Liberal Semantics for Converging {OR} Gateways
               in Sound Processes},
  journal   = {{CSIMQ}},
  volume    = {4},
  pages     = {32--49},
  year      = {2015},
  url       = {https://doi.org/10.7250/csimq.2015-4.03},
  doi       = {10.7250/csimq.2015-4.03},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csimq/PrinzA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AdlerA14,
  author    = {Philipp Adler and
               Wolfram Amme},
  title     = {Speculative optimizations for interpreting environments},
  journal   = {Softw., Pract. Exper.},
  volume    = {44},
  number    = {10},
  pages     = {1223--1249},
  year      = {2014},
  url       = {https://doi.org/10.1002/spe.2199},
  doi       = {10.1002/spe.2199},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/AdlerA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PrinzSA14,
  author    = {Thomas M. Prinz and
               Norbert Spie{\ss} and
               Wolfram Amme},
  title     = {A First Step towards a Compiler for Business Processes},
  booktitle = {Compiler Construction - 23rd International Conference, {CC} 2014,
               Held as Part of the European Joint Conferences on Theory and Practice
               of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {238--243},
  year      = {2014},
  crossref  = {DBLP:conf/cc/2014},
  url       = {https://doi.org/10.1007/978-3-642-54807-9\_14},
  doi       = {10.1007/978-3-642-54807-9\_14},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/PrinzSA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/UlbrichtAHMW14,
  author    = {Stephan Ulbricht and
               Wolfram Amme and
               Thomas S. Heinze and
               Simon Moser and
               Hans{-}Dieter Wehle},
  title     = {Portable Green Cloud Services},
  booktitle = {{CLOSER} 2014 - Proceedings of the 4th International Conference on
               Cloud Computing and Services Science, Barcelona, Spain, April 3-5,
               2014.},
  pages     = {53--59},
  year      = {2014},
  crossref  = {DBLP:conf/closer/2014},
  url       = {https://doi.org/10.5220/0004787300530059},
  doi       = {10.5220/0004787300530059},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/closer/UlbrichtAHMW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/HeinzeAM14,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Compiling More Precise Petri Net Models for an Improved Verification
               of Service Implementations},
  booktitle = {7th {IEEE} International Conference on Service-Oriented Computing
               and Applications, {SOCA} 2014, Matsue, Japan, November 17-19, 2014},
  pages     = {25--32},
  year      = {2014},
  crossref  = {DBLP:conf/soca/2014},
  url       = {https://doi.org/10.1109/SOCA.2014.8},
  doi       = {10.1109/SOCA.2014.8},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/soca/HeinzeAM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM14,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Message Assertions and Predicate-Based Control-Flow Unfolding Revisited},
  booktitle = {Proceedings of the 6th Central-European Workshop on Services and their
               Composition, {ZEUS} 2014, Potsdam, Germany, February 20-21, 2014.},
  pages     = {17--20},
  year      = {2014},
  crossref  = {DBLP:conf/zeus/2014},
  url       = {http://ceur-ws.org/Vol-1140/paper3.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/HeinzeAM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PrinzA13,
  author    = {Thomas M. Prinz and
               Wolfram Amme},
  title     = {Practical Compiler-Based User Support during the Development of Business
               Processes},
  booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
               SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
               Revised Selected Papers},
  pages     = {40--53},
  year      = {2013},
  crossref  = {DBLP:conf/icsoc/2013w},
  url       = {https://doi.org/10.1007/978-3-319-06859-6\_5},
  doi       = {10.1007/978-3-319-06859-6\_5},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/PrinzA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM13,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Control Flow Unfolding of Workflow Graphs Using Predicate Analysis
               and {SMT} Solving},
  booktitle = {Proceedings of the 5\({}^{\mbox{th}}\) Central-European Workshop on
               Services and their Composition, Rostock, Germany, February 21-22,
               2013},
  pages     = {1--8},
  year      = {2013},
  crossref  = {DBLP:conf/zeus/2013},
  url       = {http://ceur-ws.org/Vol-1029/paper1.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/HeinzeAM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAMG12,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser and
               Kai Gebhardt},
  title     = {Guided Control Flow Unfolding for Workflow Graphs Using Value Range
               Information},
  booktitle = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
               Services and their Composition, ZEUS-2012, Bamberg, Germany, February
               23-24, 2012},
  pages     = {128--135},
  year      = {2012},
  crossref  = {DBLP:conf/zeus/2012},
  url       = {http://ceur-ws.org/Vol-847/paper17.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/HeinzeAMG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM11,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Effiziente Absch{\"{a}}tzung von Datenflussfehlern in strukturierten
               Gesch{\"{a}}ftsprozessen},
  booktitle = {3rd Central-European Workshop on Services and their Composition, Services
               und ihre Komposition, {ZEUS} 2011, Karlsruhe, Germany, February 21-22,
               2011. Proceedings},
  pages     = {73--80},
  year      = {2011},
  crossref  = {DBLP:conf/zeus/2011},
  url       = {http://ceur-ws.org/Vol-705/paper10.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/HeinzeAM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HeinzeAM10,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Process Restructuring in the Presence of Message-Dependent Variables},
  booktitle = {Service-Oriented Computing - {ICSOC} 2010 International Workshops,
               PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10,
               2010, Revised Selected Papers},
  pages     = {121--132},
  year      = {2010},
  crossref  = {DBLP:conf/icsoc/2010w},
  url       = {https://doi.org/10.1007/978-3-642-19394-1\_13},
  doi       = {10.1007/978-3-642-19394-1\_13},
  timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/HeinzeAM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM10,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Prozessumstrukturierung unter Ber{\"{u}}cksichtigung von Nachrichteninhalten},
  booktitle = {2nd Central-European Workshop on Services and their Composition, Services
               und ihre Komposition, {ZEUS} 2010, Berlin, Germany, February 25-26,
               2010. Proceedings},
  pages     = {89--96},
  year      = {2010},
  crossref  = {DBLP:conf/zeus/2010},
  url       = {http://ceur-ws.org/Vol-563/paper11.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/HeinzeAM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/AmmeMM09,
  author    = {Wolfram Amme and
               Axel Martens and
               Simon Moser},
  title     = {Advanced verification of distributed {WS-BPEL} business processes
               incorporating CSSA-based data flow analysis},
  journal   = {{IJBPIM}},
  volume    = {4},
  number    = {1},
  pages     = {47--59},
  year      = {2009},
  url       = {https://doi.org/10.1504/IJBPIM.2009.026985},
  doi       = {10.1504/IJBPIM.2009.026985},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijbpim/AmmeMM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AmmeRAF09,
  author    = {Wolfram Amme and
               Jeffery von Ronne and
               Philipp Adler and
               Michael Franz},
  title     = {The effectiveness of producer-side machine-independent optimizations
               for mobile code},
  journal   = {Softw., Pract. Exper.},
  volume    = {39},
  number    = {10},
  pages     = {923--946},
  year      = {2009},
  url       = {https://doi.org/10.1002/spe.921},
  doi       = {10.1002/spe.921},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/AmmeRAF09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeinzeAM09,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {A Restructuring Method for {WS-BPEL} Business Processes Based on Extended
               Workflow Graphs},
  booktitle = {Business Process Management, 7th International Conference, {BPM} 2009,
               Ulm, Germany, September 8-10, 2009. Proceedings},
  pages     = {211--228},
  year      = {2009},
  crossref  = {DBLP:conf/bpm/2009},
  url       = {https://doi.org/10.1007/978-3-642-03848-8\_15},
  doi       = {10.1007/978-3-642-03848-8\_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/HeinzeAM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AdlerA09,
  author    = {Philipp Adler and
               Wolfram Amme},
  title     = {Type-Separated Bytecode - Its Construction and Evaluation},
  booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
               France, June 26-28, 2009. Selected Papers},
  pages     = {26--39},
  year      = {2009},
  crossref  = {DBLP:conf/rv/2009},
  url       = {https://doi.org/10.1007/978-3-642-04694-0\_3},
  doi       = {10.1007/978-3-642-04694-0\_3},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/AdlerA09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/HeinzeAM09,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens},
  booktitle = {1st Central-European Workshop on Services and their Composition, {ZEUS}
               2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
  pages     = {88--94},
  year      = {2009},
  crossref  = {DBLP:conf/zeus/2009},
  url       = {http://ceur-ws.org/Vol-438/paper14.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/HeinzeAM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/AmmeHR08,
  author    = {Wolfram Amme and
               Thomas S. Heinze and
               Jeffery von Ronne},
  title     = {Intermediate Representations of Mobile Code},
  journal   = {Informatica (Slovenia)},
  volume    = {32},
  number    = {1},
  pages     = {1--25},
  year      = {2008},
  url       = {http://www.informatica.si/index.php/informatica/article/view/173},
  timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/informaticaSI/AmmeHR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/HeinzeAM08,
  author    = {Thomas S. Heinze and
               Wolfram Amme and
               Simon Moser},
  title     = {Generic CSSA-Based Pattern over Boolean Data for an Improved {WS-BPEL}
               to Petri Net Mappping},
  booktitle = {Third International Conference on Internet and Web Applications and
               Services, {ICIW} 2008, 8-13 June 2008, Athens, Greece},
  pages     = {590--595},
  year      = {2008},
  crossref  = {DBLP:conf/iciw/2008},
  url       = {https://doi.org/10.1109/ICIW.2008.14},
  doi       = {10.1109/ICIW.2008.14},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciw/HeinzeAM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AmmeMA07,
  author    = {Wolfram Amme and
               Marc{-}Andr{\'{e}} M{\"{o}}ller and
               Philipp Adler},
  title     = {Data Flow Analysis as a General Concept for the Transport of Verifiable
               Program Annotations},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {176},
  number    = {3},
  pages     = {97--108},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2006.06.019},
  doi       = {10.1016/j.entcs.2006.06.019},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AmmeMA07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/AmmeRF07,
  author    = {Wolfram Amme and
               Jeffery von Ronne and
               Michael Franz},
  title     = {SSA-based mobile code: Implementation and empirical evaluation},
  journal   = {{TACO}},
  volume    = {4},
  number    = {2},
  pages     = {13},
  year      = {2007},
  url       = {https://doi.org/10.1145/1250727.1250733},
  doi       = {10.1145/1250727.1250733},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/taco/AmmeRF07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MoserMGAG07,
  author    = {Simon Moser and
               Axel Martens and
               Katharina G{\"{o}}rlach and
               Wolfram Amme and
               Artur Godlinski},
  title     = {Advanced Verification of Distributed {WS-BPEL} Business Processes
               Incorporating CSSA-based Data Flow Analysis},
  booktitle = {2007 {IEEE} International Conference on Services Computing {(SCC}
               2007), 9-13 July 2007, Salt Lake City, Utah, {USA}},
  pages     = {98--105},
  year      = {2007},
  crossref  = {DBLP:conf/IEEEscc/2007},
  url       = {https://doi.org/10.1109/SCC.2007.22},
  doi       = {10.1109/SCC.2007.22},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/MoserMGAG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AmmeRF05,
  author    = {Wolfram Amme and
               Jeffery von Ronne and
               Michael Franz},
  title     = {Quantifying the Benefits of SSA-Based Mobile Code},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {141},
  number    = {2},
  pages     = {103--119},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.02.046},
  doi       = {10.1016/j.entcs.2005.02.046},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AmmeRF05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HartmannARF03,
  author    = {Andreas Hartmann and
               Wolfram Amme and
               Jeffery von Ronne and
               Michael Franz},
  title     = {Code Annotation for Safe and Efficient Dynamic Object Resolution},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {82},
  number    = {2},
  pages     = {362--376},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)82597-6},
  doi       = {10.1016/S1571-0661(05)82597-6},
  timestamp = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/HartmannARF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/AmmeF03,
  author    = {Wolfram Amme and
               Michael Franz},
  title     = {Effiziente Codegenerierung f{\"{u}}r mobilen Code},
  journal   = {Informatik Spektrum},
  volume    = {26},
  number    = {4},
  pages     = {237--246},
  year      = {2003},
  url       = {https://doi.org/10.1007/s00287-003-0317-1},
  doi       = {10.1007/s00287-003-0317-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/insk/AmmeF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/RonneHAF02,
  author    = {Jeffery von Ronne and
               Andreas Hartmann and
               Wolfram Amme and
               Michael Franz},
  title     = {Efficient online optimization by utilizing offline analysis and the
               safeTSA representation},
  booktitle = {Proceedings of the naugural International Symposium on Principles
               and Practice of Programming in Java, {PPPJ} 2002, and Proceedings
               of the second workshop on Intermediate representation engineering
               for virtual machines, Dublin, Ireland, June 13-14, 2002},
  pages     = {181--186},
  year      = {2002},
  crossref  = {DBLP:conf/pppj/2002},
  url       = {https://dl.acm.org/citation.cfm?id=638512},
  timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/RonneHAF02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AmmeDFR01,
  author    = {Wolfram Amme and
               Niall Dalton and
               Michael Franz and
               Jeffery von Ronne},
  title     = {SafeTSA: {A} Type Safe and Referentially Secure Mobile-Code Representation
               Based on Static Single Assignment Form},
  booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
               20-22, 2001},
  pages     = {137--147},
  year      = {2001},
  crossref  = {DBLP:conf/pldi/2001},
  url       = {https://doi.org/10.1145/378795.378825},
  doi       = {10.1145/378795.378825},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/AmmeDFR01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/AmmeBTZ00,
  author    = {Wolfram Amme and
               Peter Braun and
               Fran{\c{c}}ois Thomasset and
               Eberhard Zehendner},
  title     = {Data Dependence Analysis of Assembly Code},
  journal   = {International Journal of Parallel Programming},
  volume    = {28},
  number    = {5},
  pages     = {431--467},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1007588710878},
  doi       = {10.1023/A:1007588710878},
  timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijpp/AmmeBTZ00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/AmmeBLZ99,
  author    = {Wolfram Amme and
               Peter Braun and
               Welf L{\"{o}}we and
               Eberhard Zehendner},
  title     = {Mapping List Algorithms on Parallel Systems},
  booktitle = {Workshops zur Architektur von Rechensystemen - Vortr{\"{a}}ge
               Workshops im Rahmen der 15. GI/ITG-Fachtagung {ARCS} '99, 4.-7. Oktober
               1999, Jena, Germany},
  pages     = {229--238},
  year      = {1999},
  crossref  = {DBLP:conf/arcs/1999-2},
  timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arcs/AmmeBLZ99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AmmeSBR99,
  author    = {Wolfram Amme and
               Markus Schordan and
               L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
               Wilhelm Rossak},
  title     = {{PAOLA} - Program Analysis of Object-Oriented Languages},
  booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
               Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  pages     = {143--146},
  year      = {1999},
  crossref  = {DBLP:conf/ecoopw/1999},
  timestamp = {Tue, 23 Jan 2018 13:29:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/AmmeSBR99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Amme98,
  author    = {Wolfram Amme},
  title     = {Datenabh{\"{a}}ngigkeitsanalyse in Programmen mit Zeigern},
  school    = {University of Jena, Germany},
  year      = {1998},
  url       = {http://d-nb.info/954507061},
  isbn      = {978-3-86064-837-7},
  timestamp = {Thu, 12 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Amme98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/AmmeZ98,
  author    = {Wolfram Amme and
               Eberhard Zehendner},
  title     = {Data Dependence Analysis in Programs with Pointers},
  journal   = {Parallel Computing},
  volume    = {24},
  number    = {3-4},
  pages     = {505--525},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0167-8191(98)00023-4},
  doi       = {10.1016/S0167-8191(98)00023-4},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pc/AmmeZ98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/AmmeBZT98,
  author    = {Wolfram Amme and
               Peter Braun and
               Eberhard Zehendner and
               Fran{\c{c}}ois Thomasset},
  title     = {Data Dependence Analysis of Assembly Code},
  booktitle = {Proceedings of the 1998 International Conference on Parallel Architectures
               and Compilation Techniques, Paris, France, October 12-18, 1998},
  pages     = {340},
  year      = {1998},
  crossref  = {DBLP:conf/IEEEpact/1998},
  url       = {https://doi.org/10.1109/PACT.1998.727270},
  doi       = {10.1109/PACT.1998.727270},
  timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEpact/AmmeBZT98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/AmmeZ97,
  author    = {Wolfram Amme and
               Eberhard Zehendner},
  title     = {Efficient Calculation of Data Dependences in Programs with Pointers
               and Structures},
  booktitle = {23rd {EUROMICRO} Conference '97, New Frontiers of Information Technology,
               1-4 September 1997, Budapest, Hungary},
  pages     = {55},
  year      = {1997},
  crossref  = {DBLP:conf/euromicro/1997},
  url       = {https://doi.org/10.1109/EURMIC.1997.617216},
  doi       = {10.1109/EURMIC.1997.617216},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euromicro/AmmeZ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/AmmeBZ97,
  author    = {Wolfram Amme and
               Peter Braun and
               Eberhard Zehendner},
  title     = {Scheduling Parallel Loops for Processing Linear Lists},
  booktitle = {23rd {EUROMICRO} Conference '97, New Frontiers of Information Technology,
               1-4 September 1997, Budapest, Hungary},
  pages     = {426--430},
  year      = {1997},
  crossref  = {DBLP:conf/euromicro/1997},
  url       = {https://doi.org/10.1109/EURMIC.1997.617342},
  doi       = {10.1109/EURMIC.1997.617342},
  timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euromicro/AmmeBZ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AmmeZ97,
  author    = {Wolfram Amme and
               Eberhard Zehendner},
  title     = {Experiences in Analyzing Data Dependences for Programs with Pointers
               and Structures},
  booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
               Passau, Germany, August 26-29, 1997, Proceedings},
  pages     = {342--346},
  year      = {1997},
  crossref  = {DBLP:conf/europar/1997},
  url       = {https://doi.org/10.1007/BFb0002754},
  doi       = {10.1007/BFb0002754},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/europar/AmmeZ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acpc/AmmeZ96,
  author    = {Wolfram Amme and
               Eberhard Zehendner},
  title     = {{A/D} Graphs - {A} Data Structure for Data Dependence Analysis in
               Programs with Pointers},
  booktitle = {Parallel Computation, Third International {ACPC} Conference with Special
               Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria,
               September 23-25, 1996, Proceedings},
  pages     = {229--230},
  year      = {1996},
  crossref  = {DBLP:conf/acpc/1996},
  url       = {https://doi.org/10.1007/3-540-61695-0\_24},
  doi       = {10.1007/3-540-61695-0\_24},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acpc/AmmeZ96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2},
  doi       = {10.1007/978-3-319-47166-2},
  isbn      = {978-3-319-47165-5},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2014,
  editor    = {Albert Cohen},
  title     = {Compiler Construction - 23rd International Conference, {CC} 2014,
               Held as Part of the European Joint Conferences on Theory and Practice
               of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8409},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54807-9},
  doi       = {10.1007/978-3-642-54807-9},
  isbn      = {978-3-642-54806-2},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/closer/2014,
  editor    = {Markus Helfert and
               Fr{\'{e}}d{\'{e}}ric Desprez and
               Donald Ferguson and
               Frank Leymann and
               V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz},
  title     = {{CLOSER} 2014 - Proceedings of the 4th International Conference on
               Cloud Computing and Services Science, Barcelona, Spain, April 3-5,
               2014},
  publisher = {SciTePress},
  year      = {2014},
  isbn      = {978-989-758-019-2},
  timestamp = {Fri, 12 Sep 2014 14:58:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/closer/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/soca/2014,
  title     = {7th {IEEE} International Conference on Service-Oriented Computing
               and Applications, {SOCA} 2014, Matsue, Japan, November 17-19, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975728},
  isbn      = {978-1-4799-6833-6},
  timestamp = {Fri, 10 Jul 2015 14:02:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/soca/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2014,
  editor    = {Nico Herzberg and
               Matthias Kunze},
  title     = {Proceedings of the 6th Central-European Workshop on Services and their
               Composition, {ZEUS} 2014, Potsdam, Germany, February 20-21, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1140},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1140},
  urn       = {urn:nbn:de:0074-1140-6},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2013w,
  editor    = {Alessio Lomuscio and
               Surya Nepal and
               Fabio Patrizi and
               Boualem Benatallah and
               Ivona Brandic},
  title     = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
               SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8377},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06859-6},
  doi       = {10.1007/978-3-319-06859-6},
  isbn      = {978-3-319-06858-9},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/2013w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2013,
  editor    = {Oliver Kopp and
               Niels Lohmann},
  title     = {Proceedings of the 5\({}^{\mbox{th}}\) Central-European Workshop on
               Services and their Composition, Rostock, Germany, February 21-22,
               2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1029},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1029},
  urn       = {urn:nbn:de:0074-1029-2},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2012,
  editor    = {Andreas Sch{\"{o}}nberger and
               Oliver Kopp and
               Niels Lohmann},
  title     = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
               Services and their Composition, ZEUS-2012, Bamberg, Germany, February
               23-24, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {847},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-847},
  urn       = {urn:nbn:de:0074-847-4},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2011,
  editor    = {Daniel Eichhorn and
               Agnes Koschmider and
               Huayu Zhang},
  title     = {3rd Central-European Workshop on Services and their Composition, Services
               und ihre Komposition, {ZEUS} 2011, Karlsruhe, Germany, February 21-22,
               2011. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {705},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-705},
  urn       = {urn:nbn:de:0074-705-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2010w,
  editor    = {E. Michael Maximilien and
               Gustavo Rossi and
               Soe{-}Tsyr Yuan and
               Heiko Ludwig and
               Marcelo Fantinato},
  title     = {Service-Oriented Computing - {ICSOC} 2010 International Workshops,
               PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10,
               2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6568},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19394-1},
  doi       = {10.1007/978-3-642-19394-1},
  isbn      = {978-3-642-19393-4},
  timestamp = {Sun, 04 Jun 2017 10:06:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/2010w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2010,
  editor    = {Christian Gierds and
               Jan S{\"{u}}rmeli},
  title     = {2nd Central-European Workshop on Services and their Composition, Services
               und ihre Komposition, {ZEUS} 2010, Berlin, Germany, February 25-26,
               2010. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {563},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-563},
  urn       = {urn:nbn:de:0074-563-8},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2009,
  editor    = {Umeshwar Dayal and
               Johann Eder and
               Jana Koehler and
               Hajo A. Reijers},
  title     = {Business Process Management, 7th International Conference, {BPM} 2009,
               Ulm, Germany, September 8-10, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5701},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03848-8},
  doi       = {10.1007/978-3-642-03848-8},
  isbn      = {978-3-642-03847-1},
  timestamp = {Sun, 21 May 2017 00:21:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2009,
  editor    = {Saddek Bensalem and
               Doron A. Peled},
  title     = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
               France, June 26-28, 2009. Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5779},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04694-0},
  doi       = {10.1007/978-3-642-04694-0},
  isbn      = {978-3-642-04693-3},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2009,
  editor    = {Oliver Kopp and
               Niels Lohmann},
  title     = {1st Central-European Workshop on Services and their Composition, {ZEUS}
               2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {438},
  publisher = {CEUR-WS.org},
  year      = {2009},
  url       = {http://ceur-ws.org/Vol-438},
  urn       = {urn:nbn:de:0074-438-2},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/zeus/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciw/2008,
  editor    = {Abdelhamid Mellouk and
               Jun Bi and
               Guadalupe Ortiz and
               Dickson K. W. Chiu and
               Manuela Popescu},
  title     = {Third International Conference on Internet and Web Applications and
               Services, {ICIW} 2008, 8-13 June 2008, Athens, Greece},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4545573},
  isbn      = {978-0-7695-3163-2},
  timestamp = {Mon, 06 Oct 2014 17:41:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciw/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEscc/2007,
  title     = {2007 {IEEE} International Conference on Services Computing {(SCC}
               2007), 9-13 July 2007, Salt Lake City, Utah, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4278609},
  isbn      = {0-7695-2925-9},
  timestamp = {Tue, 01 Dec 2015 16:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2002,
  editor    = {John Waldron and
               James F. Power},
  title     = {Proceedings of the naugural International Symposium on Principles
               and Practice of Programming in Java, {PPPJ} 2002, and Proceedings
               of the second workshop on Intermediate representation engineering
               for virtual machines, Dublin, Ireland, June 13-14, 2002},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {25},
  publisher = {{ACM}},
  year      = {2002},
  url       = {https://dl.acm.org/citation.cfm?id=638476},
  isbn      = {0-901519-87-1},
  timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2001,
  editor    = {Michael Burke and
               Mary Lou Soffa},
  title     = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
               20-22, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=378795},
  isbn      = {1-58113-414-2},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arcs/1999-2,
  editor    = {Werner Erhard and
               Karl{-}Erwin Gro{\ss}pietsch and
               Wolfgang Koch and
               Erik Maehle and
               Eberhard Zehendner},
  title     = {Workshops zur Architektur von Rechensystemen - Vortr{\"{a}}ge
               Workshops im Rahmen der 15. GI/ITG-Fachtagung {ARCS} '99, 4.-7. Oktober
               1999, Jena, Germany},
  publisher = {Universit{\"{a}}t Jena, Institut f{\"{u}}r Informatik},
  year      = {1999},
  timestamp = {Wed, 07 Jan 2015 15:38:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/arcs/1999-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoopw/1999,
  editor    = {Ana M. D. Moreira and
               Serge Demeyer},
  title     = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
               Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1743},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46589-8},
  doi       = {10.1007/3-540-46589-8},
  isbn      = {3-540-66954-X},
  timestamp = {Tue, 23 Jan 2018 13:29:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEpact/1998,
  title     = {Proceedings of the 1998 International Conference on Parallel Architectures
               and Compilation Techniques, Paris, France, October 12-18, 1998},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5882},
  isbn      = {0-8186-8591-3},
  timestamp = {Mon, 11 Aug 2014 17:11:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEpact/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/euromicro/1997,
  title     = {23rd {EUROMICRO} Conference '97, New Frontiers of Information Technology,
               1-4 September 1997, Budapest, Hungary},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4879},
  isbn      = {0-8186-8129-2},
  timestamp = {Tue, 16 Feb 2016 13:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/euromicro/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/1997,
  editor    = {Christian Lengauer and
               Martin Griebl and
               Sergei Gorlatch},
  title     = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
               Passau, Germany, August 26-29, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1300},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0002712},
  doi       = {10.1007/BFb0002712},
  isbn      = {3-540-63440-1},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/europar/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acpc/1996,
  editor    = {L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi},
  title     = {Parallel Computation, Third International {ACPC} Conference with Special
               Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria,
               September 23-25, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1127},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61695-0},
  doi       = {10.1007/3-540-61695-0},
  isbn      = {3-540-61695-0},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acpc/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI