Olivier Brunet

发表

A Logic for Partial System Description

Olivier Brunet, O. Brunet, 2004, J. Log. Comput..

mobile device manufacturing integrated circuits has Method, type smart card format reduced compared to standard format

Philippe Patrice, Olivier Brunet, Henri Boccia, 1999 .

Method of manufacturing integrated circuit chips

Philippe Patrice, Olivier Brunet, Bernard Calvas, 1999 .

portable integrated circuit device and method of manufacture

Philippe Patrice, Olivier Brunet, Henri Boccia, 1999 .

Booklet/chip card shaped secured document e.g. electronic passport, for national program, has antenna and guilloches to interact with microelectronic chip and supply circuit to make them operational on placing document in non-contact reader

Philippe Patrice, Olivier Brunet, Henri Boccia, 2005 .

Chip card equipped with a warranty label.

Olivier Brunet, Didier Elbaz, 1998 .

A Labelled Sequent-Calculus for Observation Logic

Olivier Brunet, 2003, TABLEAUX.

Adapter for portable electronic device integrated circuit, chip card type, a reduced size compared to standard mini-card format

Philippe Patrice, Olivier Brunet, Henri Boccia, 1999 .

Method for manufacturing a portable electronic device having a supermoulage step directly on the support film

Philippe Patrice, Olivier Brunet, Henri Boccia, 1999 .

Quantum Measurements from a Logical Point of View

Olivier Brunet, O. Brunet, 2015 .

Contactless smart card comprising inhibiting means

Philippe Patrice, Olivier Brunet, Jean Christophe Fidalgo, 1998 .

Body information carrier comprising a security element comprising an integrated circuit chip

Olivier Brunet, 1999 .

Process for the circuit chips carry integrated device and uses

Philippe Patrice, Olivier Brunet, Bernard Calvas, 1999 .

secure document, especially electronic passport with enhanced security

Philippe Patrice, Olivier Brunet, Henri Boccia, 2006 .

Method for mobile memorization support manufacturing a chip card type

Philippe Patrice, Olivier Brunet, Bernard Calvas, 1999 .

Method of manufacturing a hybrid card chip by double-sided printing

Olivier Brunet, Jean Christophe Fidalgo, 1998 .

Method for manufacturing portable electronic device has smart card type

Philippe Patrice, Olivier Brunet, Bernard Calvas, 1999 .

Method of manufacturing a microelectronic device operating without contact including electronic passport

Olivier Brunet, Ivan Peytavin, Jean Francois Salvo, 2005 .

portable device manufacturing integrated circuits has Method, type smart card format reduced from the standard format

Philippe Patrice, Olivier Brunet, Henri Boccia, 1999 .

Electronic module has double communication interface, in particular for smart card

Philippe Patrice, Olivier Brunet, Henri Boccia, 2005 .

Process for the manufacture of all or part of an electronic device material jet

Philippe Patrice, Olivier Brunet, Paul Morgavi, 1999 .

Contactless smart card with inhibition agents

Philippe Patrice, Olivier Brunet, Jean-Christophe Fidalgo, 1999 .

Smart card provided with a security tag

Olivier Brunet, Didier Elbaz, 1997 .

A portable device with an integrated circuit and method for producing same

Philippe Patrice, Olivier Brunet, Henri Boccia, 2000 .

A Rule-Based Logic for Quantum Information pdf

Olivier Brunet, O. Brunet, 2005, ArXiv.

Orthogonality and Dimensionality

Olivier Brunet, 2013, Axioms.

Method for manufacturing an electronic device chip and / or antenna and device obtained by the method

Laurent Oddou, Olivier Brunet, 1997 .

A Logic of Quantum Measurement

Olivier Brunet, O. Brunet, 2015, QPL.

Etude de la connaissance dans le cadre d'observations partielles : La logique de l'observation. (The Study of Knowledge from Partial Observation: The Observation Logic)

Olivier Brunet, 2002 .

Composite Leading Indicators for Major OECD Non-Member Economies: Brazil, China, India, Indonesia, Russian Federation, South Africa

Olivier Brunet, Ronny Nilsson, 2006 .

Dynamic Quantum Logic for Quantum Programs

Olivier Brunet, Philippe Jorrand, 2003 .

A model for knowledge representation in distributed systems

Olivier Brunet, 2001 .

Lattice approach to classifications

Olivier Brunet, 2000 .