( en | de | ru )

 

Disambiguation of "Raclet, Jean-Baptiste"

Author of the publication

copydeleteadd this publication to your clipboard
Solving Language Equations Using Flanked Automata.

, , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 106-121. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Baptiste Felten

Jean-Baptiste Bordes

Jean-Baptiste Sibarita

Jean-Baptiste Filippi

Jean-Baptiste Nugeyre

 

Other publications of authors with the same name

Ensuring Reachability by Design., and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 213-227. Springer, (2012)Solving Language Equations Using Flanked Automata., , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 106-121. (2016)A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols., , and . FTSCS, volume 476 of Communications in Computer and Information Science, page 76-92. Springer, (2014)Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining., , , and . FISEE, volume 14387 of Lecture Notes in Computer Science, page 56-68. Springer, (2023)Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students., , , , and . EC-TEL, volume 14200 of Lecture Notes in Computer Science, page 294-307. Springer, (2023)Mixed Nondeterministic-Probabilistic Interfaces., , and . CoRR, (2020)Application of interface theories to the separate compilation of synchronous programs., , and . CDC, page 7252-7258. IEEE, (2012)Why Are Modalities Good for Interface Theories?., , , , and . ACSD, page 119-127. IEEE Computer Society, (2009)Modal Contracts for Component-Based Design., and . SEFM, page 295-303. IEEE Computer Society, (2009)Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses., and . EC-TEL, volume 12315 of Lecture Notes in Computer Science, page 392-397. Springer, (2020)