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.

Alexander Weinert
SearchCollections
Map detail
Alexander Weinert8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlexander WeinertAAlexander WeinertResearcherQuantitative Reductions and Vertex-Ranked Infinite Games (Full Version)WQuantitative Reductions...preprint / 2020Towards Specificationless Monitoring of Provenance-Emitting SystemsWTowards Specificationle...preprint / 2022Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential TimeWApproximating Optimal B...preprint / 2016Automated and manual testing as part of the research software development process of RCEWAutomated and manual te...preprint / 2022Orchestrating Tool Chains for Model-based Systems Engineering with RCEWOrchestrating Tool Chai...preprint / 2022From LTL to rLTL Monitoring: Improved Monitorability through Robust SemanticsWFrom LTL to rLTL Monito...preprint / 2022RCE: An Integration Environment for Engineering and ScienceWRCE: An Integration Env...preprint / 2020
Person7 links

Alexander Weinert

Researcher

PaperQuantitative Reductions and Vertex-Ranked Infinite Games (Full Version)Authorship / preprint / 2020PaperTowards Specificationless Monitoring of Provenance-Emitting SystemsAuthorship / preprint / 2022PaperApproximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential TimeAuthorship / preprint / 2016PaperAutomated and manual testing as part of the research software development process of RCEAuthorship / preprint / 2022PaperOrchestrating Tool Chains for Model-based Systems Engineering with RCEAuthorship / preprint / 2022PaperFrom LTL to rLTL Monitoring: Improved Monitorability through Robust SemanticsAuthorship / preprint / 2022PaperRCE: An Integration Environment for Engineering and ScienceAuthorship / preprint / 2020

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)