Publications de l'équipe Méthodes Formelles pour l'année 2007

Années: 2005, 2006, 2008, 2009, 2010, 2011, 2012, 2013

  1. R. Moot. Filtering axiom links for proof nets. In Formal Grammar 2007, 2007.
  2. S. Salvati. Encoding second order string acg with deterministic tree walking transducers. In S. Wintner, editor, The 11th conference on Formal Grammar, FG Online Proceedings, pages 143-156. CSLI Publications, 2007.
  3. B. Mery, C. Bassac, and C. Retoré. A montague-based model of generative lexical semantics. In R. Muskens, editor, Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), pages 90-97, 2007.
  4. B. Mery, C. Bassac, and C. Retoré. A montagovian generative lexicon. In L. Kallmeyer, P. Monachesi, G. Penn, and G. Satta, editors, 12th conference on Formal Grammar (FG 2007). CSLI Publications, 2007.
  5. C. Retoré. On the trees underlying natural language sentences. In Colloquium in honor of Gérard Huet, 2007.
  6. M. Amblard and C. Retoré. Natural deduction and normalisation for partially commutative linear logic and lambek calculus with product. In S. B. Cooper, T. F. Kent, B. Löwe, and A. Sorbi, editors, Computation and Logic in the Real World (Computing in Europe 2007), number ID487 in Quaderni del Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari", pages 28-44. Università di Siena, 2007.
  7. I. Walukiewicz. Forest algebras. In Automata and Logic: History and Perspectives. Workshop on the occasion of Wolfgang Thomas's 60th birthday, 2007.
  8. I. Walukiewicz. Synthesis via games. In KNAW Academy Colloquium: New perspectives on Games and Interaction, 2007.
  9. B. Courcelle, C. Gavoille, M. M. Kanté, and A. Twigg. Forbidden-set labeling on graphs. In 2nd Workshop on Locality Preserving Distributed Computing Methods (LOCALITY), Portland, Etats-Unis, 2007.
  10. G. Sénizergues. Sequences of level 1, 2, 3,..., k,.... In Computer Science in Russia, volume 4649, pages 24-32. Springer, 2007.
  11. A. Rollet and F. Saad Khorchef. A formal approach to test the robustness of embedded systems using behaviour analysis. In 5th ACIS International Conference on Software Engineering Research, Management & Applications-TOC, page 8 p., 2007.
  12. G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen, and D. Lime. Uppaal-tiga: Time for playing games! In H. H. W. Damm, editor, 19th International Conference on Computer Aided Verification (CAV07), volume 4590 of Lecture Notes in Computer Science, pages 121-125. Springer, 2007.
  13. J. Leroux and G. Sutre. Acceleration in convex data-flow analysis. In FSTTCS, volume 4855 of Lecture Notes in Computer Science, pages 520-531. Springer, 2007.
  14. J. Leroux and G. Sutre. Accelerated data-flow analysis. In S. Berlin, editor, Static Analysis, volume 4634 of Lecture Notes in Computer Science, pages 184-199, 2007.
  15. P. Chervet and I. Walukiewicz. Minimizing variants of visibly pushdown automata. In MFCS'07, volume 4708 of LNCS, pages 135-146, 2007.
  16. B. Courcelle. Monadic second-order queries on graphs : Vertex labelling for efficient evaluation and linear delay enumeration. In H. B. et al., editor, Algorithms and Complexity in Durham, Third Workshop, Durham, England, volume 9 of Texts in Algorithmics, pages 3-12. College Publications, London, 2007, 2007.
  17. O. Ly. A constructive solution of the language inequation xa bx. In Theory and Applications of Language Equations, volume 44, pages 76-84, 2007.
  18. B. Hamid, M. Mosbah, and B. Le Saec. Distributed local 2-connectivity test of graphs and applications. In ISPA 2007, The Fifth International Symposium on Parallel and Distributed Processing and Applications, volume 4742 of Lecture Notes in Computer Science, pages 195 - 207. Springer, 2007.
  19. B. Hamid, M. Mosbah, and B. Le Saec. A simple distributed algorithm for the maintenance of a spanning tree. In International Workshop on Verification and Evaluation of Computer and Communication Systems, Electronic Workshops in Computing series (eWiC), 2007.
  20. J. Almeida, J.-C. Costa, and M. Zeitoun. Complete reducibility of pseudovarieties. In W. Scientific, editor, Internat. Conf. on Semigroups and Formal Languages, pages 9-25, 2007.
  21. C. Retoré and S. Salvati. Non-associative categorial grammars and abstract categorial grammars. In New Directions in Type Theoretic Grammars, pages 51-58. R. Muskens, 2007.
  22. P. Castéran. Utilisation en coq de l'opérateur de description. In Actes des Journées Francophones des Langages Applicatifs, 2007.
  23. D. Janin. On the (high) undecidability of distributed synthesis problems. In International Conference on Current Trends in Theory and Practice of Computer Sience, volume 4362, pages 320-329. Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, 2007.
  24. M. Diouf, K. Musumbu, and S. Maabout. Adding semantics on models for automatic business rules generation. In International Conference on Industrial Engineering and Systems Management. Yang Shanlin, Chen Guoqing, Thomas Andre, Artiba Abdelhakim, Xu Zongwei, 2007.
  25. M. Diouf, S. Maabout, and K. Musumbu. Semantics enrichment in model driven architecture: automatic business rules generation. In International Conference on E-Business, Enterprise Information Systems and E-Government, pages 107-113, 2007.
  26. M. Diouf, S. Maabout, and K. Musumbu. Generation automatique de regles metier par enrichissement semantique de modeles. In INFORSID, pages 437-452, 2007.
  27. M. Diouf, S. Maabout, and K. Musumbu. Merging model driven architecture and semantic web for business rules generation. In International Conference on Web Reasoning and Rule Systems (RR07), pages 118-132, 2007.
  28. M. Diouf, S. Maabout, and K. Musumbu. Generating and merging business rules by weaving mda and semantic web. In International Workshop on Model-Driven Enterprise Information Systems, pages 18-29, 2007.
  29. B. Courcelle and M. M. Kanté. Graph operations characterizing rank-width and balanced graph expressions. In H. M. A. Brandstadt, D. Kratsch, editor, Proccedings of the 33rd International Workshop on Graphs (WG07), volume 4769 of Lecture Notes in Computer Science, pages 66-75. Springer, 2007.
  30. B. Courcelle and A. Twigg. Compact forbidden-set routing. In Proceedings STACS 2007, volume 4393 of Lecture Notes in Computer Science, pages 37-48., 2007.
  31. A. Muscholl and I. Walukiewicz. A lower bound on web services composition. In Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, pages 274-286, 2007.
  32. F. Herbreteau, G. Sutre, and T. Q. Tran. Unfolding concurrent well-structured transition systems. In Proc. of the 13th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS07), volume 4424, pages 706-720. Orna Grumberg and Michael Huth, 2007.
  33. B. Hamid, B. Le Saec, and M. Mosbah. Distributed 2-vertex connectivity test of graphs using local knowledge. In Proceeding of the International Conference on Parallel and Distributed Computing Systems, pages 71-76, 2007.
  34. B. Hamid, M. Mosbah, and A. Zemmari. A self-stabilizing distributed algorithm for resolving conflicts. In Springer, editor, Workshop on Reliability in Decentralized Distributed Systems (RDDS), volume 4806 of Lecture Notes in Computer Science, pages 1042-1051. Robert Meersman, Zahir Tari, Pilar Herrero, 2007.
  35. S. Abbas, M. Mosbah, and A. Zemmari. Collecte d'informations par des agents mobiles. In NOuvelles TEchnologies de la REpartition, NOTERE 2007, pages 139-148, 2007.
  36. S. Abbas, M. Mosbah, and A. Zemmari. Merging time of random mobile agents. In S.-R. E. Haasis, Kreowski, editor, International Conference on Dynamics in Logistics 2007 (LDIC 2007), pages 179-190. Springer, 2007.
  37. I. Durand and G. Sénizergues. Bottom-up rewriting is inverse recognizability preserving. In Rewriting Techniques and Applications, volume 4533, pages 107-121, 2007.
  38. P. Henry and C. Bassac. A toolkit for a generative lexicon. In 4th International Workshop on Generative Approaches to the Lexicon (GL 2007), page 6 pages, 2007.
  39. O. L. Nguena Timo and S. Brlek. Covering time period with a modal logic. In NOuvelles TEchnologies de la REpartition, NOTERE 2007, pages 515-526. Mohammed ERRADI, 2007.
  40. H. Hamdi, M. Mosbah, and A. Bouhoula. A domain specific language for securing distributed systems. In Second International Conference on Systems and Networks Communications,, pages 76-83, 2007.
  41. M. Mosbah, H. Hamdi, and A. Bouhoula. A software architecture for automatic security policy enforcement in distributed systems. In The International Conference on Emerging Security Information, Systems, and Technologies, pages 187-192, 2007.
  42. S. Salvati. On the complexity of abstract categorial grammars. In Mathematics of Language, MOL 10, 2007.
  43. S. Salvati. On the membership problem for non-linear abstract categorial grammars. In New Directions in Type Theoretic Grammars, pages 43-50. Reinhard Muskens, 2007.
  44. G. Kobele, C. Retoré, and S. Salvati. An automata-theoretic approach to minimalism. In Model Theoretic Syntax at 10, pages 73-82. J. Rogers and S. Kepser, 2007.
  45. M. Kanazawa and S. Salvati. Generating control languages with abstract categorial grammars. In Formal Grammar FG 2007. Laura Kallmeyer and Paola Monachesi and Gerald Penn, 2007.
  46. F. Saad Khorchef, A. Rollet, and R. Castanet. A framework and a tool for robustness testing of communicating software. In ACM SAC 2007, pages 1461 - 1466, 2007.
  47. P. Henry and C. Bassac. A toolkit for a generative lexicon. In Fourth International Workshop on Generative Approaches to the Lexicon, 2007.
  48. M. Kufleitner and P. Weil. On recognizable trace languages. In Conference AutoMathA 2007: Automata from Mathematics to Applications, 2007.
  49. U. Dal Lago, A. Montanari, and G. Puppis. Equivalence of automaton-based representations of time granularities. In Proceedings of 14th International Symposium on Temporal Representation and Reasoning, page 11 pages. IEEE, 2007.
  50. H. Gimbert and W. Zielonka. Perfect information stochastic priority games. In ICALP 07, pages 850-861, 2007.
  51. H. Gimbert. Pure stationary optimal strategies in markov decision processes. In W. Thomas and P. Weil, editors, STACS 2007, pages 200-211. Springer Berlin / Heidelberg, 2007.
  52. S. Lombardy. On the size of the universal automaton of a regular language. In P. W. Wolgang Thomas, editor, STACS'07, LNCS, pages 85-96. Springer-Verlag, 2007.
  53. H. Seidl, T. Schwentick, and A. Muscholl. Counting in trees. In Texts in Logic and Games, pages 575-612. Amsterdam University Press, 2007.
  54. M. Bojanczyk and I. Walukiewicz. Forest algebras. In Logic and Automata, pages 107-132. Amsterdam University Press, 2007.
  55. A. Arnold and I. Walukiewicz. Nondeterministic controllers of nondeterministic processes. In Logic and Automata, pages 29-52. Amsterdam University Press, 2007.
  56. B. Courcelle. Décompositions arborescentes. In J.-C. Fournier, editor, Graphes et applications 2, pages 195-231. Lavoisier, 2007.
  57. A. Miasnikov, E. Ventura, and P. Weil. Algebraic extensions in free groups. In G. N. Arzhantseva, L. Bartholdi, J. Burillo, and E. Ventura, editors, Geometric group theory, Geneva and Barcelona conferences, pages 225-253. Birkhaüser, 2007.
  58. S. Blain, B. Quéguiner, L. Armand, S. Belviso, B. Bombled, L. Bopp, A. Bowie, C. Brunet, C. Brussaard, F. Carlotti, U. Christaki, R. Shreeve, A. Corbière, I. Durand, F. Ebersbach, J. Fuda, N. Garcia, L. Gerringa, B. Griffiths, C. Guigue, C. Guillerm, S. Jacquet, C. Jeandel, P. Laan, D. Lefèvre, C. Lomonaco, A. Malits, J. Mosseri, I. Obernosterer, H. Park, M. Picheral, P. Pondaven, T. Remenyi, V. Sandroni, G. Sarthou, N. Savoye, L. Scouarnec, M. Souhaut, D. Thuiller, K. Timmermans, T. Trull, J. Uitz, P. Van-Beek, M. Veldhuis, D. Vincent, E. Viollier, L. Vong, and T. Wagener. Impact of natural iron fertilisation on carbon sequestration in the southern ocean. Nature,, (446):1070-1074., 2007.
  59. D. Renault. The uniform locally finite tilings of the plane. Journal of Combinatorial Theory Series B, 98(4), 2007.
  60. S. Blain, B. Queguiner, L. Armand, S. Belviso, B. Bombled, L. Bopp, A. Bowie, C. Brunet, C. Brussaard, F. Carlotti, U. Christaki, A. Corbiere, I. Durand, F. Ebersbach, J. L. Fuda, N. Garcia, L. Gerringa, B. Griffiths, C. Guigue, C. Guillerm, S. Jacquet, C. Jeandel, P. Laan, D. Lefevre, C. Lo Monaco, A. Malits, J. Mosseri, I. Obernosterer, Y. H. Park, M. Picheral, P. Pondaven, T. Remenyi, V. Sandroni, G. Sarthou, N. Savoye, L. Scouarnec, M. Souhaut, D. Thuiller, K. Timmermans, T. Trull, J. Uitz, P. Van Beek, M. Veldhuis, D. Vincent, E. Viollier, L. Vong, and T. Wagener. Effect of natural iron fertilization on carbon sequestration in the southern ocean. Nature, 446(7139):1070-U1, 2007.
  61. M. Lohrey and G. Sénizergues. Rational subsets in HNN-extensions and amalgamated products. International Journal of Algebra and Computation, 18(1):111-163, 2007.
  62. M. Lohrey and G. Sénizergues. When is a graph product of groups virtually-free? Communications in Algebra, 35(2):617-621, 2007.
  63. I. Jemili, A. Belghith, and M. Mosbah. A distributed clustering algorithm without an explicit neighbourhood knowledge. International Journal of Computing and Information Sciences, 5(1):24-34, 2007.
  64. D. Bechet, R. Bonato, A. Dikovsky, A. Foret, Y. Le Nir, E. Moreau, C. Retoré, and I. Tellier. Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes. Recherches linguistiques de Vincennes, 36:123-152, 2007.
  65. A. Rollet and F. Saad Khorchef. A formal framework for robustness testing. International Journal of Computer and Information Science, 8(2):290-299, 2007.
  66. H. Gimbert and W. Zielonka. Applying blackwell optimality: priority mean-payoff games as limits of multi-discounted game. Texts in Logic and Games, 2:331-356, 2007.
  67. B. Courcelle and S.-I. Oum. Vertex-minors, monadic second-order logic, and a conjecture by seese. Journal of Combinatorial Theory Series B, 97:91-126, 2007.
  68. J. Almeida and M. Zeitoun. An automata-theoretic approach to the word problem for omega-terms over r. Journal of Theoretical Computer Science (TCS), 370:131-169, 2007.
  69. J. Almeida, J.-C. Costa, and M. Zeitoun. Complete reducibility of systems of equations with respect to r. Portugaliae Mathematica, 64:445-508, 2007.
  70. A. Dawar and D. Janin. The monadic theory of finite representations of infinite words. Information Processing Letters, 103:94-101, 2007.
  71. N. Bonichon, S. Felsner, and M. Mosbah. Convex drawings of 3-connected plane graphs. Algorithmica, 47:399-420, 2007.
  72. B. Genest, D. Kuske, and A. Muscholl. On communicating automata with bounded channels. Fundamenta Informaticae, 80(2):147-167, 2007.
  73. A. Sutton, V. Friand, D. Papy-Garcia, M. Dagouassat, L. Martin, R. Vassy, O. Haddad, O. Sainte-Catherine, M. Kraemer, L. Saffar, G. Y. Perret, J. Courty, L. Gattegno, and N. Charnaux. Glycosaminoglycans and their synthetic mimetics inhibit rantes-induced migration and invasion of human hepatoma cells. Molecular Cancer Therapeutics, 6(11):2948-58, 2007.
  74. O. Gauwin, S. Konieczny, and P. Marquis. Conciliation through iterated belief merging. Journal of Logic and Computation (JLC), 17:909-937, 2007.
  75. S. Blain, B. Quéguiner, L. Armand, S. Belviso, B. Bombled, L. Bopp, A. Bowie, C. Brunet, C. Brussaard, F. Carlotti, U. Christaki, A. Corbière, I. Durand, F. Ebersbach, J.-L. Fuda, N. Garcia, L. Gerringa, B. Griffiths, C. Guigue, C. Guillerm, S. Jacquet, C. Jeandel, P. Laan, D. Lefèvre, C. Lo Monaco, A. Malits, J. Mosseri, I. Obernosterer, Y.-H. Park, M. Picheral, P. Pondaven, T. Remenyi, V. Sandroni, G. Sarthou, N. Savoye, L. Scouarnec, M. Souhaut, D. Thuiller, K. Timmermans, T. Trull, J. Uitz, P. Van Beek, M. Veldhuis, D. Vincent, E. Viollier, L. Vong, and T. Wagener. Impact of natural iron fertilisation on carbon sequestration in the southern ocean. Nature, 446:1070-1074, 2007.
  76. A. Bouajjani, A. Muscholl, and T. Touili. Permutation rewriting and algorithmic verification. Information and Computation., 2007.
  77. A. Roig, E. Ventura, and P. Weil. On the complexity of the whitehead minimization problem. International Journal of Algebra and Computation, 17:1611-1634, 2007.

Années: 2005, 2006, 2008, 2009, 2010, 2011, 2012, 2013

Page mise à jour le 22/08/2017 à 09:03