9 papers:
SFM-2013-GratieIP #analysis #biology- ODE Analysis of Biological Systems (DEG, BI, IP), pp. 29–62.
SEFM-2011-EggersRNF #analysis #hybrid #satisfiability- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (AE, NR, NSN, MF), pp. 172–187.
PADL-2010-LiuH- An Ode to Arrows (HL, PH), pp. 152–166.
ICSM-2006-LuciaPOZ #comprehension #named #traceability #using- COCONUT: COde COmprehension Nurturant Using Traceability (ADL, MDP, RO, FZ), pp. 274–275.
VLDB-1994-GehaniJR #database #file system #interface #named #object-oriented- OdeFS: A File System Interface to an Object-Oriented Database (NHG, HVJ, WDR), pp. 249–260.
OOPSLA-1994-RobertsonCMRAK #design #learning #named #object-oriented #self- ODE: A Self-Guided, Scenario-Based Learning Environment for Object-Oriented Design Principles (SPR, JMC, RLM, MBR, SRA, JKB), pp. 51–64.
SIGMOD-1990-AgrawalGS #interface #named #visual notation- OdeView: The Graphical Interface to Ode (RA, NHG, JS), pp. 34–43.
- SIGMOD-1990-AgrawalGS90a #interface #named #visual notation
- OdeView: A User-Friendly Graphical Interface to Ode (RA, NHG, JS), p. 389.
- SIGMOD-1989-AgrawalG #database
- ODE (Object Database and Environment): The Language and the Data Model (RA, NHG), pp. 36–45.
