LIP6 - Conference papers

Current teams :

ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Choose a team above.

M. Abid, A. Ahmed, L. Merghem‑Boulahia, M. Esseghir, D. Macedo, M. Kassar, B. Kervella : “A knowledge plane for mobility management in Internet of things connected by radio”, IADIS Telecommunications, Networks and Systems (TNS 2010), Freiburg, Germany, pp. 8 [Abid 2010a]
M. Abid, T. Ali Yahiya, G. Pujolle : “HODSTAT: A HandOver Decision STAbility Technique for minimizing instability in Wireless Local Area Networks”, The 6^th International Wireless Communications and Mobile Computing Conference, IWCMC'10, Caen, France, pp. 376-380, (ACM) [Abid 2010b]
N. Absi, S. Dauzère‑Pérès, S. Kedad‑Sidhoum, B. Penz, Ch. Rapine : “Lot-sizing with carbon emission constraints”, International Workshop on Lot Sizing, Gardanne, France [Absi 2010]
H. Adel, M. Dessouky, M.‑M. Louërat, H. Gicquel, H. Haddara : “Foreground Digital Calibration of Non-Linear Errors in Pipelined A/D Converters”, IEEE International Symposium on Circuits and Systems (ISCAS), Paris, France, pp. 569-572, (IEEE) [Adel 2010]
I. Adler, B.‑M. Bui‑Xuan, Y. Rabinovich, G. Renault, J. Telle, M. Vatshelle : “On the boolean-width of a graph: structure and applications”, Graph Theoretic Concepts in Computer Science - 36^th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers, vol. 6410, Lecture Notes in Computer Science, Zarós, Crete, Greece, pp. 159-170, (Springer) [Adler 2010]
M. Agoyan, B. Robisson, M. Nguyen, P. Bazargan‑Sabet, G. Phan, S. Le Henaff : “SOS An innovative secure system architecture”, Cryptarchi, Paris, France [Agoyan 2010a]
M. Agoyan, P. Bazargan Sabet, K. Bekkou, B. Sylvain, S. Le Henaff, E. Lepavec, M. Nguyen, G. Phan, B. Robisson, P. Soquet, F. Wajsbürt : “Smart On Smart”, Colloque « Systèmes embarqués, sécurité et sûreté de fonctionnement », Toulouse, France [Agoyan 2010b]
N. Aitsaadi, N. Achir, Kh. Boussetta, G. Pujolle : “Multi-Objective WSN Deployment: Quality of Monitoring, Connectivity and Lifetime”, ICC 2010 - IEEE International Conference on Communications, Cape Town, South Africa, pp. 1-6 [Aitsaadi 2010]
S. Aknine, U. MIR, L. Arantes : “Multi-agent Coordination in Ad-hoc Networks based on Coalition Formation”, ICAART 2010 - International Conference on Agents and Artificial Intelligence, vol. 1, Valencia, Spain, pp. 241-246, (INSTICC Press) [Aknine 2010]
J.‑M. Akre, J. Juillard, D. Galayko, E. Colinet : “Synchronized State in Networks of Digital Phase-Locked Loops”, 8^th IEEE International NEWCAS Conference (NEWCAS'10), Montreal, Canada, pp. 89-92 [Akre 2010a]
J.‑M. Akre, J. Juillard, S. Olaru, D. Galayko, E. Colinet : “Determination of the Behaviour of Self-Sampled Digital Phase-Locked Loops”, 53rd IEEE International Midwest Symposium on Circuits ans Systems (MWSCAS'10), Seattle, United States, pp. 1089-1092, (IEEE) [Akre 2010b]
M. Albrecht, C. Cid, Th. Dulien, J.‑Ch. Faugère, L. Perret : “Algebraic Precomputations in Differential Cryptanalysis”, Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010, London, United Kingdom, pp. 37-50, (Ecrypt II) [Albrecht 2010]
M. Allam, H. Aboushady, M.‑M. Louërat : “Continuous-Time ΣΔ modulators with VCO-Based voltage-to-phase and voltage-to-frequency quantizers”, MWSCAS 2010 - Midwest Symposium on Circuits and Systems, Seattle, United States, pp. 676-679, (IEEE) [Allam 2010]
M. Almeida Da Silva, A. Mougenot, R. Bendraou, J. Robin, X. Blanc : “Artifact or Process Guidance, an Empirical Study”, MoDELS (2), vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 318-330, (Springer) [Almeida Da Silva 2010a]
M. Almeida Da Silva, A. Mougenot, X. Blanc, R. Bendraou : “Towards Automated Inconsistency Handling in Design Models”, 22^nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, vol. 6051, Lecture Notes in Computer Science, Hammamet, Tunisia, pp. 348-362, (Springer) [Almeida Da Silva 2010b]
M. Almeida Da Silva, R. Bendraou, X. Blanc, M.‑P. Gervais : “Early Deviation Detection in Modeling Activities of MDE Processes”, ACM/IEEE 13^th International Conference on Model Driven Engineering Languages and Systems, vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 303-317, (Springer) [Almeida Da Silva 2010c]
N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu, S. Tixeuil : “Brief Announcement: Sharing Memory in a Self-stabilizing Manner”, 24^th International Symposium Distributed Computing DISC, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 525-527, (Springer) [Alon 2010]
I. Alvarez, S. Martin : “Indicateurs dynamiques de gestion durable”, Vulnérabilité & résilience des écosystèmes: l'utopie d'une gestion durable, Lyon, France, pp. 6-15 [Alvarez 2010a]
I. Alvarez, S. Martin, S. Mesmoudi : “Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity”, European Conference on Artificial Intelligence, vol. 215, Frontiers in Artificial Intelligence and Applications, Lisbon, Portugal, pp. 835-840, (IOS Press) [Alvarez 2010b]
B. Amann, L. Berti‑Equille, Z. Lacroix, M.‑E. Vidal : “Challenges of Quality-Driven Resource Discovery”, 3rd International Workshop on REsource Discovery, vol. 6799, Lecture Notes in Computer Science, Paris, France, pp. 181-189, (Springer) [Amann 2010]
M.‑R. Amini, C. Goutte, N. Usunier : “Combining Coregularization and Consensus-Based Self-Training for Multilingual Text Categorization”, Proceedings of the 33rd Annual ACM SIGIR Conference (SIGIR 2010), Geneva, Switzerland, pp. 475-482, (ACM) [Amini 2010b]
E. Amouri, Z. Marrakchi, H. Mehrez : “Controlled placement and routing techniques to improve timing balance of WDDL designs in Mesh-based FPGA”, APCCAS 2010 - IEEE Asia Pacific Conference on Circuits and Systems, Kuala Lumpur, Malaysia, pp. 296-299, (IEEE) [Amouri 2010]
S. Antão, J.‑C. Bajard, L. Sousa : “Elliptic Curve point multiplication on GPUs”, ASAP 2010 --- 21^st IEEE International Conference on Application-specific Systems, Architectures and Processors, Rennes, France, pp. 192-199 [Antão 2010]
P. Antoniadis, S. Fdida, T. Friedman, V. Misra : “Federation of virtualized infrastructures: sharing the value of diversity”, CoNEXT 2010 - 6^th International Conference on emerging Networking EXperiments and Technologies, Philadelphia, United States, pp. 12:1-12:12, (ACM) [Antoniadis 2010]
L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens, M. Valero : “Enhanced DR-tree for low latency filtering in publish/subscribe systems”, International Conference on. Advanced Information Networking and Applications (AINA-10), Perth, Australia, pp. 58-65, (IEEE) [Arantes 2010b]
L. Arantes, P. Sens, G. Thomas, D. Conan, L. Lim : “Partition Participant Detector with Dynamic Paths in Mobile Networks”, IEEE International Symposium on Networking Computing and Applications, NCA, Cambridge, MA, United States, pp. 224-228, (IEEE) [Arantes 2010c]
Ah. Ashry, Ahmed K. El‑Shennawy, M. Elbadry, A. Elsayed, H. Aboushady : “Measurement of continuous-time ΣΔ modulators: Implications of using spectrum analyzer”, IEEE International Conference on Microelectronics (ICM'10), Cairo, Egypt, pp. 9-12, (IEEE) [Ashry 2010a]
Ah. Ashry, H. Aboushady : “A generalized approach to design CT ΣΔMs based on FIR DAC”, IEEE International Symposium on Circuits and Systems (ISCAS'10), Paris, France, pp. 21-24, (IEEE) [Ashry 2010b]
Ah. Ashry, H. Aboushady : “Jitter analysis of bandpass continuous-time ΣΔMs for different feedback DAC shapes”, IEEE International Symposium on Circuits and Systems (ISCAS'10), Paris, France, pp. 3997-4000, (IEEE) [Ashry 2010c]
Ah. Ashry, H. Aboushady : “Main Defects of LC-Based ΣΔ Modulators”, IEEE International Midwest Symposium on Circuits and Systems (MWSCAS'10), Seattle, United States, pp. 897-900 [Ashry 2010d]
Ah. Ashry, H. Aboushady : “Modeling Jitter in Continuous-Time ΣΔ Modulators”, IEEE International Behavioral Modeling and Simulation Conference (BMAS'10), San Jose, CA, United States, pp. 55-58, (IEEE) [Ashry 2010e]
A. Asim, S. Tixeuil : “Advanced Faults Patterns for WSN Dependability Benchmarking”, Proceedings of the 13^th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems, MSWiM 2010, Bodrum, Türkiye, pp. 39-48, (ACM) [Asim 2010a]
A. Asim, S. Tixeuil : “XS-WSNet : Extreme-scale Wireless Sensor Simulation”, IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2010, Montreal, Canada, pp. 1-9, (IEEE) [Asim 2010b]
Ph. Aubry, A. Valibouze : “Calcul algébrique efficace de résolvantes relatives”, Journées Nationales du Calcul Formel 2010, Luminy, France [Aubry 2010a]
Ph. Aubry, A. Valibouze : “Parallel computation of Lagrange resolvents by multi-resolvents”, Parallel Computer Algebra 2010, vol. 15 (4), TSU, Ser. Natural & Technical Sciences, Tambov, Russian Federation, pp. 1328-1341 [Aubry 2010b]
O. Auzende, H. Giroire, F. Le Calvez : “Structuring of Pedagogical Resource Repositories and its Implementation in Two Fields”, International Conference of Education, Research and Innovation, ICERI 2010, Madrid, Spain, pp. 2426-2436 [Auzende 2010]
Th. Aynaud, J.‑L. GUILLAUME : “Détection de communautés à long terme dans les graphes dynamiques”, Journée thématique : Fouille de grands graphes, Toulouse, France [Aynaud 2010a]
Th. Aynaud, J.‑L. GUILLAUME : “Long range community detection”, LAWDN - Latin-American Workshop on Dynamic Networks, Buenos Aires, Argentina, pp. 4 p. [Aynaud 2010b]
Th. Aynaud, J.‑L. GUILLAUME : “Static community detection algorithms for evolving networks”, WiOpt'10: Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, Avignon, France, pp. 508-514 [Aynaud 2010c]
J. Ayoub, B. Granado, O. Romain, Y. Mohanna : “3-D object recognition based on SVM and stereo-vision: Application in endoscopic imaging”, International Conference of Soft Computing and Pattern Recognition (SoCPaR), 2010, Paris, France, pp. 198-201, (IEEE) [Ayoub 2010a]
J. Ayoub, B. Granado, Y. Mohanna, O. Romain : “SVM based colon polyps classifier in a wireless active stereo endoscope”, Engineering in Medicine and Biology Society (EMBC), 2010 Annual International Conference of the IEEE, Buenos Aires, Argentina, pp. 5585-5588, (IEEE) [Ayoub 2010b]
S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, T. Li, I. Mounier, D. Poitrenaud, S. Younes : “Quantifying Robustness by Symbolic Model checking”, 1^st Hardware Verification Workshop (CAV workshop), Edinburgh, United Kingdom, pp. 1-12 [Baarir 2010a]
S. Baarir, L. Hillah, F. Kordon, E. Renault : “Self-Reconfigurable Modular Robots and their Symbolic Configuration Space”, Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16^th Monterey Workshop 2010, Redmond, Revised Selected Papers, vol. 6662, Lecture Notes in Computer Science, Redmond, United States, pp. 103-121, (Springer) [Baarir 2010b]
A. Balla, N. Bousbia : “Modeling approach of generic courses.”, In Proceeding of ICEIT 2010, International IEEE Conference on Educational and Information Technology, vol. 1, Chongqing, China, pp. 14-18, (IEEE) [Balla 2010]
E. Bampis, A. Kononov, G. Lucarelli, I. Milis : “Bounded max-colorings of graphs”, 21^st International Symposium on Algorithms and Computation (ISAAC 2010), vol. 6506, Lecture Notes in Computer Science, Jeju Island, Korea, Republic of, pp. 353-365, (Springer) [Bampis 2010]
A. Bara, P. Bazargan Sabet, R. Chevallier, E. Encrenaz, D. Le Dû, P. Renault : “Formal Verification of Timed VHDL Programs”, Forum on Specification & Design Languages, FDL 2010, Southampton, United Kingdom, pp. 80-85, (IET) [Bara 2010]
Th. Bärecke, Th. Delavallade, M.‑J. Lesot, F. Pichon, H. Akdag, B. Bouchon‑Meunier, Ph. Capet, L. Cholvy : “Des données textuelles au renseignement : vers un modèle global de cotation”, Atelier COTA (Cotation des informations), Journées Francophones d'Ingénierie des Connaissances, IC'10, Nîmes, France, pp. 87-98 [Bärecke 2010a]
Th. Bärecke, Th. Delavallade, M.‑J. Lesot, F. Pichon, H. Akdag, B. Bouchon‑Meunier, Ph. Capet, L. Cholvy : “Un modèle de cotation pour la veille informationnelle en source ouverte”, 6ème colloque Veille Stratégique Scientifique & Technologique, VSST2010, Toulouse, France [Bärecke 2010b]
M. Barnasconi, K. Einwich, Ch. Grimm, F. Pêcheux : “Tutorial f1 : Application of the systemc-ams standard”, DATE 2010 - IEEE International Conference on Design, Automation and Test in Europe, Dresden, Germany [Barnasconi 2010]
O. Barrière, E. Lutton, P.‑H. Wuillemin : “Independence Model estimation using Artificial Evolution”, 5èmes Journées Francophones sur les Réseaux Bayésiens (JFRB2010), Nantes, France [Barrière 2010]
C. Baudrit, P.‑H. Wuillemin, N. Perrot : “Vers une intégration des connaissances pour une meilleure compréhension des procédés alimentaires”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France, pp. 47-48 [Baudrit 2010b]
N. Belblidia : “Evaluating the spatial dimension of contacts in opportunistic networks”, MobiOpp 2010 - 2^nd International Workshop on Mobile Opportunistic Networking, Pisa, Italy, pp. 197-198, (ACM) [Belblidia 2010a]
N. Belblidia, M. Dias De Amorim, J. Leguay, V. Conan, J. Crowcroft, S. Fdida : “Contact Surround in Opportunistic Networks”, PIMRC 2010 - IEEE 21^st International Symposium on Personal, Indoor and Mobile Radio Communications, Istanbul, Türkiye, pp. 2499-2504 [Belblidia 2010b]
D. Belfort, H. Aboushady : “Automatic Design of RF Linear Transconductor”, LASCAS IEEE Circuits and Systems Society Latin American Symposium on Circuits and Systems, Foz do Iguaçu, Brazil [Belfort 2010]
Y. Ben Maïssa, S. Mouline : “Un langage de modélisation pour réseaux de capteurs sans fil basé sur sysml”, 2èmes Journées Doctorales en Technologies de l'Information et de la Communication, Fès, Morocco [Ben Maïssa 2010]
M. Ben Saad, S. Gançarski : “Using visual pages analysis for optimizing web archiving”, In EDBT/ICDT 2010 Ph.D. Workshop, Lausanne, Switzerland, pp. 43, (ACM) [Ben Saad 2010]
A. Benabid, C. Hanen : “Decomposed software pipelining for VLIW with precedence delays and resource constraints”, EURO conference, Lisbon, Portugal [Benabid 2010a]
A. Benabid, C. Hanen : “Performance of Zinder-Roper algorithm for unitary RCPSP with constant precedence latencies”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Benabid 2010d]
L. Benamara, C. Magnien : “Estimating properties in dynamic systems: the case of churn in P2P networks”, Third International Workshop on Network Science for Communication Networks (NetSciCom 2010), In Conjuction with IEEE Infocom 2010., San Diego, CA, United States, pp. 1-6, (IEEE) [Benamara 2010]
M. Benazouz, O. Marchetti, A. Munier‑Kordon, P. Urard : “A new Approach for Minimizing Buffer Capacities with Throughput Constraint for Embedded System Design.”, AICCSA IEEE/ACS International Conference on Computer Systems and Applications, Hammamet, Tunisia, pp. 1-8, (IEEE) [Benazouz 2010a]
M. Benazouz, O. Marchetti, A. Munier‑Kordon, Th. Michel : “A New Method for Minimizing Buffer Sizes for Cyclo-Static Dataflow Graphs.”, ESTIMedia 2010 - 8^th IEEE International Workshop on Embedded Systems for Real-Time Multimedia, Scottsdale, Arizona, United States, pp. 11-20, (IEEE) [Benazouz 2010b]
B. Bérard, J. Mullins, M. Sassolas : “Quantifying Opacity”, 7^th International Conference on Quantitative Evaluation of Systems (QEST 2010), Williamsburg, Virginia, United States, pp. 263-272, (IEEE Computer Society) [Bérard 2010a]
B. Bérard, S. Haddad, M. Sassolas : “Real Time Properties for Interrupt Timed Automata”, 17^th International Symposium on Temporal Representation (TIME 2010), Paris, France, pp. 69-76, (IEEE Computer Society Press) [Bérard 2010b]
S. Bernard, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “A Framework for Secure and Private P2P Publish/Subscribe”, 12^th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 531-545, (Springer) [Bernard 2010a]
S. Bernard, S. Devismes, K. Paroux, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks”, 11^th International Conference on Distributed Computing and Networking, ICDCN 2010, vol. 5935, Lecture Notes in Computer Science, Kolkata, India, pp. 167-177, (Springer) [Bernard 2010b]
W. Berrayana, H. Youssef, R. Langar, G. Pujolle : “Autonomic position-based QoS routing protocol for mobile wireless networks with a cross-layer architecture”, The 9^th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan-les-pins, France, pp. 1-9, (IEEE) [Berrayana 2010]
P. Berthomé, K. Heydemann, X. Kauffmann‑Tourkestansky, J.‑F. Lalande : “Attack model for verification of interval security properties for smart card C codes”, PLAS '10 - 5^th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Toronto, Canada, pp. 2:1-2:12, (ACM) [Berthomé 2010]
Alysson N. Bessani, Vinicius V. Cogo, M. Correia, P. Costa, M. Pasin, Fabrício A. B. Silva, L. Arantes, O. Marin, P. Sens, J. Sopena : “Making Hadoop MapReduce Byzantine Fault-Tolerant”, Proceedings of the The 40^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2010) - Fast Abstract, Chicago, United States, (IEEE Computer Society) [Bessani 2010]
L. Bettale, J.‑Ch. Faugère, L. Perret : “Hybrid Approach : a Tool for Multivariate Cryptography”, Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010, London, United Kingdom, pp. 15-23, (Ecrypt II) [Bettale 2010a]
A. Beynier, A.‑I. Mouaddib : “A Rich Communication Model in Opportunistic Decentralized Decision Making”, WI-IAT 2010 - IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Toronto, Canada, pp. 133-140, (IEEE) [Beynier 2010a]
M. Bezahaf, L. Iannone, M. Dias De Amorim, S. Fdida : “Insights into the Routing Stability of a Multi-hop Wireless Testbed”, ADHOCNETS 2010 - 2^nd International Conference on Ad Hoc Networks, vol. 49, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Victoria, BC, Canada, pp. 82-97, (Springer) [Bezahaf 2010]
Tegawendé F. Bissyandé, L. Réveillère, Y.‑D. Bromberg, Julia L. Lawall, G. Muller : “Bridging the Gap between Legacy Services and Web Services”, Middleware 2010 - ACM/IFIP/USENIX 11^th International Middleware Conference, vol. 6452, Lecture Notes in Computer Science, Bangalore, India, pp. 273-292, (Springer) [Bissyandé 2010]
L. Blin, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Exclusive Perpetual Ring Exploration without Chirality”, DISC 2010 - 24^th International Symposium Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 312-327, (Springer) [Blin 2010b]
L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “Loop-Free Super-Stabilizing Spanning Tree Construction”, 12^th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 50-64 [Blin 2010c]
L. Blin, Sh. Dolev, M. Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction”, DISC 2010 - 24^th International Symposium on Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 480-494, (Springer) [Blin 2010e]
A. Blogowski, O. Klopfenstein, F. Pascual, Ph. Chrétienne : “Modèles de mobilité pour le dimensionnement de réseaux LTE”, MajecSTIC (MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication), Bordeaux, France, pp. 8 [Blogowski 2010]
M. Boc, A. Fladenmuller, M. Dias De Amorim, S. Palazzo : “Agenda-based routing in DTNs”, 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Belle Dune, France, pp. 1-4 [Boc 2010]
O. Bodini, Th. Fernique, D. Regnault : “Stochastic Flips on Two-letter Words”, ANALCO 2010 - 7^th Workshop on Analytic Algorithmics and Combinatorics, Austin, TX, United States, pp. 48-55, (SIAM) [Bodini 2010c]
O. Bodini, Y. Ponty : “Multi-dimensional Boltzmann Sampling of Languages”, 21^st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), vol. DMTCS Proceedings vol. AM, 21^st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), DMTCS Proceedings, Vienna, Austria, pp. 49-64, (Discrete Mathematics and Theoretical Computer Science) [Bodini 2010d]
A. Bordes, N. Usunier, J. Weston : “Label Ranking under Ambiguous Supervision for Learning Semantic Correspondences”, Proceedings of the 27^th International Conference on Machine Learning, Haifa, Israel, pp. 103-110, (Omnipress) [Bordes 2010a]
A. Bordes, N. Usunier, R. Collobert, J. Weston : “Towards Understanding Situated Natural Language”, 13^th International Conference on Artificial Intelligence and Statistics, vol. 9, JMLR: Workshop and Conference Proceedings, Chia Laguna Resort, Sardinia, Italy, pp. 65-72 [Bordes 2010b]
P. Borgnat, E. Fleury, J.‑L. GUILLAUME, C. Robardet : “Characteristics of the Dynamic of Mobile Networks”, 4^th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems, vol. 39, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Avignon, France, pp. 130-139, (Springer) [Borgnat 2010]
B. Bouchon‑Meunier, A. Laurent, M.‑J. Lesot, M. Rifqi : “Strengthening fuzzy gradual rules through "all the more" clauses”, IEEE International Conference on Fuzzy Systems Fuzz-IEEE'10 (WCCI'2010), Barcelona, Spain, pp. 2940-2946, (IEEE) [Bouchon-Meunier 2010a]
B. Bouchon‑Meunier, G. Coletti, M.‑J. Lesot, M. Rifqi : “Towards a conscious choice of a fuzzy similarity measure: a qualitative point of view”, International conference on Information Processing and Management of Uncertainty in knowledge-based systems, IPMU 2010, vol. 6178, Lecture Notes in Computer Science, Dortmund, Germany, pp. 1-10, (Springer) [Bouchon-Meunier 2010b]
O. Bouissou, Y. Seladji, A. Chapoutot : “Abstract Fixpoint Computations with Numerical Acceleration Methods”, International Workshop on Numerical and Symbolic Abstract Domains, vol. 267 (1), Perpignan, France, pp. 29-42 [Bouissou 2010]
T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner : “On Formal Specification and Analysis of Security Policies”, 2010 Grande Region Security and Reliability Day, Saarbrücken, Germany [Bourdier 2010a]
T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner : “Rule-based Specification and Analysis of Security Policies”, 5^th International Workshop on Security and Rewriting Techniques - SecReT 2010, Valencia, Spain [Bourdier 2010b]
Q. Bourgerie, P. Fortin, J.‑L. Lamotte : “Efficient Complex Matrix Multiplication on the Synergistic Processing Element of the Cell Processor”, Workshop on Parallel Programming and Applications on Accelerator Clusters (PPAAC10), held in conjunction with IEEE Cluster 2010, Heraklion, Crete, Greece, pp. 1-8, (IEEE) [Bourgerie 2010]
G. Bourgne, H. Soldano, A. El Fallah‑Seghrouchni : “Learning better together”, European Conference on Artificial Intelligence ECAI 2010, vol. 215, Frontiers in Artificial Intelligence and Applications, Lisbon, Portugal, pp. 85-90, (IOS Press) [Bourgne 2010]
M. Bourguiba, K. Haddadou, G. Pujolle : “A Container-based Fast Bridge for Virtual Routers on Commodity Hardware”, IEEE Global Telecommunications Conference, GLOBECOM 2010, Miami, United States, pp. 1-6, (IEEE) [Bourguiba 2010a]
M. Bourguiba, K. Haddadou, G. Pujolle : “Evaluating and Enhancing Xen-based Virtual Routers to Support Real-time Applications”, 7^th IEEE Consumer Communications and Networking Conference, CCNC 2010, Las Vegas, United States, pp. 1-5, (IEEE) [Bourguiba 2010b]
M. Bourguiba, K. Haddadou, G. Pujolle : “Evaluating the Forwarding Plane Performance of the Commodity Hardware Virtual Routers”, Second International Conference on Communications and Networking, ComNet 2010, Tozeur, Tunisia, pp. 1-8, (IEEE) [Bourguiba 2010c]
N. Bousbia, J.‑M. Labat, A. Balla, I. Rebai : “Analyzing Learning Styles using Behavioral Indicators in Web based Learning Environments”, EDM 2010 International Conference on Educational Data Mining, Pittsburgh, United States, pp. 279-280 [Bousbia 2010c]
A. Boustil, N. Sabouret, M. Ramdane : “Web Services Composition Handling User Constraints: Towards a Semantic Approach”, 12^th ACM International Conference on Information Integration and Web-based Applications and Services, Paris, France, pp. 913-916, (ACM) [Boustil 2010]
Z. Bouzid, C. Travers : “(anti-Omega^x × Σ_z) based k-set agreement algorithms”, OPODIS, vol. 6490, Lecture Notes in Computer Science, Tozeur, Tunisia, pp. 189-204, (Springer) [Bouzid 2010a]
Z. Bouzid, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Robocast: Asynchronous Communication in Robot Networks”, Proceedings of OPODIS 2010, Tozeur, Tunisia, pp. 16-31, (Springer Berlin / Heidelberg) [Bouzid 2010d]
O. Braham, Ah. Amamou, G. Pujolle : “Virtual Network Urbanization”, NoF 2010 - 1^st International Conference on the Network of the Future, vol. 327, IFIP Advances in Information and Communication Technology, Brisbane, Australia, pp. 182-193, (Springer) [Braham 2010]
N. Brahimi, N. Absi, S. Dauzère‑Pérès, S. Kedad‑Sidhoum : “Mathematical Models and Lagrangian Heuristics for a Two-Level Lot-sizing Problem with Bounded Inventory”, 8^th International Conference of Modeling and Simulation - MOSIM’10, Hammamet, Tunisia [Brahimi 2010a]
N. Brahimi, N. Absi, S. Dauzère‑Pérès, S. Kedad‑Sidhoum : “Solving a two-level lot sizing problem with bounded inventory”, International Workshop on Lot-Sizing 2010, Gardanne, France, pp. 13-14 [Brahimi 2010b]
N. Brahimi, N. Absi, S. Dauzère‑Pérès, S. Kedad‑Sidhoum : “Solving a two-level lot sizing problem with bounded inventory”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Brahimi 2010c]
P. Brézillon, J.‑Ch. Pomerol : “Framing decision making at two levels”, 15^th IFIP WG 8.3 International Conference on Decision Support Systems, vol. 212, Frontiers in Artificial Intelligence and Applications, Lisbon, Portugal, pp. 358-368, (IOS Press) [Brézillon 2010b]
J. Bu, S.‑Y. Lao, L. Bai, S. Tollari, Ch. Marsala : “Real-time Billboard Trademark Detection and Recognition in Sports Video”, International Conference on Information and Multimedia Technology (ICIMT 2010), Hong-Kong, China, pp. 137-142 [Bu 2010]
D. Buffoni, N. Usunier, P. Gallinari : “Apprentissage de fonctions d'ordonnancement par classification de paires ordonnées et pondérées (OWPC)”, Conference en Recherche d'information et Applications, CORIA 2010, Sousse, Tunisia, pp. 67-82, (ARIA) [Buffoni 2010]
S. Buisine, K. Fouladi, J. Nelson, William A. Turner : “Optimiser le processus d'innovation grâce aux traces informatiques d'usages”, IC 2010 - 21es Journées francophones d'Ingénierie des Connaissances, Nîmes, France, pp. 145-156, (Ecole des Mines d'Alès) [Buisine 2010]
E. BUYUKKAYA, M. ABDALLAH, R. Cavagna : “TriCast: Triangulation with multicast support for P2P virtual environments”, 6^th IEEE International Workshop on Networking Issues in Multimedia Entertainment (NIME'10) co-located with IEEE ICME 2010, Singapore, Singapore, pp. 1393-1398 [BUYUKKAYA 2010]
S. Campano, N. Sabouret, V. Corruble : “Un modèle de conservation des ressources pour la génération de comportements affectifs chez les agents virtuels”, 4^th Workshop francophone sur les Agents Conversationnels Animés, Lille, France [Campano 2010]
F. Carrier, S. Devismes, F. Petit, Y. Rivierre : “Rendez-vous d'agents amnésiques”, 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Belle Dune, France, pp. 8 [Carrier 2010]
H. Cassé, K. Heydemann, H. Ozaktas, J. Ponroy, Ch. Rochange, O. Zendra : “A framework to experiment optimizations for real-time and embedded software”, International Conference on Embedded Real Time Software and Systems (ERTS2), Toulouse, France [Cassé 2010]
S. Changuel, N. Labroche, B. Bouchon‑Meunier : “Automatic Concept Type Identification from learning Resources”, 2010 International Joint Conference on Neural Networks, IJCNN, Barcelone, Spain, pp. 1-6, (IEEE) [Changuel 2010]
A. Chapoutot : “Interval Slopes as Numerical Abstract Domain for Floating-Point Variables”, SAS 2010 - 17^th Static Analysis Symposium, vol. 6337, Lecture Notes in Computer Science, Perpignan, France, pp. 184-200, (Springer) [Chapoutot 2010]
P. Châtel, J. Malenfant, I. Truck : “QoS-based Late-Binding of Service Invocations in Adaptive Business Processes”, IEEE International Conference on Web Services (ICWS), Miami, FL, United States, pp. 227-234, (IEEE) [Châtel 2010b]
S. Chevillard, M. Joldes, Ch. Lauter : “Sollya: an environment for the development of numerical codes”, Third International Congress on Mathematical Software - ICMS 2010, vol. 6327, Lecture Notes in Computer Science, Kobe, Japan, pp. 28-31, (Springer) [Chevillard 2010]
H. Chevreau, M. Coupechoux, P. Fouilhoux : “Optimisation des protocoles OFDMA orchestrés pour les réseaux sans-fil maillés”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Chevreau 2010]
M. Chopin, P.‑H. Wuillemin : “Optimisation de l'inférence dans les réseaux bayésiens dynamiques”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France, pp. 171-185 [Chopin 2010a]
M. Chopin, P.‑H. Wuillemin : “Optimizing the triangulation of Dynamic Bayesian Networks”, Proceedings of the 5^th Probabilistic Graphical Models 2010, Helsinki, Finland, pp. 73-80, (Helsinki Institute for Information Technology HIIT) [Chopin 2010b]
Ch. Choppy, A. Dedova, S. Evangelista, S. Hong, K. Klai, L. Petrucci : “The {NEO} Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification”, 31^st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), vol. 6128, Lecture Notes in Computer Science, Braga, Portugal, pp. 145-164, (Springer) [Choppy 2010]
Ph. Chrétienne, P. Fouilhoux, E. GOURDIN, J. Segura : “The Location-Dispatching Problem: polyhedral results and Content Delivery Network Design”, International Symposium on Combinatorial Optimization (ISCO 2010), Electronic Notes in Discrete Mathematics, Elsevier., vol. 36, Hammamet, Tunisia, pp. 867-874, (Elsevier) [Chrétienne 2010]
J. Cohen, F. Pascual : “Placement de tâches par des agents individualistes sur des machines distribuées”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Cohen 2010]
P. COUCHENEY, B. Gaujal, E. Hyon, C. Touati : “Politiques d'admission statiques et dynamiques dans des réseaux sans fil”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [COUCHENEY 2010]
A. Cournier, S. Dubois, A. Lamani, F. Petit, V. Villain : “Snap-Stabilizing Linear Message Forwarding”, 12^th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 546-559, (Springer) [Cournier 2010]
R. Couturier, F. Jézéquel : “Solving large sparse linear systems in a grid environment using Java”, PDSEC'10, 11^th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing, joint to IPDPS'10, 24^th ACM/IEEE International Parallel and Distributed Processing Symposium, Atlanta, United States, pp. 1-7, (IEEE) [Couturier 2010]
Ch. Crespelle, I. Todinca : “An $O(n^2)$-time Algorithm for the Minimal Interval Completion Problem”, TAMC 2010 - 7^th Annual Conference on Theory and Applications of Model of Computation, vol. 6108, Lecture Notes in Computer Science, Prague, Czechia, pp. 175–186, (IEEE) [Crespelle 2010a]
Ch. Crespelle, M. Latapy, E. Rotenberg : “Rigorous Measurement of IP-Level Neighborhood of Internet Core Routers”, Second International Workshop on Network Scienece for Communication Networks (NetSciCom 2010), San Diego, CA, United States, pp. 499-504 [Crespelle 2010b]
A. Darrasse, H.‑K. Hwang, O. Bodini, M. Soria : “The connectivity-profile of random increasing k-trees”, Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Austin, United States, pp. 99-106, (Society for Industrial and Applied Mathematics) [Darrasse 2010a]
A. Darrasse, K. Panagiotou, O. Roussel, M. Soria : “Boltzmann generation for regular languages with shuffle”, GASCOM 2010 - Conference on random generation of combinatorial structures, Montréal, Canada [Darrasse 2010b]
K. Darty, N. Sabouret : “Programmation Orientée Émotion (EOP)”, Quatrième Workshop sur les Agents Conversationnels Animés, Lille, France, pp. 23-30 [Darty 2010]
B. Darvish, P. Bazargan Sabet, P. Renault : “A methodology for Analysis of Voltage Drop in VLSI Digital Circuits”, International Conference on Modeling, Simulation and Control (ICMSC'2010), Cairo, Egypt [Darvish 2010]
C. De Runz, É. Desjardin, H. Akdag : “Study of spatial fusion of geographical entities and quantitative information in accordance with their imprecision: application to agricultural information in Observox”, Ninth International Symposium on Spatial Accuracy Assessment in Natural Resources and Environmental Sciences, Leicester, United Kingdom, pp. 33-36 [De Runz 2010]
J. Delange, L. Pautet, F. Kordon : “Design, Verification and Implementation of MILS systems”, Proceedings of the 21^th International Symposium on Rapid System Prototyping, Fairfax, VA, United States, pp. 1-8, (IEEE Computer Society) [Delange 2010a]
J. Delange, L. Pautet, F. Kordon : “Modeling and Validation of ARINC653 architectures”, Embedded Real Time Software and Systems (ERTSS'10), Toulouse, France, pp. 1-8 [Delange 2010b]
B. Delezoide, H. Le Borgne, P.‑A. Moëllic, D. Gorisse, F. Precioso, F. Wang, B. Merialdo, Ph. Gosselin, L. Granjon, D. Pellerin, M. Rombaut, H. Bredin, L. Koenig, H. Lachambre, E. El Khoury, B. Mansencal, Y. Zhou, J. Benois‑Pineau, H. Jégou, S. Ayache, B. Safadi, G. Quenot, J. Fabrizio, M. Cord, H. Glotin, Zh. Zhao, E. Dumont, B. Augereau : “IRIM at TRECVID2009: High Level Feature Extraction”, TREC Video Retrieval Evaluation Online Proceedings (TRECVID), Gaithersburg, MD, United States [Delezoide 2010]
Ch. Delort : “Prétraitement dans les méthodes en deux phases pour la résolution de problèmes bi-objectifs”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Delort 2010a]
Ch. Delort, O. Spanjaard : “Using bound sets in multiobjective optimization: Application to the biobjective binary knapsack problem”, 9^th International Symposium on Experimental Algorithms (SEA 2010), vol. 6049, Lecture Notes in Computer Science, Naples, Italy, pp. 253-265, (Springer) [Delort 2010b]
L. Denoyer, P. Gallinari : “A Ranking based Model for Automatic Annotation in a Social Network”, Proceedings of the Fourth International AAAI Conference on Weblogs and Social Media, ICWSM 2010, Washington, DC, United States, pp. 231-234, (AAAI) [Denoyer 2010a]
L. Denoyer, P. Gallinari : “Modèles d'Ordonnancement pour l'Annotation Automatique d'Images dans les Réseaux Sociaux”, CORIA 2010, Sousse, Tunisia [Denoyer 2010b]
E. Dequier, M. Mechref, A. Zasadzinski, M.‑Ch. Jacquemot, F. Mazur, H. Gruttemeier, Ph. Savarin, M.‑J. Clément, O. Maciejak, D. Pflieger, F. Gonnet, W. Buchmann, P. Curmi, J. Tortajada, M. Roux : “SIDR-UEVE: a pilot for eliciting a French academic policy on data preservation in Life sciences”, CODATA, Le Cap, South Africa [Dequier 2010]
S. Devismes, T. Masuzawa, S. Tixeuil : “Communications Efﬁcaces et Auto-Stabilisation”, 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Belle-Dune, France, pp. id 19 [Devismes 2010]
L. Di Cioccio, R. Teixeira, C. Rosenberg : “Impact of Home Networks on End-to-End Performance: Controlled Experiments”, ACM SIGCOMM Workshop on Home Networks (HomeNets), New Delhi, India, pp. 7-12, (ACM) [Di Cioccio 2010]
M. Diallo, S. Fdida : “IOA-CBR: information overload-aware content-based routing”, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010, Cambridge, United Kingdom, pp. 85-86, (ACM Press) [Diallo 2010]
F. Didi, H. Labiod, G. Pujolle, M. Feham : “Physical Rate and Contention Window Based Admission Control (PRCW) for 802.11 WLANs”, IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, pp. 1-7, (IEEE) [Didi 2010]
Y. Dieudonné, F. Petit, V. Villain : “Brief Announcement: Leader Election vs Pattern Formation”, PODC '10 - 29^th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, Zurich, Switzerland, pp. 404-405, (ACM) [Dieudonné 2010a]
Y. Dieudonné, F. Petit, V. Villain : “Leader Election Problem versus Pattern Formation Problem”, 24^th International Symposium Distributed Computing DISC, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 267-281, (Springer) [Dieudonné 2010b]
Y. Dieudonné, Sh. Dolev, F. Petit, M. Segal : “Des Robots Sourds-Muets Bien Bavards”, 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Belle Dune, France [Dieudonné 2010d]
Y. Dimopoulos, A. Hashmi, P. Moraitis : “Extending SATPLAN to Multiple Agents”, 30^th SGAI International Conference on Artificial Intelligence, Cambridge, United Kingdom, pp. 137-150, (Springer-Verlag) [Dimopoulos 2010]
T. Do, Th. Artières : “Neural conditional random fields”, International Conference on Artificial Intelligence and Statistics (AISTAT), Sardinia, Italy, pp. 177-184 [Do 2010]
S. Dubois, M. Gradinariu Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing Byzantine Asynchronous Unison”, OPODIS 2010 - 14^th International Conference On Principles Of DIstributed Systems, vol. 6490, Lecture Notes in Computer Science, Tozeur, Tunisia, pp. 83-86, (Springer) [Dubois 2010a]
S. Dubois, T. Masuzawa, S. Tixeuil : “Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses”, 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Belle Dune, France [Dubois 2010c]
S. Dubois, T. Masuzawa, S. Tixeuil : “On Byzantine Containment Properties of the min+1 Protocol”, 12^th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, New York, NY, United States, pp. 96-110, (Springer Berlin / Heidelberg) [Dubois 2010e]
S. Dubois, T. Masuzawa, S. Tixeuil : “The Impact of Topology on Byzantine Containment in Stabilization”, 24^th International Symposium Distributed Computing DISC, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 495-509, (Springer) [Dubois 2010g]
S. Dubuisson : “The computation of the Bhattacharyya distance between histograms without histograms”, 2^nd International Conference on Image Processing Theory Tools and Applications (IPTA'10), Paris, France, pp. 373-378, (IEEE) [Dubuisson 2010a]
S. Dubuisson : “Tree-structured temporal information for fast histogram computation”, Fifth International Conference on Computer Vision Theory and Applications (VISAPP'10), Angers, France, pp. 1-10 [Dubuisson 2010b]
B. Ducourthial, S. Khalfallah, F. Petit : “Best-effort group service in dynamic networks”, SPAA 2010: Proceedings of the 22^nd Annual ACM Symposium on Parallel Algorithms and Architectures, Thira, Santorini, Greece, pp. 233-242, (ACM) [Ducourthial 2010]
X. Dutreilh, N. Rivierre, A. Moreau, J. Malenfant, I. Truck : “From Data Center Resource Allocation to Control Theory and Back”, 3rd IEEE International Conference on Cloud Computing (CLOUD’2010), Miami, United States, pp. 410-417 [Dutreilh 2010]
F. Dzogang, M.‑J. Lesot, M. Rifqi, B. Bouchon‑Meunier : “Analysis of texts' emotional content in a multidimensional space”, International Conference on Kansei Engineering and Emotional Research KEER 2010, Paris, France [Dzogang 2010a]
F. Dzogang, M.‑J. Lesot, M. Rifqi, B. Bouchon‑Meunier : “Expressions of Graduality for Sentiments Analysis - A Survey”, IEEE International Conference on Fuzzy Systems, Fuzz'10, Barcelona, Spain, pp. 1394-1400, (IEEE) [Dzogang 2010b]
A. El Fallah‑Seghrouchni, A. Florea, A. Olaru : “Multi-Agent Systems: A Paradigm to Design Ambient Intelligent Applications”, Intelligent Distributed Computing IV, vol. 315, Studies in Computational Intelligence, Tangier, Morocco, pp. 3-9, (Springer Berlin / Heidelberg) [El Fallah-Seghrouchni 2010]
A. Etien, A. Muller, Th. Legrand, X. Blanc : “Combining Independent Model Transformations”, ACM Symposium On Applied Computing (SAC), Sierre, Switzerland, pp. 2237-2243, (ACM) [Etien 2010]
I. Fajjari, M. Ayari, G. Pujolle : “VN-SLA: A Virtual Network Specification Schema for Virtual Network Provisioning”, IEEE ICN, Les Menuires, France, pp. 337-342, (IEEE) [Fajjari 2010]
A. Fakeri‑Tabrizi, S. Tollari, N. Usunier, P. Gallinari : “Improving Image Annotation in Imbalanced Classification Problems with Ranking SVM”, Multilingual Information Access Evaluation II. Multimedia Experiments, vol. 6242, Lecture Notes in Computer Science, Corfu, Greece, pp. 291-294, (Springer) [Fakeri-Tabrizi 2010a]
A. Fakeri‑Tabrizi, S. Tollari, N. Usunier, P. Gallinari : “UPMC/LIP6 at ImageCLEFannotation 2010”, Working Notes for CLEF 2010 Conference, vol. 1176, CEUR-WS, Padua, Italy, (CEUR) [Fakeri-Tabrizi 2010b]
X. Fan, P. Brézillon, R. Zhang, L. Li : “Context-oriented scientific workflow system and its application in virtual screening”, Bridging the Socio-Technical Gap in Decision Support Systems. Challenges for the next Decade., Lisbon, Portugal, pp. 335-345 [Fan 2010]
U. Farooq, Z. Marrakchi, H. Mehrez : “A New Datapath-Oriented Tree-based FPGA Architecture”, IEEE International Conference on Microelectronics (ICM), Cairo, Egypt, pp. 403-406, (IEEE) [Farooq 2010]
J.‑Ch. Faugère : “FGb: A Library for Computing Gröbner Bases”, Mathematical Software - ICMS 2010, vol. 6327, Lecture Notes in Computer Science, Kobe, Japan, pp. 84-87, (Springer Berlin / Heidelberg) [Faugère 2010a]
J.‑Ch. Faugère, A. Joux, L. Perret, J. Treger : “Cryptanalysis of the Hidden Matrix Cryptosystem”, Progress in Cryptology - LATINCRYPT 2010, vol. 6212, Lecture Notes in Computer Science, Puebla, Mexico, pp. 241-254, (Springer Berlin / Heidelberg) [Faugère 2010b]
J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “A Distinguisher for High Rate McEliece Cryptosystem -- Extended Abstract”, Yet Another Conference on Cryptography, YACC 2010, Porquerolles, France, pp. 1-4 [Faugère 2010c]
J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “Algebraic Cryptanalysis of McEliece Variants with Compact Keys”, Eurocrypt 2010 - 29^th International Conference on Cryptology, vol. 6110, Lecture Notes in Computer Science, Monaco, Monaco, pp. 279-298, (Springer Verlag) [Faugère 2010d]
J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “Algebraic Cryptanalysis of McEliece Variants with Compact Keys -- Toward a Complexity Analysis”, Yet Another Conference on Cryptography, YACC 2010, Porquerolles, France, pp. 1-4 [Faugère 2010e]
J.‑Ch. Faugère, A. Otmani, L. Perret, J.‑P. Tillich : “Algebraic Cryptanalysis of McEliece Variants with Compact Keys -- Toward a Complexity Analysis”, SCC '10: Proceedings of the 2^nd International Conference on Symbolic Computation and Cryptography, London, United Kingdom, pp. 45-55 [Faugère 2010f]
J.‑Ch. Faugère, J. Gathen, L. Perret : “Decomposition of Generic Multivariate Polynomials”, ISSAC '10: Proceedings of the 2010 international symposium on Symbolic and algebraic computation, Munich, Germany, pp. 131-137, (ACM) [Faugère 2010h]
J.‑Ch. Faugère, M. Safey El Din, P.‑J. Spaenlehauer : “Computing Loci of Rank Defects of Linear Matrices using Gröbner Bases and Applications to Cryptology”, ISSAC 2010 - 35^th International Symposium on Symbolic and Algebraic Computation, Munich, Germany, pp. 257-264, (ACM) [Faugère 2010j]
J.‑Ch. Faugère, P.‑J. Spaenlehauer : “Algebraic Cryptanalysis of the PKC'09 Algebraic Surface Cryptosystem”, PKC 2010 - 13^th International Conference on Practice and Theory in Public Key Cryptography, vol. 6056, Lecture Notes in Computer Science, Paris, France, pp. 35-52, (Springer) [Faugère 2010k]
J.‑Ch. Faugère, R. Marinier, G. Renault : “Implicit Factoring with Shared Most Significant and Middle Bits”, SCC '10: Proceedings of the 2^nd International Conference on Symbolic Computation and Cryptography, London, United Kingdom, pp. 197-201 [Faugère 2010l]
J.‑Ch. Faugère, R. Marinier, G. Renault : “Implicit Factoring with Shared Most Significant and Middle Bits”, in 13^th International Conference on Practice and Theory in Public Key Cryptography -- PKC 2010, vol. 6056, Lecture Notes in Computer Science, Paris, France, pp. 70-87, (Springer-Verlag) [Faugère 2010m]
J.‑Ch. Faugère, R. Ødegard, L. Perret, D. Gligoroski : “Analysis of the MQQ Public Key Cryptosystem”, Cryptology and Network Security, vol. 6467, Lecture Notes in Computer Science, Kuala Lumpur, Malaysia, pp. 169-183, (Springer Berlin / Heidelberg) [Faugère 2010n]
J.‑Ch. Faugère, R. Ødegard, L. Perret, D. Gligoroski : “Analysis of the MQQ Public Key Cryptosystem”, SCC'10: Proceedings of the 2^nd International Conference on Symbolic Computation and Cryptography, Londres, United Kingdom, pp. 101-116 [Faugère 2010o]
J.‑Ch. Faugère, S. Lachartre : “Parallel Gaussian Elimination for Gröbner bases computations in finite fields”, Proceedings of the 4^th International Workshop on Parallel and Symbolic Computation, PASCO '10, Grenoble, France, pp. 89-97, (ACM) [Faugère 2010p]
E. Faure, G. Marchesan Almeida, M. Benabdenbi, P. Benoit, F. Clermidy, F. Pêcheux, G. Sassatelli, L. Torres : “An In-Memory Monitoring Database For Self Adaptive MP²SoCs”, IEEE International Conference on Design and Architectures for Signal and Image Processing, Edimbourg, United Kingdom, pp. 97-104 [Faure 2010a]
E. Faure, M. Benabdenbi, F. Pêcheux : “Distributed online software monitoring of manycore architectures”, 16^th IEEE International On-Line Testing Symposium, Corfou Island, Greece, pp. 56-61, (IEEE) [Faure 2010b]
S. Fdida, T. Friedman, S. MacKeith : “OneLab: Developing Future Internet Testbeds”, Towards a Service-Based Internet - Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings, vol. 6481, Lecture Notes in Computer Science, Ghent, Belgium, pp. 199-200, (Springer Berlin / Heidelberg) [Fdida 2010a]
H. Feng, M.‑J. Lesot, M. Detyniecki : “Associating color with emotions based on social tagging”, Proceedings of the International Conference on Kansei Engineering and Emotion Research (KEER'2010), Paris, France [Feng 2010a]
H. Feng, M.‑J. Lesot, M. Detyniecki : “Using association rules to discover color-emotion relationships based on social tagging”, Proc. of the 14^th Int. Conf. on Knowledge-Based and Intelligent Information & Engineering Systems, KES 2010, vol. 6276, LNAI, Cardiff, United Kingdom, pp. 544-553, (Springer) [Feng 2010b]
W. Gaber, M. Allam, H. Aboushady, M.‑M. Louërat, E.‑S. Eid : “Systematic design of continuous-time ΣΔ modulator with VCO-based quantizer”, ISCAS 2010 - IEEE International Symposium on Circuits and Systems, Paris, France, pp. 29-32, (IEEE) [Gaber 2010]
J.‑G. Ganascia : “New Political Forms Induced by Generalized Sousveillance”, Networking Democracy Symposium, Cluj, Romania [Ganascia 2010f]
J.‑G. Ganascia : “The Ethics of the Generalized Sousveillance”, Proceedings of the ETHICOMP 2010 conference, Universitat Rovira i Virgili, Tarragona, Spain [Ganascia 2010j]
J.‑G. Ganascia : “Towards a Reading Space Reification”, European Computer and Philosophy Conference, Munich, Germany [Ganascia 2010l]
Sh. Gao, L. Denoyer, P. Gallinari : “Prédiction de Motifs Relationnels par Décomposition Tensorielle dans les Réseaux Sociaux”, Workshop Reiso 2010, Marseille, France, pp. 51-58 [Gao 2010]
Z. Gao, M. Detyniecki, M.‑Y. Chen, W. Wu, A. Hauptmann, H. Wactlar : “Towards Automated Assistance for Operating Home Medical Devices”, Proceedings of the International Conference of the IEEE Engineering in Medicine and Biology Society (IEEE EMBC'10), Buenos Aires, Argentina, pp. 2141-2146, (IEEE) [Gao 2010b]
Z. Gao, M. Detyniecki, M.‑Y. Chen, W. Wu, A. Hauptmann, H. Wactlar : “Towards Automated Assistance for Operating Home Medical Devices”, International Symposium on Quality of Life Technology (QoLT'10), Las Vegas, AZ, United States [Gao 2010c]
Z. Gao, M.‑Y. Chen, M. Detyniecki, W. Wu, A. Hauptmann, H. Wactlar, A. Cai : “Multi-Camera Monitoring of Infusion Pump Use”, Proceedings of the Fourth IEEE International Conference on Semantic Computing - IEEE ICSC 2010, Pittsburgh, PA, United States, pp. 105-111, (IEEE) [Gao 2010d]
F. Gaud, S. Genevès, R. Lachaize, B. Lepers, F. Mottet, G. Muller, V. Quéma : “Efficient Workstealing for Multicore Event-Driven Systems”, ICDCS 2010 - IEEE 30^th International Conference on Distributed Computing Systems, Genova, Italy, pp. 516-525, (IEEE) [Gaud 2010a]
Th. Genin, S. Aknine : “Coalition Formation Strategies for Multiagent Hedonic Games”, Proceedings of the 22^th International Conference on Tools with Artificial Intelligence (ICTAI'10), Arras, France, pp. 465-472, (IEEE) [Genin 2010a]
Th. Genin, S. Aknine : “Stratégies de Formation de Coalitions d'Agents dans un Contexte Hédonique”, 17e congrès francophone AFRIF-AFIA Reconnaissances des Formes et Intelligence Artificielle (RFIA'10), Caen, France, pp. 662-669 [Genin 2010b]
N. Geoffray, G. Thomas, J. Lawall, G. Muller, B. Folliot : “VMKit: a substrate for managed runtime environments”, VEE '10 - 6^th International Conference on Virtual Execution Environments, Pittsburgh, Pennsylvania, United States, pp. 51-62, (ACM) [Geoffray 2010]
J. Gil‑Quijano, C. Herpson, N. Sabouret : “Prédiction de l'activité humaine afin de réduire la consommation électrique de l'habitat”, Actes de la dix-huitième édition des Journées Francophones sur les Systèmes Multi-Agents, Mahdia, Tunisia, pp. 43-53, (Cépaduès) [Gil-Quijano 2010a]
J. Gil‑Quijano, N. Sabouret, C. Herpson : “Prediction of humans' activity for learning the behaviors of electrical appliances in an intelligent ambiant environment”, 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Toronto, ON, Canada, pp. 283-286, (IEEE) [Gil-Quijano 2010b]
H. Goh, N. Thome, M. Cord : “Biasing Restricted Boltzmann Machines to Manipulate Latent Selectivity and Sparsity”, NIPS 2010 Workshop on Deep Learning and Unsupervised Feature Learning, Vancouver, Canada [Goh 2010]
B. Golden, P. Perny : “Infinite order Lorenz dominance for fair multiagent optimization”, International Conference on Autonomous Agents and Multiagent Systems, Toronto, Canada, pp. 383-390, (ACM) [Golden 2010]
D. Gorisse, F. Precioso, Ph. Gosselin, L. Granjon, D. Pellerin, M. Rombaut, H. Bredin, L. Koenig, R. Vieux, B. Mansencal, J. Benois‑Pineau, H. Boujut, C. Morand, H. Jégou, S. Ayache, B. Safadi, Y. Tong, F. Thollard, G. Quenot, M. Cord, A. Benoit, P. Lambert : “IRIM at TRECVID 2010: Semantic Indexing and Instance Search”, TRECVID 2010 - TREC Video Retrieval Evaluation workshop, Gaithersburg, MD, United States [Gorisse 2010a]
D. Gorisse, M. Cord, F. Precioso : “Scalable active learning strategy for object category retrieval”, ICIP 2010 - 17^th IEEE International Conference on Image Processing, Hong-Kong, Hong Kong, pp. 1013-1016, (IEEE) [Gorisse 2010b]
S. Graillat, F. Jézéquel, Y. Zhu : “SAM: a multiprecision stochastic arithmetic library”, 14^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), Lyon, France, pp. 70-71 [Graillat 2010a]
S. Graillat, F. Jézéquel, Y. Zhu : “Stochastic Arithmetic in Multiprecision”, Third International Workshop on Numerical Software Verification (NSV-3), part of Federated Logic Conference (FLoC), Edinburgh, United Kingdom [Graillat 2010b]
A. Guerra‑Hernández, C. González‑Alarcón, A. El Fallah‑Seghrouchni : “Jason Induction of Logical Decision Trees (Jildt): A learning library and its application to commitment.”, EUMAS European Workshop on Multi-Agent Systems, Paris, France [Guerra-Hernández 2010a]
A. Guerra‑Hernández, C. González‑Alarcón, A. El Fallah‑Seghrouchni : “Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment”, 9^th Mexican International Conference on Artificial Intelligence, vol. 6437, Lecture Notes in Computer Science, Pachuca, Mexico, pp. 374-385, (Springer) [Guerra-Hernández 2010b]
R. Guillemet, Ph. Basset, D. Galayko, T. Bourouina : “Combined optimization of electrical and mechanical parameters of an out-of-plane gap-closing electrostatic Vibration Energy Harvester (VEH)”, Symposium on Design Test Integration and Packaging of MEMS/MOEMS (DTIP), Sevilla, Spain, pp. 73-78, (IEEE) [Guillemet 2010a]
R. Guillemet, Ph. Basset, D. Galayko, T. Bourouina : “Combined optimization of electrical and mechanical parameters of in-plane and out-of-plane gap-closing electrostatic Vibration Energy Harvesters (VEHs)”, EUROSENSORS European Conference on sensors, actuators and microsystems, vol. 5, Procedia Engineering, Linz, Austria, pp. 1172-1175, (Elsevier) [Guillemet 2010b]
Z. Guitouni, R. Chotin‑Avot, M. Machhout, H. Mehrez, R. Tourki : “Design and FPGA Implementation of Modular Multiplication Methods Using Cellular Automata”, DTIS IEEE International Conference on Design & Test of Integrated Systems in Nanoscale Technology, Hammamet, Tunisia, pp. 1-5, (IEEE) [Guitouni 2010]
F. Guo, M. Safey El Din, L. Zhi : “Global Optimization of Polynomials Using Generalized Critical Values and Sums of Squares”, ISSAC '10: Proceedings of the 2010 international symposium on Symbolic and algebraic computation, Munich, Germany, pp. 107-114, (ACM) [Guo 2010]
A. Habib, F. Pêcheux : “Modeling and simulation of a manycore pcr-ce lab-on-chip for dna sequencing using systemc/systemc-ams”, BMAS : 2010 IEEE International Behavioral Modeling and Simulation Conference, San Jose, CA, United States, pp. 63-68, (IEEE) [Habib 2010a]
A. Habib, F. Pêcheux, M.‑M. Louërat : “Systemc-ams modeling of a pcr-ce lab-on-chip for multithreaded dna analysis”, 22^nd International Conference on Microelectronics (ICM), Cairo, Egypt, pp. 483-486, (IEEE) [Habib 2010b]
D. Haghighitalab, M. Vasilevski, H. Aboushady : “LNA automatic synthesis and characterization for accurate RF system-level simulation”, IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2010), Seattle, WA, United States, pp. 938-941, (IEEE) [Haghighitalab 2010]
A. Hamez, S. Hostettler, A. Linard, A. Marechal, E. Paviot‑Adet, M. Risoldi : “Specification of Decision Diagram Operations”, International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo'2010 associated with Petri Nets 2010), vol. 827, CEUR-WS, Braga, Portugal, pp. 437-451, (CEUR) [Hamez 2010]
A. Hamzaoui, M. Latapy, C. Magnien : “Detecting Events in the Dynamics of Ego-centered Measurements of the Internet Topology”, WiOpt'10: Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, Avignon, France, pp. 491-498 [Hamzaoui 2010]
F. Hamzaoui, B. Othmani, R. Chotin‑Avot, M. Machhout, H. Belmabrouk, H. Mehrez : “Modélisation et simplification de circuits quantiques”, Materiaux 2010, Mahdia, Tunisia, pp. 2-2 [Hamzaoui 2010]
A. Hashmi, A. El Fallah‑Seghrouchni : “Coordination of Temporal Plans for the Reactive and Proactive Goals”, IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2010, Toronto, Canada, Toronto, Canada, pp. 213-220, (IEEE) [Hashmi 2010a]
A. Hashmi, A. El Fallah‑Seghrouchni : “Merging of Temporal Plans supported by Plan Repairing”, 22^nd International Conference on Tools with Artificial Intelligence 2010, Arras, France, Arras, France, pp. 87-94, (IEEE) [Hashmi 2010b]
A. Hashmi, A. El Fallah‑Seghrouchni : “Plan Repairing in the Context of Plans Coordination”, Proceedings of International Conference on Intelligence and Information Technology 2010, Lahore, Pakistan, Lahore, Pakistan [Hashmi 2010c]
O. Hazir, S. Kedad‑Sidhoum : “Découpage et ordonnancement juste-à-temps de lots de production”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Hazir 2010b]
O. Hazir, S. Kedad‑Sidhoum : “Lot-streaming and just-in-time scheduling on a single machine with a common due-date”, 12^th International Workshop on Project Management and Scheduling - PMS'10, Tours, France, pp. 227-230 [Hazir 2010c]
O. Hazir, S. Kedad‑Sidhoum : “Lot-Streaming and Just-In-Time Scheduling on Identical Parallel Machines with a Common Due Date”, 24^th European Conference on Operational Research, Lisbon, Portugal [Hazir 2010d]
N. Hidalgo, L. Arantes, P. Sens, X. Bonnaire : “An Aggregation-Based Routing Protocol for Structured Peer to Peer Overlay Networks”, AP2PS 2010 - 2^nd International Conference on Advances in P2P Systems, Florence, Italy, pp. 76-81, (ThinkMind) [Hidalgo 2010]
L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “PNML Framework: an extendable reference implementation of the Petri Net Markup Language”, 31^st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), vol. 6128, Lecture Notes in Computer Science, Braga, Portugal, pp. 318-327, (Springer) [Hillah 2010a]
G. Hochard, Z. Lacroix, B. Amann, J. Creus : “A Semantic Map of RSS Feeds to support Discovery”, 3rd International Workshop on REsource Discovery, vol. 6799, Lecture Notes in Computer Science, Paris, France, pp. 122-133, (Springer) [Hochard 2010]
Sh. Hoët, N. Sabouret : “Simplification de la mémoire des agents en utilisant des FMDP”, 18^th Journées Francophones sur les Systèmes Multi-Agents, Mahdia, Tunisia, pp. 13-22 [Hoët 2010b]
R. Horincar, B. Amann, Th. Artières : “Best-Effort Refresh Strategies for Content-Based RSS Feed Aggregation”, Proceedings of the 11^th international conference on Web information systems engineering (WISE 2010), Hong Kong, China, pp. 262-270, (Springer) [Horincar 2010]
Sh. Hu, Ch. Wu, E. BUYUKKAYA, Ch. Chien, T.‑H. Lin, M. ABDALLAH, J.‑R. Jiang, K.‑T. Chen : “A spatial publish subscribe overlay for massively multiuser virtual environments”, A spatial publish subscribe overlay for massively multiuser virtual environments, Kyoto, Japan, pp. 314-318 [Hu 2010]
T. Izumi, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility”, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 319-331, (Springer) [Izumi 2010]
M. Jaume : “Security rules versus Security properties”, Sixth International Conference on Information Systems Security (ICISS 2010), vol. 6503, Lecture Notes in Computer Science, Gandhinagar, India, pp. 231-245 [Jaume 2010a]
M. Jaume, V. Viet Triem Tong, L. Mé : “Contrôle d'accès versus Contrôle de flots”, 10emes Journées Francophones sur les Approches Formelles dans l'Assistance au développement des logiciels, AFADL 2010, Poitiers, France, pp. 27-41 [Jaume 2010b]
F. Javid, R. Iskander, M.‑M. Louërat, D. Dupuis : “A Design Environment for Analog IPs Design Knowledge Capture and Migration”, Colloque GDR SOC-SIP : System-On-Chip, System-In-Package, Paris, France, pp. 1-2 [Javid 2010]
A. Jean‑Marie, E. Hyon : “Optimal scheduling of services in a queue with impatience”, Journées de l'Optimisation, Montreal, Canada [Jean-Marie 2010a]
A. Jean‑Marie, E. Hyon : “Scheduling in a queuing system with impatience and setup costs”, 2010 MSOM Annual Conference and the Special Interest Group Conferences, Haifa, Israel [Jean-Marie 2010b]
A. Jean‑Marie, E. Hyon : “Scheduling services in a queuing system with impatience and setup costs”, 25^th International Symposium on Computer and Information Sciences, vol. 62, Lecture Notes in Electrical Engineering, London, United Kingdom, pp. 45-50, (Springer Verlag) [Jean-Marie 2010c]
G. Jeantet, O. Spanjaard : “Une approche de choix résolu au sens de Jaffray dans les arbres de décision munis de probabilités imprécises”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France, pp. 141-154, (ENAC - Toulouse) [Jeantet 2010]
F. Jézéquel, J.‑L. Lamotte : “Numerical validation of Slater integrals computation on GPU”, 14^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), Lyon, France, pp. 78-79 [Jézéquel 2010a]
Ch. Jouis, F. Guy, B. Habib, J.‑G. Ganascia : “Le problème de l'émergence dans les textes scientifiques ou techniques : modélisation ontologique et application à la paléontologie”, ACFAS, Québec, Canada, (ACFAS (Association Francophone pour le savoir)) [Jouis 2010b]
S. Kamei, H. Kakugawa, S. Devismes, S. Tixeuil : “A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks”, Proceedings of COCOON 2010, vol. 6196, Lecture Notes in Computer Science, Na Thrang, Viet Nam, pp. 80-89, (Springer) [Kamei 2010]
J.‑G. Kammerer, R. Lercier, G. Renault : “Encoding points on hyperelliptic curves over finite fields in deterministic polynomial time”, Pairing-Based Cryptography, vol. 6487, Lecture Notes in Computer Science, Ishikawa, Japan, pp. 278-297, (Springer) [Kammerer 2010]
A. Karouia, R. Langar, G. Pujolle : “SOA-based Approach for the Future Internet”, IEEE INFOCOM Workshops, San Diego, CA, United States, pp. 1-2, (IEEE) [Karouia 2010a]
A. Karouia, R. Langar, Th.‑M.‑T. Nguyen, G. Pujolle : “SOA-based Approach for the Design of the Future Internet”, Eighth Annual Communication Networks and Services Research Conference, CNSR 2010, Montreal, Canada, pp. 361-368, (IEEE) [Karouia 2010b]
M. Kayal, R. Iskander, R. Castro‑Lopez : “Tutorial Session: Future Trends in Analog EDA”, NEWCAS IEEE International Conference on NEWCAS, Montréal, Québec, Canada [Kayal 2010]
S. Kedad‑Sidhoum, F. Pascual, P. Fouilhoux : “Ordonnancement de paquets dans les réseaux sans fil”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Kedad-Sidhoum 2010a]
R. Khalil, A. Dudka, D. Galayko, Ph. Basset : “High-voltage low power analogue-to-digital conversion for adaptive architectures of capacitive vibration energy harvesters”, Proceedings of PowerMEMS 2010, Louvain, Belgium, pp. 147-150 [Khalil 2010a]
R. Khalil, A. Dudka, D. Galayko, R. Iskander, Ph. Basset : “Design and Modeling of a Successive Approximation ADC for the Electrostatic Harvester of Vibration Energy”, BMAS 2010 - IEEE International Behavioral Modeling and Simulation Conference, San Jose, United States, pp. 57-62, (IEEE) [Khalil 2010b]
R. Khalil, M. Allam, R. Iskander, M.‑M. Louërat : “Design and Modeling of 8-Bit Successive Approximation Analog to Digital Converter”, Colloque GDR SOC-SIP : System-On-Chip, System-In-Package, Paris, France, pp. 1-2 [Khalil 2010c]
S. Khemiri, G. Pujolle, Kh. Boussetta, N. Achir : “A combined MAC and Physical resource allocation mechanism in IEEE 802.16e networks”, IEEE 71^st Vehicular Technology Conference, VTC 2010-Spring, Taipei, Taiwan, Province of China, pp. 1-6, (IEEE) [Khemiri 2010]
Y.‑M. Kim, M.‑R. Amini, C. Goutte, P. Gallinari : “Multiview Clustering of Multilingual Documents”, Proceedings of the 33rd Annual ACM SIGIR Conference (SIGIR 2010), Geneva, Switzerland, pp. 812-822, (ACM) [Kim 2010b]
F. Kordon, Y. Thierry‑Mieg : “Experiences in Model Driven Verification of Behavior with UML”, Foundations of Computer Software, Future Trends and techniques for Development, 15^th Monterey Workshop 2008, Budapest, Revised Selected Papers, vol. 6028, Lecture Notes in Computer Science, Budapest, Hungary, pp. 181-200, (Springer) [Kordon 2010b]
A. Korniienko, E. Colinet, G. Scorletti, E. Blanco, D. Galayko, J. Juillard : “A clock network of distributed ADPLLs using an asymmetric comparison strategy”, IEEE International Symposium on Circuit and Systems (ISCAS'10), Paris, France, pp. 3212-3215 [Korniienko 2010]
N. Labroche : “Classification non supervisée incrémentale de données relationnelles”, Rencontres francophones sur la Logique Floue et ses Applications, Lannion, France [Labroche 2010a]
N. Labroche : “New Incremental Fuzzy C Medoids Clustering Algorithms”, Proc. of the North American Fuzzy Information Processing Society 2010, Toronto, Canada, pp. 145-150, (IEEE) [Labroche 2010b]
N. Labroche, Ch. Marsala : “Optimization of a Fuzzy Decision Trees Forest with Artificial Ant Based Clustering”, Proceedings of the International Conference of Soft Computing and Pattern Recognition, SOCPAR, Paris, France, pp. 1-5, (IEEE) [Labroche 2010c]
A. Lajmi, M. Ziane, S. Cauvin, T. Ziadi : “A multi-view model-driven approach for the standardization of chemical process modelling components”, 25^th Symposium On Applied Computing, Sierre, Switzerland, pp. 2297-2304, (ACM) [Lajmi 2010]
A. Lamani, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots”, 17^th International Colloquium Structural Information and Communication Complexity, SIROCCO, vol. 6058, Lecture Notes in Computer Science, Şirince, Türkiye, pp. 183-196, (Springer) [Lamani 2010b]
S. Lamprier, T. Amghar, B. Levrat, F. Saubion : “Query-oriented clustering: a multi-objective approach.”, ACM Symposium on Applied Computing, Sierre, Switzerland, pp. 1789-1795, (ACM) [Lamprier 2010b]
S. Lamprier, T. Amghar, F. Saubion, B. Levrat : “Traveling among clusters: a way to reconsider the benefits of the cluster hypothesis.”, ACM Symposium on Applied Computing, Sierre, Switzerland, pp. 1774-1780, (ACM) [Lamprier 2010c]
R. Langar, N. Bouabdallah, R. Boutaba, G. Pujolle : “Interferer Link-Aware Routing in Wireless Mesh Networks”, IEEE International Communications Conference (IEEE ICC 2010), Cape Town, South Africa, pp. 1-6, (IEEE) [Langar 2010a]
R. Langar, S. Njima, N. Bouabdallah, R. Boutaba, G. Pujolle : “Towards Efficient Use of Radio Resources in Single Channel Wireless Mesh Networks”, IEEE Global Communications Conference (IEEE GLOBECOM 2010), Miami, Florida, United States, pp. 1-6, (IEEE) [Langar 2010b]
G. Lasnier, Th. Robert, L. Pautet, F. Kordon : “Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems”, 13^th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), Carmona, Spain, pp. 87-91, (IEEE) [Lasnier 2010a]
G. Lasnier, Th. Robert, L. Pautet, F. Kordon : “Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex”, 10^th international conference on New Technologies of Distributed Systems (NOTERE'2010), Tozeur, Tunisia, pp. 17-24, (IEEE) [Lasnier 2010b]
M. Latapy, Th. Phan, Ch. Crespelle, Th. Nguyen : “Termination of Multipartite Graph Series Arising from Complex Network Modelling”, 4^th Annual International Conference on Combinatorial Optimization and Applications - COCOA'10, vol. 6508, Lecture Notes in Computer science, Hawaii, Big Island, United States, pp. 1-10 [Latapy 2010]
A. Laurent, M.‑J. Lesot, M. Rifqi : “Extraction de motifs graduels par corrélations d'ordres induits”, Rencontres Francophones sur la Logique Floue et ses Applications, Lannion, France, pp. 143-150, (Cépaduès) [Laurent 2010]
J. Lawall, B. Laurie, R. Hansen, N. Palix, G. Muller : “Finding Error Handling Bugs in OpenSSL Using Coccinelle”, Proceeding of the 8^th European Dependable Computing Conference, EDCC 2010, Valencia, Spain, pp. 191-196 [Lawall 2010a]
B. Le Duc, Ph. Collet, J. Malenfant, N. Rivierre : “A QoI-aware Framework for Adaptive Monitoring”, 2^nd International Conference on Adaptive and Self-adaptive Systems and Applications, ADAPTIVE 2010, Lisbonne, Portugal, pp. 133-141, (IARIA) [Le Duc 2010]
J. Le Kernec, M. Klepal, V. Sokol : “3D Directional Coupler for Impulse UWB 3D Electromagnetic Simulation and Prototyping”, C2I 2010 - 5ème Colloque Interdisciplinaire en Instrumentation, Le Mans, France, pp. 1-8 [Le Kernec 2010b]
J. Lee, P. Antoniadis, K. Salamatian : “Faving Reciprocity in Content Sharing Communities A comparative analysis of Flickr and Twitter”, ASONAM 2010 - International Conference on Advances in Social Networks Analysis and Mining, Odense, Denmark, pp. 136-143, (IEEE) [Lee 2010a]
J. Lee, S. Moon, K. Salamatian : “An Approach to Model and Predict the Popularity of Online Contents with Explanatory Factors”, WI-IAT 2010 - IEEE / WIC / ACM International Conferences on Web Intelligence and Intelligent Agent Technology, Toronto, Canada, pp. 623-630 [Lee 2010b]
S. Legtchenko, S. Monnet, G. Thomas : “Blue banana: resilience to avatar mobility in distributed MMOGs”, The 40^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010), Chicago, United States, pp. 171-180, (IEEE) [Legtchenko 2010]
A. Lertsinsrubtavee, N. Malouch, S. Fdida : “Spectrum Handoff Strategies for Multiple Channels Cognitive Radio Network”, ACM CoNEXT Student Workshop (joint with CoNEXT), Philadelphia, United States, pp. 20:1-20:2, (ACM) [Lertsinsrubtavee 2010]
J. Lesca, P. Perny : “LP Solvable Models for Multiagent Fair Allocation problems”, European Conference on Artificial Intelligence, vol. 215, Frontiers in Artificial Intelligence and Applications, Lisbon, Portugal, pp. 393-398, (IOS Press) [Lesca 2010]
M.‑J. Lesot, C. Bouchard, M. Detyniecki, J.‑F. Omhover : “Product shape and emotional design: an application to perfume bottles”, Proceedings of the International Conference on Kansei Engineering and Emotion Research (KEER'2010), Paris, France [Lesot 2010a]
M.‑J. Lesot, M. Rifqi : “Order-based Equivalence Degrees for Similarity and Distance Measures”, International conference on Information Processing and Management of Uncertainty in knowledge-based systems, IPMU 2010, vol. 6178, Lecture Notes in Computer Science, Dortmund, Germany, pp. 19-28, (Springer) [Lesot 2010b]
F. Lesueur, A. Rezmerita, Th. Hérault, S. Peyronnet, S. Tixeuil : “SAFE-OS: a Secure and Usable Desktop Operating System”, Proceedings of CRiSIS 2010, Montréal, Canada, pp. 1-7, (IEEE) [Lesueur 2010]
M. Leția, N. Preguiça, M. Shapiro : “Consistency without concurrency control in large, dynamic systems”, LADIS 2009 - 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware, vol. 44 (2), Operating Systems Review, Big Sky, MT, United States, pp. 29-34, (Assoc. for Computing Machinery) [Leția 2010]
A. Lévêque, F. Pêcheux, M.‑M. Louërat, H. Aboushady, M. Vasilevski : “SystemC-AMS Models for Low-Power Heterogeneous Designs: Application to a WSN for the Detection of Seismic Perturbations”, ARCS '10 - 23^th International Conference on Architecture of Computing Systems, Hannover, Germany, pp. 1-6 [Lévêque 2010]
F. Levillain, J. Orero, M. Rifqi, B. Bouchon‑Meunier : “Characterizing Player's Experience From Physiological Signals Using Fuzzy Decision Trees”, CIG 2010 - IEEE Symposium on Computational Intelligence and Games, Copenhagen, Denmark, pp. 75-82, (IEEE) [Levillain 2010]
A. Linard, E. Paviot‑Adet, F. Kordon, D. Buchs, S. Charron : “polyDD: Towards a Framework Generalizing Decision Diagrams”, 10^th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pp. 124-133, (IEEE) [Linard 2010]
J. Lumbroso : “An optimal cardinality estimation algorithm based on order statistics and its full analysis”, Discrete Mathematics and Theoretical Computer Science, vol. DMTCS Proceedings vol. AM, 21^st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), DMTCS Proceedings, Vienna, Austria, pp. 489-504, (Discrete Mathematics and Theoretical Computer Science) [Lumbroso 2010]
W. Maldonado, P. Marlier, P. Felber, A. Suissa, D. Hendler, A. Fedorova, Julia L. Lawall, G. Muller : “Scheduling support for transactional memory contention management”, Proceedings of the 15^th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'10, Bangalore, India, pp. 79-90, (ACM) [Maldonado 2010]
A. Manaa, C. Hanen : “complexity results for the scheduling problem with negative time lags”, European Chapter on Combinatorial Optimization, Malaga, Spain [Manaa 2010a]
A. Manaa, C. Hanen : “On the complexity of scheduling with negative time lags”, EURO conference, Lisbon, Portugal [Manaa 2010b]
Z. Marrakchi, H. Parvez, A. Kilic, H. Mehrez, H. Marrakchi : “On the optimization of FPGA area depending on target applications”, APCCAS 2010 - IEEE Asia Pacific Conference on Circuits and Systems, Kuala Lumpur, Malaysia, pp. 308-311, (IEEE) [Marrakchi 2010]
Ch. Marsala, B. Bouchon‑Meunier : “Quality of Measures for Attribute Selection in Fuzzy Decision Trees”, Proceedings of the International Conference on Fuzzy Systems, Barcelona, Spain, pp. 1-8, (IEEE) [Marsala 2010a]
Ch. Marsala, B. Bouchon‑Meunier : “Validation de mesures de sélection d'attributs en apprentissage inductif”, Actes de la conférence LFA 2010, Lannion, France, pp. 192-199 [Marsala 2010b]
M. Marzouki : “Challenges and Constraints in Connecting People : The Global Internet Governance Academic Network (GigaNet), Case Study”, IAMCR: International Association for Media and Communication Research Conference, Braga, Portugal [Marzouki 2010a]
M. Marzouki : “Surveillance In France: Strategies And Counterstrategies”, International Conference on Computers, Privacy and Data Protection, Brussels, Belgium [Marzouki 2010c]
A. Massouri, A. Lévêque, L. Clavier, M. Vasilevski, A. Kaiser, M.‑M. Louërat : “Baseband Fading Channel Simulator for Inter-Vehicle Communication using SystemC-AMS”, 2010 IEEE International Behavioral Modeling and Simulation Conference (BMAS 2010), San Jose, CA, United States, pp. 36-41 [Massouri 2010]
T. Masuzawa, S. Tixeuil : “Stabilizing Locally Maximizable Tasks in Unidirectional Networks is Hard”, IEEE 30^th International Conference on Distributed Computing Systems, ICDCS 2010, Gênes, Italy, pp. 718-727, (IEEE) [Masuzawa 2010b]
J. Mazeyrat, P. Garda : “ENDOCOM : Capteur de pression RFID dédié au suivi des anévrismes de l'aorte abdominale”, Ecole d'hiver Francophone sur les Technologies de Conception des Systemes embarques Heterogenes, Chamonix, France [Mazeyrat 2010]
A. Medem Kuatse, R. Teixeira, N. Feamster, M. Meulle : “Joint analysis of network incidents and intradomain routing changes”, Proceedings of the 6^th International Conference on Network and Service Management (CNSM 2010), Niagara Falls, Canada, pp. 198-205, (IEEE) [Medem Kuatse 2010a]
A. Medem Kuatse, R. Teixeira, N. Usunier : “Predicting Critical Intradomain Routing Events”, Proceedings of the Global Communications Conference (GLOBECOM 2010), Miami, Florida, United States, pp. 1-5, (IEEE) [Medem Kuatse 2010b]
O. Melekhova, M.‑A. Abchir, P. Châtel, J. Malenfant, I. Truck, A. Pappa : “Self-Adaptation in Geotracking Applications: Challenges, Opportunities and Models”, ADAPTIVE AND SELF-ADAPTIVE SYSTEMS AND APPLICATIONS. INTERNATIONAL CONFERENCE. 2ND 2010. (ADAPTIVE 2010), Lisbonne, Portugal, pp. 68-77 [Melekhova 2010]
D. Mérad, Kh. Aziz, N. Thome : “Fast People Counting using Head Detection from Skeleton Graph”, IEEE International Conference on Advanced Video and Signal based Surveillance (AVSS), Boston, MA, United States, pp. 233-240, (IEEE) [Mérad 2010]
S. Mesmoudi, J. Tavares, L. Jourdan, E.‑Gh. Talbi : “Variable Genetic Operator Search for the Molecular Docking Problem”, EvoBIO 2010 - 8^th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, vol. 6023, Lecture Notes in Computer Science, Istanbul, Türkiye, pp. 1-12, (Springer) [Mesmoudi 2010]
R. Miletitch, N. Sabouret, M. Ochs : “De la description de scénarios socio-émotionnels au narrateur virtuel expressif”, Workshop Francophone sur les Agents Conversationnels Animés (WACA), Lille, France, pp. 1-8 [Miletitch 2010]
R. Minetto, N. Thome, M. Cord, J. Fabrizio, B. Marcotegui : “Snoopertext: A multiresolution system for text detection in complex visual scenes”, ICIP 2010 - 17^th IEEE International Conference on Image Processing, Hong-Kong, Hong Kong, pp. 3861-3864, (IEEE) [Minetto 2010]
U. MIR, S. Aknine, L. Merghem‑Boulahia, D. Gaïti : “Agents' Coordination in Ad-hoc Networks”, 2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA), Hammamet, Tunisia, pp. 1-8, (IEEE) [MIR 2010]
L. Molinier, E. Ghedira Molinier, M. Ligocki, R. Francois, G. Pujolle : “Autonomic QoS management and supervision system for Home Networks”, WD 2009 - 2^nd IFIP Wireless Days Conference, Paris, France, pp. 1-6 [Molinier 2010]
G. Moroz, D. Chablat, Ph. Wenger, F. Rouillier : “Cusp points in the parameter space of RPR-2PRR parallel manipulators”, New Trends in Mechanism Science: Analysis and Design, vol. 5, Mechanisms and Machine Science, Cluj-Napoca, Romania, pp. 29-37, (Springer) [Moroz 2010a]
A.‑I. Mouaddib, Sh. Zilberstein, A. Beynier, L. Jeanpierre : “A Decision-Theoretic Approach to Cooperative Control and Adjustable Autonomy”, ECAI 2010 - 19^th European Conference on Artificial Intelligence, vol. 215, Frontiers in Artificial Intelligence and Applications, Lisbonne, Portugal, pp. 971-972, (IOS Press) [Mouaddib 2010]
A. Mougenot, X. Blanc, M.‑P. Gervais : “Inconsistency Detection in Distributed Model Driven Software Engineering Environments”, 3rd Workshop on Living with Inconsistencies in Software Development, vol. 661, CEUR-WS, Antwerp, Belgium, pp. 2-7, (CEUR) [Mougenot 2010]
Z. Movahedi, R. Langar, G. Pujolle : “An Overview of Vehicular Ad hoc Network Evaluation Alternatives”, 8^th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2010, Kuching, Malaysia, pp. 1-5, (IEEE) [Movahedi 2010]
S. Naciri, O. Gobet, J.‑D. Kant, M.‑J. Yoo, R. Glardon : “Elicitation of human decision making patterns in supply chains using participatory simulation”, Third International Conference on Information Systems, Logistics and Supply Chain, Casablanca, Morocco [Naciri 2010]
F. Nel, M.‑J. Lesot, Ph. Capet, Th. Delavallade : “Rumour detection and monitoring in open source intelligence: understanding publishing behaviours as a prerequisite”, Terrorism and New Media Conference, Dublin, Ireland [Nel 2010a]
F. Nel, M.‑J. Lesot, Ph. Capet, Th. Delavallade : “Rumour detection in information warfare: understanding publishing behaviours as a prerequisite”, IST091 NATO Symposium on Information assurance and cyber defence, Tallinn, Estonia [Nel 2010b]
T. Nguyen, N. Marilleau, T. Ho, A. El Fallah‑Seghrouchni : “A Meta-Model for Specifying Collaborative Simulation”, RIVF 2010 - IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for the Future, Hanoï, Viet Nam, pp. 246-249, (IEEE) [Nguyen 2010]
M.‑H. Nguyen, B. Robisson, M. Agoyan, N. Drach : “Low-cost fault tolerance on the ALU in simple pipelined processors”, DDECS 2010 - 13^th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Vienne, Austria, pp. 28-31, (IEEE) [Nguyen 2010]
Th.‑M.‑T. Nguyen : “On the Way to a Theory for Network Architectures”, NoF 2010 - 1^st International Conference on the Network of the Future, vol. 327, IFIP Advances in Information and Communication Technology, Brisbane, Australia, pp. 108-119, (Springer) [Nguyen 2010]
V. Nguyen : “A Primal-Dual Approximation Algorithm for the Asymmetric Prize Collecting TSP”, Conference on Combinatorial Optimization and Applications, vol. 6508, Lecture Notes in Computer Science, Kailua-Kona, HI, United States, pp. 260-269, (Springer-Verlag) [Nguyen 2010a]
V. Nguyen : “Approximation algorithm for the minimum directed tree cover”, Conference on Combinatorial Optimization and Applications, vol. 6509, Lecture Notes in Computer Science, Kailua-Kona, HI, United States, pp. 144-159, (Springer-Verlag) [Nguyen 2010b]
L. Noury, H. Mehrez : “A flexible realtime system for broadband time-frequency analysis in 130 NM CMOS”, ICECS 2010 - 17^th IEEE International Conference on Electronics, Circuits and Systems, Athens, Greece, pp. 251-254, (IEEE) [Noury 2010]
A. Olaru, A. El Fallah‑Seghrouchni, A. Florea : “Ambient Intelligence: From Scenario Analysis towards a Bottom-Up Design”, Intelligent Distributed Computing IV, vol. 315, Studies in Computational Intelligence, Tangier, Morocco, pp. 165-170, (Springer Berlin / Heidelberg) [Olaru 2010a]
A. Olaru, A. Florea : “A Graph-Based Approach to Context Matching”, Proceedings of International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania [Olaru 2010c]
A. Olaru, C. Gratie : “Agent-Based Information Sharing for Ambient Intelligence”, Proceedings of International Symposium on Intelligent Distributed Computing, vol. 315, Studies in Computational Intelligence, Tangier, Morocco, pp. 285-294, (Springer) [Olaru 2010d]
J. Orero, F. Levillain, M. Damez‑Fontaine, M. Rifqi, B. Bouchon‑Meunier : “ASSESSING GAMEPLAY EMOTIONS FROM PHYSIOLOGICAL SIGNALS: A FUZZY DECISION TREES BASED MODEL”, INTERNATIONAL CONFERENCE ON KANSEI ENGINEERING AND EMOTION RESEARCH 2010, Paris, France, pp. 1684-1693 [Orero 2010]
N. Palix, J. Lawall, G. Muller : “Tracking Code Patterns over Multiple Software Versions with Herodotos”, AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Rennes and Saint Malo, France, pp. 169-180 [Palix 2010a]
N. Palix, Julia L. Lawall, G. Thomas, G. Muller : “{How Often do Experts Make Mistakes?}”, Proceedings of 9^th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Rennes et Saint Malo, France, pp. 9-16 [Palix 2010b]
C. Parra, A. Cleve, X. Blanc, L. Duchien : “Feature-based Composition of Software Architectures”, 4^th European Conference on Software Architecture, vol. 6285, Lecture Notes in Computer Science, Copenhagen, Denmark, pp. 230-245 [Parra 2010a]
H. Parvez, Z. Marrakchi, H. Mehrez : “Application Specific FPGA Using Heterogeneous Logic Blocks”, ARC International Symposium on Applied Reconfigurable Computing, Bangkok, Thailand, pp. 92-109, (Springer) [Parvez 2010a]
H. Parvez, Z. Marrakchi, H. Mehrez : “Heterogeneous-ASIF: An Application Specific Inflexible FPGA using Heterogeneous logic blocks”, FPGA ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Monterey, California, United States, pp. 290-290, (ACM) [Parvez 2010b]
F. Pêcheux, A. Habib : “Towards high-level executable specifications of heterogeneous systems with systemc-ams : Application to a manycore pcr-ce lab on chip for dna sequencing.”, Forum on Specification and Design Languages, FDL 2010, Southampton, United Kingdom, pp. 1-6, (IEEE) [Pêcheux 2010a]
F. Pêcheux, Kh. Zine el Abidine, A. Greiner : “Early power estimation in heterogeneous designs using Soclib and Systemc-ams”, International Workshop on Power And Timing Modeling Optimization and Simulation, PATMOS, vol. 6448, Lecture Notes in Computer Science, Grenoble, France, pp. 252, (Springer) [Pêcheux 2010b]
F. Pêcheux, M. Madec, Ch. Lallement : “Is systemc-ams an appropriate promoter for the modeling and simulation of bio-compatible systems ?”, ISCAS : Proceedings of the 2010 IEEE International Symposium on Circuits and Systems, Paris, France, 2010. IEEE Computer Society., Paris, France, pp. 1791-1794, (IEEE) [Pêcheux 2010c]
Z. Pehlivan, M. Ben Saad, S. Gançarski : “Vi-DIFF: Understanding Web Pages Changes”, DEXA 2010, 21^st International Conference on Database and Expert Systems Applications, vol. 6261, Lecture Notes in Computer Science, Bilbao, Spain, pp. 1-15, (Springer) [Pehlivan 2010]
P. Perny, P. Weng : “On finding compromise solutions in multiobjective Markov decision processes”, European Conference on Artificial Intelligence Multidisciplinary Workshop on Advances in Preference Handling, Lisbon, Portugal, pp. 969-970, (IOS Press) [Perny 2010]
F. Peschanski : “Principes et pratiques de la programmation en pi-calcul”, Journées Francophone des langages applicatifs (JFLA 2010), Studia Informatica Universalis, Vieux-Port La Ciotat, France, pp. 245-274, (Hermann) [Peschanski 2010a]
F. Peschanski, H. Klaudel, R. Devillers : “A Decidable Characterization of a Graphical Pi-calculus with Iterators”, Proc. of the 12^th International Workshop on Verification of Infinite-State Systems (INFINITY 2010), vol. 39, EPTCS, Singapore, Singapore, pp. 47-61 [Peschanski 2010b]
S. Peters, L. Denoyer, P. Gallinari : “Iterative annotation of multi-relational social networks”, Advances in Social Networks Analysis and Mining (ASONAM), 2010 International Conference on, Unknown, , pp. 96-103 [Peters 2010]
D. Picard, N. Thome, M. Cord : “An efficient System for combining complementary kernels in complex visual categorization tasks”, ICIP 2010 - 17^th IEEE International Conference on Image Processing, Hong Kong, Hong Kong, pp. 3877-3880, (IEEE) [Picard 2010]
B. Pradel, A. Brenner, N. Usunier, P. Gallinari : “Predicting Most Rated Items in Weekly Recommendation with Temporal Regression”, Workshop on Context-Aware Movie Recommendation, CAMRa '10, Barcelona, Spain, pp. 24-27, (ACM) [Pradel 2010]
Th. Preud'Homme, J. Sopena, G. Thomas, B. Folliot : “BatchQueue: Fast and Memory-thrifty Core to Core Communication”, 22^nd International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2010, Petrópolis, Brazil, pp. 215-222, (The Institute of Electrical and Electronics Engineers, Inc) [Preud'Homme 2010]
G. Pujolle : “An Autonomic Virtualized Architecture for Clouds and Sky Networks”, IEEE GLOBECOM Workshops 2010, Miami, United States, pp. 1644-1647, (IEEE) [Pujolle 2010a]
G. Pujolle : “An Introduction to the Network of the Future”, NoF 2010 - 1^st International Conference on the Network of the Future, vol. 327, IFIP Advances in Information and Communication Technology, Brisbane, Australia, pp. 87-94, (Springer) [Pujolle 2010b]
G. Pujolle : “Network, and Cloud virtualization: a new solution for network reliability”, The 4^th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling 2010, APARM 2010, Wellington, New Zealand [Pujolle 2010c]
Ch. Queinnec : “An Infrastructure for Mechanised Grading”, CSEDU 2010 - 2^nd International Conference on Computer Supported Education, vol. 2, Valencia, Spain, pp. 37-45, (INSTICC – Institute for Systems and Technologies of Information, Control and Communication) [Queinnec 2010a]
T. Razafindralambo, N. Mitton, A. Carneiro Viana, M. Dias De Amorim, K. Obraczka : “Adaptive Deployment for Pervasive Data Gathering in Connectivity-Challenged Environments”, Eighth Annual IEEE International Conference on Pervasive Computing and Communications (PERCOM), Mannheim, Germany, pp. 51-59, (IEEE) [Razafindralambo 2010]
M. Rehmani : “Channel assortment strategy for reliable communication in multi-hop cognitive radio networks”, IEEE WoWMoM 2010 - 11^th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, Montreal, Canada, pp. 1-2, (IEEE) [Rehmani 2010a]
M. Rehmani, A. Carneiro Viana, H. Khalife, S. Fdida : “A Cognitive Radio Based Internet Access Framework for Disaster Response Network Deployment”, CogART 2010 - 3rd International Workshop on Cognitive Radio and Advanced Spectrum Management, Rome, Italy, pp. 1-5, (IEEE) [Rehmani 2010b]
A. Revault D'Allonnes, H. Akdag, B. Bouchon‑Meunier : “Incertain et inconnu, deux facettes de la cotation”, IC 2010 21èmes Journées francophones d'Ingénierie des Connaissances, Nîmes, France, pp. 99-103 [Revault D'Allonnes 2010]
C. Reyes, Th. Hilaire, S. Paul, Ch. Mecklenbräuker : “Evaluation of the Root Mean Square Error Performance of the PAST-Consensus Algorithm”, 2010 International ITG Workshop on Smart Antennas (WSA), Brême, Germany, pp. 156-160, (IEEE) [Reyes 2010]
E. Richard, N. Baskiotis, Th. Evgeniou, N. Vayatis : “Link Discovery using Graph Feature Tracking”, Neural Information Processing Systems, NIPS, vol. 23, Advances in Neural Information Processing Systems, Vancouver, Canada, pp. 1966-1974 [Richard 2010]
Sabiniano A. Rodrigues, H. Aboushady, M.‑M. Louërat, José I. C. Accioly, Raimundo C. S. Freire : “A Clock-less 8-bit folding A/D converter”, IEEE Latin American Symposium on Circuits and Systems (LASCAS), Foz do Iguacu, Brazil, pp. 25-28, (IEEE) [Rodrigues 2010]
S. Rodrigues Cavalcanti, M. Elias Mitre Campista, F. Ben Abdesslem, L. Maciel Kosmalski Costa, M. Dias De Amorim, O. Muniz Bandeira Duarte : “Veer: A Trajectory-Based Peer Selection Algorithm for Networks of Vehicles”, The 9^th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan-les-Pins, France, pp. 1-8, (IEEE) [Rodrigues Cavalcanti 2010]
O. Rogovchenko, J. Malenfant : “Composition and Compositionality in a Component Model for Autonomous Robots”, Proceedings of Software Composition, SC 2010, vol. 6144, Lecture Notes in Computer Science, Malaga, Spain, pp. 34-49, (Springer-Verlag) [Rogovchenko 2010a]
O. Rogovchenko, J. Malenfant : “Handling Hardware Heterogeneity through Rich Interfaces in a Component Model for Autonomous Robotics”, 2^nd International Conference on Simulation, Modeling and Programming for Autonomous Robots, SIMPAR 2010, vol. 6472, Lecture Notes in Artificial Intelligence, Darmstadt, Germany, pp. 312-323, (Springer-Verlag) [Rogovchenko 2010b]
F. Rouillier : “On Solving Systems of Bivariate Polynomials”, Mathematical Software - ICMS 2010, vol. 6327, Lecture Notes in Computer Science, Kobe, Japan, pp. 100-104, (Springer) [Rouillier 2010]
J. Rubio‑Loyola, A. Astorga, J. Serrat, L. Lefevre, A. Cheniour, D. Muldowney, S. Davy, A. Galis, L. Mamatas, S. Clayman, D. Macedo, Z. Movahedi, G. Pujolle, A. Fischer, H. De Meer : “Manageability of Future Internet Virtual Networks from a Practical Viewpoint”, FIA Book : "Towards the Future Internet - Emerging Trends from European Research", Valencia, Spain, pp. 105-114, (IOS Press) [Rubio-Loyola 2010]
M. Safey El Din : “Fast Algorithms for Real Solving Polynomial Systems of Inequalities/inequations”, SIAM Conference on Parallel Processing and Scientific Computing -- High Performance Symbolic Computing, Seattle, United States, (SIAM) [Safey El Din 2010a]
M. Safey El Din : “Stability Analysis of Numerical Schemes with a Variant Quantifier Elimination Algorithm over the Reals”, Hybrid Methodologies for Symbolic-Numeric Computation, Berkeley, United States [Safey El Din 2010b]
A. Salah Brahim, B. Le Grand, M. Latapy : “Some Insight on Dynamics of Posts and Citations in Different Blog Communities”, IEEE ICC 2010 workshop SocNets, Capetown, South Africa, pp. 1-6, (IEEE) [Salah Brahim 2010]
H. Saleet, R. Langar, S. Naik, R. Boutaba : “QoS Support in Delay Tolerant Vehicular Ad Hoc Networks”, IEEE Global Telecommunications Conference, GLOBECOM 2010, Miami, United States, pp. 1-6, (IEEE) [Saleet 2010b]
A. Sarr, Ph. Elbaz‑Vincent, J.‑C. Bajard : “A New Security Model for Authenticated Key Agreement”, Security and Cryptography for Networks, vol. 6280, Lecture Notes in Computer Science, Amalfi, Italy, pp. 219-234, (Springer Berlin Heidelberg) [Sarr 2010a]
I. Sarr, H. Naacke, S. Gançarski : “Failure-Tolerant Transaction Routing at Large Scale”, International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA), Menuires, France, pp. 165-172, (IEEE) [Sarr 2010a]
A. Sarr, Ph. Elbaz‑Vincent, J.‑C. Bajard : “A Secure and Efficient Authenticated Diffie–Hellman Protocol”, Public Key Infrastructures, Services and Applications, vol. 6391, Lecture Notes in Computer Science, Pisa, Italy, pp. 83-98, (Springer Berlin Heidelberg) [Sarr 2010b]
A. Sarr, Ph. Elbaz‑Vincent, J.‑C. Bajard : “Enhanced Security and Efficiency for Authenticated Key Agreement”, Workshop on Foundations of Security and Privacy, FCS-PrivMod 2010,, Edinburgh, United Kingdom [Sarr 2010c]
I. Sarr, H. Naacke, S. Gançarski : “TransPeer: Adaptive Distributed Transaction Monitoring for Web2.0 applications”, ACM Symposium on Applied Computing: Track on Dependable and Adaptive Distributed Systems (SAC DADS), Sierre, Switzerland, pp. 423-430, (ACM) [Sarr 2010c]
N. Schiper, P. Sutra, F. Pedone : “P-Store : Genuine Partial Replication in Wide Area Networks”, International Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, pp. 214-224, (IEEE) [Schiper 2010]
S. Secci, H. Ma, B. Helvik, J.‑L. Rougier : “A Resilient Routing Policy for Peering Management”, IEEE Global Telecommunications Conference, GLOBECOM 2010, Miami, United States, pp. 1-5, (IEEE) [Secci 2010a]
M. Seifi, J.‑L. GUILLAUME, M. Latapy, B. Le Grand : “Interactive multiscale visualization of huge graphs: application to a network of weblogs”, 8^th Workshop on Visualization and Knowledge Extraction (EGC 2010), Hammamet, Tunisia [Seifi 2010]
Th. Silverston, O. Fourmaux, K. Salamatian, K. Cho : “Measuring P2P-TV systems on both sides of the world”, ICME 2010 - IEEE International Conference on Multimedia and Expo, Singapore, Singapore, pp. 1321-1326 [Silverston 2010a]
Th. Silverston, O. Fourmaux, K. Salamatian, K. Cho : “On Fairness and Locality in P2P-TV through Large-Scale Measurement Experiment”, GLOBECOM 2010 - IEEE Global Telecommunications Conference, Miami, United States, pp. 1-6 [Silverston 2010b]
M. Soellner, P. Schefczik, Ph. Bertin, G. Wei, X. Zhang, Th.‑M.‑T. Nguyen, J. Mäkelä, S. Pérez, A. Eriksson, A.‑M. Biraghi, F. Cuervo, M. Ponce de Leon, Ch. Dannewitz : “Mobility in the Future Internet: the 4WARD Innovations”, Future Internet Cluster Workshop (FICW 2010), Florence, Italy, pp. 1-6 [Soellner 2010]
A. Sokolov, T. Urvoy, L. Denoyer, O. Ricard : “MADSPAM Consortium at the ECML/PKDD Discovery Challenge 2010 : 1st place for the English quality task”, ECML/PKDD Discovery Challenge, Barcelone, Spain [Sokolov 2010]
M. Soos : “Enhanced Gaussian Elimination in DPLL-based SAT Solvers”, Pragmatics of SAT Workshop, Edinburgh, United Kingdom [Soos 2010a]
M. Soos : “Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers”, Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010, London, United Kingdom, pp. 131-144 [Soos 2010b]
P. Soquet, B. Robisson, M. Agoyan, G. Phan, P. Bazargan Sabet, F. Wajsbürt : “Strategy Of Security on Smart On Smart”, PACA Security Trends In embedded Security, Gardanne, France [Soquet 2010]
Alexander A. Spengler, P. Gallinari : “Document Structure Meets Page Layout: Loopy Random Fields for Web News Content Extraction”, 10^th ACM Symposium on Document Engineering (DocEng 2010), Manchester, United Kingdom, pp. 151-160, (ACM) [Spengler 2010]
N. Stefanovitch, A. Farinelli, A. Rogers, N. Jennings : “Efficient Multi-Agent Coordination Using Resource-Aware Junction Trees (extended abstract)”, International Conference on Autonomous Agents and Multiagent Systems, Toronto, ON, Canada, pp. 1413-1414 [Stefanovitch 2010]
A. Stoica, Z. Smoreda, Ch. Prieur, J.‑L. GUILLAUME : “Age, Gender and Communication Networks”, Workshop on the Analysis of Mobile Phone Networks, satellite workshop to NetSci 2010, Cambridge, MA, United States, pp. 11-14 [Stoica 2010]
A. Suissa, O. Romain, J. Denoulet, Kh. HACHICHA, P. Garda : “Temperature and Supply Voltage Aware Power Modeling of Analog Functions at System Level”, DTIS: IEEE International Conference on Design & Test of Integrated Systems in Nanoscale Technology, Hammamet, Tunisia, pp. 1-6 [Suissa 2010b]
N. Sukhorukova, A. Stranieri, B. Ofoghi, P. Vamplew, M. Saleem, L. Ma, A. Ugon, J. Ugon, N. Muecke, H. Amiel, C. Philippe, Ah. Bani‑Mustafa, Sh. Huda, M. Bertoli, P. Lévy, J.‑G. Ganascia : “Automatic sleep stage identification: difficulties and possible solutions”, Fourth Australasian Workshop on Health Informatics and Knowledge Management, HIKM'2010, vol. 108, CRPIT, Brisbane, Australia, pp. 39-44, (Australian Computer Society) [Sukhorukova 2010]
S. Taktak, E. Encrenaz, J.‑L. Desbarbieux : “A polynomial algorithm to prove deadlock-freeness of wormhole networks”, PDP EUROMICRO Conference on Parallel, Distributed and Network-based Computing IEEE Computer Society, Pisa, Italy, pp. 121-128, (IEEE) [Taktak 2010]
S. Thiriot, J.‑D. Kant : “A naturalistic multi-agent model of word-of mouth dynamics”, The Second World Congress on Social Simulation, vol. 7 (1), Agent-Based Social System Series, Fairfax, United States, pp. 89-99, (Springer) [Thiriot 2010]
B. To, H. Khalife, N. Malouch : “A general framework for assisted power control in Cognitive Radio Networks”, IEEE PIMRC, Istanbul, Türkiye, pp. 1648-1653, (IEEE) [To 2010]
L. Torti, P.‑H. Wuillemin : “Étude comparée des inférences dans les Modèles Relationnels Probabilistes”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France, pp. 57-58 [Torti 2010a]
L. Torti, P.‑H. Wuillemin : “Structured Value Elimination with D-Separation Analysis”, Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, Daytona Beach, United States, pp. 122-127 [Torti 2010b]
L. Torti, P.‑H. Wuillemin : “Structured Variable Elimination avec analyse en d-séparation”, 5èmes Journées Francophones sur les Réseaux Bayésiens (JFRB2010), Nantes, France [Torti 2010c]
L. Torti, P.‑H. Wuillemin, Ch. Gonzales : “Reinforcing the Object-Oriented Aspect of Probabilistic Relational Models”, PGM 2010 - The Fifth European Workshop on Probabilistic Graphical Models, Helsinki, Finland, pp. 273-280 [Torti 2010d]
Ph. Trébuchet : “A new certified numerical algorithm for solving polynomial systems”, SCAN2010, Lyon, France, pp. 1-8 [Trébuchet 2010]
I. Truck, J. Malenfant : “Towards A Unification Of Some Linguistic Representation Models: A Vectorial Approach”, Computational Intelligence: Foundations and Applications, Proceedings of the 9^th International FLINS Conference (World Scientific Proceedings Series on Computer Engineering and Information Science), Chengdu, China, pp. 610-615, (World Scientific) [Truck 2010]
M. Turki, M. Abid, Z. Marrakchi, H. Mehrez : “Routability driven placement for mesh-based FPGA architecture”, IDT 2010 - 5^th International Design and Test Workshop, Abu Dhabi, United Arab Emirates, pp. 85-90, (IEEE) [Turki 2010]
N. Usunier, A. Bordes, L. Bottou : “Guarantees for Approximate Incremental SVMs”, 13^th International Conference on Artificial Intelligence and Statistics, vol. 9, JMLR: Workshop and Conference Proceedings, Chia Laguna Resort, Sardinia, Italy, pp. 884-891 [Usunier 2010]
M. Valero, L. Arantes, M. Gradinariu, P. Sens : “Dynamically Reconfigurable Filtering Architectures”, 12^th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 504-518, (Springer) [Valero 2010]
A. Valibouze : “Galoiseries”, Workshop « Groups and languages » en l'honneur d'Antonio Machi, Rome, Italy [Valibouze 2010a]
N. Vidal, P. Taillibert, S. Aknine : “Online Behavior Recognition: A New Grammar Model Linking Measurements and Intents”, 22^nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2010, vol. 2, Arras, France, pp. 129-137, (IEEE) [Vidal 2010]
A. Vieira De Mello, I. Maïa Pessoa, A. Greiner, F. Pêcheux : “Parallel Simulation of SystemC TLM 2.0 Compliant MPSoC on SMP Workstations”, DATE 2010 - Design, Automation & Test in Europe Conference & Exhibition, Dresden, Germany, pp. 606-609 [Vieira De Mello 2010]
J.‑B. Voron, C. Démoulins, F. Kordon : “Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach”, 10^th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pp. 57-66, (IEEE) [Voron 2010]
V. Vu, N. Labroche, B. Bouchon‑Meunier : “An Efficient Active Constraint Selection Algorithm for Clustering”, Proceedings of the 20^th International Conference on Pattern Recognition (ICPR-2010), Istanbul, Türkiye, pp. 2969-2972, (IEEE) [Vu 2010a]
V. Vu, N. Labroche, B. Bouchon‑Meunier : “Boosting Clustering by Active Constraint Selection”, 19^th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, pp. 297-302, (IOS Press) [Vu 2010b]
V.‑V. Vu, N. Labroche, B. Bouchon‑Meunier : “Active Learning for Semi-Supervised K-Means Clustering”, 2010 22^nd International Conference on Tools with Artificial Intelligence (ICTAI), Arras, France, pp. 12-15, (IEEE) [Vu 2010c]
D. Wang, X.‑Sh. Gao, Zh. Liu, Z. Li : “A Review of the Development of Mathematics Mechanization (in {Chinese})”, Wen-tsün Wu and Chinese Mathematics, Singapore, Singapore, pp. 221-233, (Global Publishing) [Wang 2010]
X. Wang, M. Latapy, M. Soria : “Deciding on the type of a graph from a BFS”, Workshop on Complex Networks CompleNet 2010, vol. 116, Communications in Computer and Information Science, Rio de Janeiro, Brazil, pp. 68-74, (Springer) [Wang 2010]
P. Weng : “Politiques de meilleur compromis dans les processus décisionnels de Markov multicritères”, 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), Toulouse, France [Weng 2010a]
J. Whitbeck, M. Dias De Amorim, V. Conan : “Plausible Mobility: Inferring Movement from Contacts”, Proceedings of the Second International Workshop on Mobile Opportunistic Networking, MobiOpp'10, Pisa, Italy, pp. 110-117, (ACM) [Whitbeck 2010]
N. Widynski, S. Dubuisson, I. Bloch : “Intégration d'informations spatiales floues dans le filtre particulaire : application au suivi de formes”, Congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'10), Caen, France, pp. 591-598 [Widynski 2010a]
N. Widynski, S. Dubuisson, I. Bloch : “Introducing Fuzzy Spatial Constraints in a Ranked Partitioned Sampling for Multi-Object Tracking”, 6^th International Symposium on Visual Computing (ISVC'10), vol. 6453, Lecture Notes in Computer Science, Las Vegas, Nevada, United States, pp. 393-404 [Widynski 2010b]
N. Widynski, S. Dubuisson, I. Bloch : “Particle filtering with fuzzy spatial relations for object tracking”, 2^nd International Conference on Image Processing Theory Tools and Applications (IPTA'10), Paris, France, pp. 391-396, (IEEE) [Widynski 2010c]
Y. Yamauchi, S. Tixeuil : “Brief Announcement: Monotonic Stabilization”, Proceedings of the 29^th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC'10, Zurich, Switzerland, pp. 406-407, (ACM Press) [Yamauchi 2010a]
Y. Yamauchi, S. Tixeuil : “Monotonic Stabilization”, Proceedings of OPODIS 2010, vol. 6490, Lecture Notes in Computer Science, Tozeur, Tunisia, pp. 475-490, (Springer Berlin / Heidelberg) [Yamauchi 2010b]
A. Yessad, J.‑M. Labat, F. Kermorvant : “SeGAE: A Serious Game Authoring Environment”, IEEE International Conference on Advance Learning Technologies, Sousse, Tunisia, pp. 538-540, (IEEE) [Yessad 2010b]
A. Yessad, P. Thomas Benjamin, B. Capdevila, J.‑M. Labat : “Using the Petri Nets for the Learner Assessment in Serious Games”, Proceeding of the 9 th International conference on Web-based Learning, vol. 6483, Lecture Notes in Computer Science, Shanghai, China, pp. 339-348, (Springer) [Yessad 2010c]
S. Youssef, D. Dupuis, R. Iskander, M.‑M. Louërat : “A Python-Based Analog Layout Generation Tool For Nanometer CMOS Technologies”, Colloque national du GDR SOC-SIP, Cergy, France, pp. 1-2 [Youssef 2010a]
S. Youssef, D. Dupuis, R. Iskander, M.‑M. Louërat : “Automatic Stress Effects Computation Based On A Layout Generation Tool For Analog IC”, 2010 IEEE International Behavioral Modeling and Simulation Conference (BMAS 2010), San Jose, CA, United States, pp. 7-12 [Youssef 2010b]
D. Zeaiter Joumblatt, R. Teixeira, J. Chandrashekar, N. Taft : “HostView: Annotating end-host performance measurements with user feedback”, ACM HotMetrics Workshop, New York, NY, United States [Zeaiter Joumblatt 2010b]
Zh. Zhang, A. Greiner, M. Benabdenbi : “Fully Distributed Initialization Procedure for a 2D-Mesh NoC, Including Off Line BIST and Partial Deactivation of Faulty Components”, The 16^th IEEE International On-Line Testing Symposium (IOLTS), Corfu, Greece, pp. 194-196 [Zhang 2010]
Y. Zhang : “Modeling Automated Highway Systems with VeriJ”, MOdelling and VErifying parallel Processes (MOVEP), Aachen, Germany, pp. 138-143 [Zhang 2010a]
Y. Zhang, B. Bérard, F. Kordon, Y. Thierry‑Mieg : “Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams”, 11^th International Workshop on Discrete Event Systems (WODES'10), Berlin, Germany, pp. 281-286, (IFAC/Elsevier) [Zhang 2010b]
Sh. Zhao, F. Precioso, M. Cord : “STTK-based Video Object Recognition”, ICIP 2010 - 17^th IEEE International Conference on Image Processing, Hong-Kong, Hong Kong, pp. 3873-3876, (IEEE) [Zhao 2010]
J. Zhu, F. Kordon : “A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL”, 2^nd International Conference on Information Management and Engineering (ICIME 2010), Chengdu, China, pp. 304-310, (IEEE) [Zhu 2010]
E. Zianbetov, M. Javidan, F. Anceau, D. Galayko, E. Colinet, J. Juillard : “Design and VHDL Modeling of All-Digital PLLs”, 8^th IEEE International NEWCAS Conference (NEWCAS'10), Montreal, Canada, pp. 293-296, (IEEE) [Zianbetov 2010]