Skip to Main content Skip to Navigation

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-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-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-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-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-00182424v1  Conference papers
Claudia-Lavinia IgnatGérald OsterPascal MolliHala Skaf-Molli. A Collaborative Writing Mode for Avoiding Blind Modifications
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States
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-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
inria-00151812v1  Conference papers
Tchimou N'TakpéFrédéric SuterHenri Casanova. A Comparison of Scheduling Approaches for Mixed-Parallel Applications on Heterogeneous Platforms
6th International Symposium on Parallel and Distributed Computing - ISPDC 2007, Jul 2007, Hagenberg, Austria. pp.35-42
inria-00172406v1  Journal articles
Denis Roegel. A complex drawing in descriptive geometry
Tugboat, TeX Users Group, 2007, 28 (2), pp.218-228
inria-00166540v1  Conference papers
Jérémy Fix. A computational approach to the control of voluntary saccadic eye movements.
The 1st International Conference on Cognitive Neurodynamics : ICCN 2007, 2007, Shanghai, China
inria-00166535v1  Book sections
Jérémy FixJulien VitayNicolas P. Rougier. A distributed computational model of spatial memory anticipation during a visual search task
M.V. Butz and others. Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior, LNAI 4520, Springer-Verlag Berlin Heidelberg, 2007
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-00158908v1  Conference papers
Olfa MosbahiLeila JemniJacques Jaray. A Formal Approach for the Development of Automated Systems
2nd International Conference on Software and Data Technologies - ICSOFT 2007, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Jul 2007, Barcelone, Spain. pp.304-310
inria-00184108v1  Conference papers
Guy Perrier. A French Interaction Grammar
RANLP 2007 - International Conference on Recent Advances in Natural Language Processing, IPP & BAS & ACL-Bulgaria, Sep 2007, Borovets, Bulgaria. pp.463-467
inria-00176899v1  Journal articles
Ernest ValvenyPhilippe DoschAdam WinstanleyZhou YuYang Su et al.  A general framework for the evaluation of symbol recognition methods
International Journal on Document Analysis and Recognition, Springer Verlag, 2007, 9 (1), pp.59-74. ⟨10.1007/s10032-006-0033-x⟩
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-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-00172054v1  Conference papers
Radu StateVincent CridligOlivier Festor. A model for checking consistency in access control policies for network management
10th IFIP/IEEE International Symposium on Integrated Management (IM 2007), May 2007, Munich, Germany
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-00175743v1  Conference papers
Sergio NogueiraYassine Ruichek. A new B-Spline based active contour approach
IAPR Conference on Machine Vision Applications - MVA 2007, May 2007, Tokyo, Japan
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-00184252v1  Conference papers
Vincent RobertYves LaprieAnne Bonneau. A phonetic concatenative approach of labial coarticulation
INTERSPEECH 2007, ISCA, Aug 2007, Antwerp, Belgium. pp.1402-1405
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-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
lirmm-00163364v1  Conference papers
Amine Mohamed Rouane HaceneMarianne HuchardAmedeo NapoliPetko Valtchev. A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data
ICFCA'07: 5th International Conference Formal Concept Analysis, Feb 2007, Clermont-Ferrand, France, France. pp.51-65
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-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-00000628v3  Journal articles
Horatiu CirsteaGermain FaureClaude Kirchner. A Rho-Calculus of explicit constraint application
Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
inria-00170988v1  Conference papers
Julien ThomasCédric RoseFrançois Charpillet. A Support System for ECG Segmentation Based on Hidden Markov Models
29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - IEEE EMBC 2007, Aug 2007, Lyon, France. 4 p
inria-00170210v1  Conference papers
Maha Idrissi AouadOlivier Zendra. A Survey of Scratch-Pad Memory Management Techniques for low-power and -energy
2nd ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2007), ECOOP, Jul 2007, Berlin, Germany. pp.31-38
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-00166538v1  Conference papers
Jérémy FixNicolas P. RougierFrédéric Alexandre. A Top-down attentional system scanning multiple targets with saccades
From Computational Cognitive Neuroscience to Computer Vision : CCNCV 2007, Mar 2007, Bielefeld, Germany
inria-00178281v1  Conference papers
Jacques Lonchamp. About the Complexity of CSCL Systems
Computer Supported Collaborative Learning (CSCL 2007), International Society of the Learning Sciences, Jul 2007, Rutgers, United States
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
hal-00136202v1  Conference papers
Wahid NasriLuiz Angelo SteffenelDenis Trystram. Adaptive Performance Modeling on Hierarchical Grid Computing Environments
International Symposium on Cluster Computing and the Grid - CCGrid 2007, May 2007, France. pp.00
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-00103490v1  Journal articles
S. ChenAmine BermakW. YanDominique Martinez. Adaptive-Quantization Digital Image Sensor for Low-Power, Real-Time, Image Compression
IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications, Institute of Electrical and Electronics Engineers (IEEE), 2007, 54 (1), pp.13-25
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-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-00172339v1  Conference papers
Sana MoujahedAbderrafiaa KoukamOlivier Simonin. An Agent-Based Approach for Single and Multi-Level Location Problems
Workshop International : Logistique & Transport 2007 - LT' 2007, Nov 2007, Port el Kantaoui - Sousse, Tunisia
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-00175758v1  Book sections
Sergio NogueiraYassine RuichekFranck GechterAbderrafiaa KoukamFrançois Charpillet. An artificial vision based environment perception system
H. Abut and John H.L.Hansen and Kazuya Takeda. Advances for In-Vehicle and Mobile Systems Challenges for International Standards, Springer Edition, 2007, 0-387-33503-X
inria-00169743v1  Book sections
Farhad DaneshgarGérôme CanalsAlicia Diaz. An Awareness Framework for Divergence Knowledge Communities.
Ned F. Kock. Encyclopedia of E-Collaboration, IGI Global, pp.42-47, 2007, 159904000X. ⟨10.4018/978-1-59904-000-4.ch007⟩
inria-00186621v2  Conference papers
Joan Mas RomeuGemma SanchezJosep LladosBart Lamiroy. An Incremental On-line Parsing Algorithm for Recognizing Sketching Diagrams
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.452-456, ⟨10.1109/ICDAR.2007.4378750⟩
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-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-00129419v1  Conference papers
Claude KirchnerRadu KopetzPierre-Etienne Moreau. Anti-Pattern Matching
16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩
inria-00176055v1  Conference papers
Claude KirchnerRadu KopetzPierre-Etienne Moreau. Anti-Pattern Matching Modulo
21th International Workshop on Unification - UNIF'07, 2007, Paris, France
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-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-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
hal-00174344v1  Conference papers
Slim OuniKais Ouni. Arabic Pharyngeals in Visual Speech
International Conference on Auditory-Visual Speech Processing 2007 (AVSP), Aug 2007, Hilvarenbeek, Netherlands. pp.212-215
inria-00184880v1  Conference papers
Jean-Pierre SalmonLaurent Wendling. ARG based on arcs and segments to improve the symbol recognition by genetic algorithm
Seventh International Workshop on Graphics Recognition - GREC'2007, IAPR TC-10 (Technical Committee on Graphics Recognition), Sep 2007, Curitiba, Brazil. 11 p
hal-00917756v1  Conference papers
Paul Zimmermann. Arithmétique entière
Journées Nationales de Calcul Formel, 2007, Luminy, France
hal-00174350v1  Conference papers
Slim OuniKais Ouni. Aspects of Visual Speech in Arabic
Interspeech 2007, Aug 2007, Antwerp, Belgium. pp.WeB.P1a-7
inria-00172056v1  Conference papers
Radu State. Assessing and Hacking Network Security
10th IFIP/IEEE International Symposium on Integrated Management (IM 2007), May 2007, Munich, Germany
hal-00136204v1  Conference papers
Luiz Angelo SteffenelMaxime MartinassoDenis Trystram. Assessing Contention Effects on MPI_Alltoall Communications
2nd International Conference on Grid and Pervasive Computing - GPC 2007, May 2007, France. pp.00
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-00168274v1  Conference papers
Nicolas NavetRené Schott. Assessing the Risk and Return of Financial Trading Systems - a Large Deviation Approach
6th International Conference on Computational Intelligence in Economics and Finance - CIEF 2007, Jul 2007, Salt-Lake City, United States. pp.508-514, ⟨10.1142/9789812709677_0074⟩
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-00185713v1  Conference papers
Anderson Santana de OliveiraCharles Morisset. Automated Detection of Information Leakage in Access Control
Second International Workshop on Security and Rewriting Techniques - SecReT 2007, Jun 2007, Paris, France
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
tel-01748248v2  Theses
Pavel Kral. Automatic Recognition of Dialogue Acts
Modeling and Simulation. Université Henri Poincaré - Nancy 1, 2007. English. ⟨NNT : 2007NAN10114⟩
inria-00182427v1  Conference papers
Stavroula PapadopoulouClaudia-Lavinia IgnatMoira Norrie. Awareness Model to Overview Modifications in Collaborative Graphical Authoring Tools
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States
inria-00187253v1  Conference papers
Julien DemouthOlivier DevillersHazel EverettMarc GlisseSylvain Lazard et al.  Between umbra and penumbra
Proceedings of the 23rd Annual Symposium on Computational Geometry, Hee-Kap Ahn, Otfried Cheong, and Kyung-Yong Chwa, Jun 2007, Gyeongju, South Korea. pp.265-274, ⟨10.1145/1247069.1247117⟩
inria-00172057v1  Conference papers
Radu StateMohamed NassarOlivier Festor. BGP confederation provisioning
Autonomous Infrastructure, Management and Security (AIMS 2007), Jun 2007, Oslo, Norway
hal-00155964v1  Conference papers
Jack DongarraEmmanuel JeannotErik SauleZhiao Shi. Bi-objective Scheduling Algorithms for Optimizing Makespan and Reliability on Heterogeneous Systems
19th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA'07, Jun 2007, San Diego, United States. pp.280-288, ⟨10.1145/1248377.1248423⟩
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-00142213v1  Conference papers
Marçal RusiñolPhilippe DoschJosep Lladós. Boundary Shape Recognition Using Accumulated Length and Angle Information
Third Iberian Conference on Pattern Recognition and Image Analysis - IbPRIA 2007, Jun 2007, Girona, Spain. pp.210-217, ⟨10.1007/978-3-540-72849-8_27⟩
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-00155787v1  Conference papers
Caroline LavecchiaKamel SmaïliDavid Langlois. Building Parallel Corpora from Movies
The 4th International Workshop on Natural Language Processing and Cognitive Science - NLPCS 2007, Jun 2007, Funchal, Madeira, Portugal
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-00176893v1  Conference papers
Marçal RusiñolJosep LladósPhilippe Dosch. Camera-Based Graphical Symbol Detection
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.884-888
inria-00127347v1  Conference papers
Mathieu d'AquinFadi BadraSandrine LafrogneJean LieberAmedeo Napoli et al.  Case Base Mining for Adaptation Knowledge Acquisition
Twentieth International Joint Conference on Artificial Intelligence - IJCAI'07, Jan 2007, Hyderabad, India. pp.750-755
inria-00167781v1  Conference papers
Ustun YildizClaude Godart. Centralized versus decentralized conversation-based orchestrations
The 9th IEEE Conference on E-Commerce Technology and the 4th IEEE Conference on Enterprise Computing, E-Commerce and E-Services, CEC/EEE, IEEE, Jul 2007, Tokyo, Japan. pp.289-296, ⟨10.1109/CEC-EEE.2007.28⟩
inria-00182290v1  Conference papers
Khaled GaaloulFrançois CharoyAndreas SchaadHannah Lee. Collaboration for Human-Centric eGovernment Workflows
Governance, Risk and Compliance in Web Information Systems - Workshop in Conjunction with WISE2007, Dec 2007, Nancy, France. pp.195-206
inria-00186639v1  Conference papers
Pascal Fontaine. Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class
4th International Verification Workshop - VERIFY'07, Jul 2007, Bremen, Germany. pp.37-54
inria-00180230v1  Conference papers
Blaise PotardYves Laprie. Compact representations of the articulatory-to-acoustic mapping
INTERSPEECH 2007, Aug 2007, Antwerp, Belgium. pp.2481-2483
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
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-00165663v1  Conference papers
Laurent DupontMichael HemmerSylvain PetitjeanElmar Schomer. Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics
15th Annual European Symposium on Algorithms - ESA 2007, Yossi Azar, Tel-Aviv U. and Microsoft Research uy Even, Tel-Aviv U. Amos Fiat, Tel-Aviv U. (Chair) Seffi Naor, Technion and Microsoft Research, Oct 2007, Eilat, Israel, October 8-10, 2007, Israel. pp.633-644, ⟨10.1007/978-3-540-75520-3_56⟩
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⟩