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.

Alexei Lisitsa
SearchCollections
Map detail
Alexei Lisitsa13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlexei LisitsaAAlexei LisitsaResearcherFinite Model Finding for Parameterized VerificationWFinite Model Finding fo...preprint / 2010First-order finite satisfiability vs tree automata in safety verificationWFirst-order finite sati...preprint / 2011Finite countermodels for safety verification of parameterized tree systemsWFinite countermodels fo...preprint / 2011A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?WA Note on Program Speci...preprint / 2012Proceedings of the Third International Workshop on Verification and Program TransformationWProceedings of the Thir...preprint / 2015Can process mining help in anomaly-based intrusion detection?WCan process mining help...preprint / 2022A SAT Attack on the Erdos Discrepancy ConjectureWA SAT Attack on the Erd...preprint / 2014Detecting unknots via equational reasoning, I: ExplorationWDetecting unknots via e...preprint / 2014Computer-Aided Proof of Erdos Discrepancy PropertiesWComputer-Aided Proof of...preprint / 2014A combinatorial approach to knot recognitionWA combinatorial approac...preprint / 2015Proceedings of the Fourth International Workshop on Verification and Program TransformationWProceedings of the Four...preprint / 2016Process Mining Algorithm for Online Intrusion Detection SystemWProcess Mining Algorith...preprint / 2022
Person12 links

Alexei Lisitsa

Researcher

PaperFinite Model Finding for Parameterized VerificationAuthorship / preprint / 2010PaperFirst-order finite satisfiability vs tree automata in safety verificationAuthorship / preprint / 2011PaperFinite countermodels for safety verification of parameterized tree systemsAuthorship / preprint / 2011PaperA Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?Authorship / preprint / 2012PaperProceedings of the Third International Workshop on Verification and Program TransformationAuthorship / preprint / 2015PaperCan process mining help in anomaly-based intrusion detection?Authorship / preprint / 2022PaperA SAT Attack on the Erdos Discrepancy ConjectureAuthorship / preprint / 2014PaperDetecting unknots via equational reasoning, I: ExplorationAuthorship / preprint / 2014

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)