302 articles – 345 Notices  [english version]
.:. Consultation > Liste des articles .:.
647 documents classés par :
Première Page Page Précédente ... 24 - 25 - 26 - 27 - 28 - 29 - 30 ... Page Suivante Page Finale
fulltext access The SL synchronous language, revisited
Amadio R. M.
Journal of Logic and Algebraic Programming 70 (2007) 121-150 [hal-00014540 - version 1]
Quantitative resource-oriented analysis of Java (Adaptable) applications
Mancinelli F., Inverardi P.
In Proceedings of the 6th international workshop on Software and performance - Workshop on Software and Performance, Argentina (2007) [hal-00155275 - version 1]
fulltext accessible on an other server Cofibrant complexes are free
Métayer F.
[hal-00148697 - version 1] (23/05/2007)
κ-Calculus Model for the Life-Cycle of Lambda Phage
Li D., Zhang M., Dong X.
Journal of Shanghai Jiaotong University 44, 1 (2007) 42-44 [hal-00155603 - version 1]
fulltext access A simple proof that super consistency implies cut elimination
Dowek G., Hermant O.
18th International Conference, RTA 2007, France (2007) [hal-00743256 - version 1]
A Graph Abstract Machine Describing Event Structure Composition
Faggian C., Piccolo M.
Electronic Notes in Theoretical Computer Science 175, 4 (2007) 21-36 [hal-00719045 - version 1]
ℂDuce Tutorial
Benzaken V., Castagna G., Frisch A.
Available at http://www.cduce.org/tutorial.html (2007) [hal-00699610 - version 1]
Pattern by Example: type-driven visual programming of XML queries
Benzaken V., Castagna G., Colazzo D., Miachon C.
Dans Actes des 23èmes Journées Bases de Données Avancées - 23èmes Journées Bases de Données Avancées, France (2007) [hal-00695245 - version 1]
Logique, dynamique et cognition
Joinet J.-B.
(2007) 237 [halshs-00528949 - version 1]
Scalable Simulation of Cellular Signaling Networks
Danos V., Feret J., Fontana W., Krivine J.
the 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Singapour (2007) [inria-00528409 - version 1]
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
Saurin A., Miller D.
In 16th Annual Conference of the EACSL - 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Switzerland (2007) [hal-00527888 - version 1]
Expression Reduction Systems with Patterns
Forest J., Kesner D.
Journal of Automated Reasoning 39, 4 (2007) 513-541 [hal-00524758 - version 1]
Intruder deduction for the equational theory of Abelian groups with distributive encryption
Lafourcade P., Lugiez D., Treinen R.
Information and Computation 205, 4 (2007) 581-623 [hal-00496353 - version 1]
fulltext access Mobility control via passports (Extended abstract)
Hym S.
Dans Proceedings of the 18th International Conference on Concurrency Theory - 18th International Conference on Concurrency Theory, Portugal (2007) [hal-00425188 - version 1]
fulltext access A projective formalism applied to topoligical and probabilistic event structures
Abbes S.
Mathematical Structures in Computer Science 17, 4 (2007) 819-837 [hal-00350199 - version 1]