Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffVille.i » - entrée « Besançon »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Berne < Besançon < Besançon cédex  Facettes :

List of bibliographic references indexed by Besançon

Number of relevant bibliographic references: 630.
[0-50] [0 - 20][0 - 50][50-70]
Ident.Authors (with country if any)Title
000046 (2016-04-04) Stéphane Vialle [France] ; Sylvain Contassot-Vivier [France] ; Patrick Mercier [France]Generic algorithmic scheme for 2D stencil applications on hybrid machines
000065 (2016-02-22) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France]Closed combination of context-embedding iterative strategies
000073 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000085 (2016-01-15) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000149 (2016) Béatrice Brembilla-Perrot [France] ; Arnaud Olivier [France] ; Jean-Marc Sellal [France] ; Vladimir Manenti [France] ; Alice Brembilla [France] ; Thibaut Villemin [France] ; Philippe Admant [France] ; Daniel Beurrier [France] ; Erwan Bozec [France] ; Nicolas Girerd [France]Influence of advancing age on clinical presentation, treatment efficacy and safety, and long-term outcome of pre-excitation syndromes: a retrospective cohort study of 961 patients included over a 25-year period.
000184 (2015-12-16) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000228 (2015-11-19) Jean-Marie Gauthier [France]Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation
000231 (2015-11-16) Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata
000237 (2015-11-10) Houari Mahfoud [Algérie] ; Abdessamad Imine [France]Efficient Querying of XML Data Through Arbitrary Security Views
000243 (2015-11-05) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation
000249 (2015-11-03) Olga Kouchnarenko [France] ; Jean-François Weber [France]Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
000255 (2015-11) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]From Security Protocols to Pushdown Automata
000270 (2015-10-20) Frédéric Dadeau [France] ; Elizabeta Fourneret [France]Experience report on Model-Based Testing of Security Components
000282 (2015-10-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000303 (2015-09-29) Jannik Dreier [France] ; Jean-Guillaume Dumas [France] ; Pascal Lafourcade [France]Brandt's fully private auction protocol revisited
000311 (2015-09-26) Nadir Guetmi [France] ; Abdessamad Imine [France]A Cloud-Based Reusable Design for Mobile Data Sharing
000313 (2015-09-25) Noam Zeilberger [France] ; Alain Giorgetti [France]A correspondence between rooted planar maps and normal planar lambda terms
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000317 (2015-09-21) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Checking Trace Equivalence: How to Get Rid of Nonces?
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000319 (2015-09-21) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
000332 (2015-09-08) Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France]Mobile Co-Authoring of Linked Data in the Cloud
000353 (2015-09-01) Sylvain Contassot-Vivier [France] ; Stéphane Vialle [France]Algorithmic scheme for hybrid computing with CPU, Xeon-Phi/MIC and GPU devices on a single machine
000376 (2015-08-25) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Differentially Private Publication of Social Graphs at Linear Cost
000377 (2015-08-25) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
000397 (2015-08-18) Pierre-Cyrille Heam [France] ; Jean-Luc Joly [France]On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism
000398 (2015-08-18) Hoang Bao Thien [France] ; Abdessamad Imine [France]Efficient and Decentralized Polling Protocol for General Social Networks
000399 (2015-08-18) Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France]Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata
000420 (2015-08-01) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Parametrized automata simulation and application to service composition
000425 (2015-08) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
000445 (2015-07-15) Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France]Resilient Collaboration for Mobile Cloud Computing
000462 (2015-07) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Decidability of trace equivalence for protocols with nonces
000467 (2015-06-29) Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Boris Deneuville [France] ; Olivier Chilard [France]Simulation de smart grids avec MECSYCO
000505 (2015-06-03) Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Christine Bourjot [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Hugo Morais [France] ; Boris Deneuville [France] ; Olivier Chilard [France]Smart Grids Simulation with MECSYCO
000506 (2015-06-03) Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Christine Bourjot [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Hugo Morais [France]Multi-agent Multi-Model Simulation of Smart Grids in the MS4SG Project
000530 (2015-05-20) Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France]Towards Real-Time Co-authoring of Linked-Data on the Web
000558 (2015-05) David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]A comprehensive analysis of game-based ballot privacy definitions
000559 (2015-05) Frédéric Dadeau [France] ; Pascale Le Gall [France]Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels
000585 (2015-04-14) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Anonymizing Social Graphs via Uncertainty Semantics
000587 (2015-04-13) Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] ; Ladjel Bellatreche [France]Mobile collaboration: a collaborative editing service in the cloud
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000596 (2015-04) Vincent Cheval [France] ; Véronique Cortier [France]Timing attacks in security protocols: symbolic framework and proof techniques
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000637 (2015-02-03) Hoang Bao Thien [France]On the Polling Problem for Decentralized Social Networks
000639 (2015-02-02) Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada]On Synthesizing a Consistent Operational Transformation Approach
000659 (2015-01-07) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Gagnez sur tous les tableaux
000661 (2015-01-02) Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada]Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis
000668 (2015-01) Thibault Maillot [France] ; Ugo Boscain [France] ; Jean-Paul Gauthier [France] ; Ulysse Serres [France]Lyapunov and Minimum-Time Path Planning for Drones
000669 (2015-01) Véronique Cortier [France]Formal verification of e-voting: solutions and challenges
000679 (2015) Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France]Tooled Process for Early Validation of SysML Models using Modelica Simulation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i -k "Besançon" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Besançon" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Besançon
}}

Wicri

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