Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Serge Autexier
@article{DBLP:journals/comsis/SavicKIIJVARK23,
author = {Milos Savic and
Vladimir Kurbalija and
Mihailo Ilic and
Mirjana Ivanovic and
Dusan Jakovetic and
Antonios Valachis and
Serge Autexier and
Johannes Rust and
Thanos Kosmidis},
title = {The application of machine learning techniques in prediction of quality
of life features for cancer patients},
journal = {Comput. Sci. Inf. Syst.},
volume = {20},
number = {1},
pages = {381--404},
year = {2023},
url = {https://doi.org/10.2298/csis220227061s},
doi = {10.2298/CSIS220227061S},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/SavicKIIJVARK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/connection/IvanovicAKR23,
author = {Mirjana Ivanovic and
Serge Autexier and
Miltiadis Kokkonidis and
Johannes Rust},
title = {Quality medical data management within an open {AI} architecture -
cancer patients case},
journal = {Connect. Sci.},
volume = {35},
number = {1},
year = {2023},
url = {https://doi.org/10.1080/09540091.2023.2194581},
doi = {10.1080/09540091.2023.2194581},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/connection/IvanovicAKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14390,
author = {Konstantinos Lampropoulos and
Thanos Kosmidis and
Serge Autexier and
Milos Savic and
Manos Athanatos and
Miltiadis Kokkonidis and
Tzortzia Koutsouri and
Anamaria Vizitiu and
Antonios Valachis and
Miriam Quintero Padron},
title = {{ASCAPE:} An open {AI} ecosystem to support the quality of life of
cancer patients},
journal = {CoRR},
volume = {abs/2308.14390},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14390},
doi = {10.48550/ARXIV.2308.14390},
eprinttype = {arXiv},
eprint = {2308.14390},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/IvanovicAK22,
author = {Mirjana Ivanovic and
Serge Autexier and
Miltiadis Kokkonidis},
editor = {Silvia Chiusano and
Tania Cerquitelli and
Robert Wrembel},
title = {{AI} Approaches in Processing and Using Data in Personalized Medicine},
booktitle = {Advances in Databases and Information Systems - 26th European Conference,
{ADBIS} 2022, Turin, Italy, September 5-8, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13389},
pages = {11--24},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15740-0\_2},
doi = {10.1007/978-3-031-15740-0\_2},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/IvanovicAK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/MandelSALZHDI22,
author = {Christian Mandel and
Kathrin Stich and
Serge Autexier and
Christoph L{\"{u}}th and
Ariane Ziehn and
Karin Hochbaum and
Rolf Dembinski and
Christoph Int{-}Veen},
title = {Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic
and Pulmonary Decompensation},
booktitle = {44th Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2022, Glasgow, Scotland,
United Kingdom, July 11-15, 2022},
pages = {4584--4589},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/EMBC48229.2022.9871500},
doi = {10.1109/EMBC48229.2022.9871500},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/embc/MandelSALZHDI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/RustA22,
author = {Johannes Rust and
Serge Autexier},
editor = {M. Arif Wani and
Mehmed M. Kantardzic and
Vasile Palade and
Daniel Neagu and
Longzhi Yang and
Kit Yan Chan},
title = {Causal Inference for Personalized Treatment Effect Estimation for
given Machine Learning Models},
booktitle = {21st {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2022, Nassau, Bahamas, December 12-14, 2022},
pages = {1289--1295},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICMLA55696.2022.00206},
doi = {10.1109/ICMLA55696.2022.00206},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmla/RustA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/BeruschaLKASPBL22,
author = {Frank Beruscha and
Katharina Lorenz and
Anke K{\"{o}}nigschulte and
Serge Autexier and
Annika Sabrina Schulz and
Bodo Pahlke and
Valerie Bartsch and
Hendrik Leibrandt},
editor = {Evangelos Niforatos and
Gerd Kortuem and
Nirvana Meratnia and
Joshua Siegel and
Florian Michahelles},
title = {Connecting Textiles: Exploring Textile Interior Surfaces for Power
Supply, Communication and User Interaction in the IoT},
booktitle = {Proceedings of the 12th International Conference on the Internet of
Things, IoT 2022, Delft, The Netherlands, November 7-10, 2022},
pages = {88--95},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3567445.3567455},
doi = {10.1145/3567445.3567455},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iot/BeruschaLKASPBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/HornNHWJASK22,
author = {Hanns{-}Peter Horn and
Matthias Nadig and
Johannes Hackbarth and
Christian Willms and
Caspar Jacob and
Serge Autexier and
Tim Schwartz and
Ivana Kruijff{-}Korbayov{\'{a}}},
title = {Iterative User-Centric Development of Mobile Robotic Systems with
Intuitive Multimodal Human-Robot Interaction in a Clinic Environment},
booktitle = {31st {IEEE} International Conference on Robot and Human Interactive
Communication, {RO-MAN} 2022, Napoli, Italy, August 29 - Sept. 2,
2022},
pages = {963--968},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RO-MAN53752.2022.9900703},
doi = {10.1109/RO-MAN53752.2022.9900703},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ro-man/HornNHWJASK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/AutexierLD22,
author = {Serge Autexier and
Christoph L{\"{u}}th and
Rolf Drechsler},
editor = {Mario A. Pfannstiel},
title = {Das Bremen Ambient Assisted Living Lab und dar{\"{u}}ber hinaus
- Intelligente Umgebungen, smarte Services und K{\"{u}}nstliche
Intelligenz in der Medizin f{\"{u}}r den Menschen},
booktitle = {K{\"{u}}nstliche Intelligenz im Gesundheitswesen: Entwicklungen,
Beispiele und Perspektiven},
pages = {835--850},
publisher = {Springer Fachmedien Wiesbaden},
year = {2022},
url = {https://doi.org/10.1007/978-3-658-33597-7\_40},
doi = {10.1007/978-3-658-33597-7\_40},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/AutexierLD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/ChoudhuryMHAB22,
author = {Amit Choudhury and
Christian Mandel and
Karin Hochbaum and
Serge Autexier and
Christoph Budelmann},
editor = {Mario A. Pfannstiel},
title = {Klinische Evaluation eines Rollatormoduls zur sensorgest{\"{u}}tzten
Haltungs- und Gangmustererkennung},
booktitle = {K{\"{u}}nstliche Intelligenz im Gesundheitswesen: Entwicklungen,
Beispiele und Perspektiven},
pages = {881--905},
publisher = {Springer Fachmedien Wiesbaden},
year = {2022},
url = {https://doi.org/10.1007/978-3-658-33597-7\_43},
doi = {10.1007/978-3-658-33597-7\_43},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/ChoudhuryMHAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-04698,
author = {Mirjana Ivanovic and
Serge Autexier and
Miltiadis Kokkonidis},
title = {{AI} Approaches in Processing and Using Data in Personalized Medicine},
journal = {CoRR},
volume = {abs/2208.04698},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.04698},
doi = {10.48550/ARXIV.2208.04698},
eprinttype = {arXiv},
eprint = {2208.04698},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04698.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/LampropoulosKAS21,
author = {Konstantinos Lampropoulos and
Thanos Kosmidis and
Serge Autexier and
Milos Savic and
Manos Athanatos and
Miltiadis Kokkonidis and
Tzortzia Koutsouri and
Anamaria Vizitiu and
Antonios Valachis and
Miriam Quintero Padron},
title = {{ASCAPE:} An open {AI} ecosystem to support the quality of life of
cancer patients},
booktitle = {9th {IEEE} International Conference on Healthcare Informatics, {ICHI}
2021, Victoria, BC, Canada, August 9-12, 2021},
pages = {301--310},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICHI52183.2021.00054},
doi = {10.1109/ICHI52183.2021.00054},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ichi/LampropoulosKAS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/Krieg-BrucknerA21,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Serge Autexier and
Mihai Pomarlan},
editor = {Emilio M. Sanfilippo and
Oliver Kutz and
Nicolas Troquard and
Torsten Hahmann and
Claudio Masolo and
Robert Hoehndorf and
Randi Vita and
Maria M. Hedblom and
Guendalina Righetti and
Dusan Sormaz and
Walter Terkaj and
Tiago Prince Sales and
Sergio de Cesare and
Frederik Gailly and
Giancarlo Guizzardi and
Mark Lycett and
Chris Partridge and
Oscar Pastor and
Daniel Be{\ss}ler and
Stefano Borgo and
Mohammed Diab and
Aldo Gangemi and
Alberto Olivares Alarcos and
Mihai Pomarlan and
Robert Porzel and
Ludger Jansen and
Mathias Brochhausen and
Daniele Porello and
Pawel Garbacz and
Selja Sepp{\"{a}}l{\"{a}} and
Michael Gr{\"{u}}ninger and
Amanda Vizedom and
Damion M. Dooley and
Robert Warren and
Hande K{\"{u}}{\c{c}}{\"{u}}k{-}McGinty and
Matthew Lange and
Alsayed Algergawy and
Naouel Karam and
Friederike Klan and
Franck Michel and
Ilaria Rosati},
title = {The {BAALL} Ontology - Configuration of Service Robots, Food, and
Diet},
booktitle = {Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The
Bolzano Summer of Knowledge co-located with the 12th International
Conference on Formal Ontology in Information Systems {(FOIS} 2021),
and the 12th International Conference on Biomedical Ontologies {(ICBO}
2021), Bolzano, Italy, September 11-18, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2969},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2969/paper37-FoisShowCase.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/Krieg-BrucknerA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medes/0001KIIJVARK21,
author = {Milos Savic and
Vladimir Kurbalija and
Mihailo Ilic and
Mirjana Ivanovic and
Dusan Jakovetic and
Antonios Valachis and
Serge Autexier and
Johannes Rust and
Thanos Kosmidis},
editor = {Richard Chbeir and
Yannis Manolopoulos and
Ladjel Bellatreche and
Djamal Benslimane and
Mirjana Ivanovic and
Zakaria Maamar},
title = {Analysis of Machine Learning Models Predicting Quality of Life for
Cancer Patients},
booktitle = {{MEDES} '21: Proceedings of the 13th International Conference on Management
of Digital EcoSystems, Virtual Event, Tunisia, November 1 - 3, 2021},
pages = {35--42},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3444757.3485103},
doi = {10.1145/3444757.3485103},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medes/0001KIIJVARK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SerajKAD20,
author = {Mazyar Seraj and
Eva{-}Sophie Katterfeldt and
Serge Autexier and
Rolf Drechsler},
editor = {Jian Zhang and
Mark Sherriff and
Sarah Heckman and
Pamela A. Cutter and
Alvaro E. Monge},
title = {Impacts of Creating Smart Everyday Objects on Young Female Students'
Programming Skills and Attitudes},
booktitle = {Proceedings of the 51st {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2020, Portland, OR, USA, March 11-14, 2020},
pages = {1234--1240},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3328778.3366841},
doi = {10.1145/3328778.3366841},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SerajKAD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wm/Autexier19,
author = {Serge Autexier},
title = {"Es werden vermutlich vor allem Teilassistenzen immer mehr im
privaten und beruflichen Alltag Einzug halten"},
journal = {Wirtschaftsinformatik Manag.},
volume = {11},
number = {3},
pages = {136--139},
year = {2019},
url = {https://doi.org/10.1365/s35764-019-00188-4},
doi = {10.1365/S35764-019-00188-4},
timestamp = {Fri, 24 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wm/Autexier19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmidc/SerajGAD19,
author = {Mazyar Seraj and
Cornelia S. Gro{\ss}e and
Serge Autexier and
Rolf Drechsler},
title = {Smart Homes Programming: Development and Evaluation of an Educational
Programming Application for Young Learners},
booktitle = {Proceedings of the 18th {ACM} International Conference on Interaction
Design and Children, {IDC} 2019, Boise, ID, USA, June 12-15, 2019},
pages = {146--152},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3311927.3323157},
doi = {10.1145/3311927.3323157},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmidc/SerajGAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/efmi-stc/GallosAABNJKKKL19,
author = {Parisis Gallos and
Santiago Aso and
Serge Autexier and
Arturo Brotons and
Antonio De Nigro and
Gregor Jurak and
Athanasios Kiourtis and
Pavlos Kranas and
Dimosthenis Kyriazis and
Mitja Lustrek and
Andrianna Magdalinou and
Ilias Maglogiannis and
John Mantas and
Antonio Martinez and
Andreas Menychtas and
Lydia Montandon and
Florin Picioroaga and
Manuel Perez and
Dalibor Stanimirovic and
Gregor Starc and
Tanja Tomson and
Ruth Vilar{-}Mateo and
Ana{-}Maria Vizitiu},
editor = {Amnon Shabo Shvo and
Inge Madsen and
Hans{-}Ulrich Prokosch and
Kristiina H{\"{a}}yrinen and
Klaus{-}Hendrik Wolf and
Fernando Mart{\'{\i}}n{-}S{\'{a}}nchez and
Matthias L{\"{o}}be and
Thomas M. Deserno},
title = {CrowdHEALTH: Big Data Analytics and Holistic Health Records},
booktitle = {{ICT} for Health Science Research - Proceedings of the {EFMI} 2019
Special Topic Conference - 7-10 April 2019, Hanover, Germany},
series = {Studies in Health Technology and Informatics},
volume = {258},
pages = {255--256},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/978-1-61499-959-1-255},
doi = {10.3233/978-1-61499-959-1-255},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/efmi-stc/GallosAABNJKKKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SerajGAD19,
author = {Mazyar Seraj and
Cornelia S. Gro{\ss}e and
Serge Autexier and
Rolf Drechsler},
editor = {Sarah Beecham and
Daniela E. Damian},
title = {Look what {I} can do: acquisition of programming skills in the context
of living labs},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Software Engineering Education and Training, {ICSE} {(SEET)} 2019,
Montreal, QC, Canada, May 25-31, 2019},
pages = {197--207},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-SEET.2019.00029},
doi = {10.1109/ICSE-SEET.2019.00029},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SerajGAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/SerajKBAD19,
author = {Mazyar Seraj and
Eva{-}Sophie Katterfeldt and
Kerstin Bub and
Serge Autexier and
Rolf Drechsler},
editor = {Petri Ihantola and
Nick Falkner},
title = {Scratch and Google Blockly: How Girls' Programming Skills and Attitudes
are Influenced},
booktitle = {Koli Calling '19: 19th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 21-24, 2019},
pages = {23:1--23:10},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3364510.3364515},
doi = {10.1145/3364510.3364515},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/SerajKBAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2018w,
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2307},
urn = {urn:nbn:de:0074-2307-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordichi/SerajAJ18,
author = {Mazyar Seraj and
Serge Autexier and
Jan Janssen},
editor = {Tone Bratteteig and
Frode Eika Sandnes},
title = {BEESM, a block-based educational programming tool for end users},
booktitle = {Proceedings of the 10th Nordic Conference on Human-Computer Interaction,
Oslo, Norway, September 29 - October 3, 2018},
pages = {886--891},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3240167.3240239},
doi = {10.1145/3240167.3240239},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordichi/SerajAJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icimth/KyriazisABBDEFJ17,
author = {Dimosthenis Kyriazis and
Serge Autexier and
Ivan Brondino and
Michael J. Boniface and
Lucas Donat and
Vegard Engen and
Rafael Fernandez and
Ricardo Jim{\'{e}}nez{-}Peris and
Blanca Jordan and
Gregor Jurak and
Athanasios Kiourtis and
Thanos Kosmidis and
Mitja Lustrek and
Ilias Maglogiannis and
John Mantas and
Antonio Martinez and
Argyro Mavrogiorgou and
Andreas Menychtas and
Lydia Montandon and
Cosmin{-}Septimiu Nechifor and
Sokratis Nifakos and
Alexandra Papageorgiou and
Marta Pati{\~{n}}o{-}Mart{\'{\i}}nez and
Manuel Perez and
Vassilis P. Plagianakos and
Dalibor Stanimirovic and
Gregor Starc and
Tanja Tomson and
Francesco Torelli and
Vicente Traver Salcedo and
George Vassilacopoulos and
Usman Wajid},
editor = {John Mantas and
Arie Hasman and
Parisis Gallos and
Mowafa S. Househ},
title = {CrowdHEALTH: Holistic Health Records and Big Data Analytics for Health
Policy Making and Personalized Health},
booktitle = {Informatics Empowers Healthcare Transformation, {[ICIMTH} 2017, Athens,
Greece, 7-9 July 2017]},
series = {Studies in Health Technology and Informatics},
volume = {238},
pages = {19--23},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-781-8-19},
doi = {10.3233/978-1-61499-781-8-19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icimth/KyriazisABBDEFJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AutexierQ17,
editor = {Serge Autexier and
Pedro Quaresma},
title = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.239},
doi = {10.4204/EPTCS.239},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AutexierQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icost/MandelA16,
author = {Christian Mandel and
Serge Autexier},
editor = {Carl K. Chang and
Lorenzo Chiari and
Yu Cao and
Hai Jin and
Mounir Mokhtari and
Hamdi Aloulou},
title = {People Tracking in Ambient Assisted Living Environments Using Low-Cost
Thermal Image Cameras},
booktitle = {Inclusive Smart Cities and Digital Health - 14th International Conference
on Smart Homes and Health Telematics, {ICOST} 2016, Wuhan, China,
May 25-27, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9677},
pages = {14--26},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39601-9\_2},
doi = {10.1007/978-3-319-39601-9\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icost/MandelA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldic/DrechslerAL16,
author = {Rolf Drechsler and
Serge Autexier and
Christoph L{\"{u}}th},
editor = {Michael Freitag and
Herbert Kotzab and
J{\"{u}}rgen Pannek},
title = {Model-Based Specification and Refinement for Cyber-Physical Systems},
booktitle = {Dynamics in Logistics, Proceedings of the 5th International Conference
{LDIC} 2016, Bremen, Germany, February 22-25, 2016},
series = {Lecture Notes in Logistics},
pages = {3--17},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45117-6\_1},
doi = {10.1007/978-3-319-45117-6\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ldic/DrechslerAL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Autexier15,
author = {Serge Autexier},
title = {Similarity-Based Diff, Three-Way Diff and Merge},
journal = {Int. J. Softw. Informatics},
volume = {9},
number = {2},
pages = {259--277},
year = {2015},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i217},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Autexier15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Krieg-BrucknerA15,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Serge Autexier and
Martin Rink and
Sidoine Ghomsi Nokam},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Formal Modelling for Cooking Assistance},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {355--376},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_22},
doi = {10.1007/978-3-319-15545-6\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Krieg-BrucknerA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AutexierH15,
author = {Serge Autexier and
Dieter Hutter},
editor = {Moreno Falaschi},
title = {{SHIP} - {A} Logic-Based Language and Tool to Program Smart Environments},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {313--328},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_19},
doi = {10.1007/978-3-319-27436-2\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AutexierH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierH15,
author = {Serge Autexier and
Dieter Hutter},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Structure Formation in Large Theories},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {155--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_10},
doi = {10.1007/978-3-319-20615-8\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AutexierH15,
author = {Serge Autexier and
Dieter Hutter},
title = {Structure Formation in Large Theories},
journal = {CoRR},
volume = {abs/1505.01620},
year = {2015},
url = {http://arxiv.org/abs/1505.01620},
eprinttype = {arXiv},
eprint = {1505.01620},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AutexierH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/AutexierHS13,
author = {Serge Autexier and
Dieter Hutter and
Christoph Stahl},
editor = {Juan Carlos Augusto and
Reiner Wichert and
Rem W. Collier and
David V. Keyson and
Albert Ali Salah and
Ah{-}Hwee Tan},
title = {An Implementation, Execution and Simulation Platform for Processes
in Heterogeneous Smart Environments},
booktitle = {Ambient Intelligence - 4th International Joint Conference, AmI 2013,
Dublin, Ireland, December 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8309},
pages = {3--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03647-2\_1},
doi = {10.1007/978-3-319-03647-2\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ami/AutexierHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/AutexierHMS13,
author = {Serge Autexier and
Dieter Hutter and
Christian Mandel and
Christoph Stahl},
editor = {Juan Carlos Augusto and
Reiner Wichert and
Rem W. Collier and
David V. Keyson and
Albert Ali Salah and
Ah{-}Hwee Tan},
title = {SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient
Assisted Living Lab - (Demo)},
booktitle = {Ambient Intelligence - 4th International Joint Conference, AmI 2013,
Dublin, Ireland, December 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8309},
pages = {269--274},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03647-2\_23},
doi = {10.1007/978-3-319-03647-2\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ami/AutexierHMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AutexierH13,
author = {Serge Autexier and
Dieter Hutter},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Constructive {DL} Update and Reasoning for Modeling and Executing
the Orchestration of Heterogeneous Processes},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {501--512},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_52.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/AutexierH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AutexierDHLM12,
author = {Serge Autexier and
Dominik Dietrich and
Dieter Hutter and
Christoph L{\"{u}}th and
Christian Maeder},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SmartTies - Management of Safety-Critical Developments},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {238--252},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_18},
doi = {10.1007/978-3-642-34026-0\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AutexierDHLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/womo/AutexierH12,
author = {Serge Autexier and
Dieter Hutter},
editor = {Thomas Schneider and
Dirk Walther},
title = {Structure Formation to Modularize Ontologies},
booktitle = {Proceedings of the 6th International Workshop on Modular Ontologies,
Graz, Austria, July 24, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {875},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-875/regular\_paper\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/womo/AutexierH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010verify,
editor = {Markus Aderhold and
Serge Autexier and
Heiko Mantel},
title = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
July 20-21, 2010},
series = {EPiC Series in Computing},
volume = {3},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/VERIFY-2010},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2010verify.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierDDKZ11,
author = {Serge Autexier and
Catalin David and
Dominik Dietrich and
Michael Kohlhase and
Vyacheslav Zholudev},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Workflows for the Management of Change in Science, Technologies, Engineering
and Mathematics},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {164--179},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_12},
doi = {10.1007/978-3-642-22673-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierDDKZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4828,
author = {Serge Autexier and
Dominik Dietrich and
Marvin R. G. Schiller},
editor = {Pedro Quaresma and
Ralph{-}Johan Back},
title = {Towards an Intelligent Tutor for Mathematical Proofs},
booktitle = {Proceedings First Workshop on {CTP} Components for Educational Software,
THedu'11, Wroclaw, Poland, 31th July 2011},
series = {{EPTCS}},
volume = {79},
pages = {1--28},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.79.1},
doi = {10.4204/EPTCS.79.1},
timestamp = {Mon, 22 Nov 2021 15:31:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/AutexierBDS11,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller and
Dominik Dietrich and
J{\"{o}}rg H. Siekmann},
editor = {Matthew W. Crocker and
J{\"{o}}rg H. Siekmann},
title = {{\(\Omega\)}MEGA: Resource-Adaptive Processes in an Automated Reasoning
System},
booktitle = {Resource-Adaptive Cognitive Processes},
series = {Cognitive Technologies},
pages = {389--423},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-540-89408-7\_17},
doi = {10.1007/978-3-540-89408-7\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cogtech/AutexierBDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2392,
author = {Serge Autexier and
Catalin David and
Dominik Dietrich and
Michael Kohlhase and
Vyacheslav Zholudev},
title = {Workflows for the Management of Change in Science, Technologies, Engineering
and Mathematics},
journal = {CoRR},
volume = {abs/1105.2392},
year = {2011},
url = {http://arxiv.org/abs/1105.2392},
eprinttype = {arXiv},
eprint = {1105.2392},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AutexierD10,
author = {Serge Autexier and
Dominik Dietrich},
title = {Recent developments in mega's proof search programming language},
journal = {{ACM} Commun. Comput. Algebra},
volume = {44},
number = {1/2},
pages = {52--59},
year = {2010},
url = {https://doi.org/10.1145/1838599.1838623},
doi = {10.1145/1838599.1838623},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/AutexierD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AutexierSS10,
author = {Serge Autexier and
Petr Sojka and
Masakazu Suzuki},
title = {Foreword to the Special Issue on Authoring, Digitalization and Management
of Mathematical Knowledge},
journal = {Math. Comput. Sci.},
volume = {3},
number = {3},
pages = {225--226},
year = {2010},
url = {https://doi.org/10.1007/s11786-010-0028-3},
doi = {10.1007/S11786-010-0028-3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AutexierSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AutexierHM10,
author = {Serge Autexier and
Dieter Hutter and
Till Mossakowski},
editor = {Simon Siegler and
Nathan Wasser},
title = {Change Management for Heterogeneous Development Graphs},
booktitle = {Verification, Induction, Termination Analysis - Festschrift for Christoph
Walther on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6463},
pages = {54--80},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17172-7\_4},
doi = {10.1007/978-3-642-17172-7\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AutexierHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/AutexierM10,
author = {Serge Autexier and
Normen M{\"{u}}ller},
editor = {Apostolos Antonacopoulos and
Michael J. Gormish and
Rolf Ingold},
title = {Semantics-based change impact analysis for heterogeneous collections
of documents},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Document Engineering, Manchester,
United Kingdom, September 21-24, 2010},
pages = {97--106},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1860559.1860580},
doi = {10.1145/1860559.1860580},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/doceng/AutexierM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AutexierL10,
author = {Serge Autexier and
Christoph L{\"{u}}th},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Adding Change Impact Analysis to the Formal Verification of {C} Programs},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {59--73},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_6},
doi = {10.1007/978-3-642-16265-7\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AutexierL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AutexierD10,
author = {Serge Autexier and
Dominik Dietrich},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {A Tactic Language for Declarative Proofs},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {99--114},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_9},
doi = {10.1007/978-3-642-14052-5\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/AutexierD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2010,
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7},
doi = {10.1007/978-3-642-14128-7},
isbn = {978-3-642-14127-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/AutexierD09,
author = {Serge Autexier and
Dominik Dietrich},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Atomic Metadeduction},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {444--451},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_56},
doi = {10.1007/978-3-642-04617-9\_56},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/AutexierD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uitp/2008,
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Proceedings of the 8th International Workshop on User Interfaces for
Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
22, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {226},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/226/suppl/C},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uitp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/WirthSBA09,
author = {Claus{-}Peter Wirth and
J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Serge Autexier},
editor = {Dov M. Gabbay and
John Woods},
title = {Jacques Herbrand: Life, Logic, and Automated Deduction},
booktitle = {Logic from Russell to Church},
series = {Handbook of the History of Logic},
volume = {5},
pages = {195--254},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/S1874-5857(09)70009-3},
doi = {10.1016/S1874-5857(09)70009-3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/WirthSBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-4682,
author = {Claus{-}Peter Wirth and
J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Serge Autexier},
title = {Lectures on Jacques Herbrand as a Logician},
journal = {CoRR},
volume = {abs/0902.4682},
year = {2009},
url = {http://arxiv.org/abs/0902.4682},
eprinttype = {arXiv},
eprint = {0902.4682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-4682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AutexierMMN08,
author = {Serge Autexier and
Heiko Mantel and
Stephan Merz and
Tobias Nipkow},
title = {Preface},
journal = {J. Autom. Reason.},
volume = {41},
number = {3-4},
pages = {191--192},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9110-9},
doi = {10.1007/S10817-008-9110-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AutexierMMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AutexierBDW08,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller and
Dominik Dietrich and
Marc Wagner},
title = {Organization, Transformation, and Propagation of Mathematical Knowledge
in Omegamega},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {253--277},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0054-6},
doi = {10.1007/S11786-008-0054-6},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AutexierBDW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AutexierB09,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Preface},
booktitle = {Proceedings of the 8th International Workshop on User Interfaces for
Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
22, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {226},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.093},
doi = {10.1016/J.ENTCS.2008.12.093},
timestamp = {Fri, 24 Feb 2023 10:08:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AutexierB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AspinallALW09,
author = {David Aspinall and
Serge Autexier and
Christoph L{\"{u}}th and
Marc Wagner},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Towards Merging PlatOmega and {PGIP}},
booktitle = {Proceedings of the 8th International Workshop on User Interfaces for
Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August
22, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {226},
pages = {3--21},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.094},
doi = {10.1016/J.ENTCS.2008.12.094},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AspinallALW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2008,
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3},
doi = {10.1007/978-3-540-85110-3},
isbn = {978-3-540-85109-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BenzmullerDSA07,
author = {Christoph Benzm{\"{u}}ller and
Dominik Dietrich and
Marvin R. G. Schiller and
Serge Autexier},
editor = {Joachim Hertzberg and
Michael Beetz and
Roman Englert},
title = {Deep Inference for Automated Proof Tutoring?},
booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German
Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September
10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4667},
pages = {435--439},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74565-5\_34},
doi = {10.1007/978-3-540-74565-5\_34},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/BenzmullerDSA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierFNW07,
author = {Serge Autexier and
Armin Fiedler and
Thomas Neumann and
Marc Wagner},
editor = {Manuel Kauers and
Manfred Kerber and
Robert Miner and
Wolfgang Windsteiger},
title = {Supporting User-Defined Notations When Integrating Scientific Text-Editors
with Proof Assistance Systems},
booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
June 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4573},
pages = {176--190},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73086-6\_16},
doi = {10.1007/978-3-540-73086-6\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierFNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uitp/2006,
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/2},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uitp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SiekmannBA06,
author = {J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Serge Autexier},
title = {Computer supported mathematics with Omegamega},
journal = {J. Appl. Log.},
volume = {4},
number = {4},
pages = {533--559},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.10.008},
doi = {10.1016/J.JAL.2005.10.008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/SiekmannBA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MossakowskiAH06,
author = {Till Mossakowski and
Serge Autexier and
Dieter Hutter},
title = {Development graphs - Proof management for structured specifications},
journal = {J. Log. Algebraic Methods Program.},
volume = {67},
number = {1-2},
pages = {114--145},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.09.005},
doi = {10.1016/J.JLAP.2005.09.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MossakowskiAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZimmerA06,
author = {J{\"{u}}rgen Zimmer and
Serge Autexier},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {The MathServe System for Semantic Web Reasoning Services},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {140--144},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_12},
doi = {10.1007/11814771\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZimmerA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AutexierMTWW06,
author = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {Preface -- Workshop Trustworthy Software 2006},
booktitle = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University,
Saarbr{\"{u}}cken, Germany},
series = {OASIcs},
volume = {3},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/693},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/AutexierMTWW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierC06,
author = {Serge Autexier and
Claudio Sacerdoti Coen},
editor = {Jonathan M. Borwein and
William M. Farmer},
title = {A Formal Correspondence Between OMDoc with Alternative Proofs and
the lambda{\(\mathrm{\mu}\)}{\(\mathrm{\mu}\)}-Calculus},
booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
2006, Wokingham, UK, August 11-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4108},
pages = {67--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812289\_7},
doi = {10.1007/11812289\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierD06,
author = {Serge Autexier and
Dominik Dietrich},
editor = {Jonathan M. Borwein and
William M. Farmer},
title = {Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical
Knowledge},
booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
2006, Wokingham, UK, August 11-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4108},
pages = {94--109},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812289\_9},
doi = {10.1007/11812289\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AutexierB07,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {Preface},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.017},
doi = {10.1016/J.ENTCS.2006.09.017},
timestamp = {Fri, 27 Jan 2023 11:44:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AutexierB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WagnerAB07,
author = {Marc Wagner and
Serge Autexier and
Christoph Benzm{\"{u}}ller},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {PlatOmega: {A} Mediator between Text-Editors and Proof Assistance
Systems},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {87--107},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.024},
doi = {10.1016/J.ENTCS.2006.09.024},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WagnerAB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6000,
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland
University, Saarbr{\"{u}}cken, Germany},
series = {OASIcs},
volume = {3},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/06000/},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/AutexierCM05,
author = {Serge Autexier and
Iliano Cervesato and
Heiko Mantel},
title = {Preface to the special issue of selected papers from {FCS/VERIFY}
2002},
journal = {Int. J. Inf. Sec.},
volume = {4},
number = {1-2},
pages = {1},
year = {2005},
url = {https://doi.org/10.1007/s10207-004-0053-9},
doi = {10.1007/S10207-004-0053-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/AutexierCM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HutterA05,
author = {Dieter Hutter and
Serge Autexier},
editor = {Dieter Hutter and
Werner Stephan},
title = {Formal Software Development in {MAYA}},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {407--432},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_24},
doi = {10.1007/978-3-540-32254-2\_24},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HutterA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Autexier05,
author = {Serge Autexier},
editor = {Robert Nieuwenhuis},
title = {The CoRe Calculus},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {84--98},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_7},
doi = {10.1007/11532231\_7},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/Autexier05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierF05,
author = {Serge Autexier and
Armin Fiedler},
editor = {Michael Kohlhase},
title = {Textbook Proofs Meet Formal Logic - The Problem of Underspecification
and Granularity},
booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3863},
pages = {96--110},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11618027\_7},
doi = {10.1007/11618027\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierBDMW05,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller and
Dominik Dietrich and
Andreas Meier and
Claus{-}Peter Wirth},
editor = {Michael Kohlhase},
title = {A Generic Modular Data Structure for Proof Attempts Alternating on
Ideas and Granularity},
booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3863},
pages = {126--142},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11618027\_9},
doi = {10.1007/11618027\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierBDMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Autexier05,
author = {Serge Autexier},
editor = {Bernhard Beckert},
title = {On the Dynamic Increase of Multiplicities in Matrix Proof Methods
for Classical Higher-Order Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3702},
pages = {48--62},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554554\_6},
doi = {10.1007/11554554\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Autexier05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Autexier2004,
author = {Serge Autexier},
title = {Hierarchical contextual reasoning},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {2003},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/144/index.html},
urn = {urn:nbn:de:bsz:291-scidok-1441},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Autexier2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VoBA03,
author = {Quoc Bao Vo and
Christoph Benzm{\"{u}}ller and
Serge Autexier},
editor = {Georg Gottlob and
Toby Walsh},
title = {Assertion Application in Theorem Proving and Proof Planning},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1343},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/193.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/VoBA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AutexierS03,
author = {Serge Autexier and
Carsten Sch{\"{u}}rmann},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Disproving False Conjectures},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {33--48},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_2},
doi = {10.1007/978-3-540-39813-4\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AutexierS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AutexierBFHV04,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller and
Armin Fiedler and
Helmut Horacek and
Quoc Bao Vo},
editor = {Fairouz Kamareddine},
title = {Assertion-level Proof Representation with Under-Specification},
booktitle = {Proceedings of the Mathematical Knowledge Management Symposium, {MKM}
Symposium 2003, Edinburgh, UK, November 25-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {93},
pages = {5--23},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.12.026},
doi = {10.1016/J.ENTCS.2003.12.026},
timestamp = {Wed, 07 Dec 2022 10:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AutexierBFHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HubnerABM04,
author = {Malte H{\"{u}}bner and
Serge Autexier and
Christoph Benzm{\"{u}}ller and
Andreas Meier},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Interactive Theorem Proving with Tasks},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {161--181},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.021},
doi = {10.1016/J.ENTCS.2004.02.021},
timestamp = {Fri, 09 Dec 2022 11:35:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HubnerABM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AutexierHMS02,
author = {Serge Autexier and
Dieter Hutter and
Till Mossakowski and
Axel Schairer},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {The Development Graph Manager {MAYA}},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {495--501},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_34},
doi = {10.1007/3-540-45719-4\_34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/AutexierHMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AutexierM02,
author = {Serge Autexier and
Till Mossakowski},
editor = {Alessandro Armando},
title = {Integrating {HOL-CASL} into the Development Graph Manager {MAYA}},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {2--17},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_2},
doi = {10.1007/3-540-45988-X\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AutexierM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AutexierH02,
author = {Serge Autexier and
Dieter Hutter},
editor = {Matthias Baaz and
Andrei Voronkov},
title = {Maintenance of Formal Software Developments by Stratified Verification},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2514},
pages = {36--52},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36078-6\_3},
doi = {10.1007/3-540-36078-6\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AutexierH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchurmannA02,
author = {Carsten Sch{\"{u}}rmann and
Serge Autexier},
editor = {Frank Pfenning},
title = {Towards Proof Planning for M{\(\omega\)}\({}^{\mbox{+}}\)},
booktitle = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {2},
pages = {124--145},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80510-3},
doi = {10.1016/S1571-0661(04)80510-3},
timestamp = {Tue, 06 Dec 2022 14:32:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchurmannA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MossakowskiAH01,
author = {Till Mossakowski and
Serge Autexier and
Dieter Hutter},
editor = {Heinrich Hu{\ss}mann},
title = {Extending Development Graphs with Hiding},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {269--283},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_20},
doi = {10.1007/3-540-45314-8\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/MossakowskiAH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Autexier01,
author = {Serge Autexier},
editor = {Maria Paola Bonacina and
Bernhard Gramlich},
title = {A Proof-Planning Framework with Explicit Abstractions Based on Indexed
Formulas},
booktitle = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
Selected Papers},
series = {Electronic Notes in Theoretical Computer Science},
volume = {58},
number = {2},
pages = {189--202},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00285-3},
doi = {10.1016/S1571-0661(04)00285-3},
timestamp = {Tue, 13 Dec 2022 13:31:33 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Autexier01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/SchairerAH01,
author = {Axel Schairer and
Serge Autexier and
Dieter Hutter},
editor = {Maria Paola Bonacina and
Bernhard Gramlich},
title = {A Pragmatic Approach to Reuse in Tactical Theorem Proving},
booktitle = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
Selected Papers},
series = {Electronic Notes in Theoretical Computer Science},
volume = {58},
number = {2},
pages = {203--216},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00286-5},
doi = {10.1016/S1571-0661(04)00286-5},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SchairerAH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AutexierHLMRSSVW00,
author = {Serge Autexier and
Dieter Hutter and
Bruno Langenstein and
Heiko Mantel and
Georg Rock and
Axel Schairer and
Werner Stephan and
Roland Vogt and
Andreas Wolpers},
title = {{VSE:} formal methods meet industrial needs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {1},
pages = {66--77},
year = {2000},
url = {https://doi.org/10.1007/s100099900022},
doi = {10.1007/S100099900022},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AutexierHLMRSSVW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AutexierHMS99,
author = {Serge Autexier and
Dieter Hutter and
Heiko Mantel and
Axel Schairer},
editor = {Harald Ganzinger},
title = {System Description: inka 5.0 - {A} Logic Voyager},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {207--211},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_15},
doi = {10.1007/3-540-48660-7\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AutexierHMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AutexierHMS99,
author = {Serge Autexier and
Dieter Hutter and
Heiko Mantel and
Axel Schairer},
editor = {Didier Bert and
Christine Choppy and
Peter D. Mosses},
title = {Towards an Evolutionary Formal Software-Development Using {CASL}},
booktitle = {Recent Trends in Algebraic Development Techniques, 14th International
Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1827},
pages = {73--88},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-44616-3\_5},
doi = {10.1007/978-3-540-44616-3\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/AutexierHMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/AutexierMS98,
author = {Serge Autexier and
Heiko Mantel and
Werner Stephan},
editor = {Otthein Herzog and
Andreas G{\"{u}}nter},
title = {Simultaneous Quantifier Elimination},
booktitle = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1504},
pages = {141--152},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095435},
doi = {10.1007/BFB0095435},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/AutexierMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-25 02:25 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:
