Vincent Aravantinos

Identifiers

• name variant Vincent Aravantinos 0.60 · backfill

Papers (7)

1. Traceability of Deep Neural Networks cs.LG · 2018 · author #1
2. Formalization of Complex Vectors in Higher-Order Logic cs.LO · 2014 · author #2
3. Formal Analysis of Optical Systems cs.LO · 2014 · author #4
4. Decidability and Undecidability Results for Propositional Schemata cs.LO · 2014 · author #1
5. Generating Schemata of Resolution Proofs cs.AI · 2011 · author #1
6. Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) cs.LO · 2011 · author #1
7. A Decidable Class of Nested Iterated Schemata (extended version) cs.LO · 2010 · author #1

Mentions

• 1405.4034 #2 · backfill · confidence 0.70 Vincent Aravantinos
• 1403.3039 #4 · backfill · confidence 0.70 Vincent Aravantinos
• 1401.3900 #1 · backfill · confidence 0.70 Vincent Aravantinos
• 1106.2692 #1 · backfill · confidence 0.70 Vincent Aravantinos
• 1102.2174 #1 · backfill · confidence 0.70 Vincent Aravantinos
• 1001.4251 #1 · backfill · confidence 0.70 Vincent Aravantinos

Frequent Coauthors

• Nicolas Peltier 4 shared papers
• Ricardo Caferra 3 shared papers
• Osman Hasan 2 shared papers
• Sanaz Khan-Afshar 2 shared papers
• Sofiene Tahar 2 shared papers
• Frederik Diehl 1 shared papers
• Mohamed Yousri Mahmoud 1 shared papers
• Ons Seddiki 1 shared papers
• Umair Siddique 1 shared papers