Specification and Validation of Two Ring-Structured Synchronization Protocols for Distributed Data Systems. - Serge Miranda (DDB, 1980)

A Formal Specification Framework for Synchronization Protocols in Distributed Data Bases. - Serge Miranda (DDSS, 1981)

Final report on Data Security. - Serge Miranda (DDSS, 1981)

LAGRIF: A Pictorial Non-Programmer-Oriented Request Language for a Relational Data Base Management System. - Serge Miranda; Jean Nsonde; José Busta (JCDKB, 1982)

Interface uniforme d'accès à une base de données factuelles et textuelles. - J. O. Begouin; Jean-Pierre Coussoulet; Serge Miranda (RIAO, 1985)

Interfaces bases de données avancées: quelles recherches pour quelles interfaces? - Patrick Bosc; Mokrane Bouzeghoub; Claude Chrisment; André Flory; Geneviève Jomier; Serge Miranda; Colette Rolland; Stefano Spaccapietra (BDA, 1986)

SQL-U: A Casual-User Oriented Interface for a Relational DBMS on Micro-Computers. - G. Taladoire; Serge Miranda; Nanh Le Thanh; Lotfi Lakhal (HCI (2), 1987)

A Logical Summary-Data Model for Macro Statistical Databases. - Rosine Cicchetti; Lotfi Lakhal; Nanh Le Thanh; Serge Miranda (DASFAA, 1989)

The Physical Machine of NICEBD, an Object Oriented DBMS. - C. Salgado; N. Le Than; E. Vittori; J. T. Dong; G. Mopolo; Serge Miranda (DASFAA, 1989)

Deductive Data Base Support with NICEMP: Definition of an Access Schema Manager in a Persistent Object Environment. - Nanh Le Thanh; M. Collard; G. Bonfils; F. Labene; Philippe Lahire; Serge Miranda (FMLDO, 1989)

Complex-Statistical-Table Structure and Operators for Macro Statistical Databases. - Lotfi Lakhal; Rosine Cicchetti; Serge Miranda (FODO, 1989)

RTL - A Relation and Table Language for Statistical Databases. - Lotfi Lakhal; Rosine Cicchetti; Serge Miranda (MFDBS, 1989)

Semantically-Extended Relationsl Data Models: A Formal Way to Handle Object-Oriented Data Bases. - Serge Miranda (Future Databases, 1992)

Lessons inferred from NFC mobiquitous innovative information service. - Serge Miranda; Nicolas Pastorelly; Evgeniya Ishkina; Dominique Torre; Laetitia Chaix (Ingénierie des Systèmes d Inf., 2011)

MBDS2.0, plateforme générique de gestion de tags NFC et 2D pour des espaces culturels intelligents et communautaires 2.0. - Gregory Narni-Mancinelli; Hamine Benouali; Mylène Leitzelman; Mathieu Salvadore; Evgeniya Ishkina; Serge Miranda (Ingénierie des Systèmes d Inf., 2011)

Nice Future Campus, un bouquet de services NFC dans une carte virtuelle étudiant. - Nicolas Pastorelly; Hamine Benouali; C. Leblanc; Serge Miranda; Nhan Le Thanh; Amel Attour (Ingénierie des Systèmes d Inf., 2011)

RoboDOMO, un robot d'assistance aux personnes âgées et dépendantes dans un environnement d'objets communicants. - Cedrik Poirey; Nicolas Pastorelly; Michel Buffa; Coralie Boumaza; Christine Hugon; Nhan Le Thanh; Serge Miranda (Ingénierie des Systèmes d Inf., 2011)

School-driven mobiquitous invisible paths management for smart territories (Jmagine application). - Greg Galli; Yasmin Mosbah; Rémi Felin; Benoît Montorsi; Serge Miranda (TESCA, 2019)