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.

Helmut Veith
SearchCollections
Map detail
Helmut Veith13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHelmut VeithAHelmut VeithResearcherOn the Concept of Variable Roles and its Use in Software AnalysisWOn the Concept of Varia...preprint / 2013Monadic second order finite satisfiability and unbounded tree-widthWMonadic second order fi...preprint / 2016The First Order Definability of Graphs: Upper Bounds for Quantifier RankWThe First Order Definab...preprint / 2003Verification Across Intellectual Property BoundariesWVerification Across Int...preprint / 2011A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisWA Simple and Scalable S...preprint / 2014Extending ALCQIO with reachabilityWExtending ALCQIO with r...preprint / 2014Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative ProgramsWDifference Constraints:...preprint / 2015A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed AlgorithmsWA Short Counterexample ...preprint / 2016Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsWCounter Attack on Byzan...preprint / 2013Starting a Dialog between Model Checking and Fault-tolerant Distributed AlgorithmsWStarting a Dialog betwe...preprint / 2012On the Structure and Complexity of Rational Sets of Regular LanguagesWOn the Structure and Co...preprint / 2013Shape and Content: Incorporating Domain Knowledge into Shape AnalysisWShape and Content: Inco...preprint / 2014
Person12 links

Helmut Veith

Researcher

PaperOn the Concept of Variable Roles and its Use in Software AnalysisAuthorship / preprint / 2013PaperMonadic second order finite satisfiability and unbounded tree-widthAuthorship / preprint / 2016PaperThe First Order Definability of Graphs: Upper Bounds for Quantifier RankAuthorship / preprint / 2003PaperVerification Across Intellectual Property BoundariesAuthorship / preprint / 2011PaperA Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisAuthorship / preprint / 2014PaperExtending ALCQIO with reachabilityAuthorship / preprint / 2014PaperDifference Constraints: An adequate Abstraction for Complexity Analysis of Imperative ProgramsAuthorship / preprint / 2015PaperA Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed AlgorithmsAuthorship / 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)