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.

Panagiotis Manolios
SearchCollections
Map detail
Panagiotis Manolios13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPanagiotis ManoliosAPanagiotis ManoliosResearcherILP Modulo TheoriesWILP Modulo Theoriespreprint / 2013ILP Modulo DataWILP Modulo Datapreprint / 2014ACL2s Systems ProgrammingWACL2s Systems Programmingpreprint / 2022Removal of Quantifiers by Elimination of Boundary PointsWRemoval of Quantifiers ...preprint / 2012Checking Satisfiability by Dependency SequentsWChecking Satisfiability...preprint / 2012Quantifier Elimination by Dependency SequentsWQuantifier Elimination ...preprint / 2013Bug Hunting By Computing Range ReductionWBug Hunting By Computin...preprint / 2014Skipping RefinementWSkipping Refinementpreprint / 2015Proving Skipping Refinement with ACL2sWProving Skipping Refine...preprint / 2015Introduction to Rank-polymorphic Programming in Remora (Draft)WIntroduction to Rank-po...preprint / 2020Verification of Sequential Circuits by Tests-As-Proofs ParadigmWVerification of Sequent...preprint / 2013Data Definitions in the ACL2 SedanWData Definitions in the...preprint / 2014
Person12 links

Panagiotis Manolios

Researcher

PaperILP Modulo TheoriesAuthorship / preprint / 2013PaperILP Modulo DataAuthorship / preprint / 2014PaperACL2s Systems ProgrammingAuthorship / preprint / 2022PaperRemoval of Quantifiers by Elimination of Boundary PointsAuthorship / preprint / 2012PaperChecking Satisfiability by Dependency SequentsAuthorship / preprint / 2012PaperQuantifier Elimination by Dependency SequentsAuthorship / preprint / 2013PaperBug Hunting By Computing Range ReductionAuthorship / preprint / 2014PaperSkipping RefinementAuthorship / 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)