| The naproche project controlled natural language proof checking of mathematical texts M Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J Veldman International Workshop on Controlled Natural Language, 170-186, 2009 | 83 | 2009 |
| Chancen und Perspektiven computergestützter Lexikographie B Schröder, A Storrer De Gruyter, 2001 | 30 | 2001 |
| Das internet als medium für die Wörterbuchbenutzungsforschung L Lemnitzer, I Lemberg, B Schröder, A Storrer Chancen und Perspektiven computergestützter Lexikographie: Hypertext …, 2001 | 23 | 2001 |
| Verfahren und Techniken in der computergestützten Lexikographie G Büchel, B Schröder Chancen und Perspektiven computergestützter Lexikographie. Hypertext …, 2001 | 17 | 2001 |
| How to frame a mathematician: Modelling the cognitive background of proofs B Fisseni, D Sarikaya, M Schmitt, B Schröder Reflections on the Foundations of Mathematics: Univalent Foundations, Set …, 2019 | 16 | 2019 |
| Premise selection in the Naproche system M Cramer, P Koepke, D Kühlwein, B Schröder Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 16 | 2010 |
| The naproche system D Kühlwein, M Cramer, P Koepke, B Schröder Intelligent Computer Mathematics, Springer LNCS, 2009 | 14 | 2009 |
| Parsing and disambiguation of symbolic mathematics in the Naproche system M Cramer, P Koepke, B Schröder Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011 | 13 | 2011 |
| How to frame understanding in mathematics: A case study using extremal proofs M Carl, M Cramer, B Fisseni, D Sarikaya, B Schröder Axiomathes 31 (5), 649-676, 2021 | 12 | 2021 |
| Disfluencies and uncertainty perception-evidence from a human-machine scenario. C Wollermann, E Lasarcyk, U Schade, B Schröder DiSS, 73-76, 2013 | 12 | 2013 |
| Effects of exhaustivity and uncertainty on audiovisual focus production. C Wollermann, B Schröder AVSP, 145-150, 2009 | 11 | 2009 |
| Updates with eigentlich HC Schmitz, B Schröder Sprache und Datenverarbeitung 28 (1), 87-96, 2004 | 11 | 2004 |
| Certainty, context and exhaustivity of answers C Wollermann, B Schröder Speech and Face to Face communication, Grenoble, France, 2008 | 10 | 2008 |
| On the role of disfluent speech for uncertainty in articulatory speech synthesis C Bellinghausen, T Fangmeier, B Schröder, J Keller, S Drechsel, ... Budapest, 2019 | 9 | 2019 |
| Does uncertainty effect the case of exhaustive interpretation? C Wollermann, B Schröder ExLing, 233-236, 2008 | 9 | 2008 |
| FnhdC/HTML und FnhdC/S B Fisseni, HC Schmitz, B Schröder Sprache und Datenverarbeitung 31 (1-2), 67-69, 2007 | 8 | 2007 |
| How to frame innovation in mathematics B Fisseni, D Sarikaya, B Schröder Synthese 202 (4), 108, 2023 | 7 | 2023 |
| Accentuation, Uncertainty and Exhaustivity-Towards a Model of Pragmatic Focus Interpretation C Wollermann, U Schade, B Fisseni, B Schröder Institut für Deutsche Sprache, Bibliothek, 2018 | 7 | 2018 |
| On the modelling of prosodic cues in synthetic speech–what are the effects on perceived uncertainty and naturalness? E Lasarcyk, C Wollermann, B Schröder, U Schade Natural Language Processing and Cognitive Science, 117, 2013 | 7 | 2013 |
| Presupposition Projection and Accommodation in Mathematical Texts. M Cramer, D Kühlwein, B Schröder KONVENS, 29-36, 2010 | 7 | 2010 |
Marcos CramerTU DresdenVerified email at tu-dresden.de
