PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jacquemard, Florent"

Author of the publication

copydeleteadd this publication to your clipboard
Operational semantics of a domain specific language for real time musician-computer interaction.

, , , and . Discrete Event Dynamic Systems, 23 (4): 343-383 (2013)

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.

No persons found for author name Jacquemard, Florent
add a person with the name Jacquemard, Florent
 

Other publications of authors with the same name

Rewrite based Verification of XML Updates, and . CoRR, (2009)One-variable context-free hedge automata., and . J. Comput. Syst. Sci., (2019)Automated Induction for Complex Data Structures, and . CoRR, (2008)Decidable Fragments of Simultaneous Rigid Reachability., , , and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 250-260. Springer, (1999)A Parse-Based Framework for Coupled Rhythm Quantization and Score Structuring., , , and . MCM, volume 11502 of Lecture Notes in Computer Science, page 248-260. Springer, (2019)A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music., , , and . EMSOFT, page 1:1-1:12. IEEE, (2013)The Confluence Problem for Flat TRSs., , and . AISC, volume 4120 of Lecture Notes in Computer Science, page 68-81. Springer, (2006)An Analysis of a Public Key Protocol with Membranes., and . Applications of Membrane Computing, Springer, (2006)Sufficient completeness verification for conditional and constrained TRS., and . J. Applied Logic, 10 (1): 127-143 (2012)A decision procedure for the verification of security protocols with explicit destructors., and . ACM Conference on Computer and Communications Security, page 278-287. ACM, (2004)