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 Seidl
SearchCollections
Map detail
Helmut Seidl11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHelmut SeidlAHelmut SeidlResearcherHow to decide Functionality of Compositions of Top-Down Tree TransducersWHow to decide Functiona...preprint / 2022Numerical Invariants through Convex Relaxation and Max-Strategy IterationWNumerical Invariants th...preprint / 2012Enforcing Termination of Interprocedural AnalysisWEnforcing Termination o...preprint / 2016Reachability for dynamic parametric processesWReachability for dynami...preprint / 2016Clustered Relational Thread-Modular Abstract Interpretation with Local TracesWClustered Relational Th...preprint / 2023Equivalence of Linear Tree Transducers with Output in the Free GroupWEquivalence of Linear T...preprint / 2020On the Balancedness of Tree-to-word TransducersWOn the Balancedness of ...preprint / 2020Parametric Strategy IterationWParametric Strategy Ite...preprint / 2014Efficiently intertwining widening and narrowingWEfficiently intertwinin...preprint / 2015Look-Ahead Removal for Top-Down Tree TransducersWLook-Ahead Removal for ...preprint / 2015
Person10 links

Helmut Seidl

Researcher

PaperHow to decide Functionality of Compositions of Top-Down Tree TransducersAuthorship / preprint / 2022PaperNumerical Invariants through Convex Relaxation and Max-Strategy IterationAuthorship / preprint / 2012PaperEnforcing Termination of Interprocedural AnalysisAuthorship / preprint / 2016PaperReachability for dynamic parametric processesAuthorship / preprint / 2016PaperClustered Relational Thread-Modular Abstract Interpretation with Local TracesAuthorship / preprint / 2023PaperEquivalence of Linear Tree Transducers with Output in the Free GroupAuthorship / preprint / 2020PaperOn the Balancedness of Tree-to-word TransducersAuthorship / preprint / 2020PaperParametric Strategy IterationAuthorship / 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)