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.

Carsten Fuhs
SearchCollections
Map detail
Carsten Fuhs7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipCarsten FuhsACarsten FuhsResearcherPolynomial Interpretations for Higher-Order RewritingWPolynomial Interpretati...preprint / 2012First-Order Formative RulesWFirst-Order Formative R...preprint / 2014A Calculus for Modular Loop Acceleration and Non-Termination ProofsWA Calculus for Modular ...preprint / 2022Analysing Parallel Complexity of Term RewritingWAnalysing Parallel Comp...preprint / 2022Optimal Base Encodings for Pseudo-Boolean ConstraintsWOptimal Base Encodings ...preprint / 2011SAT-Based Termination Analysis Using Monotonicity Constraints over the IntegersWSAT-Based Termination A...preprint / 2011
Person6 links

Carsten Fuhs

Researcher

PaperPolynomial Interpretations for Higher-Order RewritingAuthorship / preprint / 2012PaperFirst-Order Formative RulesAuthorship / preprint / 2014PaperA Calculus for Modular Loop Acceleration and Non-Termination ProofsAuthorship / preprint / 2022PaperAnalysing Parallel Complexity of Term RewritingAuthorship / preprint / 2022PaperOptimal Base Encodings for Pseudo-Boolean ConstraintsAuthorship / preprint / 2011PaperSAT-Based Termination Analysis Using Monotonicity Constraints over the IntegersAuthorship / preprint / 2011

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)