Skip to Main content Skip to Navigation

inria-00166947v1  Conference papers
Humberto AbdelnurOlivier FestorRadu State. KiF: A stateful SIP Fuzzer
1st International Conference on Principles, Systems and Applications of IP Telecommunications (IPTComm), Columbia University, Jul 2007, New York, United States
inria-00148363v2  Conference papers
Humberto AbdelnurRadu StateIsabelle ChrismentCristian Popi. Assessing the security of VoIP Services
The Tenth IFIP/IEEE International Symposium on Integrated Network Management - IM 2007, IEEE Communication Society, May 2007, Munich, Germany. pp.373-382
inria-00170335v1  Conference papers
Frédéric Alexandre. Coordination, attention, communication
ICANN Workshop "What it means to communicate", Sep 2007, Porto, Portugal. 10 p
inria-00146362v3  Conference papers
Oana AndreiHélène Kirchner. Graph Rewriting and Strategies for Modeling Biochemical Networks
International Workshop on Natural Computing and Applications - NCA 2007, Sep 2007, Timisoara, Romania
inria-00139363v2  Conference papers
Oana AndreiHélène Kirchner. A Rewriting Calculus for Multigraphs with Ports
The Eighth International Workshop on Rule-Based Programming (RULE 2007), Jun 2007, Paris, France. pp.20
inria-00110628v1  Journal articles
Michael AronGilles SimonMarie-Odile Berger. Use of Inertial Sensors to Support Video Tracking
Computer Animation and Virtual Worlds, Wiley, 2007, 18, pp.57-68. ⟨10.1002/cav.161⟩
inria-00165869v1  Conference papers
Michael AronNicolas FerveurErwan KerrienMarie-Odile BergerYves Laprie. Acquisition and synchronization of multimodal articulatory data
8th Annual Conference of the International Speech Communication Association - Interspeech'07, Aug 2007, Antwerpen, Belgium. pp.1398-1401
inria-00153620v1  Conference papers
Rémi BadonnelRadu StateIsabelle ChrismentOlivier Festor. A Management Platform for Tracking Cyber Predators in Peer-to-Peer Networks
The Second International Conference on Internet Monitoring and Protection - ICIMP 2007, 2007, Santa Clara, CA, United States
inria-00153547v1  Book sections
Rémi BadonnelRadu StateOlivier Festor. Management of Ad-Hoc Networks
Jan Bergstra and Mark Burgess. Handbook of Network and System Administration, Elsevier B.V., pp.331-360, 2007, 978-0-444-52198-9
inria-00153555v1  Journal articles
Rémi BadonnelRadu StateOlivier Festor. A Probabilistic Approach for Managing Mobile Ad-Hoc Networks
IEEE Transactions on Network and Service Management, IEEE, 2007, 4 (1), pp.39-50. ⟨10.1109/TNSM.2007.030104⟩
inria-00167717v1  Conference papers
Rémi BadonnelMark Burgess. Fault Detection in Autonomic Networks using the Concept of Promised Cooperation
18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'07, MANWEEK'07), IEEE Communications Society, Oct 2007, San José, CA, United States
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-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-00186141v1  Conference papers
Paolo BaldanClara BertolissiHoratiu CirsteaClaude Kirchner. Towards a sharing strategy for the graph rewriting calculus
7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
inria-00110872v1  Journal articles
Paolo BaldanClara BertolissiHoratiu CirsteaClaude Kirchner. A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
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-00129515v1  Conference papers
Emilie BallandPaul Brauner. Term-graph rewriting in Tom using relative positions
4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. pp.3-17
inria-00129513v1  Conference papers
Emilie BallandPierre-Etienne MoreauAntoine Reilles. Bytecode rewriting in Tom
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation - BYTECODE 07, Mar 2007, Braga, Portugal. pp.19-33
inria-00142045v1  Conference papers
Emilie BallandPaul BraunerRadu KopetzPierre-Etienne MoreauAntoine Reilles. Tom: Piggybacking rewriting on java
Conference on Rewriting Techniques and Applications - RTA'07, Jun 2007, Paris/France, France. pp.36-47
inria-00118309v1  Conference papers
Sabine BarratAntoine Tabbone. A progressive learning method for symbols recognition
22nd Annual ACM Symposium on Applied Computing - SAC 2007, Mar 2007, Seoul, South Korea. pp.627-631
inria-00179764v1  Conference papers
Sabine BarratAntoine TabbonePatrick Nourrissier. A Bayesian classifier for symbol recognition
Seventh International Workshop on Graphics Recognition - GREC'2007, IAPR TC-10 (Technical Committee on Graphics Recognition), Sep 2007, Curitiba, Brazil. 9 p
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
inria-00169993v3  Reports
Frédéric BeckOlivier FestorIsabelle Chrisment. IPv4 to IPv6 Transition Engine
[Technical Report] RT-0344, INRIA. 2007, pp.38
inria-00169995v3  Reports
Frédéric Beck. NetFlow, RMON and Cisco-NAM deployment
[Technical Report] RT-0343, INRIA. 2007, pp.27
inria-00153558v1  Conference papers
Frédéric BeckThibault CholezOlivier FestorIsabelle Chrisment. Monitoring the Neighbor Discovery Protocol
The Second International Workshop on IPv6 Today - Technology and Deployment - IPv6TD 2007, Mar 2007, Guadeloupe/French Caribbean, Guadeloupe
inria-00155143v1  Conference papers
Nazim BenaissaDominique CansellDominique Mery. Integration of Security Policy into System Modeling
The 7th International B Conference - B2007, Jan 2007, Besançon, France
inria-00167681v1  Conference papers
Rokia BendaoudAmine Mohamed Rouane HaceneYannick ToussaintBertrand DelecroixAmedeo Napoli. Text-based ontology construction using relational concept analysis
International Workshop on Ontology Dynamics - IWOD 2007, Jun 2007, Innsbruck, Austria
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
inria-00169216v1  Conference papers
Marie-Odile Berger. Realistic Face Animation From Sparse Stereo Meshes
International Conference on Auditory-Visual Speech Processing 2007 - AVSP 2007, Antonie Bors, Emiel Krahmer, Marc Swerts, Jean Vroomen, Sep 2007, Hilvarenbeek, Netherlands. pp.62--67
inria-00134882v1  Conference papers
Arne-Jørgen BerreGiovanna Di Marzo SerugendoDjamel KhadraouiFrançois CharoyGeorge Athanasopoulos et al.  SAMBA - An agent architecture for ambient intelligence elements interoperability
3rd International Conference Interoperability for Enterprise Software and Applications - I-ESA 2007, Mar 2007, Funchal, Portugal. pp.741-752
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-00121792v1  Conference papers
Clara BertolissiClaude Kirchner. The Rewriting Calculus as a Combinatory Reduction System
Tenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. pp.78-92, ⟨10.1007/978-3-540-71389-0_7⟩
inria-00187732v1  Book sections
Frédéric BimbotOlivier BoëffardDelphine CharletDominique FohrSacha Krstulovic et al.  Selecting Representative Speakers for a Speech Database on the Basis of Heterogeneous Similarity Criteria
Christian Müller. Speaker Classification II, 4441, Springer Berlin / Heidelberg, pp.276-292, 2007, Lecture Notes in Computer Science, 978-3-540-74121-3. ⟨10.1007/978-3-540-74122-0_21⟩
inria-00168304v1  Conference papers
Frédéric BlanquiJean-Pierre JouannaudAlbert Rubio. HORPO with Computability Closure : A Reconstruction
14th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Oct 2007, Yerevan, Armenia
inria-00095110v1  Conference papers
Frédéric BlanquiThérèse HardinPierre Weis. On the implementation of construction functions for non-free concrete data types
16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.95-109, ⟨10.1007/978-3-540-71316-6_8⟩
inria-00160586v2  Conference papers
Frédéric BlanquiJean-Pierre JouannaudPierre-Yves Strub. Building Decision Procedures in the Calculus of Inductive Constructions
16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Jacques Duparc, Sep 2007, Lausanne, Switzerland. ⟨10.1007/978-3-540-74915-8_26⟩
inria-00161092v1  Conference papers
Frédéric Blanqui. Computability Closure: Ten Years Later
Colloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. ⟨10.1007/978-3-540-73147-4_4⟩
inria-00129391v3  Conference papers
Guillaume BonfanteYves Guiraud. Intensional properties of polygraphs
4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007, Mar 2007, Braga, Portugal. ⟨10.1016/j.entcs.2008.03.034⟩
inria-00185232v1  Conference papers
Guillaume BonfanteJoseph Le Roux. INtersection Optimization is NP-Complete
Sixth International Workshop on Finite-State Methods and Natural Language Processing - FSMNLP 2007, Sep 2007, Postdam, Germany
inria-00176201v1  Conference papers
Ciprian BorceaXavier GoaocSylvain Petitjean. Line transversals to disjoint balls
23rd Annual ACM Symposium on Computational Geometry 2007 - SoCG'07, 2007, Gyeongju, South Korea. pp.245-254, ⟨10.1145/1247069.1247115⟩
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-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
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-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-00170183v1  Conference papers
Amine BoumazaBruno Scherrer. Convergence and Rate of Convergence of a Foraging Ant Model
IEEE Congress on Evolutionary Computation - IEEE CEC 2007, Sep 2007, Singapour, Singapore. 8 p
inria-00170185v1  Conference papers
Amine BoumazaBruno Scherrer. Optimal control subsumes harmonic control
IEEE International Conference on Robotics and Automation - ICRA 07, Apr 2007, Rome, Italy. pp.2841-2846
inria-00170186v1  Conference papers
Amine BoumazaBruno Scherrer. Convergence and rate of convergence of a simple ant model
International Conference on Autonomous Agents and Multiagent Systems - AAMAS'07, May 2007, Honolulu Hawaii, United States. pp.607-609
inria-00102948v1  Book sections
Olivier BournezManuel L. Campagnolo. A Survey on Continuous Time Computation
Barry Cooper, Benedikt Löwe and Andrea Sorbi. New Computational Paradigms: Changing Conceptions of What is Computable, Springer, pp.383-424, 2007, 978-0387360331
inria-00184553v1  Conference papers
Ghazi BouselmiDominique FohrIrina IllinaJean-Paul Haton. Discriminative Phoneme Sequences Extraction for Non-Native Speaker's Origin Classification
International Symposium on Signal Processing and its Applications - ISSPA 2007, Feb 2007, Sharjah, Saudi Arabia
inria-00171786v1  Conference papers
Anne BoyerSylvain Castagnos. Adaptive Predictions in a User-Centered Recommender System
3rd International Conference on Web Information Systems and Technologies (Webist 2007), INSTICC and Open University of Catalonia, Mar 2007, Barcelona, Spain
inria-00119476v1  Conference papers
Anne BoyerArmelle Brun. Towards a statistical grammar of usage for document retrieval in digital libraries
9th International Symposium on Signal Processing and its Applications - ISSPA'07, Feb 2007, Shirjah, United Arab Emirates. pp.1-4, ⟨10.1109/ISSPA.2007.4555494⟩
inria-00172231v1  Conference papers
Anne BoyerArmelle Brun. Natural language processing for usage based indexing of web resources
29th European Conference on Information Retrieval - ECIR'07, Fondazione Ugo Bordoni; BCS-IRSG; ACM SIGIR, Apr 2007, Rome, Italy. pp.517-524, ⟨10.1007/978-3-540-71496-5_46⟩
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-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
inria-00133557v3  Conference papers
Paul BraunerClement HoutmannClaude Kirchner. Principles of Superdeduction
Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
inria-00141672v2  Conference papers
Paul BraunerClément HoutmannClaude Kirchner. Superdeduction at work
Colloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. pp.132-166, ⟨10.1007/978-3-540-73147-4⟩
inria-00187614v1  Conference papers
Richard BrentPaul Zimmermann. A Multi-level Blocking Distinct Degree Factorization Algorithm
8th International Conference on Finite Fields and Applications (Fq8), Jul 2007, Melbourne, Australia
inria-00120352v2  Journal articles
Richard BrentColin PercivalPaul Zimmermann. Error Bounds on Complex Floating-Point Multiplication
Mathematics of Computation, American Mathematical Society, 2007, 76, pp.1469-1481
inria-00119254v2  Conference papers
Nicolas BrisebarreGuillaume Hanrot. Floating-Point $L^2$-Approximations
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩
inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
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-00187084v1  Conference papers
Armelle BrunDavid LangloisKamel Smaïli. Improving language models by using distant information
International Symposium on Signal Processing and its Applications - ISSPA 2007, Feb 2007, Sharjah, United Arab Emirates
inria-00172234v1  Conference papers
Armelle BrunAnne Boyer. Usage based indexing of web resources with natural language processing
3rd International Conference on Web Information Systems and Technologies - Webist 07, INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; Open University of Catalonia, Mar 2007, Barcelone, Spain
inria-00186833v1  Conference papers
Luc BuatoisGuillaume CaumonBruno Lévy. Concurrent Number Cruncher : An Efficient Sparse Linear Solver on the GPU
High Performance Computation Conference - HPCC'07, University of Houston, Sep 2007, Houston, United States. pp.358-371, ⟨10.1007/978-3-540-75444-2_37⟩
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⟩
inria-00118983v1  Journal articles
Olivier BuffetAlain DutechFrançois Charpillet. Shaping Multi-Agent Systems with Gradient Reinforcement Learning
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2007, 15 (2), pp.197--220. ⟨10.1007/s10458-006-9010-5⟩
inria-00115556v3  Conference papers
Guillaume BurelClaude Kirchner. Cut Elimination in Deduction Modulo by Abstract Completion
Symposium on Logical Foundations of Computer Science LFCS'07, Sergei Artemov, Jun 2007, New York, United States. pp.115-131, ⟨10.1007/978-3-540-72734-7_9⟩
inria-00138195v3  Conference papers
Guillaume Burel. Unbounded Proof-Length Speed-up in Deduction Modulo
16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Jacques Duparc, Sep 2007, Lausanne, Switzerland. pp.496-511, ⟨10.1007/978-3-540-74915-8_37⟩
inria-00186100v1  Conference papers
Martine CadotPascal CuxacAlain Lelu. Random simulations of a datatable for efficiently mining reliable and non-redundant itemsets
12th International Conference on Applied Stochastic Models and Data Analysis - ASMDA 2007, May 2007, Chania, Crête, Greece
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-00170581v1  Conference papers
Louis-Claude CanonEmmanuel Jeannot. A Comparison of Robustness Metrics for Scheduling DAGs on Heterogeneous Systems
Sixth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks - HeteroPar'07, Sep 2007, Austin, United States. 10 p
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⟩
inria-00184833v1  Conference papers
Dominique CansellJohn Paul GibsonDominique Méry. Formal verification of tamper-evident storage for e-voting
5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩
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-00168307v1  Conference papers
Dominique CansellDominique Méry. Proved-Patterns-Based Development for Structured Programs.
Computer Science - Theory and Applications, Second International, Symposium on Computer Science in Russia - CSR 2007, Ural State University (USU) ; Institute of Mathematics and Mechanics of Ural Branch of Russian Academy of Sciences, Sep 2007, Ekaterinburg, Russia. pp.104-114, ⟨10.1007/978-3-540-74510-5_13⟩
inria-00174023v1  Book sections
Dominique CansellDominique Méry. Designing old and new distributed algorithms by replaying an incremental proof-based development
Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
hal-00177235v1  Reports
Stefan CanzarErnst Althaus. Solving the extended pairwise alignment problem efficiently
[Research Report] MPI-I-2007-1-002, Max-Planck-Institut für Informatik. 2007
inria-00172651v1  Conference papers
Cindy CappelleMaan El Badaoui El NajjarFrançois CharpilletDenis Pomorski. Outdoor Obstacle Detection and Localisation with Monovision and 3D Geographical Database
The 10th International IEEE Conference on Intelligent Transportation Systems - ITSC'07, Oct 2007, Seattle, United States. pp.1102-1107
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
hal-00168194v1  Book sections
Noëlle Carbonell. Contributions of “ambient” multimodality to Universal Access
Constantine Stephanidis. The Universal Access Handbook, Lawrence Erlbaum Associates Inc., 35 p., 2007, Human Factors and Ergonomics
inria-00323838v1  Conference papers
Areces Carlos. Hybrid Logics: The Old and the New
Proceedigns of LogKCA-07, Nov 2007, San Sebastian, Spain
inria-00171796v1  Conference papers
Sylvain CastagnosAnne Boyer. Personalized Communities in a Distributed Recommender System
29th European Conference on Information Retrieval - ECIR'07, Fondazione Ugo Bordoni; BCS-IRSG; ACM SIGIR, Apr 2007, Rome, Italy. pp.343-355, ⟨10.1007/978-3-540-71496-5_32⟩
inria-00171802v1  Conference papers
Sylvain CastagnosAnne Boyer. Modeling Preferences in a Distributed Recommender System
11th International Conference on User Modeling - UM 2007, National Center for Scientific Research "Demokritos", Ionian University, and User Modeling Inc., Jun 2007, Corfu, Greece. pp.400-404, ⟨10.1007/978-3-540-73078-1_53⟩