Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Kohlhase
Person information
- affiliation: Friedrich Alexander University of Erlangen-Nuremberg, Erlangen, Germany
- affiliation (former): Jacobs University, Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c152]Dennis Müller
, Michael Kohlhase:
Injecting Formal Mathematics Into LaTeX. CICM 2022: 168-183- [c151]Michael Kohlhase, Dennis Müller:
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM 2022: 184-188 - 2021
- [j31]Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder:
Erratum zu: Editorial. Datenbank-Spektrum 21(2): 171 (2021) - [j30]Michael Kohlhase, Florian Rabe:
Experiences from Exporting Major Proof Assistant Libraries. J. Autom. Reason. 65(8): 1265-1298 (2021) - 2020
- [j29]Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder:
Editorial. Datenbank-Spektrum 20(2): 87-91 (2020) - [j28]Katja Bercic, Michael Kohlhase, Florian Rabe:
(Deep) FAIR mathematics. it Inf. Technol. 62(1): 7-17 (2020) - [c150]Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer:
Logic-Independent Proof Search in Logical Frameworks - (Short Paper). IJCAR (1) 2020: 395-401 - [c149]Max Rapp, Axel Adrian, Michael Kohlhase:
Context Graphs for Legal Reasoning and Argumentation. SAFA@COMMA 2020: 56-67 - [c148]Jan Frederik Schaefer, Kai Amann, Michael Kohlhase:
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ICMS 2020: 406-415 - [c147]Michael Kohlhase:
Deep FAIR - Knowledge Representation for Research Data about Complex Objects. FCR@KI 2020: 3 - [c146]Jan Frederik Schaefer, Michael Kohlhase:
GLIF: A Declarative Framework for Symbolic Natural Language Understanding. FCR@KI 2020: 4-11 - [c145]Katja Bercic, Michael Kohlhase, Florian Rabe:
Towards a Heterogeneous Query Language for Mathematical Knowledge. CICM 2020: 39-54 - [c144]Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger:
FrameIT: Detangling Knowledge Management from Game Design in Serious Games. CICM 2020: 173-189 - [c143]Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase:
Representing Structural Language Features in Formal Meta-languages. CICM 2020: 206-221 - [c142]Richard Marcus, Michael Kohlhase, Florian Rabe:
TGView3D: A System for 3-Dimensional Visualization of Theory Graphs. CICM 2020: 290-296 - [e7]Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. CEUR Workshop Proceedings 2634, CEUR-WS.org 2020 [contents] - [i30]Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda:
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR abs/2002.04955 (2020) - [i29]Michael Kohlhase, Florian Rabe:
Experiences from Exporting Major Proof Assistant Libraries. CoRR abs/2005.03089 (2020) - [i28]Michael Kohlhase, Florian Rabe, Makarius Wenzel:
Making Isabelle Content Accessible in Knowledge Representation Formats. CoRR abs/2005.08884 (2020) - [i27]Max Rapp, Axel Adrian, Michael Kohlhase:
Context Graphs for Legal Reasoning and Argumentation. CoRR abs/2007.00732 (2020)
2010 – 2019
- 2019
- [c141]Michael Kohlhase, Max Rapp:
Context Graphs for Argumentation Logics. LWDA 2019: 265-279 - [c140]Katja Bercic, Michael Kohlhase, Florian Rabe:
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. CICM 2019: 28-43 - [c139]Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel:
Relational Data Across Mathematical Libraries. CICM 2019: 61-76 - [c138]Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing:
Integrating Semantic Mathematical Documents and Dynamic Notebooks. CICM 2019: 275-290 - [c137]Michael Kohlhase, Florian Rabe, Makarius Wenzel:
Making Isabelle Content Accessible in Knowledge Representation Formats. TYPES 2019: 1:1-1:24 - [c136]Michael Kohlhase, Jan Frederik Schaefer:
GF + MMT = GLF - From Language to Semantics through LF. LFMTP@LICS 2019: 24-39 - [e6]Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
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. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - [i26]Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe:
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR abs/1904.10405 (2019) - [i25]Michael Kohlhase:
The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning. CoRR abs/1904.10414 (2019) - [i24]Richard Marcus, Michael Kohlhase, Florian Rabe:
TGView3D System Description: 3-Dimensional Visualization of Theory Graphs. CoRR abs/1905.07076 (2019) - 2018
- [c135]Dennis Müller, Florian Rabe, Michael Kohlhase:
Theories as Types. IJCAR 2018: 575-590 - [c134]Michael Kohlhase:
Towards Context Graphs for Argumentation Logics. LWDA 2018: 203-214 - [c133]Jonas Betzendahl, Michael Kohlhase:
Translating the IMPS Theory Library to MMT/OMDoc. CICM 2018: 7-22 - [c132]Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn:
Discourse Phenomena in Mathematical Documents. CICM 2018: 147-163 - [c131]Dennis Müller, Michael Kohlhase, Florian Rabe:
Automatically Finding Theory Morphisms for Knowledge Management. CICM 2018: 209-224 - [c130]Theresa Pollinger, Michael Kohlhase, Harald Köstler:
Knowledge Amalgamation for Computational Science and Engineering. CICM 2018: 232-247 - [c129]Jan Frederik Schaefer, Michael Kohlhase:
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). CICM Workshops 2018 - [c128]Tom Wiesing, Michael Kohlhase:
A Proposal for an OpenMath JSON Encoding. CICM Workshops 2018 - 2017
- [c127]Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe:
Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP 2017: 319-335 - [c126]Michael Kohlhase:
Math Object Identifiers - Towards Research Data in Mathematics. LWDA 2017: 241 - [c125]Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing:
Knowledge-Based Interoperability for Mathematical Software Systems. MACIS 2017: 195-210 - [c124]Tom Wiesing, Michael Kohlhase, Florian Rabe:
Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. MACIS 2017: 243-257 - [c123]Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe:
Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM 2017: 83-98 - [c122]Michael Kohlhase, Wolfram Sperber:
Software Citations, Information Systems, and Beyond. CICM 2017: 99-114 - [c121]Andrea Kohlhase, Michael Kohlhase, Michael Fürsich:
Visual Structure in Mathematical Expressions. CICM 2017: 208-223 - [c120]Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow:
Mathematical Models as Research Data via Flexiformal Theory Graphs. CICM 2017: 224-238 - 2016
- [j27]Michael Kohlhase, Florian Rabe:
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. J. Formaliz. Reason. 9(1): 201-234 (2016) - [c119]Ion Toloaca, Michael Kohlhase:
Notation-based Semantification. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 73-81 - [c118]Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe:
A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 229-244 - [c117]Denis Rochau, Michael Kohlhase, Dennis Müller:
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 245-259 - [c116]Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing:
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. ICMS 2016: 451-457 - [c115]Enxhell Luzhnica, Michael Kohlhase:
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. ICMS 2016: 467-475 - [c114]Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing:
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM 2016: 117-131 - [c113]Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, Kenny Davila:
NTCIR-12 MathIR Task Overview. NTCIR 2016 - [e5]Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa:
Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Lecture Notes in Computer Science 9791, Springer 2016, ISBN 978-3-319-42546-7 [contents] - [i23]Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry:
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CoRR abs/1603.06424 (2016) - 2015
- [c112]Alexandru Toader, Andrea Kohlhase, Michael Kohlhase:
Assessment for Spreadsheets. SEMS@ICSE 2015: 14-20 - [c111]Andrea Kohlhase, Michael Kohlhase, Ana Guseva:
Context in Spreadsheet Comprehension. SEMS@ICSE 2015: 21-27 - [c110]Radu Hambasan, Michael Kohlhase:
Faceted Search for Mathematics. LWA 2015: 33-44 - [c109]Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase:
Importing the OEIS Library Into OMDoc. LWA 2015: 296-303 - [c108]Radu Hambasan, Michael Kohlhase:
Faceted Search for Mathematics. MACIS 2015: 406-420 - [c107]Mihnea Iancu, Michael Kohlhase:
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. CICM 2015: 137-152 - [c106]Mihnea Iancu, Michael Kohlhase:
Math Literate Knowledge Management via Induced Material. CICM 2015: 187-202 - [i22]Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber:
The SMGloM Project and System. CICM (Work in Progress) 2015: 25-28 - 2014
- [c105]Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOMI@FOIS 2014 - [c104]Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOIS 2014: 427-432 - [c103]Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu:
Representing, Archiving, and Searching the Space of Mathematical Knowledge. ICMS 2014: 26-30 - [c102]Michael Kohlhase, Mihnea Iancu:
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. ICMS 2014: 36-40 - [c101]Michael Kohlhase:
Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier. LWA 2014: 8 - [c100]Carmela Acevedo, Michael Kohlhase:
OpenMathMap: Interaction. CICM Workshops 2014 - [c99]Michael Kohlhase:
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. CICM 2014: 169-183 - [c98]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM 2014: 252-266 - [c97]Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase:
Flexary Operators for Formalized Mathematics. CICM 2014: 312-327 - [c96]Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing:
System Description: MathHub.info. CICM 2014: 431-434 - [c95]Michael Kohlhase:
Extension Proposal: Records in Pragmatic OpenMath. CICM Workshops 2014 - [c94]Michael Kohlhase:
OpenMath Language Extensions. CICM Workshops 2014 - [c93]Lukas Kohlhase, Michael Kohlhase:
System Description: A Semantics-Aware LaTeX-to-Office Converter. CICM 2014: 440-443 - [c92]Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Moritz Schubotz:
NTCIR-11 Math-2 Task Overview. NTCIR 2014 - [c91]Radu Hambasan, Michael Kohlhase, Corneliu-Claudiu Prodescu:
MathWebSearch at NTCIR-11. NTCIR 2014 - [e4]Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents] - [i21]Michael Kohlhase, Corneliu-Claudiu Prodescu, Christian Liguda:
XLSearch: A Search Engine for Spreadsheets. CoRR abs/1401.7584 (2014) - [i20]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR abs/1405.5956 (2014) - 2013
- [j26]Andrea Kohlhase, Michael Kohlhase:
Spreadsheets with a Semantic Layer. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [j25]Florian Rabe, Michael Kohlhase:
A scalable module system. Inf. Comput. 230: 1-54 (2013) - [j24]Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban:
The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reason. 50(2): 191-202 (2013) - [c90]Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader:
Full Semantic Transparency: Overcoming Boundaries of Applications. INTERACT (3) 2013: 406-423 - [c89]Jan Wilken Dörrie, Michael Kohlhase:
OpenMathMap: Accessing Math via Interactive Maps. LWA 2013: 277-279 - [c88]Jan Wilken Dörrie, Michael Kohlhase:
OpenMathMap: accessing math via interactive maps. CICM Workshops 2013 - [c87]Michael Kohlhase, Felix Mance, Florian Rabe:
A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML 2013: 82-97 - [c86]Akiko Aizawa, Michael Kohlhase, Iadh Ounis:
NTCIR-10 Math Pilot Task Overview. NTCIR 2013 - [c85]Michael Kohlhase, Corneliu-Claudiu Prodescu:
MathWebSearch at NTCIR-10. NTCIR 2013 - [e3]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger:
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013 [contents] - [i19]Michael Kohlhase, Felix Mance, Florian Rabe:
A Universal Machine for Biform Theory Graphs. CoRR abs/1306.3198 (2013) - [i18]Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. CoRR abs/1312.2359 (2013) - 2012
- [j23]Manfred Kerber, Michael Kohlhase:
Reasoning without believing: on the mechanisation of presuppositions and partiality. J. Appl. Non Class. Logics 22(4): 295-317 (2012) - [j22]Michael Kohlhase, Florian Rabe:
Semantics of OpenMath and MathML3. Math. Comput. Sci. 6(3): 235-260 (2012) - [c84]Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase:
Semantic Alliance: A Framework for Semantic Allies. AISC/MKM/Calculemus 2012: 49-64 - [c83]Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe:
Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus 2012: 65-80 - [c82]Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu:
MathWebSearch 0.5: Scaling an Open Formula Search Engine. AISC/MKM/Calculemus 2012: 342-357 - [c81]Michael Kohlhase:
The Planetary Project: Towards eMath3.0. AISC/MKM/Calculemus 2012: 448-452 - [c80]Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou:
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. AISC/MKM/Calculemus 2012: 458-462 - [c79]Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou:
Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification. ESWC 2012: 763-777 - [c78]Michael Kohlhase:
The Flexiformalist Manifesto. SYNASC 2012: 30-35 - [i17]Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou:
Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset. CoRR abs/1204.5086 (2012) - [i16]Michael Kohlhase:
The Planetary Project: Towards eMath3.0. CoRR abs/1206.5048 (2012) - 2011
- [c77]Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev:
The Planetary System: Executable Science, Technology, Engineering and Math Papers. ESWC (2) 2011: 471-475 - [c76]Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea:
A Framework for Semantic Publishing of Modular Content Objects. SePublica 2011 - [c75]Deyan Ginev, Heinrich Stamerjohanns, Michael Kohlhase:
The LaTeXML Daemon: Editable Math on the Collaborative Web. LWA 2011: 255-256 - [c74]Corneliu-Claudiu Prodescu, Michael Kohlhase:
MathWebSearch 0.5 An Open Formula Search Engine. LWA 2011: 257-264 - [c73]Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen:
A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122 - [c72]Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban:
Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163 - [c71]Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev:
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179 - [c70]Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe:
Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227 - [c69]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291 - [c68]Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase:
The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM 2011: 292-294 - [c67]Andrea Kohlhase, Michael Kohlhase:
Maintaining islands of consistency via versioned links. SIGDOC 2011: 167-174 - [c66]Andrea Kohlhase, Michael Kohlhase:
Towards a flexible notion of document context. SIGDOC 2011: 181-188 - [c65]Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev:
The Planetary System: Web 3.0 & Active Documents for STEM. ICCS 2011: 598-607 - [i15]Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican,