Department of Informatics and Mathematical Modeling
- 2012
- Published
An Intuitionistic Fuzzy Methodology for Component-Based Software Reliability Optimization. / Madsen, Henrik; Grigore, Albeanu; Popenţiuvlǎdicescu, Florin.
In: International Journal of Performability Engineering, Vol. 8, No. 1, 2012, p. 67-76.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Routing-based synthesis of digital microfluidic biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.
In: Design Automation for Embedded Systems, Vol. 16, No. 1, 2012, p. 19-44.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Micro‐CT analyses of apical enlargement and molar root canal complexity. / Markvart, M.; Darvann, Tron Andre; Larsen, P.; Dalstra, M.; Kreiborg, S.; Bjørndal, L.
In: International Endodontic Journal, Vol. 45, No. 3, 2012, p. 273-281.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Three-dimensional analysis of the pulp cavity on surface models of molar teeth, using X-ray micro-computed tomography. / Markvart, Merete; Bjørndal, Lars; Darvann, Tron Andre; Larsen, Per; Dalstra, Michel; Kreiborg, Sven.
In: Acta Odontologica Scandinavica, Vol. 70, No. 2, 2012, p. 133-139.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Implementing Workflow Reconfiguration in WS-BPEL. / Mazzara, Manuel; Dragoni, Nicola; Zhou, Mu.
In: Journal of Internet Services and Information Security, Vol. 2, No. 1/2, 2012, p. 73-92.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Topology Adaptive Interface Tracking Using the Deformable Simplicial Complex. / Misztal, Marek Krzysztof; Bærentzen, Jakob Andreas.
In: A C M Transactions on Graphics, Vol. 31, No. 3, 2012, p. No. 24.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Development of a restricted state space stochastic differential equation model for bacterial growth in rich media. / Møller, Jan Kloppenborg; Philipsen, Kirsten Riber; Christiansen, Lasse Engbo; Madsen, Henrik.
In: Journal of Theoretical Biology, Vol. 305, 2012, p. 78-87.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: Journal of Universal Computer Science, Vol. 18, No. 20, 2012, p. 2798-2831.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
A Transmission-Cost-Based Model to Estimate the Amount of Market-Integrable Wind Resources. / Morales González, Juan Miguel; Pinson, Pierre; Madsen, Henrik.
In: I E E E Transactions on Power Systems, Vol. 27, No. 2, 2012, p. 1060-1069 .Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Pricing Electricity in Pools With Wind Producers. / Morales González, Juan Miguel; Conejo, A. J.; University of Hong Kong; University of Hong Kong.
In: I E E E Transactions on Power Systems, Vol. 27, No. 3, 2012, p. 1366-1376.Publication: Research - peer-review › Journal article – Annual report year: 2012