| Publication | Date of Publication | Type |
|---|
Provenance-directed Chase\&Backchase
| 2018-10-18 | Paper |
Cooperative Control of Dynamical Systems With Application to Autonomous Vehicles
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Globally Stabilizing Adaptive Control Design for Nonlinearly-Parameterized Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Global-Stabilizing Near-Optimal Control Design for Nonholonomic Chained Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Leaderless cooperative formation control of autonomous mobile robots under limited communication range constraints
Lecture Notes in Economics and Mathematical Systems | 2011-08-09 | Paper |
Cascaded feedback linearization and its application to stabilization of nonholonomic systems
Systems & Control Letters | 2007-04-11 | Paper |
scientific article; zbMATH DE number 2080406 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2036316 (Why is no real title available?)
| 2004-02-02 | Paper |
scientific article; zbMATH DE number 2001229 (Why is no real title available?)
| 2003-11-05 | Paper |
scientific article; zbMATH DE number 1903385 (Why is no real title available?)
| 2003-05-01 | Paper |
scientific article; zbMATH DE number 1701756 (Why is no real title available?)
| 2002-02-05 | Paper |
Deductive query languages for recursively typed complex objects
The Journal of Logic Programming | 1999-01-11 | Paper |
scientific article; zbMATH DE number 839556 (Why is no real title available?)
| 1996-01-30 | Paper |
Domain independence and the relational calculus
Acta Informatica | 1994-11-23 | Paper |
Algebraic and calculus query languages for recursively typed complex objects
Journal of Computer and System Sciences | 1993-10-10 | Paper |
scientific article; zbMATH DE number 176245 (Why is no real title available?)
| 1993-05-18 | Paper |
On the expressive power of database queries with intermediate types
Journal of Computer and System Sciences | 1992-06-25 | Paper |
Minimalism, justification and non-monotonicity in deductive databases
Journal of Computer and System Sciences | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4182799 (Why is no real title available?)
| 1989-01-01 | Paper |
Restructuring hierarchical database objects
Theoretical Computer Science | 1988-01-01 | Paper |
Relative Information Capacity of Simple Relational Database Schemata
SIAM Journal on Computing | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4049154 (Why is no real title available?)
| 1986-01-01 | Paper |
Non-finite specifiability of projections of functional dependency families
Theoretical Computer Science | 1985-01-01 | Paper |
Finitely Specifiable Implicational Dependency Families
Journal of the ACM | 1984-01-01 | Paper |
The Format Model
Journal of the ACM | 1984-01-01 | Paper |
Order dependency in the relational model
Theoretical Computer Science | 1983-01-01 | Paper |
Acyclic join dependency and data base projections
Journal of Computer and System Sciences | 1983-01-01 | Paper |
Characterizations for functional dependency and Boyce-Codd normal form families
Theoretical Computer Science | 1983-01-01 | Paper |
