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

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

... 7 - 8 - 9 - 10 - 11 - 12 - 13 ...

Lazy Rewriting Modulo Associativity and Commutativity Belkhir W., Giorgetti A. Dans WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming (2011) 17--21 [hal-00642515 - version 1]

Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit using CADP Lantreibecq E., Serwe W. Dans Formal Methods for Industrial Critical Systems (2011) [hal-00642029 - version 1]

Loops and Overloops for Tree Walking Automata Heam P.-C., Hugot V., Kouchnarenko O. Dans 16th International Conference on Implementation and Application of Automata - CIAA 2011 6807 (2011) 166-177 [hal-00641743 - version 1]

On the Complexity of Computing the Profinite Closure of a Rational Language Heam P.-C. Theoretical Computer Science 412, 41 (2011) 5808-5813 [hal-00641554 - version 1]

Coquet: a Coq library for verifying hardware Braibant T. (2011) [inria-00611757 - version 1]

Normalization of Sequential Top-Down Tree-to-Word Transducers Laurence G., Lemay A., Niehren J., Staworko S., Tommasi M. Dans 5th International Conference on Language Automata Theory and Appliciations (2011) [inria-00566291 - version 1]

Specification, analysis and transformation of security policies via rewriting techniques Bourdier T. Journal of Information Assurance and Security 6, 5 (2011) 357-368 [inria-00525761 - version 1]

Execution Models for Processors and Instructions Brandner F., Viktor P., Andreas K. Dans NORCHIP 2010 (2010) [ensl-00537179 - version 1]

A High-Level Language for Modeling Algorithms and their Properties Akhtar S., Merz S., Quinson M. Dans 13th Brazilian Symposium on Formal Methods - SBMF'2010 (2010) [inria-00537779 - version 1]

Translating FSP into LOTOS and Networks of Automata Lang F., Salaün G., Hérilier R., Kramer J., Magee J. Formal Aspects of Computing 22 (2010) 681-711 [hal-00533808 - version 1]