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.

Matthias Heizmann
SearchCollections
Map detail
Matthias Heizmann6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatthias HeizmannAMatthias HeizmannResearcherLinear Ranking for Linear Lasso ProgramsWLinear Ranking for Line...preprint / 2014Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and SynthesisWProceedings 8th Interna...preprint / 2020Ranking Templates for Linear LoopsWRanking Templates for L...preprint / 2014Geometric Series as Nontermination Arguments for Linear Lasso ProgramsWGeometric Series as Non...preprint / 2014Geometric Nontermination ArgumentsWGeometric Nonterminatio...preprint / 2016
Person5 links

Matthias Heizmann

Researcher

PaperLinear Ranking for Linear Lasso ProgramsAuthorship / preprint / 2014PaperProceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and SynthesisAuthorship / preprint / 2020PaperRanking Templates for Linear LoopsAuthorship / preprint / 2014PaperGeometric Series as Nontermination Arguments for Linear Lasso ProgramsAuthorship / preprint / 2014PaperGeometric Nontermination ArgumentsAuthorship / preprint / 2016

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)