Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Vincent Aravantinos
Researcher
PaperA Decidable Class of Nested Iterated Schemata (extended version)Authorship / preprint / 2010PaperLinear Temporal Logic and Propositional Schemata, Back and Forth (extended version)Authorship / preprint / 2011PaperDecidability and Undecidability Results for Propositional SchemataAuthorship / preprint / 2014PaperGenerating Schemata of Resolution ProofsAuthorship / preprint / 2011PaperWhat the Constant Velocity Model Can Teach Us About Pedestrian Motion PredictionAuthorship / preprint / 2020PaperFormalization of Complex Vectors in Higher-Order LogicAuthorship / preprint / 2014PaperFormal Analysis of Optical SystemsAuthorship / preprint / 2014