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.

Jakub Michaliszyn
SearchCollections
Map detail
Jakub Michaliszyn6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJakub MichaliszynAJakub MichaliszynResearcherOn Injective Embeddings of Tree PatternsWOn Injective Embeddings...preprint / 2012Satisfiability vs. Finite Satisfiability in Elementary Modal LogicsWSatisfiability vs. Fini...preprint / 2012"Most of" leads to undecidability: Failure of adding frequencies to LTLW"Most of" leads to unde...preprint / 2021The Last Paper on the Halpern-Shoham Interval Temporal LogicWThe Last Paper on the H...preprint / 2010Model Checking Epistemic Halpern-Shoham Logic Extended with Regular ExpressionsWModel Checking Epistemi...preprint / 2015
Person5 links

Jakub Michaliszyn

Researcher

PaperOn Injective Embeddings of Tree PatternsAuthorship / preprint / 2012PaperSatisfiability vs. Finite Satisfiability in Elementary Modal LogicsAuthorship / preprint / 2012Paper"Most of" leads to undecidability: Failure of adding frequencies to LTLAuthorship / preprint / 2021PaperThe Last Paper on the Halpern-Shoham Interval Temporal LogicAuthorship / preprint / 2010PaperModel Checking Epistemic Halpern-Shoham Logic Extended with Regular ExpressionsAuthorship / preprint / 2015

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)