BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Felix Winterer

Felix Winterer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
cond-mat.mes-hallLogic in Computer Science

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2022arXiv

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existing methods, (3) introduces approaches to proof obligation generalization that have never been used in the context of PDR, (4) compares the strengths of different methods from a theoretical point of view, and (5) intensively evaluates the methods on various benchmarks from hardware model checking as well as from AI planning.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Interplay between topological protected valley and quantum Hall edge transport

An established way of realizing topologically protected states in a two-dimensional electron gas is by applying a perpendicular magnetic field thus creating quantum Hall edge channels. In electrostatically gapped bilayer graphene intriguingly, even in the absence of a magnetic field topologically protected electronic states can emerge at naturally occurring stacking domain walls. While individually both types of topologically protected states have been investigated, their intriguing interplay remains poorly understood. Here, we focus on the interplay between topological domain wall states and quantum Hall edge transport within the eight-fold degenerate zeroth Landau level of high-quality suspended bilayer graphene. We find that the two-terminal conductance remains approximately constant for low magnetic fields throughout the distinct quantum Hall states since the conduction channels are traded between domain wall and device edges. For high magnetic fields, however, we observe evidence of transport suppression at the domain wall, which can be attributed to the emergence of spectral minigaps. This indicates that stacking domain walls do potentially do not correspond to a topological domain wall in the order parameter.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Quantum cascade of new correlated phases in trigonally warped bilayer graphene

Divergent density of states offers the unique opportunity to explore a wide variety of correlated electron physics. In the thinnest limit, this has been predicted and verified in the ultra-flat bands of magic-angle twisted bilayer graphene, the band touching points of few-layer rhombohedral graphite, and the lightly doped rhombohedral trilayer graphene. The simpler and seemingly better understood Bernal bilayer graphene is also susceptible to orbital magnetism-driven phases at charge neutrality, such as layer antiferromagnet and quantum anomalous Hall octet. Here we report the discovery of a cascade of novel correlated phases in the vicinity of electric-field-controlled Lifshitz transitions and van Hove singularities in trigonally warped bilayer graphene. We provide compelling evidence for the observation of Stoner ferromagnets - half and quarter metals. More prominently, we identify signatures consistent with a topologically nontrivial Wigner-Hall crystal at zero magnetic field and its transition to a trivial Wigner crystal, as well as two correlated metals whose behavior deviates from standard Fermi liquids. Our results in this reproducible, tunable, simple system opens a new chapter for studying strongly correlated electrons.

0 citations0 reviewsNo code linkedOpen access