Romain Pascual
  • About Me
  • Publications
  • Talks
  • Experience
  • Projects
  • Teaching
  • Projects
  • Experience
  • Projects
    • JerboaStudio
    • Jerboa
  • Publications
    • Instantiation of Jerboa Rule Schemes, a Set-based Explanation
    • A Note on Los's Theorem for Kripke-Joyal Semantics
    • Formal Foundations of Consistency in Model-Driven Development
    • A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis
    • Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
    • Ultraproducts in abstract categorical logic
    • Exploitation of local adjacencies for parallel construction of a Reeb graph variant: cerebral vascular tree case
    • Transformations de graphes décorés
    • Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
    • Inference of graph transformation rules for the design of geometric modeling operations
    • Preserving consistency in geometric modeling with graph transformations
    • Inferring topological operations on generalized maps: Application to subdivision schemes
    • A First Step Towards the Inference of Geological Topological Operations
    • Topological consistency preservation with graph transformation schemes
  • Talks
    • Formal Foundations of Consistency in Model-Driven Development
    • Formal Foundations of Consistency in Model-Driven Development
    • Graph transformation for geometric modeling
    • Consistent geometric modeling operations
    • Graph transformations and application to geometric modeling
    • An approach for inferring geometric expressions in topology-based modeling
    • Transformations de graphes décorés, Application aux opérations de modélisation géométrique
    • Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
    • Graph transformation: a tool for designing geometric modeling operations
    • Inference of geometric modeling operations
    • Graph transformation for reasoning about geometric modeling operations
    • Inférence d’opérations de modélisation géométrique
    • Inference of graph transformation rules for the design of geometric modeling operations
    • Inference of graph transformation rules for the design of geometric modeling operations
    • Inference of geometric modeling operations using generalized maps
    • Déduction topologique et géométrique pour l'inférence d'opérations de modélisation
    • Graph rewriting for topology-based geometric modeling
    • Des outils de modélisation sur mesure
    • Combinatorial maps: transformations and application to geometric modeling
    • Aide à la conception d'opérations topologiques par inférence
    • Transformations de graphes pour la modélisation géométrique : Des cartes généralisées aux cartes orientées
  • Teaching
    • A Journey into Automated Reasoning
    • Formal Systems II: Theory
    • Theoretical Computer Science
    • Computational approach to games
    • Algorithmic and Complexity
    • Language and Automata
    • Logic modeling and formal systems
    • Coding Weeks
    • Computer science refresher course
    • Information Systems and Programming

Jerboa

Jul 22, 2014 · 1 min read
Go to Project Site

Jerboa provides both a dedicated language and a software library to prototype topology-based geometric modeler.

Last updated on Apr 11, 2025
Jerboa
Romain Pascual
Authors
Romain Pascual
Maître de Conférences (Assistant Professor)
← JerboaStudio Nov 22, 2022

© 2022 Romain Pascual

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.