BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michael Kohlhase
SearchCollections
Map detail
Michael Kohlhase13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael KohlhaseAMichael KohlhaseResearcherMaking Isabelle Content Accessible in Knowledge Representation FormatsWMaking Isabelle Content...preprint / 2020Experiences from Exporting Major Proof Assistant LibrariesWExperiences from Export...preprint / 2020The Planetary Project: Towards eMath3.0WThe Planetary Project: ...preprint / 2012A Universal Machine for Biform Theory GraphsWA Universal Machine for...preprint / 2013XLSearch: A Search Engine for SpreadsheetsWXLSearch: A Search Engi...preprint / 2014Towards MKM in the Large: Modular Representation and Scalable Software ArchitectureWTowards MKM in the Larg...preprint / 2010TGView3D System Description: 3-Dimensional Visualization of Theory GraphsWTGView3D System Descrip...preprint / 2020Publishing Math Lecture Notes as Linked DataWPublishing Math Lecture...preprint / 2010Dimensions of Formality: A Case Study for MKM in Software EngineeringWDimensions of Formality...preprint / 2010What we understand is what we get: Assessment in SpreadsheetsWWhat we understand is w...preprint / 2010sTeX+ - a System for Flexible Formalization of Linked DataWsTeX+ - a System for Fl...preprint / 2010A Scalable Module SystemWA Scalable Module Systempreprint / 2011
Person12 links

Michael Kohlhase

Researcher

PaperMaking Isabelle Content Accessible in Knowledge Representation FormatsAuthorship / preprint / 2020PaperExperiences from Exporting Major Proof Assistant LibrariesAuthorship / preprint / 2020PaperThe Planetary Project: Towards eMath3.0Authorship / preprint / 2012PaperA Universal Machine for Biform Theory GraphsAuthorship / preprint / 2013PaperXLSearch: A Search Engine for SpreadsheetsAuthorship / preprint / 2014PaperTowards MKM in the Large: Modular Representation and Scalable Software ArchitectureAuthorship / preprint / 2010PaperTGView3D System Description: 3-Dimensional Visualization of Theory GraphsAuthorship / preprint / 2020PaperPublishing Math Lecture Notes as Linked DataAuthorship / preprint / 2010

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)