Author of the publication

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.

 

Other publications of authors with the same name

A Space Consumption Analysis by Abstract Interpretation., , and . FOPARA, volume 6324 of Lecture Notes in Computer Science, page 34-50. Springer, (2009)Comparative study of the prereactive protein kinase A Michaelis complex with Kemptide substrate., , , and . J. Comput. Aided Mol. Des., 21 (10-11): 603-615 (2007)Bootstrap approach to the multi-sample test of means with imprecise data., , , , and . Comput. Stat. Data Anal., 51 (1): 148-162 (2006)Testing the expected value of a fuzzy random variable. A discussion., , , and . EUSFLAT Conf., page 352-355. De Montfort University, Leicester, UK, (2001)Bootstrap techniques and fuzzy random variables: Synergy in hypothesis testing with fuzzy data., , , and . Fuzzy Sets Syst., 157 (19): 2608-2613 (2006)Verification of mutable linear data structures and iterator-based algorithms in Dafny., , and . J. Log. Algebraic Methods Program., (August 2023)Space consumption analysis by abstract interpretation: Inference of recursive functions., , and . Sci. Comput. Program., (2015)Improving Database Learning with an Automatic Judge., , , and . SEKE, page 499-502. KSI Research Inc., (2022)A Linear Regression Model for Interval-Valued Response Based on Set Arithmetic., , , and . SMPS, volume 190 of Advances in Intelligent Systems and Computing, page 105-113. Springer, (2012)An Empirical Analysis of the Coherence Between Fuzzy Rating Scale- and Likert Scale-Based Responses to Questionnaires., , , , and . SMPS, volume 456 of Advances in Intelligent Systems and Computing, page 329-337. Springer, (2016)