Autor der Publikation

A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.

, , und . Inf. Comput., (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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