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.

Georg Moser
SearchCollections
Map detail
Georg Moser13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGeorg MoserAGeorg MoserResearcherTermination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational ComplexityWTermination Proofs in t...preprint / 2011A Complexity Preserving Transformation from Jinja Bytecode to Rewrite SystemsWA Complexity Preserving...preprint / 2014The Epsilon Calculus and Herbrand ComplexityWThe Epsilon Calculus an...preprint / 2005The Derivational Complexity Induced by the Dependency Pair MethodWThe Derivational Comple...preprint / 2011Kruskal's Tree Theorem for Acyclic Term GraphsWKruskal's Tree Theorem ...preprint / 2016Smarter Features, Simpler Learning?WSmarter Features, Simpl...preprint / 2020Efficient Implementation of Rewriting Revisited Technical ReportWEfficient Implementatio...preprint / 2011Dependency Pairs and Polynomial Path OrdersWDependency Pairs and Po...preprint / 2011Automated Complexity Analysis Based on the Dependency Pair MethodWAutomated Complexity An...preprint / 2011A Combination Framework for ComplexityWA Combination Framework...preprint / 2013Polynomial Path Orders: A Maximal ModelWPolynomial Path Orders:...preprint / 2012Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)WAmortised Resource Anal...preprint / 2014
Person12 links

Georg Moser

Researcher

PaperTermination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational ComplexityAuthorship / preprint / 2011PaperA Complexity Preserving Transformation from Jinja Bytecode to Rewrite SystemsAuthorship / preprint / 2014PaperThe Epsilon Calculus and Herbrand ComplexityAuthorship / preprint / 2005PaperThe Derivational Complexity Induced by the Dependency Pair MethodAuthorship / preprint / 2011PaperKruskal's Tree Theorem for Acyclic Term GraphsAuthorship / preprint / 2016PaperSmarter Features, Simpler Learning?Authorship / preprint / 2020PaperEfficient Implementation of Rewriting Revisited Technical ReportAuthorship / preprint / 2011PaperDependency Pairs and Polynomial Path OrdersAuthorship / 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)