728 articles – 294 Notices  [english version]
.:. Consultation > Liste par année > 2007 .:.
77 documents classés par :
1 - 2 - 3 - 4 Page Suivante Page Finale
fulltext access Dominance-Based Heuristics for One-Machine Total Cost Scheduling Problems
Jouglet A., Savourey D., Carlier J., Baptiste P.
European Journal of Operational Research (2007) XXX-XXX [hal-00155576 - version 1]
fulltext access Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted game
Gimbert H., Zielonka W.
Texts in Logic and Games 2 (2007) 331-356 [hal-00344222 - version 1]
Succinct Representation of Labeled Graphs
Barbay J., Castelli Aleardi L., He M., Munro I. J.
18th International Symposium on Algorithms and Computation (ISAAC 2007), Japan (2007) [hal-00713051 - version 1]
fulltext access Courbes Algébriques et Cryptologie
Enge A.
Université Paris-Diderot - Paris VII (07/12/2007), Brigitte Vallée (Pr.) [tel-00382535 - version 1]
fulltext access Analyse de canaux de communication dans un contexte non coopératif.
Barbier J.
Ecole Polytechnique X (2007-11-28), Robert Cori (Dir.) [pastel-00003711 - version 1]
fulltext access Factoring Small to Medium Size Integers: An Experimental Comparison
Milan J.
[inria-00188645 - version 3] (2010-01-29)
fulltext access Spécification et vérification des protocoles de sécurité probabilistes
Chatzikokolakis K.
Ecole Polytechnique X (2007-10-26), Catuscia Palamidessi (Dir.) [pastel-00003950 - version 1]
fulltext access A delay estimation approach to change-point detection
Mboup M., Join C., Fliess M.
[inria-00179775 - version 1] (16/10/2007)
fulltext access HORPO with Computability Closure : A Reconstruction
Blanqui F., Jouannaud J.-P., Rubio A.
14th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Arménie (2007) [inria-00168304 - version 1]
fulltext access Analyse des incertitudes dans les flux du trafic aérien.
Gwiggner C.
Ecole Polytechnique X (2007-09-13), Baptiste Philippe (Dir.) [pastel-00003211 - version 1]
fulltext access Focusing and Polarization in Intuitionistic Logic
Liang C., Miller D.
Computer Science Logic, Suisse (2007) [inria-00167231 - version 1]
Rule-based modelling of cellular signalling
Danos V., Feret J., Fontana W., Harmer R., Krivine J.
International Conference on Concurrency Theory (CONCUR'07), Portugal (2007) [hal-00164297 - version 1]
fulltext access Deep Inference for Hybrid Logic
Straßburger L.
International Workshop on Hybrid Logic 2007 (HyLo 2007), Ireland (2007) [inria-00165998 - version 1]
fulltext access Utilisation de la méthode d'équivalence de Cartan dans la construction d'un solveur d'équations différentielles
Dridi R.
Université des Sciences et Technologie de Lille - Lille I (2007-07-20), Michel Petitot (Dir.) [tel-00264288 - version 1]
fulltext access A combinatorial approach to jumping particles: the parallel TASEP
Duchi E., Schaeffer G.
[hal-00159647 - version 1] (2007-07-04)
fulltext access Systèmes de preuve interopérables.
Kirchner F.
Ecole Polytechnique X (2007-06-26), Gilles Dowek (Dir.) [pastel-00003192 - version 1]
fulltext access HyperLogLog: the analysis of a near-optimal cardinality estimation algorithm
Flajolet P., Fusy E., Gandouet O., Meunier F.
Dans Analysis of Algorithms 2007 (AofA07) - Analysis of Algorithms 2007 (AofA07), France (2007) [hal-00406166 - version 1]
fulltext access Combinatoire des cartes planaires et applications algorithmiques.
Eric F.
Ecole Polytechnique X (2007-06-11), Philippe Flajolet ; Gilles SCHAEFFER (Dir.) [pastel-00002931 - version 1]
fulltext access Counting occurrences for a finite set of words: an inclusion-exclusion approach.
Bassino F., Clément J., Fayolle J., Nicodème P.
Dans International Conference on Analysis of Algorithms (AofA'07). - Conference on Analysis of Algorithms (AofA'07)., France (2007) [hal-00452702 - version 1]
fulltext access A Characterisation of Medial as Rewriting Rule
Straßburger L.
RTA 2007, France (2007) [inria-00165997 - version 1]