Skip to Main content Skip to Navigation

hal-01148523v1  Conference papers
Michel CosnardLuigi Liquori. Weaving Arigatoni with a graph topology
1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
hal-00917757v1  Conference papers
Paul Zimmermann. How Fast Can We Multiply Over GF(2)[x]?
Proceedings of Conference on Algorithmic Number Theory 2007, 2007, Turku, Finland. pp.165-170
hal-00917756v1  Conference papers
Paul Zimmermann. Arithmétique entière
Journées Nationales de Calcul Formel, 2007, Luminy, France
hal-00688671v1  Journal articles
Nicolas CrouseillesGuillaume LatuEric Sonnendrücker. Hermite spline interpolation on patches for parallelly solving the Vlasov-Poisson equation
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2007, 17 (3), pp.335-349. ⟨10.2478/v10006-007-0028-x⟩
hal-00650597v1  Book sections
Nancy IdeLaurent Romary. Towards International Standards for Language Resources
Laila Dybkjær and Holmer Hemsen and Wolfgang Minker. Evaluation of Text and Speech Systems, Kluwer Academic Publishers, pp.263-284, 2007
inria-00609120v1  Conference papers
Philippe de GrooteSarah MaarekRyo Yoshinaka. On two Extensions of Abstract Categorial Grammars
14th International Conference on Logic for Programming, Artificial Intel ligence and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. pp.273-287, ⟨10.1007/978-3-540-75560-9_21⟩
hal-00607575v1  Conference papers
Marc BenoîtCatherine MignoletSylvia HerrmannDavide RizzoAnna Camilla Moonen et al.  Landscape as designed by farming systems: a challenge for landscape agronomists in Europe
Farming Systems Design 2007, International symposium on Methodologies for Integrated Analysis of Farm Production Systems, 2007, Catania, Italy
hal-00605348v1  Conference papers
Stéphane MarchesinJean-Michel DischlerCatherine Mongenet. Feature Enhancement using Locally Adaptive Volume Rendering
IEEE/EG International Symposium on Volume Graphics, Sep 2007, Prague, Czech Republic
inria-00188456v1  Journal articles
Sunayana GhoshSylvain PetitjeanGert Vegter. Approximation by conic splines
Mathematics in Computer Science, Springer, 2007, 1 (1), pp.39-69. ⟨10.1007/s11786-007-0004-8⟩
inria-00596488v1  Conference papers
Salah HamriNacer BoudjlidaMahmoud Boufaida. An Approach for Building an OWL Ontology for Workflow Interoperability
3rd International Conference on Interoperability of Enterprise Software and Applications, Mar 2007, Madera, Portugal. pp.357-360, ⟨10.1007/978-1-84628-858-6_39⟩
inria-00594883v1  Journal articles
Dominique CansellDominique Méry. Incremental Parametric Development of Greedy Algorithms
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62. ⟨10.1016/j.entcs.2007.05.028⟩
inria-00594662v1  Conference papers
Olivier HoenenEric Violard. A Block Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation
7th International Conference on Parallel Processing and Applied Mathematics, Sep 2007, Gdańsk, Poland. pp.108-117, ⟨10.1007/978-3-540-68111-3_12⟩
inria-00594389v1  Journal articles
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automated Verification of a Key Management Architecture for Hierarchical Group Protocols
Annals of Telecommunications - annales des télécommunications, Springer, 2007, 62 (11-12), pp.1365-1387
inria-00580419v1  Book sections
Frédéric CazalsMarc Pouget. Estimation of Local Differential Properties
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
inria-00580418v1  Book sections
Frédéric CazalsMarc Pouget. Approximation of Ridges and Umbilics on Triangulated Surface Meshes
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
inria-00168313v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. Deterministic Nonlinear Modeling of Ant Algorithm with Logistic Multi-Agent System
International Conference on Autonomous Agents and Multiagent Systems - AAMAS'07, May 2007, Honolulu Hawaii, United States. pp.920-922, ⟨10.1145/1329125.1329293⟩
inria-00168315v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. A Nonlinear Multi-agent System designed for Swarm Intelligence : the Logistic MAS
First IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2007, Jul 2007, Boston, United States. pp.32-44, ⟨10.1109/SASO.2007.1⟩
inria-00168317v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. Flocking as a Synchronization Phenomenon with Logistic Agents
European Conference on Complex Systems - ECCS'07, Oct 2007, Dresden, Germany
inria-00177010v1  Conference papers
Nicolas PadoyTobias BlumIrfan EssaHubertus FeussnerMarie-Odile Berger et al.  A Boosted Segmentation Method for Surgical Workflow Analysis
10th International Conference on Medical Image Computing and Computer Assisted Intervention - MICCAI 2007, Oct 2007, Brisbane, Australia. pp.102-109, ⟨10.1007/978-3-540-75757-3_13⟩
inria-00164807v1  Conference papers
Nicolas NouryFrédéric SurMarie-Odile Berger. Fundamental matrix estimation without prior match
14th IEEE International Conference on Image Processing - ICIP 2007, Sep 2007, San Antonio, Texas, United States. pp.I - 513 - I - 516, ⟨10.1109/ICIP.2007.4379004⟩
inria-00509337v1  Journal articles
Olivier Buffet. Reachability Analysis for Uncertain SSPs
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2007, 16 (4), pp.725-749. ⟨10.1142/S0218213007003527⟩
hal-00463629v1  Conference papers
Pascal Urso. Verification of data consistency for P2P collaborative editing
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France
hal-00447628v1  Conference papers
Mohamed Salah BouassidaMohamed Bouali. On the performance of group key management protocols in MANETs
Joint Conference on Security in Network Architectures and Information Systems (SAR-SSI‘07), Jun 2007, Annecy, France. pp.275-286
inria-00434090v1  Journal articles
Otfried CheongHazel EverettHyo-Sil KimSylvain LazardRené Schott. Parabola separation queries and their application to stone throwing
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.349-360. ⟨10.1142/S0218195907002379⟩
inria-00433391v1  Journal articles
Hejiao HuangHélène KirchnerSongyun LiuWeili Wu. Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems
International Journal of Security and Networks, Inderscience, 2007, 4 (4), pp.223-233
hal-00433033v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Compensation in Collaborative Editing
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States. 6 p
inria-00432360v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Wooki: A P2P Wiki-Based Collaborative Writing Tool
8th International Conference on Web Information Systems Engineering – WISE 2007, Dec 2007, Nancy, France. pp.503-512, ⟨10.1007/978-3-540-76993-4_42⟩
inria-00432220v1  Conference papers
Charbel RahhalHala Skaf-MolliPascal MolliNishadi Desilva. SemCW: Semantic Collaborative Writing using RST
The 3rd International Conference on Collaborative Computing:Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, New York, United States. pp.484-493, ⟨10.1109/COLCOM.2007.4553879⟩
inria-00181775v1  Conference papers
Xavier GoaocJan KratochvilYoshio OkamotoChan-Su ShinAlexander Wolff. Moving vertices to make drawings plane
15th International Symposium on Graph Drawing, Sep 2007, Sydney, Australia. pp.101-112, ⟨10.1007/978-3-540-77537-9_13⟩
inria-00401785v1  Conference papers
Bin GuoAmine BermakMaxime AmbardDominique Martinez. A 4×4 Logarithmic Spike Timing Encoding Scheme for Olfactory Sensor Applications
International Symposium on Circuits and Systems - ISCAS 2007, May 2007, New Orleans, United States. pp.3554 - 3557, ⟨10.1109/ISCAS.2007.378450⟩
inria-00401534v1  Journal articles
Axel HuttAndre LongtinLutz Schimansky-Geier. Additive global noise delays Turing bifurcations
Physical Review Letters, American Physical Society, 2007, 98 (23), pp.230601-1 - 230601-4. ⟨10.1103/PhysRevLett.98.230601⟩
inria-00338679v1  Conference papers
Marie-Dominique MorchMalika Smaïl-Tabbone. Workshop PC Chairs' Message. Web Data Integration for Mining in the Life Sciences (WebDIM4LS)
International Workshops on Web Information Systems Engineering – WISE 2007 Workshops, Dec 2007, Nancy, France. pp.3-4, ⟨10.1007/978-3-540-77010-7_1⟩
inria-00338095v1  Conference papers
Linqiao ZhangHazel EverettSylvain LazardSue Whitesides. Towards an Implementation of the 3D Visibility Skeleton
23rd Annual Symposium on Computational Geometry, Jun 2007, Gyeongju, South Korea. pp.131 - 132, ⟨10.1145/1247069.1247094⟩
hal-00177936v1  Conference papers
Aurélie BertauxAgnès BraudFlorence Le Ber. Mining Complex Hydrobiological Data with Galois Lattices
International Workshop on Advances in Conceptual Knowledge Engineering (ACKE'07), 2007, Regensburg, Germany. pp.519--523
inria-00336524v1  Books
Jacques BahiSylvain Contassot-VivierRaphael Couturier. Parallel Iterative Algorithms: from sequential to grid computing
Chapman & Hall/CRC, pp.240, 2007, Numerical Analysis & Scientific Computing Series, 9781584888086
inria-00333903v1  Reports
Louis-Claude CanonEmmanuel JeannotRizos SakelariouWei Zheng. Comparative Evaluation of the Robustness of DAG Scheduling Heuristics
[Research Report] CoreGRID Institute on Resource Management and Scheduling, TR-0120, 2007
inria-00332460v1  Conference papers
Cindy CappelleMaan El Badaoui El NajjarFrançois CharpilletDenis Pomorski. Obstacles detection and localisation with 3D geographical model and monovision
IEEE Intelligent Transportation Systems Conference - ITSC'07, Sep 2007, Seattle, United States. pp.1102-1107
inria-00326931v1  Conference papers
Claire ChauvinSever Adrian HirstoagaPavla KabelikovaAntoine RousseauFrédéric Bernardin et al.  Solving the Uniform Density Constraint in a Stochastic Downscaling Model
CEMRACS 2007 - Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique, Aug 2007, Marseille, France. pp.97-110, ⟨10.1051/proc:2008032⟩
inria-00188020v1  Conference papers
Jérôme FrançoisAdel El-AtawyEhab Al ShaerRaouf Boutaba. A collaborative approach for proactive detection of distributed denial of service attacks
IEEE Workshop on Monitoring, Attack Detection and Mitigation - MonAM'2007, Nov 2007, Toulouse, France
inria-00166536v2  Journal articles
Jérémy FixNicolas P. RougierFrédéric Alexandre. From physiological principles to computational models of the cortex
Journal of Physiology - Paris, Elsevier, 2007, Neuro-Computation: From Sensorimotor Integration to Computational Frameworks, 101 (1-3), pp.32-39. ⟨10.1016/j.jphysparis.2007.10.009⟩
inria-00168415v1  Conference papers
Jérôme FrançoisRadu StateOlivier Festor. Malware models for network and service management
First International Conference on Autonomous Infrastructure, Management and Security, AIMS, Jun 2007, Oslo, Norway. pp.192-195, ⟨10.1007/978-3-540-72986-0_23⟩
inria-00170425v1  Conference papers
Jérôme FrançoisRadu StateOlivier Festor. Botnets for scalable management
18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'07, MANWEEK'07), Oct 2007, San José, United States
inria-00323838v1  Conference papers
Areces Carlos. Hybrid Logics: The Old and the New
Proceedigns of LogKCA-07, Nov 2007, San Sebastian, Spain
inria-00323697v1  Conference papers
Karl Tombre. Is Graphics Recognition an Unidentified Scientific Object?
7th International Workshop on Graphics Recognition, Sep 2007, Curitiba, Brazil. pp.329-334, ⟨10.1007/978-3-540-88188-9_31⟩
inria-00164420v1  Conference papers
Balamurugan KarpagavinayagamRadu StateOlivier Festor. Monitoring Architecture for Lawful Interception in VoIP Networks
Second International Conference on Internet Monitoring and Protection - ICIMP 2007, Jul 2007, Silicon Valley, United States
hal-00149163v1  Conference papers
Dominique CansellDominique MéryJoris Rehm. Time Constraint Patterns for Event B Development
7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩
hal-00184837v1  Conference papers
Joris RehmDominique Cansell. Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. pp.179-190
inria-00133666v1  Conference papers
Nawal GuermoucheSalima BenbernouEmmanuel CoqueryMohand-Said Hacid. Privacy-Aware Web Service Protocol Replaceability
IEEE International Conference on Web Services - ICWS 2007, Jul 2007, Salt Lake City, Utah, United States. pp.1048 - 1055, ⟨10.1109/ICWS.2007.143⟩
hal-00280088v1  Conference papers
Frédéric PennerathAmedeo Napoli. Mining Frequent Most Informative Subgraphs
Mining And Learning With Graphs (MLG), Aug 2007, Florence, Italy
inria-00275168v1  Conference papers
Yvan RoyonPierre ParrendStéphane FrénotSerafeim PapastefanosHumberto Abdelnur et al.  Multi-service, Multi-protocol Management for Residential Gateways
BroadBand Europe, Broadband Europe Community, Dec 2007, Antwerp, Belgium
inria-00274919v1  Conference papers
Emilie BallandPierre-Etienne MoreauAntoine Reilles. Rewriting Strategies in Java
The Eighth International Workshop on Rule-Based Programming - RBP'07, Jun 2007, Paris, France
inria-00216024v1  Conference papers
Karim BaïnaF.-Z. AzayiteN. BelakbirH. SrirKhalid Benali. Workflow Engines Comparison Model
First IEEE International Conference on Research Challenges in Information Science - RCIS 2007, EMSI (Ecole Marocaine des Sciences de l'Ingénieur) / IFI (Institut du Futur de l'Informatique), Apr 2007, Ouarzazate, Morocco
inria-00204098v1  Conference papers
Antoine TabboneDaniel Zuwala. An indexing method for graphical documents
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.789 - 793, ⟨10.1109/ICDAR.2007.4377023⟩
inria-00202462v1  Conference papers
Ning ZhouWeiming DongJiaxin WangJean-Claude Paul. Modeling and Visualization of Flower Color Patterns
Proceedings of the Tenth International Conference on Computer Aided Design and Computer Graphics (CAD-CG'07), School of Electronics Engineering and Computer Science, Peking University, Oct 2007, Beijing, China. pp.150 - 155, ⟨10.1109/CADCG.2007.4407872⟩
hal-00137983v1  Conference papers
Cyril MazaudJan RendekVincent BombardierLaurent Wendling. A feature selection method based on Choquet Integral and Typicality Analysis
16th International Conference on Fuzzy Systems - FUZZIEEE'07, Jul 2007, Londres, United Kingdom. pp.1703-1708, ⟨10.1109/FUZZY.2007.4295623⟩
inria-00201503v3  Reports
Jens Gustedt. Sublinear Communication for Integer Permutations
[Research Report] RR-6403, INRIA. 2007, 20 p
inria-00189423v1  Conference papers
Laszlo SzathmaryAmedeo NapoliSergei O. Kuznetsov. ZART: A Multifunctional Itemset Mining Algorithm
5th International Conference on Concept Lattices and Their Applications (CLA '07), Oct 2007, Montpellier, France. pp.26--37
tel-00195096v1  Theses
Eunyoung Kang. Tool supported real-time system verification with combination of abstraction/deduction and model checking
Software Engineering [cs.SE]. Université Henri Poincaré - Nancy I, 2007. English
inria-00189424v1  Conference papers
Laszlo SzathmaryAmedeo NapoliPetko Valtchev. Towards Rare Itemset Mining
19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI '07), Oct 2007, Patras, Greece. pp.305--312
inria-00193312v1  Conference papers
Bernard ChauvièreDominique GenietRené Schott. Contributions to the multiprocessor scheduling problem
Computational Intelligence - CI 2007, International Association of Science and Technology for Development (IASTED), Jul 2007, Banff, Canada. pp.55-60
inria-00193182v1  Conference papers
Françoise Simonot-Lion. The design of safe automotive embedded systems - Some problems, solutions and open issues
SUMMER RESEARCH PROGRAM 2007 School of Life Sciences - Ecole Polytechnique Fédérale de Lausanne (EPFL), EPFL, Jul 2007, Lausanne, Switzerland
inria-00193106v1  Conference papers
Wan ZhangPhilippe DoschAntoine Tabbone. Performance Evaluation on Several Recognition Algorithms
7th IAPR International Workshop on Graphics Recognition - GREC 2007, Josep Lladós, Sep 2007, Curitiba, Brazil. pp.86-89
inria-00192927v1  Journal articles
Olivier DevillersVida DujmovicHazel EverettSamuel HornusSue Whitesides et al.  Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.297-304. ⟨10.1142/S0218195907002343⟩
inria-00192458v1  Conference papers
Liliana Cucu. Real-time multiprocessor scheduling : feasibility issues
6th Congress of Romanian Mathematicians, Jul 2007, Bucharest, Romania
inria-00191163v1  Conference papers
Nicolas NavetLiliana CucuRené Schott. Probabilistic Estimation of Response Times Through Large Deviations
Work-in Progress of the 28th IEEE Real-Time Systems Symposium (RTSS'2007 WiP), Dec 2007, Tucson, United States
inria-00192234v1  Directions of work or proceedings
Liliana Cucu. Proceedings of Junior Researcher Workshop on Real-Time Computing
Liliana Cucu. Impressions et Reliures, Institut National Polytechnique de Lorraine, pp.65, 2007
inria-00192236v1  Journal articles
Aiko PrasJuergen SchoenwaelderMark BurgessOlivier FestorGregorio Martinez Perez et al.  Key Research Challenges in Network Management
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2007, 45 (10), pp.104-110. ⟨10.1109/MCOM.2007.4342833⟩
inria-00192213v1  Conference papers
Sébastien ColletteLiliana CucuJoël Goossens. Algorithm and complexity for the global scheduling of sporadic tasks on multiprocessors with work-limited parallelism
15th International Conference on Real-Time and Network systems - RTNS'07, Mar 2007, Nancy, France. pp.123-128
inria-00192210v1  Conference papers
Liliana CucuJoël Goossens. Feasibility Intervals for Multiprocessor Fixed-Priority Scheduling of Arbitrary Deadline Periodic Systems
10th Design, Automation and Test in Europe - DATE'07, ACM - SIGBED ; IEEE Solid-State Circuits Society (SSCS) ; IFIP ; IET, Apr 2007, Nice, France. pp.1635--1640
inria-00192071v1  Conference papers
Shahram NourizadehYe-Qiong SongJean-Pierre Thomesse. A Location-Unaware Distributed Clustering Algorithm for Mobile Wireless Networks Using Fuzzy Logic
7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems - FeT'2007, Nov 2007, Toulouse, France
inria-00191165v1  Conference papers
Christelle BraunLiliana Cucu. Negative Results on Idle Intervals and Periodicity for Multiprocessor Scheduling under EDF
Junior Researcher Workshop on Real-Time Computing - JRWRTC'07 in conjunction with the 15th International Conference on Real-Time and Network Systems - RTNS 2007, Apr 2007, Nancy, France. pp.23-26
inria-00139660v1  Conference papers
Nicolas FressengeasHervé Frezza-BuetJens GustedtStéphane Vialle. An Interactive Problem Modeller and PDE Solver, Distributed on Large Scale Architectures
Third International Workshop on Distributed Frameworks for Multimedia Applications - DFMA '07, Jun 2007, Paris, France
inria-00189964v1  Conference papers
Chung Shue ChenWing Shing WongYe-Qiong Song. The design and analysis of protocol sequences for robust wireless accessing
50th Annual IEEE Global Telecommunications Conference - GLOBECOM 2007, IEEE, Nov 2007, Washington D.C., United States
inria-00189899v1  Conference papers
Ning JiaYe-Qiong SongFrançoise Simonot-Lion. Task Handler Based on (m,k)-firm Constraint Model for Managing a Set of Real-Time Controllers
15th International Conference on Real-Time and Network Systems - RTNS 2007, Mar 2007, Nancy, France. pp.183-194
inria-00188191v1  Conference papers
Najet BoughanmiYe-Qiong Song. Improvement of zigbee routing protocol including energy and delay constraints
Junior Researcher Workshop on Real-Time Computing - JRWRTC'07 in conjunction with the 15th International Conference on Real-Time and Network Systems - RTNS 2007, Mar 2007, Nancy, France. pp.19-22
inria-00189946v1  Conference papers
Ning JiaYe-Qiong SongFrançoise Simonot-Lion. Graceful Degradation of the Quality of Control through Data Drop Policy
European Control Conference - ECC 2007, Jun 2007, Kos, Greece
inria-00189787v1  Conference papers
Amélie CordierBéatrice FuchsJean LieberAlain Mille. Interactive Knowledge Acquisition in Case Based Reasoning
Workshop on Knowledge Discovery and Similarity, a workshop of the seventh International Conference on Case-Based Reasoning (ICCBR-07), D. C. Wilson and D. Khemani (volume editors), D. Wilson and D. Khemani, Aug 2007, Belfast, United Kingdom
inria-00189782v1  Conference papers
Amélie CordierBéatrice FuchsJean LieberAlain Mille. On-Line Domain Knowledge Management for Case-Based Medical Recommendation
5th workshop on CBR in the Health Sciences, a workshop of the seventh International Conference on Case-Based Reasoning (ICCBR-07), D. C. Wilson and D. Khemani (volume editors), I. Bichindaritz and S. Montani, Aug 2007, Belfast, United Kingdom. pp.285--294
inria-00189779v1  Conference papers
Amélie CordierBéatrice FuchsJean LieberAlain Mille. Faillure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
7th International Conference on Case-Based Reasoning - ICCBR-07, D. Patterson, Aug 2007, Belfast, United Kingdom. pp.463--477, ⟨10.1007/978-3-540-74141-1_32⟩
inria-00189626v1  Conference papers
Jean Lieber. Application of the Revision Theory to Adaptation in Case-Based Reasoning: the Conservative Adaptation
7th International Conference on Case-Based Reasoning - ICCBR'07, D. Patterson, Aug 2007, Belfast, United Kingdom. pp.239-253, ⟨10.1007/978-3-540-74141-1_17⟩
inria-00189038v1  Conference papers
Otfried CheongHazel EverettMarc GlisseJoachim GudmundssonSamuel Hornus et al.  Farthest-Polygon Voronoi Diagrams
15th Annual European Symposium on Algorithms - ALGO 2007, Oct 2007, Eilat, Israel. pp.407-418, ⟨10.1007/978-3-540-75520-3_37⟩
inria-00189036v1  Conference papers
Hazel EverettSylvain LazardGiuseppe LiottaSteve Wismath. Universal Sets of n Points for 1-bend Drawings of Planar Graphs with n Vertices
The 15th International Symposium on Graph Drawing - GD 2007, Sep 2007, Sydney, Australia. pp.345-351, ⟨10.1007/978-3-540-77537-9_34⟩
inria-00103916v1  Journal articles
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  Lines and free line segments Tangent to Arbitrary Three-dimensional Convex Polyhedra
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2007, 37 (2), pp.522-551. ⟨10.1137/S0097539705447116⟩
inria-00103926v1  Journal articles
Hazel EverettSylvain LazardSylvain PetitjeanLinqiao Zhang. On the Expected Size of the 2D Visibility Complex
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.361-381. ⟨10.1142/S0218195907002380⟩
inria-00188629v1  Conference papers
Christelle BraunLionel HavetNicolas Navet. NETCARBENCH: A benchmark for techniques and tools used in the design of automotive communication systems
7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems - FeT'2007, Nov 2007, Toulouse, France. pp.321-328
hal-00165243v1  Conference papers
Nacer BoudjlidaHervé Panetto. Enterprise Semantic Modelling for Interoperability
12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'2007, Sep 2007, Patras, Greece. pp.847-854, ⟨10.1109/EFTA.2007.4416868⟩
inria-00188408v1  Conference papers
Lionel Eyraud-DuboisMartin Quinson. Assessing the Quality of Automatically Built Network Representations
Workshop on Programming Models for Grid Computing - organized at IEEE/ACM International Symposium on Cluster Computing and the Grid - CCGrid 2007, May 2007, Rio de Janeiro, Brazil. pp.795 - 800, ⟨10.1109/CCGRID.2007.25⟩
inria-00188329v1  Conference papers
Claudia-Lavinia IgnatGérald OsterPascal MolliMichelle CartJean Ferrié et al.  A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, White Plains, NY, United States. pp.474 - 483, ⟨10.1109/COLCOM.2007.4553878⟩
inria-00188265v1  Conference papers
Yanjun LiChung Shue ChenYe-Qiong SongZhi Wang. Real-time QoS support in wireless sensor networks: a survey
7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems - FeT'2007, Nov 2007, Toulouse, France