Search dblp for Publications

export results for "Thomas Bouton"

 download as .bib file

@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}
}