Université Paul Cézanne - Aix-Marseille 3 < Université Paul Sabatier - Toulouse 3 < Université Paul Valéry (Montpellier 3)

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 88.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000284 (2009-10-19)	Philippe Balbiani ; Yannick Chevalier ; Marwa El-Houri	A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment
000327 (2010-04-29)	Nicholas Asher ; Sylvain Pogodalla	A Montagovian Treatment of Modal Subordination
000393 (2010-09-27)	Zainab Assaghir ; Mehdi Kaytoue ; Henri Prade	A Possibility Theory-Oriented Discussion of Conceptual Pattern Structures
000683 (2010-05-19)	Hugues Cassé ; Karine Heydemann ; Haluk Ozaktas ; Jonathan Ponroy ; Christine Rochange ; Olivier Zendra	A framework to experiment optimizations for real-time and embedded software
000959 (2014)	Philippe Balbiani ; Vincent Demange ; Didier Galmiche	A sequent calculus with labels for Public Announcement Logic
000D29 (2000)	Gladys Diaz ; Jean-Pierre Thomesse ; Zoubir Mammeri	An Object-Oriented Modeling of Co-operative Multimedia Systems
000E04 (2006-03-13)	Daoudi Khalid ; Christophe Cerisara	An improved version of the SPACE algorithm for noise robust speech recognition
000E10 (1999-07)	Roberto Reyna-Rojas ; Daniel Estève ; Dominique Martinez	An integrated vision system: object detection and localization
000E52 (2013-07)	Robert Davis ; Luca Santinelli ; Sebastian Altmeyer ; Claire Maiza ; Liliana Cucu-Grosjean	Analysis of Probabilistic Cache Related Pre-emption Delays
000E81 (2015-08-02)	Dominique Méry ; Neeraj Kumar Singh	Analyzing Requirements Using Environment Modelling
000F34 (2006)	Carole Bernon ; Vincent Chevrier ; Vincent Hilaire ; Paul Marrow	Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison
001038 (2003-07)	Nathalie Parlangeau-Vallès ; Jérôme Farinas ; Dominique Fohr ; Irina Illina ; Ivan Magrin-Chagnolleau ; Odile Mella ; Julien Pinquier ; Jean-Luc Rouas ; Christine Sénac	Audio Indexing on the Web: a Preliminary Study of Some Audio Descriptors
001072 (2012-03)	Yannick Chevalier ; Mounira Kourjieh	Automated Synthesis of a Finite Complexity Ordering for Saturation
001101 (2008-07-08)	Yannick Chevalier ; Mohammed Anis Mekki ; Michael Rusinowitch	Automatic Composition of Services with Security Policies
001258 (2006)	Jean-Pierre Mano ; Christine Bourjot ; Gabriel Lopardo ; Pierre Glize	Bio-inspired Mechanisms for Artificial Self-organised Systems
001452 (2011-04-29)	Nawal Guermouche ; Claude Godart	Characterizing Compatibility of Timed Choreography.
001663 (2003)	Joseph Razik ; Christine Sénac ; Dominique Fohr ; Odile Mella ; Nathalie Parlangeau-Vallès	Comparison of Two Speech/Music Segmentation Systems For Audio Indexing on the Web
001680 (2010)	Yannick Chevalier ; Michael Rusinowitch	Compiling and securing cryptographic protocols
001700 (2010)	Guillaume Bonfante ; Florian Deloup	Complexity invariance of real interpretations
001701 (2010-06-07)	Guillaume Bonfante ; Florian Deloup	Complexity invariance of real interpretations
001705 (2008)	Yannick Chevalier ; Ralf Kuesters ; Michael Rusinowitch ; Mathieu Turuani	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Université Paul Sabatier - Toulouse 3" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Université Paul Sabatier - Toulouse 3" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Université Paul Sabatier - Toulouse 3
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022