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.

Martin Hofmann
SearchCollections
Map detail
Martin Hofmann13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMartin HofmannAMartin HofmannResearcherOn the Hitting Probability of Max-Stable ProcessesWOn the Hitting Probabil...preprint / 2012Power of Nondetreministic JAGs on Cayley graphsWPower of Nondetreminist...preprint / 2013Certification for mu-calculus with winning strategiesWCertification for mu-ca...preprint / 2014Büchi Types for Infinite Traces and LivenessWBüchi Types for Infinit...preprint / 2014Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)WAmortised Resource Anal...preprint / 2014On the Reflection Type Decomposition of the Adjoint Reduced Phase Space of a Compact Semisimple Lie groupWOn the Reflection Type ...preprint / 2013Scaling of genuine multiparticle entanglement at a quantum phase transitionWScaling of genuine mult...preprint / 2014Analytical characterization of the genuine multiparticle negativityWAnalytical characteriza...preprint / 2014Object classification on video data of meteors and meteor-like phenomena: algorithm and dataWObject classification o...preprint / 2022Sojourn Times and the Fragility IndexWSojourn Times and the F...preprint / 2011Abstract Effects and Proof-Relevant Logical RelationsWAbstract Effects and Pr...preprint / 2012Learn with SAT to Minimize Büchi AutomataWLearn with SAT to Minim...preprint / 2012
Person12 links

Martin Hofmann

Researcher

PaperOn the Hitting Probability of Max-Stable ProcessesAuthorship / preprint / 2012PaperPower of Nondetreministic JAGs on Cayley graphsAuthorship / preprint / 2013PaperCertification for mu-calculus with winning strategiesAuthorship / preprint / 2014PaperBüchi Types for Infinite Traces and LivenessAuthorship / preprint / 2014PaperAmortised Resource Analysis and Typed Polynomial Interpretations (extended version)Authorship / preprint / 2014PaperOn the Reflection Type Decomposition of the Adjoint Reduced Phase Space of a Compact Semisimple Lie groupAuthorship / preprint / 2013PaperScaling of genuine multiparticle entanglement at a quantum phase transitionAuthorship / preprint / 2014PaperAnalytical characterization of the genuine multiparticle negativityAuthorship / preprint / 2014

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)