Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Thomas Studer
@inproceedings{DBLP:conf/atal/LuoDSL23, author = {Jieting Luo and Mehdi Dastani and Thomas Studer and Beishui Liao}, editor = {Noa Agmon and Bo An and Alessandro Ricci and William Yeoh}, title = {What Do You Care About: Inferring Values from Emotions}, booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May 2023 - 2 June 2023}, pages = {2289--2291}, publisher = {{ACM}}, year = {2023}, url = {https://dl.acm.org/doi/10.5555/3545946.3598910}, doi = {10.5555/3545946.3598910}, timestamp = {Tue, 23 May 2023 14:27:14 +0200}, biburl = {https://dblp.org/rec/conf/atal/LuoDSL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clar/CachinLS23, author = {Christian Cachin and David Lehnherr and Thomas Studer}, editor = {Andreas Herzig and Jieting Luo and Pere Pardo}, title = {Modal and Justification Logics for Multi-agent Systems (Invited Talk)}, booktitle = {Logic and Argumentation - 5th International Conference, {CLAR} 2023, Hangzhou, China, September 10-12, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14156}, pages = {3--8}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40875-5\_1}, doi = {10.1007/978-3-031-40875-5\_1}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/CachinLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clar/LuoSD23, author = {Jieting Luo and Thomas Studer and Mehdi Dastani}, editor = {Andreas Herzig and Jieting Luo and Pere Pardo}, title = {Providing Personalized Explanations: {A} Conversational Approach}, booktitle = {Logic and Argumentation - 5th International Conference, {CLAR} 2023, Hangzhou, China, September 10-12, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14156}, pages = {121--137}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40875-5\_8}, doi = {10.1007/978-3-031-40875-5\_8}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/LuoSD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/CachinLS23, author = {Christian Cachin and David Lehnherr and Thomas Studer}, editor = {Shlomi Dolev and Baruch Schieber}, title = {Synergistic Knowledge}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, {SSS} 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14310}, pages = {552--567}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-44274-2\_41}, doi = {10.1007/978-3-031-44274-2\_41}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sss/CachinLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/FaroldiRS23, author = {Federico L. G. Faroldi and Atefeh Rohani and Thomas Studer}, editor = {Helle Hvid Hansen and Andre Scedrov and Ruy J. G. B. de Queiroz}, title = {Conditional Obligations in Justification Logic}, booktitle = {Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13923}, pages = {178--193}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-39784-4\_11}, doi = {10.1007/978-3-031-39784-4\_11}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/FaroldiRS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-01455, author = {Thomas Studer}, title = {The logic of temporal domination}, journal = {CoRR}, volume = {abs/2306.01455}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.01455}, doi = {10.48550/ARXIV.2306.01455}, eprinttype = {arXiv}, eprint = {2306.01455}, timestamp = {Mon, 12 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-01455.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-11452, author = {Jieting Luo and Thomas Studer and Mehdi Dastani}, title = {Providing personalized Explanations: a Conversational Approach}, journal = {CoRR}, volume = {abs/2307.11452}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.11452}, doi = {10.48550/ARXIV.2307.11452}, eprinttype = {arXiv}, eprint = {2307.11452}, timestamp = {Wed, 26 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-11452.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2309-15763, author = {Federico L. G. Faroldi and Meghdad Ghari and Eveline Lehmann and Thomas Studer}, title = {Impossible and Conflicting Obligations in Justification Logic}, journal = {CoRR}, volume = {abs/2309.15763}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2309.15763}, doi = {10.48550/ARXIV.2309.15763}, eprinttype = {arXiv}, eprint = {2309.15763}, timestamp = {Tue, 17 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-15763.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-03627, author = {Eveline Lehmann and Thomas Studer}, title = {Belief Expansion in Subset Models}, journal = {CoRR}, volume = {abs/2310.03627}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.03627}, doi = {10.48550/ARXIV.2310.03627}, eprinttype = {arXiv}, eprint = {2310.03627}, timestamp = {Thu, 19 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-03627.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-06250, author = {Jieting Luo and Mehdi Dastani and Thomas Studer and Beishui Liao}, title = {What Do You Care About: Inferring Values from Emotions}, journal = {CoRR}, volume = {abs/2311.06250}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.06250}, doi = {10.48550/ARXIV.2311.06250}, eprinttype = {arXiv}, eprint = {2311.06250}, timestamp = {Wed, 15 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-06250.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/LehnherrOS22, author = {David Lehnherr and Zoran Ognjanovic and Thomas Studer}, title = {A logic of interactive proofs}, journal = {J. Log. Comput.}, volume = {32}, number = {8}, pages = {1645--1658}, year = {2022}, url = {https://doi.org/10.1093/logcom/exac071}, doi = {10.1093/LOGCOM/EXAC071}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/LehnherrOS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/StahliOS22, author = {Olivier St{\"{a}}hli and Thomas Ost and Thomas Studer}, editor = {Roman Bart{\'{a}}k and Fazel Keshtkar and Michael Franklin}, title = {Development of an AI-based bioacoustic wolf monitoring system}, booktitle = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen Beach, Florida, USA, May 15-18, 2022}, year = {2022}, url = {https://doi.org/10.32473/flairs.v35i.130552}, doi = {10.32473/FLAIRS.V35I.130552}, timestamp = {Wed, 26 Oct 2022 08:35:03 +0200}, biburl = {https://dblp.org/rec/conf/flairs/StahliOS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/LehnherrOS22, author = {David Lehnherr and Zoran Ognjanovic and Thomas Studer}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {A Logic of Interactive Proofs}, booktitle = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13137}, pages = {143--155}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-93100-1\_10}, doi = {10.1007/978-3-030-93100-1\_10}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lfcs/LehnherrOS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BaurS21, author = {Michael Baur and Thomas Studer}, title = {Semirings of Evidence}, journal = {J. Log. Comput.}, volume = {31}, number = {8}, pages = {2084--2106}, year = {2021}, url = {https://doi.org/10.1093/logcom/exab007}, doi = {10.1093/LOGCOM/EXAB007}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/BaurS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/XuWS21, author = {Chao Xu and Yanjing Wang and Thomas Studer}, title = {A logic of knowing why}, journal = {Synth.}, volume = {198}, number = {2}, pages = {1259--1285}, year = {2021}, url = {https://doi.org/10.1007/s11229-019-02104-0}, doi = {10.1007/S11229-019-02104-0}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/XuWS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/RohaniS21, author = {Atefeh Rohani and Thomas Studer}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Explicit Non-normal Modal Logic}, booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13038}, pages = {64--81}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88853-4\_5}, doi = {10.1007/978-3-030-88853-4\_5}, timestamp = {Wed, 07 Dec 2022 23:14:05 +0100}, biburl = {https://dblp.org/rec/conf/wollic/RohaniS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-04486, author = {Atefeh Rohani and Thomas Studer}, title = {Explicit non-normal modal logic}, journal = {CoRR}, volume = {abs/2108.04486}, year = {2021}, url = {https://arxiv.org/abs/2108.04486}, eprinttype = {arXiv}, eprint = {2108.04486}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-04486.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-00775, author = {David Lehnherr and Zoran Ognjanovic and Thomas Studer}, title = {A logic of interactive proofs}, journal = {CoRR}, volume = {abs/2109.00775}, year = {2021}, url = {https://arxiv.org/abs/2109.00775}, eprinttype = {arXiv}, eprint = {2109.00775}, timestamp = {Mon, 20 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-00775.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/KokkinisOS20, author = {Ioannis Kokkinis and Zoran Ognjanovic and Thomas Studer}, title = {Probabilistic justification logic}, journal = {J. Log. Comput.}, volume = {30}, number = {1}, pages = {257--280}, year = {2020}, url = {https://doi.org/10.1093/logcom/exaa011}, doi = {10.1093/LOGCOM/EXAA011}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/KokkinisOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BrunnlerFS20, author = {Kai Br{\"{u}}nnler and Dandolo Flumini and Thomas Studer}, title = {A logic of blockchain updates}, journal = {J. Log. Comput.}, volume = {30}, number = {8}, pages = {1469--1485}, year = {2020}, url = {https://doi.org/10.1093/logcom/exaa045}, doi = {10.1093/LOGCOM/EXAA045}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/BrunnlerFS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/SikicGOS20, author = {Zvonimir Sikic and Silvia Ghilezan and Zoran Ognjanovic and Thomas Studer}, editor = {Vivek Nigam and Tajana Ban Kirigin and Carolyn L. Talcott and Joshua D. Guttman and Stepan L. Kuznetsov and Boon Thau Loo and Mitsuhiro Okada}, title = {Logic and Applications - {LAP} Meeting}, booktitle = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {12300}, pages = {98--100}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-62077-6\_8}, doi = {10.1007/978-3-030-62077-6\_8}, timestamp = {Sun, 12 Feb 2023 18:48:21 +0100}, biburl = {https://dblp.org/rec/conf/birthday/SikicGOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clar/BaurS20, author = {Michael Baur and Thomas Studer}, editor = {Mehdi Dastani and Huimin Dong and Leon van der Torre}, title = {Semirings of Evidence}, booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020, Hangzhou, China, April 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12061}, pages = {42--57}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44638-3\_3}, doi = {10.1007/978-3-030-44638-3\_3}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/BaurS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/LehmannS20, author = {Eveline Lehmann and Thomas Studer}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {Belief Expansion in Subset Models}, booktitle = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11972}, pages = {85--97}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-36755-8\_6}, doi = {10.1007/978-3-030-36755-8\_6}, timestamp = {Thu, 19 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lfcs/LehmannS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-13811, author = {Thomas Studer}, title = {No-Go Theorems for Data Privacy}, journal = {CoRR}, volume = {abs/2005.13811}, year = {2020}, url = {https://arxiv.org/abs/2005.13811}, eprinttype = {arXiv}, eprint = {2005.13811}, timestamp = {Wed, 03 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-13811.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SavicS19, author = {Nenad Savic and Thomas Studer}, title = {Relevant Justification Logic}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {397--412}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SavicS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/MarinkovicGOS19, author = {Bojan Marinkovic and Paola Glavan and Zoran Ognjanovic and Thomas Studer}, title = {A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol}, journal = {J. Log. Comput.}, volume = {29}, number = {5}, pages = {803--830}, year = {2019}, url = {https://doi.org/10.1093/logcom/exz007}, doi = {10.1093/LOGCOM/EXZ007}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/MarinkovicGOS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsqaru/MohammadiS19, author = {Hamzeh Mohammadi and Thomas Studer}, editor = {Gabriele Kern{-}Isberner and Zoran Ognjanovic}, title = {Bayesian Confirmation and Justifications}, booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU} 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11726}, pages = {408--418}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29765-7\_34}, doi = {10.1007/978-3-030-29765-7\_34}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecsqaru/MohammadiS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsqaru/MarinkovicGODS19, author = {Bojan Marinkovic and Paola Glavan and Zoran Ognjanovic and Dragan Doder and Thomas Studer}, editor = {Gabriele Kern{-}Isberner and Zoran Ognjanovic}, title = {Probabilistic Consensus of the Blockchain Protocol}, booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU} 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11726}, pages = {469--480}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29765-7\_39}, doi = {10.1007/978-3-030-29765-7\_39}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecsqaru/MarinkovicGODS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icla/SavicS19, author = {Nenad Savic and Thomas Studer}, editor = {Md. Aquil Khan and Amaldev Manuel}, title = {Public Announcements for Epistemic Models and Hypertheories}, booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi, India, March 1-5, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11600}, pages = {64--75}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-662-58771-3\_7}, doi = {10.1007/978-3-662-58771-3\_7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icla/SavicS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rivf/Studer19, author = {Thomas Studer}, title = {The Logic of Temporal Domination}, booktitle = {2019 {IEEE-RIVF} International Conference on Computing and Communication Technologies, {RIVF} 2019, Danang, Vietnam, March 20-22, 2019}, pages = {1--4}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/RIVF.2019.8713701}, doi = {10.1109/RIVF.2019.8713701}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rivf/Studer19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tbillc/DoderOSS19, author = {Dragan Doder and Zoran Ognjanovic and Nenad Savic and Thomas Studer}, editor = {Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and Yulia Zinova}, title = {Incomplete Information and Justifications}, booktitle = {Language, Logic, and Computation - 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13206}, pages = {258--278}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-98479-3\_13}, doi = {10.1007/978-3-030-98479-3\_13}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tbillc/DoderOSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/LehmannS19, author = {Eveline Lehmann and Thomas Studer}, editor = {Rosalie Iemhoff and Michael Moortgat and Ruy J. G. B. de Queiroz}, title = {Subset Models for Justification Logic}, booktitle = {Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11541}, pages = {433--449}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-662-59533-6\_26}, doi = {10.1007/978-3-662-59533-6\_26}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/LehmannS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/MartiS18, author = {Michel Marti and Thomas Studer}, editor = {Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer}, title = {The Internalized Disjunction Property for Intuitionistic Justification Logic}, booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018}, pages = {511--529}, publisher = {College Publications}, year = {2018}, url = {http://www.aiml.net/volumes/volume12/Marti-Studer.pdf}, timestamp = {Tue, 16 Jan 2024 17:18:03 +0100}, biburl = {https://dblp.org/rec/conf/aiml/MartiS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/BrunnlerFS18, author = {Kai Br{\"{u}}nnler and Dandolo Flumini and Thomas Studer}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {A Logic of Blockchain Updates}, booktitle = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10703}, pages = {107--119}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-72056-2\_7}, doi = {10.1007/978-3-319-72056-2\_7}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/BrunnlerFS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aiml/2018, editor = {Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer}, title = {Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018}, publisher = {College Publications}, year = {2018}, url = {http://www.aiml.net/volumes/volume12/}, isbn = {978-1-84890-255-8}, timestamp = {Tue, 16 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/OgnjanovicSS17, author = {Zoran Ognjanovic and Nenad Savic and Thomas Studer}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Justification Logic with Approximate Conditional Probabilities}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {681--686}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_52}, doi = {10.1007/978-3-662-55665-8\_52}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/lori/OgnjanovicSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BucheliGS17, author = {Samuel Bucheli and Meghdad Ghari and Thomas Studer}, editor = {Sujata Ghosh and R. Ramanujam}, title = {Temporal Justification Logic}, booktitle = {Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017}, series = {{EPTCS}}, volume = {243}, pages = {59--74}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.243.5}, doi = {10.4204/EPTCS.243.5}, timestamp = {Fri, 03 Sep 2021 15:00:18 +0200}, biburl = {https://dblp.org/rec/journals/corr/BucheliGS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BrunnlerFS17, author = {Kai Br{\"{u}}nnler and Dandolo Flumini and Thomas Studer}, title = {A Logic of Blockchain Updates}, journal = {CoRR}, volume = {abs/1707.01766}, year = {2017}, url = {http://arxiv.org/abs/1707.01766}, eprinttype = {arXiv}, eprint = {1707.01766}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BrunnlerFS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MartiS16, author = {Michel Marti and Thomas Studer}, title = {Intuitionistic Modal Logic made Explicit}, journal = {{FLAP}}, volume = {3}, number = {5}, pages = {877--902}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MartiS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/KuznetsS16, author = {Roman Kuznets and Thomas Studer}, title = {Weak arithmetical interpretations for the Logic of Proofs}, journal = {Log. J. {IGPL}}, volume = {24}, number = {3}, pages = {424--440}, year = {2016}, url = {https://doi.org/10.1093/jigpal/jzw002}, doi = {10.1093/JIGPAL/JZW002}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/igpl/KuznetsS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/KokkinisOS16, author = {Ioannis Kokkinis and Zoran Ognjanovic and Thomas Studer}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {Probabilistic Justification Logic}, booktitle = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9537}, pages = {174--186}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-27683-0\_13}, doi = {10.1007/978-3-319-27683-0\_13}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/KokkinisOS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MartiS16, author = {Michel Marti and Thomas Studer}, title = {Modular Models for Intuitionistic Justification Logic}, journal = {CoRR}, volume = {abs/1604.07181}, year = {2016}, url = {http://arxiv.org/abs/1604.07181}, eprinttype = {arXiv}, eprint = {1604.07181}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MartiS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/KokkinisMOS15, author = {Ioannis Kokkinis and Petar Maksimovic and Zoran Ognjanovic and Thomas Studer}, title = {First steps towards probabilistic justification logic}, journal = {Log. J. {IGPL}}, volume = {23}, number = {4}, pages = {662--687}, year = {2015}, url = {https://doi.org/10.1093/jigpal/jzv025}, doi = {10.1093/JIGPAL/JZV025}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/KokkinisMOS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Studer15, author = {Thomas Studer}, title = {Justification logic enjoys the strong finite model property}, journal = {CoRR}, volume = {abs/1506.06933}, year = {2015}, url = {http://arxiv.org/abs/1506.06933}, eprinttype = {arXiv}, eprint = {1506.06933}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Studer15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/AlberucciKS14, author = {Luca Alberucci and J{\"{u}}rg Kr{\"{a}}henb{\"{u}}hl and Thomas Studer}, title = {Justifying induction on modal {\(\mu\)}-formulae}, journal = {Log. J. {IGPL}}, volume = {22}, number = {6}, pages = {805--817}, year = {2014}, url = {https://doi.org/10.1093/jigpal/jzu001}, doi = {10.1093/JIGPAL/JZU001}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/AlberucciKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BucheliKS14, author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}, title = {Realizing public announcements by justifications}, journal = {J. Comput. Syst. Sci.}, volume = {80}, number = {6}, pages = {1046--1066}, year = {2014}, url = {https://doi.org/10.1016/j.jcss.2014.04.001}, doi = {10.1016/J.JCSS.2014.04.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BucheliKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tdp/StuderW14, author = {Thomas Studer and Johannes Werner}, title = {Censors for Boolean Description Logic}, journal = {Trans. Data Priv.}, volume = {7}, number = {3}, pages = {223--252}, year = {2014}, url = {http://www.tdp.cat/issues11/abs.a138a13.php}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tdp/StuderW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Studer13, author = {Thomas Studer}, title = {Decidability for some justification logics with negative introspection}, journal = {J. Symb. Log.}, volume = {78}, number = {2}, pages = {388--402}, year = {2013}, url = {https://doi.org/10.2178/jsl.7802030}, doi = {10.2178/JSL.7802030}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/Studer13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lu/Studer13, author = {Thomas Studer}, title = {A Universal Approach to Guarantee Data Privacy}, journal = {Logica Universalis}, volume = {7}, number = {2}, pages = {195--209}, year = {2013}, url = {https://doi.org/10.1007/s11787-012-0060-y}, doi = {10.1007/S11787-012-0060-Y}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lu/Studer13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/KuznetsS13, author = {Roman Kuznets and Thomas Studer}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {Update as Evidence: Belief Expansion}, booktitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7734}, pages = {266--279}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35722-0\_19}, doi = {10.1007/978-3-642-35722-0\_19}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/KuznetsS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/BrunnlerS12, author = {Kai Br{\"{u}}nnler and Thomas Studer}, title = {Syntactic cut-elimination for a fragment of the modal mu-calculus}, journal = {Ann. Pure Appl. Log.}, volume = {163}, number = {12}, pages = {1838--1853}, year = {2012}, url = {https://doi.org/10.1016/j.apal.2012.04.006}, doi = {10.1016/J.APAL.2012.04.006}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/BrunnlerS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/KuznetsS12, author = {Roman Kuznets and Thomas Studer}, editor = {Thomas Bolander and Torben Bra{\"{u}}ner and Silvio Ghilardi and Lawrence S. Moss}, title = {Justifications, Ontology, and Conservativity}, booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012}, pages = {437--458}, publisher = {College Publications}, year = {2012}, url = {http://www.aiml.net/volumes/volume9/Kuznets-Studer.pdf}, timestamp = {Wed, 17 Jan 2024 09:57:06 +0100}, biburl = {https://dblp.org/rec/conf/aiml/KuznetsS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1202-3501, author = {Grigori Mints and Thomas Studer}, editor = {Dale Miller and Zolt{\'{a}}n {\'{E}}sik}, title = {Cut-elimination for the mu-calculus with one variable}, booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS} 2012, Tallinn, Estonia, 24th March 2012}, series = {{EPTCS}}, volume = {77}, pages = {47--54}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.77.7}, doi = {10.4204/EPTCS.77.7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-3501.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/BucheliKS11, author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}, title = {Justifications for common knowledge}, journal = {J. Appl. Non Class. Logics}, volume = {21}, number = {1}, pages = {35--60}, year = {2011}, url = {https://doi.org/10.3166/jancl.21.35-60}, doi = {10.3166/JANCL.21.35-60}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BucheliKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lu/JagerS11, author = {Gerhard J{\"{a}}ger and Thomas Studer}, title = {A Buchholz Rule for Modal Fixed Point Logics}, journal = {Logica Universalis}, volume = {5}, number = {1}, pages = {1--19}, year = {2011}, url = {https://doi.org/10.1007/s11787-010-0022-1}, doi = {10.1007/S11787-010-0022-1}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lu/JagerS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cis/Studer11, author = {Thomas Studer}, editor = {Yuping Wang and Yiu{-}ming Cheung and Ping Guo and Yingbin Wei}, title = {An Application of Justification Logic to Protocol Verification}, booktitle = {Seventh International Conference on Computational Intelligence and Security, {CIS} 2011, Sanya, Hainan, China, December 3-4, 2011}, pages = {779--783}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/CIS.2011.177}, doi = {10.1109/CIS.2011.177}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cis/Studer11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/Studer11, author = {Thomas Studer}, editor = {Edmund M. Clarke and Irina B. Virbitskaite and Andrei Voronkov}, title = {Justified Terminological Reasoning}, booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7162}, pages = {349--361}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29709-0\_30}, doi = {10.1007/978-3-642-29709-0\_30}, timestamp = {Mon, 16 Dec 2019 13:26:25 +0100}, biburl = {https://dblp.org/rec/conf/ershov/Studer11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tbillc/BucheliKS11, author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}, editor = {Guram Bezhanishvili and Sebastian L{\"{o}}bner and Vincenzo Marra and Frank Richter}, title = {Decidability for Justification Logics Revisited}, booktitle = {Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7758}, pages = {166--181}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-36976-6\_12}, doi = {10.1007/978-3-642-36976-6\_12}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tbillc/BucheliKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/BucheliKS11, author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}, editor = {Lev D. Beklemishev and Ruy J. G. B. de Queiroz}, title = {Partial Realization in Dynamic Justification Logic}, booktitle = {Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6642}, pages = {35--51}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20920-8\_9}, doi = {10.1007/978-3-642-20920-8\_9}, timestamp = {Tue, 01 Jun 2021 15:22:31 +0200}, biburl = {https://dblp.org/rec/conf/wollic/BucheliKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1005-0484, author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}, title = {Explicit Evidence Systems with Common Knowledge}, journal = {CoRR}, volume = {abs/1005.0484}, year = {2010}, url = {http://arxiv.org/abs/1005.0484}, eprinttype = {arXiv}, eprint = {1005.0484}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1005-0484.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/BrunnlerS09, author = {Kai Br{\"{u}}nnler and Thomas Studer}, title = {Syntactic cut-elimination for common knowledge}, journal = {Ann. Pure Appl. Log.}, volume = {160}, number = {1}, pages = {82--95}, year = {2009}, url = {https://doi.org/10.1016/j.apal.2009.01.014}, doi = {10.1016/J.APAL.2009.01.014}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/BrunnlerS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Studer09, author = {Thomas Studer}, title = {Common knowledge does not have the Beth property}, journal = {Inf. Process. Lett.}, volume = {109}, number = {12}, pages = {611--614}, year = {2009}, url = {https://doi.org/10.1016/j.ipl.2009.02.011}, doi = {10.1016/J.IPL.2009.02.011}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Studer09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/Studer09, author = {Thomas Studer}, editor = {Amir Pnueli and Irina B. Virbitskaite and Andrei Voronkov}, title = {Privacy Preserving Modules for Ontologies}, booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5947}, pages = {380--387}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11486-1\_32}, doi = {10.1007/978-3-642-11486-1\_32}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/Studer09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/StouppaS09, author = {Phiniki Stouppa and Thomas Studer}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {Data Privacy for Knowledge Bases}, booktitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5407}, pages = {409--421}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-540-92687-0\_28}, doi = {10.1007/978-3-540-92687-0\_28}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/StouppaS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BucheliKS10, author = {Samuel Bucheli and Roman Kuznets and Thomas Studer}, editor = {Thomas Bolander and Torben Bra{\"{u}}ner}, title = {Two Ways to Common Knowledge}, booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6} 2009, Copenhagen, Denmark, November 12-14, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {262}, pages = {83--98}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2010.04.007}, doi = {10.1016/J.ENTCS.2010.04.007}, timestamp = {Thu, 09 Mar 2023 15:44:25 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BucheliKS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/JagerKS08, author = {Gerhard J{\"{a}}ger and Mathis Kretz and Thomas Studer}, title = {Canonical completeness of infinitary mu}, journal = {J. Log. Algebraic Methods Program.}, volume = {76}, number = {2}, pages = {270--292}, year = {2008}, url = {https://doi.org/10.1016/j.jlap.2008.02.005}, doi = {10.1016/J.JLAP.2008.02.005}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/JagerKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/BrunnlerPS08, author = {Kai Br{\"{u}}nnler and Dieter Probst and Thomas Studer}, title = {On contraction and the modal fragment}, journal = {Math. Log. Q.}, volume = {54}, number = {4}, pages = {345--349}, year = {2008}, url = {https://doi.org/10.1002/malq.200710043}, doi = {10.1002/MALQ.200710043}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mlq/BrunnlerPS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Studer08, author = {Thomas Studer}, title = {On the Proof Theory of the Modal mu-Calculus}, journal = {Stud Logica}, volume = {89}, number = {3}, pages = {343--363}, year = {2008}, url = {https://doi.org/10.1007/s11225-008-9133-6}, doi = {10.1007/S11225-008-9133-6}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Studer08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/JagerKS07, author = {Gerhard J{\"{a}}ger and Mathis Kretz and Thomas Studer}, title = {Cut-free common knowledge}, journal = {J. Appl. Log.}, volume = {5}, number = {4}, pages = {681--689}, year = {2007}, url = {https://doi.org/10.1016/j.jal.2006.02.003}, doi = {10.1016/J.JAL.2006.02.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/JagerKS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dexa/KottmannS07, author = {Norbert Kottmann and Thomas Studer}, editor = {Roland R. Wagner and Norman Revell and G{\"{u}}nther Pernul}, title = {Improving Semantic Query Answering}, booktitle = {Database and Expert Systems Applications, 18th International Conference, {DEXA} 2007, Regensburg, Germany, September 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4653}, pages = {671--679}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74469-6\_65}, doi = {10.1007/978-3-540-74469-6\_65}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/dexa/KottmannS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/SteinerS07, author = {David Steiner and Thomas Studer}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {Total Public Announcements}, booktitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4514}, pages = {498--511}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72734-7\_35}, doi = {10.1007/978-3-540-72734-7\_35}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/SteinerS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BrunnlerS09, author = {Kai Br{\"{u}}nnler and Thomas Studer}, editor = {Carlos Areces and St{\'{e}}phane Demri}, title = {Syntactic Cut-elimination for Common Knowledge}, booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007, Cachan, France, November 29-30, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {231}, pages = {227--240}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.02.038}, doi = {10.1016/J.ENTCS.2009.02.038}, timestamp = {Mon, 27 Feb 2023 09:39:46 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BrunnlerS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/KretzS06, author = {Mathis Kretz and Thomas Studer}, title = {Deduction chains for common knowledge}, journal = {J. Appl. Log.}, volume = {4}, number = {3}, pages = {331--357}, year = {2006}, url = {https://doi.org/10.1016/j.jal.2005.06.011}, doi = {10.1016/J.JAL.2005.06.011}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/KretzS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/StouppaS06, author = {Phiniki Stouppa and Thomas Studer}, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {A Formal Model of Data Privacy}, booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {4378}, pages = {400--408}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-70881-0\_34}, doi = {10.1007/978-3-540-70881-0\_34}, timestamp = {Mon, 16 Dec 2019 13:26:25 +0100}, biburl = {https://dblp.org/rec/conf/ershov/StouppaS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Studer05, author = {Thomas Studer}, title = {Explicit mathematics: power types and overloading}, journal = {Ann. Pure Appl. Log.}, volume = {134}, number = {2-3}, pages = {284--302}, year = {2005}, url = {https://doi.org/10.1016/j.apal.2004.12.002}, doi = {10.1016/J.APAL.2004.12.002}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/Studer05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dexa/StoffelS05, author = {Kilian Stoffel and Thomas Studer}, editor = {Kim Viborg Andersen and John K. Debenham and Roland R. Wagner}, title = {Provable Data Privacy}, booktitle = {Database and Expert Systems Applications, 16th International Conference, {DEXA} 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3588}, pages = {324--332}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11546924\_32}, doi = {10.1007/11546924\_32}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dexa/StoffelS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/DurigS05, author = {Michael D{\"{u}}rig and Thomas Studer}, editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter}, title = {Probabilistic ABox Reasoning: Preliminary Results}, booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005}, series = {{CEUR} Workshop Proceedings}, volume = {147}, publisher = {CEUR-WS.org}, year = {2005}, url = {https://ceur-ws.org/Vol-147/10-studer.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/DurigS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/JagerS02, author = {Gerhard J{\"{a}}ger and Thomas Studer}, title = {Extending the system T\({}_{\mbox{0}}\) of explicit mathematics: the limit and Mahlo axioms}, journal = {Ann. Pure Appl. Log.}, volume = {114}, number = {1-3}, pages = {79--101}, year = {2002}, url = {https://doi.org/10.1016/S0168-0072(01)00076-8}, doi = {10.1016/S0168-0072(01)00076-8}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/JagerS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/JargerKS01, author = {Gerhard J{\"{a}}ger and Reinhard Kahle and Thomas Studer}, title = {Universes in explicit mathematics}, journal = {Ann. Pure Appl. Log.}, volume = {109}, number = {3}, pages = {141--162}, year = {2001}, url = {https://doi.org/10.1016/S0168-0072(00)00057-9}, doi = {10.1016/S0168-0072(00)00057-9}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/JargerKS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/KahleS01, author = {Reinhard Kahle and Thomas Studer}, title = {Formalizing non-termination of recursive programs}, journal = {J. Log. Algebraic Methods Program.}, volume = {49}, number = {1-2}, pages = {1--14}, year = {2001}, url = {https://doi.org/10.1016/S1567-8326(01)00006-6}, doi = {10.1016/S1567-8326(01)00006-6}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/KahleS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Studer01, author = {Thomas Studer}, title = {A Semantics for [lambda]: a Calculus with Overloading and Late-binding}, journal = {J. Log. Comput.}, volume = {11}, number = {4}, pages = {527--544}, year = {2001}, url = {https://doi.org/10.1093/logcom/11.4.527}, doi = {10.1093/LOGCOM/11.4.527}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/Studer01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ProbstS01, author = {Dieter Probst and Thomas Studer}, title = {How to normalize the Jay}, journal = {Theor. Comput. Sci.}, volume = {254}, number = {1-2}, pages = {677--681}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00379-0}, doi = {10.1016/S0304-3975(00)00379-0}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/ProbstS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/Studer01, author = {Thomas Studer}, editor = {Reinhard Kahle and Peter Schroeder{-}Heister and Robert F. St{\"{a}}rk}, title = {Constructive Foundations for Featherweight Java}, booktitle = {Proof Theory in Computer Science, International Seminar, {PTCS} 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2183}, pages = {202--238}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45504-3\_13}, doi = {10.1007/3-540-45504-3\_13}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/Studer01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/KahleS00, author = {Reinhard Kahle and Thomas Studer}, editor = {Peter Clote and Helmut Schwichtenberg}, title = {A Theory of Explicit Mathematics Equivalent to ID\({}_{\mbox{1}}\)}, booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1862}, pages = {356--370}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44622-2\_24}, doi = {10.1007/3-540-44622-2\_24}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/KahleS00.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.