.:. Browse > Domain list > Formal Languages and Automata Theory .:.

149 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Model-Based Product Line Evolution: an Incremental Growing by Extension Creff S., Champeau J., Jezequel J.-M. Dans 16th International Software Product Line Conference SPLC 2012 II (2012) 107-114 [hal-00738772 - version 1]

LPT - A Tool for Parametric TPN Validation Godary-Dejean K., Richard R., Angles G., Andreu D. Dans VECoS'2012: 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (2012) 12 [lirmm-00804362 - version 1]

Hide and New in the Pi-Calculus Giunti M., Palamidessi C., Valencia F. D. Dans Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012) (2012) 65-80 [hal-00761118 - version 1]

Computability of the entropy of one-tape Turing Machines Jeandel E. (01/08/2012) [hal-00785232 - version 1]

A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version) Oudinet J., Denise A., Gaudel M.-C. Theoretical Computer Science (2012) to appear [hal-00716558 - version 1]

Probabilistic Contracts for Component-based Design Gössler G., Xu D. N., Girault A. N° RR-7328 (2012) [hal-00715750 - version 1]

Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle Lefeuvre A., Moot R., Retoré C., Sandillon-Rezer N.-F. Dans JEP-TALN-RECITAL 2012 2 TALN (2012) pp. 43-56 [hal-00749374 - version 1]

Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types Lefeuvre A., Moot R., Retoré C. Dans 3e Congrès Mondial de Linguistique Française (2012) pp. 2485-2497 [hal-00750750 - version 1]

Control-Driven Data Flow Pop A., Cohen A. N° RR-8015 (2012) [hal-00717906 - version 2]

A Semantic Proof that Reducibility Candidates entail Cut Elimination Cousineau D., Hermant O. Dans 23rd International Conference on Rewriting Techniques and Applications (RTA'12) 15 (2012) 133--148 [hal-00743284 - version 1]