Gillian Dobbie
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring Formal Aspects of Computing | 2023-08-31 | Paper |
| Weighted association rule mining via a graph based connectivity model Information Sciences | 2014-08-01 | Paper |
| A Z approach in validating ORA-SS data models | 2013-10-07 | Paper |
| Theorem prover approach to semistructured data design Formal Methods in System Design | 2010-11-30 | Paper |
| On logical foundations of multilevel secure databases Journal of Intelligent Information Systems | 2005-03-15 | Paper |
| Semistructured Database Design | 2005-02-25 | Paper |
| scientific article; zbMATH DE number 2090524 (Why is no real title available?) | 2004-08-12 | Paper |
| NF-SS: A Normal Form for Semistructured Schema Conceptual Modeling for New Information Systems Technologies | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1755553 (Why is no real title available?) | 2002-06-16 | Paper |
| scientific article; zbMATH DE number 638304 (Why is no real title available?) | 1994-10-13 | Paper |
Research outcomes over time
This page was built for person: Gillian Dobbie
