( en | de | ru )

 

Disambiguation of "Chiari, Michele"

Author of the publication

copydeleteadd this publication to your clipboard
Cyclic Operator Precedence Grammars for Parallel Parsing.

, , and . CoRR, (2023)

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.

Ylenia Chiari

Bernd Chiari

Martina Chiari

Heidemarie Chiari

Carsten Chiari

 

Other publications of authors with the same name

A Practical Approach to Interval Refinement for math.h/cmath Functions., , , and . CoRR, (2016)Operator precedence temporal logic and model checking., , and . Theor. Comput. Sci., (2020)TAFFO: Tuning Assistant for Floating to Fixed Point Optimization., , , , and . IEEE Embed. Syst. Lett., 12 (1): 5-8 (2020)Automated Precision Tuning in Activity Classification Systems: A Case Study., , , , and . PARMA-DITAM@HiPEAC, page 5:1-5:6. ACM, (2020)FixM: Code generation of fixed point mathematical functions., , , , , and . Sustain. Comput. Informatics Syst., 29 (Part): 100478 (2021)A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions., , , and . ACM Trans. Softw. Eng. Methodol., 30 (1): 9:1-9:53 (2021)Architecture-aware Precision Tuning with Multiple Number Representation Systems., , , , and . DAC, page 673-678. IEEE, (2021)Model-Checking Structured Context-Free Languages., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 387-410. Springer, (2021)A First-Order Complete Temporal Logic for Structured Context-Free Languages., , and . Log. Methods Comput. Sci., (2022)Temporal Logic for Operator Precedence Words (text not included).. ICTCS, volume 2504 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)