BibTeX records: Christopher Krauß

download as .bib file

@inproceedings{DBLP:conf/ltec/NguyenKAHNZ23,
  author       = {The{-}Anh Nguyen and
                  Christopher Krauss and
                  Truong{-}Sinh An and
                  Boris Heithecker and
                  Patrick Neiss and
                  Frank Ziegler},
  editor       = {Lorna Uden and
                  Dario Liberona},
  title        = {An Interoperable License Management Component for Educational Content},
  booktitle    = {Learning Technology for Education Challenges - 11th International
                  Workshop, {LTEC} 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1830},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34754-2\_13},
  doi          = {10.1007/978-3-031-34754-2\_13},
  timestamp    = {Tue, 11 Jul 2023 16:41:58 +0200},
  biburl       = {https://dblp.org/rec/conf/ltec/NguyenKAHNZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ltec/KraussSPAMAM23,
  author       = {Christopher Krauss and
                  Alexander Streicher and
                  Eva Poxleitner and
                  Daniela Altun and
                  Joanna Mueller and
                  Truong{-}Sinh An and
                  Christoph Mueller},
  editor       = {Lorna Uden and
                  Dario Liberona},
  title        = {Best-of-Breed: Service-Oriented Integration of Artificial Intelligence
                  in Interoperable Educational Ecosystems},
  booktitle    = {Learning Technology for Education Challenges - 11th International
                  Workshop, {LTEC} 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1830},
  pages        = {267--283},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34754-2\_22},
  doi          = {10.1007/978-3-031-34754-2\_22},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltec/KraussSPAMAM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/AltunKSMARK22,
  author       = {Daniela Altun and
                  Christopher Krauss and
                  Alexander Streicher and
                  Christoph M{\"{u}}ller and
                  Daniel Atorf and
                  Lisa Rerhaye and
                  Dietmar Kunde},
  editor       = {Robert A. Sottilare and
                  Jessica Schwarz},
  title        = {Lessons Learned from Creating, Implementing and Evaluating Assisted
                  E-Learning Incorporating Adaptivity, Recommendations and Learning
                  Analytics},
  booktitle    = {Adaptive Instructional Systems - 4th International Conference, {AIS}
                  2022, Held as Part of the 24th {HCI} International Conference, {HCII}
                  2022, Virtual Event, June 26 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13332},
  pages        = {257--270},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-05887-5\_18},
  doi          = {10.1007/978-3-031-05887-5\_18},
  timestamp    = {Tue, 21 Jun 2022 15:24:36 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/AltunKSMARK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/RerhayeAKM21,
  author       = {Lisa Rerhaye and
                  Daniela Altun and
                  Christopher Krauss and
                  Christoph M{\"{u}}ller},
  editor       = {Robert A. Sottilare and
                  Jessica Schwarz},
  title        = {Evaluation Methods for an AI-Supported Learning Management System:
                  Quantifying and Qualifying Added Values for Teaching and Learning},
  booktitle    = {Adaptive Instructional Systems. Design and Evaluation - Third International
                  Conference, {AIS} 2021, Held as Part of the 23rd {HCI} International
                  Conference, {HCII} 2021, Virtual Event, July 24-29, 2021, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12792},
  pages        = {394--411},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77857-6\_28},
  doi          = {10.1007/978-3-030-77857-6\_28},
  timestamp    = {Tue, 20 Jul 2021 15:09:55 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/RerhayeAKM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/KraussH20,
  author       = {Christopher Krauss and
                  Manfred Hauswirth},
  title        = {Interoperable Education Infrastructures: {A} Middleware that Brings
                  Together Adaptive, Social and Virtual Learning Technologies},
  journal      = {{ERCIM} News},
  volume       = {2020},
  number       = {120},
  year         = {2020},
  url          = {https://ercim-news.ercim.eu/en120/special/interoperable-education-infrastructures-a-middleware-that-brings-together-adaptive-social-and-virtual-learning-technologies},
  timestamp    = {Thu, 30 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ercim/KraussH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/KraussMA19,
  author       = {Christopher Krauss and
                  Agathe Merceron and
                  Stefan Arbanowski},
  editor       = {Michel C. Desmarais and
                  Collin F. Lynch and
                  Agathe Merceron and
                  Roger Nkambou},
  title        = {Smart Learning Object Recommendations based on Time-Dependent Learning
                  Need Models},
  booktitle    = {Proceedings of the 12th International Conference on Educational Data
                  Mining, {EDM} 2019, Montr{\'{e}}al, Canada, July 2-5, 2019},
  publisher    = {International Educational Data Mining Society {(IEDMS)}},
  year         = {2019},
  url          = {https://drive.google.com/file/d/1\_4h90rbQhpMry73vfCPQSvnjtSgqyMmy},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edm/KraussMA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lak/KraussMA19,
  author       = {Christopher Krauss and
                  Agathe Merceron and
                  Stefan Arbanowski},
  title        = {The Timeliness Deviation: {A} novel Approach to Evaluate Educational
                  Recommender Systems for Closed-Courses},
  booktitle    = {Proceedings of the 9th International Conference on Learning Analytics
                  {\&} Knowledge, {LAK} 2019, Tempe, AZ, USA, March 4-8, 2019},
  pages        = {195--204},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3303772.3303774},
  doi          = {10.1145/3303772.3303774},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lak/KraussMA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/FischerK18,
  author       = {Thomas Fischer and
                  Christopher Krauss},
  title        = {Deep learning with long short-term memory networks for financial market
                  predictions},
  journal      = {Eur. J. Oper. Res.},
  volume       = {270},
  number       = {2},
  pages        = {654--669},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ejor.2017.11.054},
  doi          = {10.1016/J.EJOR.2017.11.054},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/FischerK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/AnKM18,
  author       = {Truong{-}Sinh An and
                  Christopher Krauss and
                  Agathe Merceron},
  editor       = {Daniel Schiffner},
  title        = {On the Emergence of Typical Behaviours in {LMS}},
  booktitle    = {Proceedings der Pre-Conference-Workshops der 16. E-Learning Fachtagung
                  Informatik co-located with 16th e-Learning Conference of the German
                  Computer Society (DeLFI 2018), Frankfurt, Germany, September 10, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2250},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2250/WS\_LA\_paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:53 +0100},
  biburl       = {https://dblp.org/rec/conf/delfi/AnKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/KraussSM18,
  author       = {Christopher Krauss and
                  Andreas Salzmann and
                  Agathe Merceron},
  editor       = {Daniel Schiffner},
  title        = {Branched Learning Paths for the Recommendation of Personalized Sequences
                  of Course Items},
  booktitle    = {Proceedings der Pre-Conference-Workshops der 16. E-Learning Fachtagung
                  Informatik co-located with 16th e-Learning Conference of the German
                  Computer Society (DeLFI 2018), Frankfurt, Germany, September 10, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2250},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2250/WS\_LA\_paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/delfi/KraussSM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/KraussDH17,
  author       = {Christopher Krauss and
                  Xuan Anh Do and
                  Nicolas Huck},
  title        = {Deep neural networks, gradient-boosted trees, random forests: Statistical
                  arbitrage on the S{\&}P 500},
  journal      = {Eur. J. Oper. Res.},
  volume       = {259},
  number       = {2},
  pages        = {689--702},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ejor.2016.10.031},
  doi          = {10.1016/J.EJOR.2016.10.031},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/KraussDH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/AnKM17,
  author       = {Truong{-}Sinh An and
                  Christopher Krauss and
                  Agathe Merceron},
  editor       = {Xiangen Hu and
                  Tiffany Barnes and
                  Arnon Hershkovitz and
                  Luc Paquette},
  title        = {Can Typical Behaviors Identified in MOOCs be Discovered in Other Courses?},
  booktitle    = {Proceedings of the 10th International Conference on Educational Data
                  Mining, {EDM} 2017, Wuhan, Hubei, China, June 25-28, 2017},
  publisher    = {International Educational Data Mining Society {(IEDMS)}},
  year         = {2017},
  url          = {http://educationaldatamining.org/EDM2017/proc\_files/papers/paper\_58.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edm/AnKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlearn/KraussMAZSA17,
  author       = {Christopher Krauss and
                  Agathe Merceron and
                  Truong{-}Sinh An and
                  Miggi Zwicklbauer and
                  Stephan Steglich and
                  Stefan Arbanowski},
  editor       = {Fernando Loizides and
                  George A. Papadopoulos and
                  Nicos Souleles},
  title        = {Teaching Advanced Web Technologies with a Mobile Learning Companion
                  Application},
  booktitle    = {Proceedings of the 16th World Conference on Mobile and Contextual
                  Learning, mLearn 2017, Larnaca, Cyprus, October 30 - November 1, 2017},
  pages        = {29:1--29:4},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3136907.3136937},
  doi          = {10.1145/3136907.3136937},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mlearn/KraussMAZSA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/ZinnikusAKKKNS17,
  author       = {Ingo Zinnikus and
                  Andr{\'{e}} Antakli and
                  Patrick Kapahnke and
                  Matthias Klusch and
                  Christopher Krauss and
                  Andreas Nonnengart and
                  Philipp Slusallek},
  editor       = {Peri Loucopoulos and
                  Yannis Manolopoulos and
                  Oscar Pastor and
                  Babis Theodoulidis and
                  Jelena Zdravkovic},
  title        = {Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical
                  Production Systems},
  booktitle    = {19th {IEEE} Conference on Business Informatics, {CBI} 2017, Thessaloniki,
                  Greece, July 24-27, 2017, Volume 1: Conference Papers},
  pages        = {207--216},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/CBI.2017.54},
  doi          = {10.1109/CBI.2017.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/ZinnikusAKKKNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BayatKMA16,
  author       = {Berken Bayat and
                  Christopher Krauss and
                  Agathe Merceron and
                  Stefan Arbanowski},
  editor       = {Zdravko Markov and
                  Ingrid Russell},
  title        = {Supervised Speech Act Classification of Messages in German Online
                  Discussions},
  booktitle    = {Proceedings of the Twenty-Ninth International Florida Artificial Intelligence
                  Research Society Conference, {FLAIRS} 2016, Key Largo, Florida, USA,
                  May 16-18, 2016},
  pages        = {204--209},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12950},
  timestamp    = {Wed, 26 Oct 2022 08:35:12 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/BayatKMA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Krauss16,
  author       = {Christopher Krauss},
  editor       = {Zdravko Markov and
                  Ingrid Russell},
  title        = {Smart Learning: Time-Dependent Context-Aware Learning Object Recommendations},
  booktitle    = {Proceedings of the Twenty-Ninth International Florida Artificial Intelligence
                  Research Society Conference, {FLAIRS} 2016, Key Largo, Florida, USA,
                  May 16-18, 2016},
  pages        = {501--504},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12955},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/Krauss16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/ZwicklbauerKMKS15,
  author       = {Miggi Zwicklbauer and
                  Christopher Krauss and
                  Agathe Merceron and
                  Jost{-}Peter Kania and
                  Michael Scharp},
  editor       = {Hans Pongratz and
                  Reinhard Keil},
  title        = {Smart Learning: Der digitale Lernbegleiter f{\"{u}}r die berufliche
                  Bildung},
  booktitle    = {DeLFI 2015 - Die 13. e-Learning Fachtagung Informatik der Gesellschaft
                  f{\"{u}}r Informatik e.V. (GI), M{\"{u}}nchen, 1.-4. September
                  2015},
  series       = {{LNI}},
  volume       = {{P-247}},
  pages        = {227--232},
  publisher    = {{GI}},
  year         = {2015},
  url          = {https://dl.gi.de/handle/20.500.12116/2054},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/delfi/ZwicklbauerKMKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SeeligerKWZA15,
  author       = {Robert Seeliger and
                  Christopher Krauss and
                  Annette Wilson and
                  Miggi Zwicklbauer and
                  Stefan Arbanowski},
  editor       = {Aldo Gangemi and
                  Stefano Leonardi and
                  Alessandro Panconesi},
  title        = {Towards Personalized Smart City Guide Services in Future Internet
                  Environments},
  booktitle    = {Proceedings of the 24th International Conference on World Wide Web
                  Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion
                  Volume},
  pages        = {563--568},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2740908.2743905},
  doi          = {10.1145/2740908.2743905},
  timestamp    = {Tue, 27 Dec 2022 09:06:31 +0100},
  biburl       = {https://dblp.org/rec/conf/www/SeeligerKWZA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eetcc/ZinnikusBCKKNSW14,
  author       = {Ingo Zinnikus and
                  Sergiy Byelozyorov and
                  Xiaoqi Cao and
                  Matthias Klusch and
                  Christopher Krauss and
                  Andreas Nonnengart and
                  Torsten Spieldenner and
                  Stefan Warwas and
                  Philipp Slusallek},
  title        = {A Collaborative VirtualWorkspace for Factory Configuration and Evaluation},
  journal      = {{EAI} Endorsed Trans. Collab. Comput.},
  volume       = {1},
  number       = {1},
  pages        = {e5},
  year         = {2014},
  url          = {https://doi.org/10.4108/cc.1.1.e5},
  doi          = {10.4108/CC.1.1.E5},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eetcc/ZinnikusBCKKNSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/KraussA14,
  author       = {Christopher Krauss and
                  Stefan Arbanowski},
  editor       = {Zhi{-}Hua Zhou and
                  Wei Wang and
                  Ravi Kumar and
                  Hannu Toivonen and
                  Jian Pei and
                  Joshua Zhexue Huang and
                  Xindong Wu},
  title        = {Social Preference Ontologies for Enriching User and Item Data in Recommendation
                  Systems},
  booktitle    = {2014 {IEEE} International Conference on Data Mining Workshops, {ICDM}
                  Workshops 2014, Shenzhen, China, December 14, 2014},
  pages        = {365--372},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICDMW.2014.76},
  doi          = {10.1109/ICDMW.2014.76},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdm/KraussA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/KraussBA14,
  author       = {Christopher Krauss and
                  Sascha Braun and
                  Stefan Arbanowski},
  editor       = {Feida Zhu},
  title        = {Preference Ontologies based on Social Media for compensating the Cold
                  Start Problem},
  booktitle    = {Proceedings of the 8th Workshop on Social Network Mining and Analysis,
                  New York, NY, USA, August 24, 2014},
  pages        = {12:1--12:4},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2659480.2659504},
  doi          = {10.1145/2659480.2659504},
  timestamp    = {Thu, 14 Nov 2019 15:37:03 +0100},
  biburl       = {https://dblp.org/rec/conf/kdd/KraussBA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/ZinnikusCKKNSS13,
  author       = {Ingo Zinnikus and
                  Xiaoqi Cao and
                  Matthias Klusch and
                  Christopher Krauss and
                  Andreas Nonnengart and
                  Torsten Spieldenner and
                  Philipp Slusallek},
  editor       = {Elisa Bertino and
                  Dimitrios Georgakopoulos and
                  Mudhakar Srivatsa and
                  Surya Nepal and
                  Alessandro Vinciarelli},
  title        = {A collaborative virtual workspace for factory configuration and evaluation},
  booktitle    = {9th {IEEE} International Conference on Collaborative Computing: Networking,
                  Applications and Worksharing, Austin, TX, USA, October 20-23, 2013},
  pages        = {353--362},
  publisher    = {{ICST} / {IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.4108/icst.collaboratecom.2013.254053},
  doi          = {10.4108/ICST.COLLABORATECOM.2013.254053},
  timestamp    = {Fri, 15 Mar 2024 12:30:44 +0100},
  biburl       = {https://dblp.org/rec/conf/colcom/ZinnikusCKKNSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/HergetKNSWZ13,
  author       = {Wolfgang Herget and
                  Christopher Krau{\ss} and
                  Andreas Nonnengart and
                  Torsten Spieldenner and
                  Stefan Warwas and
                  Ingo Zinnikus},
  editor       = {Cees Bil and
                  John P. T. Mo and
                  Josip Stjepandic},
  title        = {A Virtual Environment for Collaborative Engineering with Formal Verification},
  booktitle    = {20th {ISPE} International Conference on Concurrent Engineering, Melbourne,
                  Australia, September 2-6, 2013},
  pages        = {225--234},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-302-5-225},
  doi          = {10.3233/978-1-61499-302-5-225},
  timestamp    = {Thu, 21 Sep 2023 11:29:58 +0200},
  biburl       = {https://dblp.org/rec/conf/ispe/HergetKNSWZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/KraussGA13,
  author       = {Christopher Krauss and
                  Lars George and
                  Stefan Arbanowski},
  editor       = {Wei Fan and
                  Albert Bifet and
                  Qiang Yang and
                  Philip S. Yu},
  title        = {{TV} predictor: personalized program recommendations to be displayed
                  on SmartTVs},
  booktitle    = {Proceedings of the 2nd International Workshop on Big Data, Streams
                  and Heterogeneous Source Mining: Algorithms, Systems, Programming
                  Models and Applications, BigMine 2013, Chicago, IL, USA, August 11,
                  2013},
  pages        = {63--70},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2501221.2501230},
  doi          = {10.1145/2501221.2501230},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kdd/KraussGA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/KraussN12,
  author       = {Christopher Krau{\ss} and
                  Andreas Nonnengart},
  editor       = {Josip Stjepandic and
                  Georg Rock and
                  Cees Bil},
  title        = {Formal Analysis Meets 3D-Visualization},
  booktitle    = {Concurrent Engineering Approaches for Sustainable Product Development
                  in a Multi-Disciplinary Environment - Proceedings of the 19th {ISPE}
                  International Conference on Concurrent Engineering {(ISPE} {CE} 2012),
                  Trier, Germany, September 3-7, 2012},
  pages        = {145--156},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-1-4471-4426-7\_13},
  doi          = {10.1007/978-1-4471-4426-7\_13},
  timestamp    = {Thu, 21 Sep 2023 11:29:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ispe/KraussN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics