PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Fietzke, Arnaud"

Author of the publication

copydeleteadd this publication to your clipboard
Software-Reengeniering in der Versicherungsbranche: Ein Praxisbeispiel.

, and . Software Engineering, volume P-267 of LNI, page 33-34. GI, (2017)

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 Fietzke, Arnaud
add a person with the name Fietzke, Arnaud
 

Other publications of authors with the same name

Software quality assessment in practice: a hypothesis-driven framework., , , , and . ESEM, page 40:1-40:6. ACM, (2018)Superposition as a Decision Procedure for Timed Automata., and . Mathematics in Computer Science, 6 (4): 409-425 (2012)Automatic Generation of Invariants for Circular Derivations in SUP(LA)., , and . LPAR, volume 7180 of Lecture Notes in Computer Science, page 197-211. Springer, (2012)Superposition-Based Analysis of First-Order Probabilistic Timed Automata., , and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 302-316. Springer, (2010)Learning a classifier for prediction of maintainability based on static analysis tools., , , and . ICPC, page 243-248. IEEE / ACM, (2019)Remote Sensing For Assessing Drought Insurance Claims in Central Europe., and . IGARSS, page 7306-7309. IEEE, (2019)Labelled splitting., and . Ann. Math. Artif. Intell., 55 (1-2): 3-34 (2009)Labelled superposition.. Saarland University, (2014)Software-Reengeniering in der Versicherungsbranche: Ein Praxisbeispiel., and . Software Engineering, volume P-267 of LNI, page 33-34. GI, (2017)SPASS Version 3.5., , , , , and . CADE, volume 5663 of Lecture Notes in Computer Science, page 140-145. Springer, (2009)