BibTeX records: Frank Steiner

• > Home > Persons > Frank Steiner

@inproceedings{DBLP:conf/ifip5-7/PourabdollahianS14,
  author       = {Golboo Pourabdollahian and
                  Frank Steiner},
  editor       = {Bernard Grabot and
                  Bruno Vallespir and
                  Samuel Gomes and
                  Abdelaziz Bouras and
                  Dimitris Kiritsis},
  title        = {Environmental and Social Impacts of Mass Customization: An Analysis
                  of Beginning-of-Life Phases},
  booktitle    = {Advances in Production Management Systems. Innovative and Knowledge-Based
                  Production Management in a Global-Local World - {IFIP} {WG} 5.7 International
                  Conference, {APMS} 2014, Ajaccio, France, September 20-24, 2014, Proceedings,
                  Part {II}},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {439},
  pages        = {526--532},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44736-9\_64},
  doi          = {10.1007/978-3-662-44736-9\_64},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip5-7/PourabdollahianS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hicss/PillerIS10,
  author       = {Frank Thomas Piller and
                  Christoph Ihl and
                  Frank Steiner},
  title        = {Embedded Toolkits for User Co-Design: {A} Technology Acceptance Study
                  of Product Adaptability in the Usage Stage},
  booktitle    = {43rd Hawaii International International Conference on Systems Science
                  {(HICSS-43} 2010), Proceedings, 5-8 January 2010, Koloa, Kauai, HI,
                  {USA}},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HICSS.2010.178},
  doi          = {10.1109/HICSS.2010.178},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/PillerIS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/AntoyHMS01,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Bart Massey and
                  Frank Steiner},
  title        = {An Implementation of Narrowing Strategies},
  booktitle    = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, September 5-7,
                  2001, Florence, Italy},
  pages        = {207--217},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/773184.773206},
  doi          = {10.1145/773184.773206},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/AntoyHMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asian/AlbertFSV00,
  author       = {Elvira Albert and
                  C{\'{e}}sar Ferri and
                  Frank Steiner and
                  Germ{\'{a}}n Vidal},
  editor       = {Jifeng He and
                  Masahiko Sato},
  title        = {Improving Functional Logic Programs by Difference-Lists},
  booktitle    = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing
                  Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1961},
  pages        = {237--254},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44464-5\_17},
  doi          = {10.1007/3-540-44464-5\_17},
  timestamp    = {Mon, 21 Mar 2022 11:35:02 +0100},
  biburl       = {https://dblp.org/rec/conf/asian/AlbertFSV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/HanusS00,
  author       = {Michael Hanus and
                  Frank Steiner},
  editor       = {Maurizio Gabbrielli and
                  Frank Pfenning},
  title        = {Type-based nondeterminism checking in functional logic programs},
  booktitle    = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
                  on Principles and practice of declarative programming, Montreal, Canada,
                  September 20-23, 2000},
  pages        = {202--213},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351268.351292},
  doi          = {10.1145/351268.351292},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/HanusS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wflp/AlbertFSV00,
  author       = {Elvira Albert and
                  C{\'{e}}sar Ferri and
                  Frank Steiner and
                  Germ{\'{a}}n Vidal},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {List-Processing Optimizations in a Multi-Paradigm Declarative Language},
  booktitle    = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
                  Benicassim, Spain, September 28-30, 2000},
  pages        = {184--194},
  year         = {2000},
  timestamp    = {Tue, 30 Nov 2004 09:20:36 +0100},
  biburl       = {https://dblp.org/rec/conf/wflp/AlbertFSV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/SteinerH00,
  author       = {Frank Steiner and
                  Michael Hanus},
  editor       = {Fran{\c{c}}ois Bry and
                  Ulrich Geske and
                  Dietmar Seipel},
  title        = {Type-based Nondeterminism Checking in Functional Logic Programs},
  booktitle    = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
                  26.-28. Januar 2000},
  series       = {{GMD} Report},
  volume       = {90},
  pages        = {135--148},
  year         = {2000},
  timestamp    = {Sat, 07 Sep 2019 11:59:25 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/SteinerH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/HanusS98,
  author       = {Michael Hanus and
                  Frank Steiner},
  editor       = {Joxan Jaffar},
  title        = {Controlling Search in Funtional Logic Programs},
  booktitle    = {Proceedings of the 1998 Joint International Conference and Symposium
                  on Logic Programming, Manchester, UK, June 15-19, 1998},
  pages        = {347--348},
  publisher    = {{MIT} Press},
  year         = {1998},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/HanusS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/HanusS98,
  author       = {Michael Hanus and
                  Frank Steiner},
  editor       = {Catuscia Palamidessi and
                  Hugh Glaser and
                  Karl Meinke},
  title        = {Controlling Search in Declarative Programs},
  booktitle    = {Principles of Declarative Programming, 10th International Symposium,
                  PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
                  Pisa, Italy, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1490},
  pages        = {374--390},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0056627},
  doi          = {10.1007/BFB0056627},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/HanusS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}