Author of the publication

Sequential decision problems, dependent types and generic solutions.

, , , , and . Logical Methods in Computer Science, (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.

 

Other publications of authors with the same name

Vulnerability modeling and monadic dynamical systems (Modellierung der Vulnerabilität und monadische dynamische Systeme). FU Berlin, Germany, (2009)base-search.net (ftfuberlin:oai:refubium.fu-berlin.de:fub188/5259).Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics., , and . TFPIE@TFP, volume 295 of EPTCS, page 79-90. (2018)Vulnerability modelling with functional programming and dependent types.. Math. Struct. Comput. Sci., 26 (1): 114-128 (2016)MADM: A System for Optimal Choice Problem., , , and . ESM, page 319-326. SCS, The Society for Computer Simulation International, (1996)Relation-based computations in a monadic BSP model., and . Parallel Comput., 33 (12): 795-821 (2007)ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions., , , , , and . IEEE Trans. Knowl. Data Eng., 35 (12): 12181-12193 (December 2023)ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions., , , , , and . CoRR, (2022)COPOD: Copula-Based Outlier Detection., , , , and . ICDM, page 1118-1123. IEEE, (2020)Knowledge-Based Simulation in Multiattribute Decision Making., , , and . EUROSIM, page 1271-1276. Elsevier, (1995)Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic petri nets., , , and . Comput. Math. Appl., 51 (2): 285-290 (2006)