default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christoph Lingenfelder
@article{DBLP:journals/ijhci/EbelLV23,
author = {Patrick Ebel and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Multitasking While Driving: How Drivers Self-Regulate Their Interaction
with In-Vehicle Touchscreens in Automated Driving},
journal = {Int. J. Hum. Comput. Interact.},
volume = {39},
number = {16},
pages = {3162--3179},
year = {2023},
url = {https://doi.org/10.1080/10447318.2023.2215634},
doi = {10.1080/10447318.2023.2215634},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhci/EbelLV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveUI/0001GLV23,
author = {Patrick Ebel and
Kim Julian G{\"{u}}lle and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Exploring Millions of User Interactions with {ICEBOAT:} Big Data Analytics
for Automotive User Interfaces},
booktitle = {Proceedings of the 15th International Conference on Automotive User
Interfaces and Interactive Vehicular Applications, AutomotiveUI 2023,
Ingolstadt, Germany, September 18-22, 2023},
pages = {81--92},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3580585.3607158},
doi = {10.1145/3580585.3607158},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automotiveUI/0001GLV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02065,
author = {Patrick Ebel and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {On the Forces of Driver Distraction: Explainable Predictions for the
Visual Demand of In-Vehicle Touchscreen Interactions},
journal = {CoRR},
volume = {abs/2301.02065},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02065},
doi = {10.48550/ARXIV.2301.02065},
eprinttype = {arXiv},
eprint = {2301.02065},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16042,
author = {Patrick Ebel and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Multitasking while Driving: How Drivers Self-Regulate their Interaction
with In-Vehicle Touchscreens in Automated Driving},
journal = {CoRR},
volume = {abs/2305.16042},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16042},
doi = {10.48550/ARXIV.2305.16042},
eprinttype = {arXiv},
eprint = {2305.16042},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-06089,
author = {Patrick Ebel and
Kim Julian G{\"{u}}lle and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Exploring Millions of User Interactions with {ICEBOAT:} Big Data Analytics
for Automotive User Interfaces},
journal = {CoRR},
volume = {abs/2307.06089},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.06089},
doi = {10.48550/ARXIV.2307.06089},
eprinttype = {arXiv},
eprint = {2307.06089},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-06089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/VermaLK22,
author = {Tejaswani Verma and
Christoph Lingenfelder and
Dietrich Klakow},
title = {Explaining Black-box Predictions by Generating Local Meaningful Perturbations},
journal = {Int. J. Semantic Comput.},
volume = {16},
number = {1},
pages = {47--68},
year = {2022},
url = {https://doi.org/10.1142/S1793351X22400037},
doi = {10.1142/S1793351X22400037},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/VermaLK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveUI/EbelBLV22,
author = {Patrick Ebel and
Moritz Berger and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {How Do Drivers Self-Regulate their Secondary Task Engagements? The
Effect of Driving Automation on Touchscreen Interactions and Glance
Behavior},
booktitle = {AutomotiveUI '22: 14th International Conference on Automotive User
Interfaces and Interactive Vehicular Applications, Seoul, Republic
of Korea, September 17 - 20, 2022},
pages = {263--273},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3543174.3545173},
doi = {10.1145/3543174.3545173},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/automotiveUI/EbelBLV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/transai/VermaLK22,
author = {Tejaswani Verma and
Christoph Lingenfelder and
Dietrich Klakow},
title = {Generating Natural Language Explanations for Black-Box Predictions},
booktitle = {Fourth International Conference on Transdisciplinary AI, TransAI 2022,
Laguna Hills, CA, USA, September 19-21, 2022},
pages = {40--46},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/TransAI54797.2022.00013},
doi = {10.1109/TRANSAI54797.2022.00013},
timestamp = {Thu, 18 Jan 2024 15:08:23 +0100},
biburl = {https://dblp.org/rec/conf/transai/VermaLK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/0001GLV22,
author = {Patrick Ebel and
Kim Julian G{\"{u}}lle and
Christoph Lingenfelder and
Andreas Vogelsang},
editor = {Maneesh Agrawala and
Jacob O. Wobbrock and
Eytan Adar and
Vidya Setlur},
title = {{ICEBOAT:} An Interactive User Behavior Analysis Tool for Automotive
User Interfaces},
booktitle = {The Adjunct Publication of the 35th Annual {ACM} Symposium on User
Interface Software and Technology, {UIST} 2022, Bend, OR, USA, 29
October 2022- 2 November 2022},
pages = {50:1--50:3},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3526114.3558739},
doi = {10.1145/3526114.3558739},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/0001GLV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-04284,
author = {Patrick Ebel and
Moritz Berger and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {How Do Drivers Self-Regulate their Secondary Task Engagements? The
Effect of Driving Automation on Touchscreen Interactions and Glance
Behavior},
journal = {CoRR},
volume = {abs/2207.04284},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.04284},
doi = {10.48550/ARXIV.2207.04284},
eprinttype = {arXiv},
eprint = {2207.04284},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-04284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12715,
author = {Patrick Ebel and
Kim Julian G{\"{u}}lle and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {{ICEBOAT:} An Interactive User Behavior Analysis Tool for Automotive
User Interfaces},
journal = {CoRR},
volume = {abs/2208.12715},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12715},
doi = {10.48550/ARXIV.2208.12715},
eprinttype = {arXiv},
eprint = {2208.12715},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveUI/EbelLV21a,
author = {Patrick Ebel and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Measuring Interaction-based Secondary Task Load: {A} Large-Scale Approach
using Real-World Driving Data},
booktitle = {AutomotiveUI '21: 13th International Conference on Automotive User
Interfaces and Interactive Vehicular Applications, Leeds, United Kingdom,
September 9-14, 2021 - Adjunct Proceedings},
pages = {1--4},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3473682.3480252},
doi = {10.1145/3473682.3480252},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/automotiveUI/EbelLV21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveUI/EbelLV21,
author = {Patrick Ebel and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Visualizing Event Sequence Data for User Behavior Evaluation of In-Vehicle
Information Systems},
booktitle = {AutomotiveUI '21: 13th International Conference on Automotive User
Interfaces and Interactive Vehicular Applications, Virtual Event /
Leeds, United Kingdom, September 9-14, 2021},
pages = {219--229},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3409118.3475140},
doi = {10.1145/3409118.3475140},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/automotiveUI/EbelLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/transai/VermaLK21,
author = {Tejaswani Verma and
Christoph Lingenfelder and
Dietrich Klakow},
title = {Explaining Black-box Predictions by Generating Local Meaningful Perturbations},
booktitle = {Third International Conference on Transdisciplinary AI, TransAI 2021,
Laguna Hills, CA, USA, September 20-22, 2021},
pages = {122--128},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TransAI51903.2021.00030},
doi = {10.1109/TRANSAI51903.2021.00030},
timestamp = {Thu, 18 Jan 2024 15:14:56 +0100},
biburl = {https://dblp.org/rec/conf/transai/VermaLK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-01388,
author = {Patrick Ebel and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Visualizing Event Sequence Data for User Behavior Evaluation of In-Vehicle
Information Systems},
journal = {CoRR},
volume = {abs/2108.01388},
year = {2021},
url = {https://arxiv.org/abs/2108.01388},
eprinttype = {arXiv},
eprint = {2108.01388},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-01388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13243,
author = {Patrick Ebel and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Measuring Interaction-based Secondary Task Load: {A} Large-Scale Approach
using Real-World Driving Data},
journal = {CoRR},
volume = {abs/2108.13243},
year = {2021},
url = {https://arxiv.org/abs/2108.13243},
eprinttype = {arXiv},
eprint = {2108.13243},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blackboxnlp/VermaLK20,
author = {Tejaswani Verma and
Christoph Lingenfelder and
Dietrich Klakow},
editor = {Afra Alishahi and
Yonatan Belinkov and
Grzegorz Chrupala and
Dieuwke Hupkes and
Yuval Pinter and
Hassan Sajjad},
title = {Defining Explanation in an {AI} Context},
booktitle = {Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting
Neural Networks for NLP, BlackboxNLP@EMNLP 2020, Online, November
2020},
pages = {314--322},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.blackboxnlp-1.29},
doi = {10.18653/V1/2020.BLACKBOXNLP-1.29},
timestamp = {Fri, 15 Sep 2023 14:10:05 +0200},
biburl = {https://dblp.org/rec/conf/blackboxnlp/VermaLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/EbelGLV20,
author = {Patrick Ebel and
Ibrahim Emre G{\"{o}}l and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Destination Prediction Based on Partial Trajectory Data},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2020, Las Vegas, NV, USA,
October 19 - November 13, 2020},
pages = {1149--1155},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IV47402.2020.9304734},
doi = {10.1109/IV47402.2020.9304734},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/EbelGLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07473,
author = {Patrick Ebel and
Ibrahim Emre G{\"{o}}l and
Christoph Lingenfelder and
Andreas Vogelsang},
title = {Destination Prediction Based on Partial Trajectory Data},
journal = {CoRR},
volume = {abs/2004.07473},
year = {2020},
url = {https://arxiv.org/abs/2004.07473},
eprinttype = {arXiv},
eprint = {2004.07473},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ZellerGLBMPHTH09,
author = {Michael Zeller and
Robert Grossman and
Christoph Lingenfelder and
Michael R. Berthold and
Erik Marcad{\'{e}} and
Rick Pechter and
Mike Hoskins and
Wayne Thompson and
Rich Holada},
editor = {John F. Elder IV and
Fran{\c{c}}oise Fogelman{-}Souli{\'{e}} and
Peter A. Flach and
Mohammed Javeed Zaki},
title = {Open standards and cloud computing: {KDD-2009} panel report},
booktitle = {Proceedings of the 15th {ACM} {SIGKDD} International Conference on
Knowledge Discovery and Data Mining, Paris, France, June 28 - July
1, 2009},
pages = {11--18},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557019.1557027},
doi = {10.1145/1557019.1557027},
timestamp = {Mon, 06 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kdd/ZellerGLBMPHTH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ZengLLC08,
author = {Liangzhao Zeng and
Christoph Lingenfelder and
Hui Lei and
Henry Chang},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Event-Driven Quality of Service Prediction},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {147--161},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_14},
doi = {10.1007/978-3-540-89652-4\_14},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/ZengLLC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/AnandGHoLRW07,
author = {Sarabjot S. Anand and
Marko Grobelnik and
Frank Herrmann and
Mark F. Hornick and
Christoph Lingenfelder and
Niall Rooney and
Dietrich Wettschereck},
title = {Knowledge discovery standards},
journal = {Artif. Intell. Rev.},
volume = {27},
number = {1},
pages = {21--56},
year = {2007},
url = {https://doi.org/10.1007/s10462-008-9067-4},
doi = {10.1007/S10462-008-9067-4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/AnandGHoLRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LimaL00,
author = {Erika F. de Lima and
Christoph Lingenfelder},
title = {Presentation of proofs in modal natural deduction},
journal = {J. Log. Comput.},
volume = {10},
number = {4},
pages = {527--572},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.4.527},
doi = {10.1093/LOGCOM/10.4.527},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LimaL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LimaL96,
author = {Erika F. de Lima and
Christoph Lingenfelder},
editor = {Wolfgang Wahlster},
title = {Optimizing the Presentation of Modal Natural Deduction Proofs},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {365--369},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/LimaL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/DeckerL94,
author = {Stefan Decker and
Christoph Lingenfelder},
editor = {Norbert E. Fuchs and
Georg Gottlob},
title = {{\"{U}}berpr{\"{u}}fung von Integrit{\"{a}}tsbedingungen
in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung},
booktitle = {Proceedings of the Tenth Logic Programming Workshop, {WLP} 94, 5-7
Octobert 1994, Univerity of Zurich, Switzerland. Technical Report
94/10},
pages = {61--64},
publisher = {Institut f{\"{u}}r Informatik der Universit{\"{a}}t Z{\"{u}}rich},
year = {1994},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/DeckerL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/LingenfelderL93,
author = {Christoph Lingenfelder and
Sven Lorenz},
editor = {Ann Gawman and
Evelyn Kidd and
Per{-}{\AA}ke Larson},
title = {Knowledge-based security administration in a distributed environment},
booktitle = {Proceedings of the 1993 Conference of the Centre for Advanced Studies
on Collaborative Research, October 24-28, 1993, Toronto, Ontario,
Canada, 2 Volumes},
pages = {648--660},
publisher = {{IBM}},
year = {1993},
url = {https://dl.acm.org/citation.cfm?id=962371},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/LingenfelderL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BodendorfBBEFIKLMS92,
author = {Freimut Bodendorf and
Manfred Broy and
Herbert Burkert and
Albert Endres and
Herbert Fiedler and
V. Ilzh{\"{o}}fer and
H. Kappus and
Christoph Lingenfelder and
C. M{\"{u}}ller and
Franz Stetter},
title = {Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme -
Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz},
journal = {Inform. Spektrum},
volume = {15},
number = {2},
pages = {89--100},
year = {1992},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BodendorfBBEFIKLMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/DeckerL92,
author = {Stefan Decker and
Christoph Lingenfelder},
editor = {Hans J{\"{u}}rgen Ohlbach},
title = {Universally Quantified Queries in Language with Order-Sorted Logics},
booktitle = {{GWAI-92:} Advances in Artificial Intelligence, 16th German Conference
on Artificial Intelligence, Bonn, Germany, August 31 - September 3,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {671},
pages = {267--271},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0019011},
doi = {10.1007/BFB0019011},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/DeckerL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS222,
author = {Christoph Lingenfelder and
Astrid Schm{\"{u}}cker{-}Schend},
title = {Using Knowledge-Based Methods to Administrate an Access Control System},
journal = {{IWBS} Report},
volume = {222},
year = {1992},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LingenfelderP91,
author = {Christoph Lingenfelder and
Axel Pr{\"{a}}cklein},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Proof Transformation with Built-in Equality Predicate},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {165--171},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/027.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LingenfelderP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Lingenfelder90,
author = {Christoph Lingenfelder},
title = {Transformation and structuring of computer generated proofs},
school = {Kaiserslautern University of Technology, Germany},
year = {1990},
url = {https://d-nb.info/910727090},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Lingenfelder90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lingenfelder89,
author = {Christoph Lingenfelder},
editor = {N. S. Sridharan},
title = {Structuring Computer Generated Proofs},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {378--383},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-1/Papers/060.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lingenfelder89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
