Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
Abstract--Social networking on the Web has become an integral part of our lives. Merging of computing with physical things enabled the conversion of everyday objects into informati...
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...