default search action
Search dblp for Publications
export results for "Thomas Bouton"
@inproceedings{DBLP:conf/icls/GreenhowHFATAPW16, author = {Christine Greenhow and Arnon Hershkovitz and Alona Forkosh{-}Baruch and Emilia Askari and Dimitra Tsovaltzi and Christa S. C. Asterhan and Thomas Puhl and Armin Weinberger and Edith Bouton and Joseph L. Polman}, title = {Teachers and Professional Development: New Contexts, Modes, and Concerns in the Age of Social Media}, booktitle = {Transforming Learning, Empowering Learners: Proceedings of the 12th International Conference of the Learning Sciences, {ICLS} 2016, Singapore, June 20-24, 2016}, year = {2016}, crossref = {DBLP:conf/icls/2016}, url = {https://repository.isls.org/handle/1/384}, timestamp = {Tue, 04 May 2021 17:49:01 +0200}, biburl = {https://dblp.org/rec/conf/icls/GreenhowHFATAPW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BoutonCDF10, author = {Thomas Bouton and Diego Caminha and David D{\'{e}}harbe and Pascal Fontaine}, title = {GridTPT: a distributed platform for Theorem Prover Testing}, booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010}, pages = {33--39}, year = {2010}, crossref = {DBLP:conf/cade/2010paar}, url = {https://doi.org/10.29007/hk8w}, doi = {10.29007/HK8W}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BoutonCDF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BoutonODF09, author = {Thomas Bouton and Diego Caminha Barbosa De Oliveira and David D{\'{e}}harbe and Pascal Fontaine}, title = {veriT: An Open, Trustable and Efficient SMT-Solver}, booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings}, pages = {151--156}, year = {2009}, crossref = {DBLP:conf/cade/2009}, url = {https://doi.org/10.1007/978-3-642-02959-2\_12}, doi = {10.1007/978-3-642-02959-2\_12}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BoutonODF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tbe/LehmannBMBN01, author = {Thomas Martin Lehmann and J{\"{o}}rg Bredno and Volker Metzler and Gary Brook and Wilhelm Nacimiento}, title = {Computer-assisted quantification of axo-somatic boutons at the cell membrane of motoneurons}, journal = {{IEEE} Trans. Biomed. Eng.}, volume = {48}, number = {6}, pages = {706--717}, year = {2001}, url = {https://doi.org/10.1109/10.923788}, doi = {10.1109/10.923788}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tbe/LehmannBMBN01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icls/2016, editor = {Chee{-}Kit Looi and Joseph L. Polman and Ulrike Cress and Peter Reimann}, title = {Transforming Learning, Empowering Learners: Proceedings of the 12th International Conference of the Learning Sciences, {ICLS} 2016, Singapore, June 20-24, 2016}, publisher = {International Society of the Learning Sciences}, year = {2016}, url = {https://repository.isls.org/handle/1/98/}, timestamp = {Thu, 19 Sep 2024 08:51:04 +0200}, biburl = {https://dblp.org/rec/conf/icls/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2010paar, editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev}, title = {Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010}, series = {EPiC Series in Computing}, volume = {9}, publisher = {EasyChair}, year = {2012}, url = {https://easychair.org/publications/volume/PAAR-2010}, timestamp = {Thu, 19 Sep 2024 08:51:04 +0200}, biburl = {https://dblp.org/rec/conf/cade/2010paar.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2009, editor = {Renate A. Schmidt}, title = {Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5663}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02959-2}, doi = {10.1007/978-3-642-02959-2}, isbn = {978-3-642-02958-5}, timestamp = {Thu, 19 Sep 2024 08:51:04 +0200}, biburl = {https://dblp.org/rec/conf/cade/2009.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.