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

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

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

Static analysis of xml security views and query rewriting Groz B., Staworko S., Caron A.-C., Roos Y., Tison S. Information and Computation (2013) g [hal-00796297 - version 1]

Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling Quesnel F., Lèbre A., Pastor J., Südholt M., Balouek D. Dans ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications (2013) [hal-00817369 - version 1]

Formal Modelling and Verification of Population Protocols Méry D., Poppleton M. In iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00813033 - version 1]

A Homotopical Completion Procedure with Applications to Coherence of Monoids Guiraud Y., Malbos P., Mimram S. [hal-00818253 - version 1]

The IO and OI hierarchies revisited Kobele G. M., Salvati S. Dans ICALP (2) (2013) [hal-00818069 - version 1]

Optimizing XML Querying using Type-based Document Projection Benzaken V., Castagna G., Colazzo D., Nguyẽn K. ACM Transactions on Database Systems 38, 1 (2013) 1-45 [hal-00798049 - version 1]

On LR Parsing with Selective Delays Bertsch E., Nederhof M.-J., Schmitz S. Dans Compilers Construction 7791 (2013) 244--263 [hal-00769668 - version 1]

Test Generation from Recursive Tile Systems Chédor S., Jéron T., Morvan C. N° RR-8206 (2013) [hal-00778134 - version 1]

Rewrite Closure and CF Hedge Automata Jacquemard F., Rusinowitch M. Dans 7th International Conference on Language and Automata Theory and Application (2013) [hal-00767719 - version 1]

CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes Garavel H., Lang F., Mateescu R., Serwe W. International Journal on Software Tools for Technology Transfer 15, 2 (2013) 89-107 [hal-00715056 - version 1]