Ident. | Authors (with country if any) | Title |
---|
000012 (2016-06-06) |
Lautaro Dolberg [Luxembourg (pays)] ; Jerome Francois [France] ; Shihabur Chowdhury [Canada] ; Reaz Ahmed [Canada] ; Engel Thomas [Luxembourg (pays)] ; Raouf Boutaba [Canada] | A Generic Framework to Support Application-Level Flow Management in Software-Defined Networks |
000128 (2016) |
Pegah Kamousi [Belgique] ; Sylvain Lazard [France] ; Anil Maheshwari [Canada] ; Stefanie Wuhrer [France] | Analysis of Farthest Point Sampling for Approximating Geodesics in a Graph |
000132 (2016) |
Miguel Couceiro [France] ; Lucien Haddad [Canada] ; Karsten Schölzel [Luxembourg (pays)] ; Tamas Waldhauser [Hongrie] | A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones |
000141 (2016) |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000192 (2015-12-14) |
Thomas Creutzig [Canada] ; Yasuaki Hikida [Japon] ; Peter R Nne [France] | Correspondences between WZNW models and CFTs with W -algebra symmetry |
000210 (2015-12) |
Henryk Fuk [Canada] ; Nazim Fatès [France] | Local structure approximation as a predictor of second order phase transitions in asynchronous cellular automata |
000284 (2015-10-12) |
David Adrian [France] ; Karthikeyan Bhargavan [France] ; Zakir Durumeric [France] ; Pierrick Gaudry [France] ; Matthew Green [États-Unis] ; J. Alex Halderman [France] ; Nadia Heninger [États-Unis] ; Drew Springall [États-Unis] ; Emmanuel Thomé [France] ; Luke Valenta [États-Unis] ; Benjamin Vandersloot [France] ; Eric Wustrow [France] ; Santiago Zanella-Béguelin [Canada] ; Paul Zimmermann [France] | Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice |
000285 (2015-10-12) |
Guillaume Bonfante [France] ; Jose Fernandez [Canada] ; Jean-Yves Marion [France] ; Benjamin Rouxel [France] ; Fabrice Sabatier [France] ; Aurélien Thierry [France] | CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions |
000309 (2015-09-28) |
Valmi Dufour-Lussier [Canada] ; Jean Lieber [France] | Evaluating a textual adaptation system |
000403 (2015-08-14) |
Miguel Couceiro [France] ; Lucien Haddad [Canada] ; Karsten Schölzel [Luxembourg (pays)] ; Tamas Waldhauser [Hongrie] | On the interval of strong partial clones of Boolean functions containing Pol({(0,0),(0,1),(1,0)}) |
000408 (2015-08-10) |
Gilles-Philippe Paillé [Canada] ; Nicolas Ray [France] ; Pierre Poulin [Canada] ; Alla Sheffer [Canada] ; Bruno Lévy [France] | Dihedral angle-based maps of tetrahedral meshes |
000415 (2015-08-03) |
Lautaro Dolberg [Luxembourg (pays)] ; Jérôme François [France] ; Shihabur Chowdhury [Canada] ; Reaz Ahmed [Canada] ; Raouf Boutaba [Canada] ; Thomas Engel [Luxembourg (pays)] | Network Configuration and Flow Scheduling for Big Data Applications |
000439 (2015-07-22) |
Djemel Ziou [Canada] ; Dayron Rizo-Rodriguez [Canada] ; Antoine Tabbone [France] ; Nafaa Nacereddine [Algérie] | Head Pose Classification Using a Bidimensional Correlation Filter |
000535 (2015-05-18) |
Miguel Couceiro [France] ; Lucien Haddad [Canada] ; Maurice Pouzet [France] ; Karsten Schölzel [Luxembourg (pays)] | Hereditary Rigid Relations. |
000561 (2015-05) |
Rémi Badonnel [France] ; Xiao Jin [États-Unis] ; Ata Shingo [Japon] ; Filip Turck [Belgique] ; Groza Voicu [Canada] ; Carlos Raniery Paula Dos Santos [Brésil] | Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015). |
000623 (2015-03) |
Éric Schost [Canada] ; Pierre-Jean Spaenlehauer [France] | A Quadratically Convergent Algorithm for Structured Low-Rank Approximation |
000638 (2015-02-02) |
Jérémie Lefebvre [Suisse] ; Axel Hutt [France] ; Jean-François Knebel [Suisse] ; Kevin Whittingstall [Canada] ; Micah Murray [Suisse] | Stimulus statistics shape oscillations in non-linear recurrent neural networks |
000639 (2015-02-02) |
Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada] | On Synthesizing a Consistent Operational Transformation Approach |
000661 (2015-01-02) |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis |
000682 (2015) |
Nafaa Nacereddine [Algérie] ; Salvatore Tabbone [France] ; Djemel Ziou [Canada] | Similarity transformation parameters recovery based on Radon transform. Application in image registration and object recognition |
000691 (2015) |
Miguel Couceiro [France] ; Lucien Haddad [Canada] ; Ivo G. Rosenberg [Canada] | Partial clones containing all Boolean monotone self-dual partial functions |
000734 (2015) |
François Pomerleau [Canada] ; Francis Colas [France] ; Roland Siegwart [Suisse] | A Review of Point Cloud Registration Algorithms for Mobile Robotics |
000819 (2014-12-24) |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Antonio Capone [Italie] ; Luca G. Gianoli [Italie] ; Brunilde Sans [Canada] | On the energy cost of robustness and resiliency in IP networks |
000861 (2014-12) |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Formal Evaluation of Landing Gear System |
000866 (2014-11-30) |
Manu J. Dubin ; Pei Zhang [République populaire de Chine] ; Dazhe Meng [République populaire de Chine] ; Marie-Stanislas Remigereau ; Edward J. Osborne ; Francesco Paolo Casale ; Philipp Drewe ; André Kahles ; Géraldine Jean [France] ; Bjarni Vilhjálmsson ; Joanna Jagoda ; Selen Irez ; Viktor Voronin [Autriche] ; Qiang Song [Canada] ; Quan Long [France] ; Gunnar R Tsch ; Oliver Stegle ; Richard M. Clark [États-Unis] ; Magnus Nordborg | DNA methylation in Arabidopsis has a genetic basis and shows evidence of local adaptation. |
000931 (2014-09-22) |
Henryk Fuk [Canada] ; Nazim Fatès [France] | Bifurcations of Local Structure Maps as Predictors of Phase Transitions in Asynchronous Cellular Automata |
000944 (2014-09-14) |
Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Meagan Newman [Canada] ; Valerie Shalin [France] ; François Charoy [France] | Studying the Effect of Delay on Group Performance in Collaborative Editing |
000A25 (2014-07-22) |
Neeraj Kumar Singh [Canada] ; Dominique Méry [France] | Event B (english version) |
000A61 (2014-07) |
Jian Li [République populaire de Chine] ; Ye-Qiong Song [France] ; Xue Liu [Canada] | Introduction to special issue on Embedded Computing and Systems |
000A90 (2014-06-22) |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | The Semantics of Refinement Chart |
000B19 (2014-06-02) |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Analysis of Self-* and P2P Systems using Refinement |
000B23 (2014-06-02) |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Modeling an Aircraft Landing System in Event-B |
000B55 (2014-05-19) |
Miguel Couceiro [France] ; Lucien Haddad [Canada] ; Karsten Schölzel [Luxembourg (pays)] ; Tamas Waldhauser [Hongrie] | Relation Graphs and Partial Clones on a 2-Element Set |
000C21 (2014-04-03) |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Modelling an Aircraft Landing System in Event-B (Full Report) |
000C29 (2014-04) |
Chongyang Ma [États-Unis] ; Nicholas Vining [Canada] ; Sylvain Lefebvre [France] ; Alla Sheffer [Canada] | Game Level Layout from Design Specification |
000C81 (2014-02-12) |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Antonio Capone [Italie] ; Luca G. Gianoli [Italie] ; Brunilde Sans [Canada] | Energy management through optimized routing and device powering for greener communication networks |
000D38 (2014) |
Nafaa Nacereddine [Algérie] ; Salvatore Tabbone [France] ; Djemel Ziou [Canada] | Robustness of Radon transform to white additive noise: ggeneral case study |
000D88 (2014) |
Laszlo Szathmary [Hongrie] ; Petko Valtchev [Canada] ; Amedeo Napoli [France] ; Robert Godin [Canada] ; Alix Boc [Canada] ; Vladimir Makarenkov [Canada] | A fast compound algorithm for mining generators, closed itemsets, and computing links between equivalence classes |
000E28 (2014) |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
000E32 (2014) |
J. I. Lopez-Moreno [Espagne] ; J. Revuelto [Espagne] ; M. Gilaberte [Espagne] ; E. Moran-Tejeda [Espagne] ; M. Pons [Andorre] ; E. Jover [Andorre] ; P. Esteban [Andorre] ; C. Garcia [Espagne] ; J. W. Pomeroy [Canada] | The effect of slope aspect on the response of snowpack to climate warming in the Pyrenees |
000E35 (2014) |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000E57 (2014) |
Dominique Méry [France] ; Bernhard Sch Tz [Allemagne] ; Alan Wassyng [Canada] | The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062) |
000E72 (2014) |
Jean-Luc Danger [France] ; Mourad Debbabi [Canada] ; Jean-Yves Marion [France] ; Joaquin Garcia-Alfaro [France] ; Nur Zincir Heywood [Canada] | Foundations and practice of security : 6th international symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, revised selected papers |
000E82 (2014) |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Analysis of Self-* and P2P Systems using Refinement (Full Report) |
000F06 (2013-12-07) |
Cécile Low-Kam [France] ; Chedy Raïssi [France] ; Mehdi Kaytoue [France] ; Jian Pei [Canada] | Mining Statistically Significant Sequential Patterns |
000F18 (2013-12) |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Antonio Capone [Italie] ; Luca Gianoli [Italie] ; Brunilde Sans [Canada] | Robust Energy Management for Green and Survivable IP Networks |
000F19 (2013-12) |
Liliana Cucu-Grosjean [France] ; Robert Davis [Canada] | Proceedings of 1st International Workshop on Mixed-Criticality Systems |
000F56 (2013-11) |
Pegah Kamousi [Belgique] ; Sylvain Lazard [France] ; Anil Maheshwari [Canada] ; Stefanie Wuhrer [Allemagne] | Analysis of Farthest Point Sampling for Approximating Geodesics in a Graph |
001009 (2013-09-23) |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero Alejandro | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors |
001088 (2013-08) |
Gilles-Philippe Paillé [Canada] ; Pierre Poulain [Canada] ; Bruno Lévy [France] | Fitting Polynomial Volumes to Surface Meshes with Voronoï Squared Distance Minimization |
001135 (2013-07) |
Robert Davis [Canada] ; Luca Santinelli [France] ; Sebastian Altmeyer ; Claire Maiza [France] ; Liliana Cucu-Grosjean [France] | Analysis of Probabilistic Cache Related Pre-emption Delays |