"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
Bioinformatics is a promising and innovative research field. Despite of a high number of techniques specifically dedicated to bioinformatics problems as well as many successful app...
Udo Seiffert, Barbara Hammer, Samuel Kaski, Thomas...
There is currently much interest in notions of experience-centered design in Human-Computer Interaction (HCI). A great deal of the research and practice in this area is at the bou...
Mark Blythe, Peter C. Wright, John C. McCarthy, Ol...
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...