Skip to main content


Export 20 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is D  [Clear All Filters]
A B C [D] E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
Dwyer, M. B., G. S. Avrunin, and J. C. Corbett, "Property Specification Patterns for Finite-State Verification", Proceedings of the Second Workshop on Formal Methods in Software Practice (FMSP1998): {ACM} {P}ress, pp. 7-15, 1998.
Dourish, P., J. Holmes, A. MacLean, P. Marqvardsen, and A. Zbyslaw, "Freeflow: Mediating Between Representation and Action in Workflow Systems", Proceedings of the CM Conference on Computer Supported Cooperative Work (CSCW '96), pp. 190-198, 1996.
van Dongen, B. F., and W. Aalst, "Multi-phase Process Mining: Building Instance Graphs", 23rd International Conference on Conceptual Modeling (ER2004), vol. 3288: Springer, pp. 362-376, 2004.
van Dongen, B. F., Process Mining and Verification, : {Eindhoven University of Technology}, 2007.
van Dongen, B. F., and W. Aalst, "A Meta Model for Process Mining Data", Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), vol. 160: FEUP Edições, pp. 309-320, 2005.
Dincbas, M., V. P. Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier, "The Constraint Logic Programming Language CHIP", Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 693-702, 1988.
Dijkman, R. M., M. Dumas, and C. Ouyang, "Semantics and analysis of business process models in BPMN", Information {&} Software Technology, vol. 50, no. 12, pp. 1281-1294, 2008.
Deutsch, A., L. Sui, V. Vianu, and D. Zhou, "Verification of Communicating Data-Driven Web Services", Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS '06): ACM Press, pp. 90-99, 2006.
Desel, J., and T. Erwin, "Hybrid Specifications: Looking at Workflows From a Run-Time Perspective", {Computer System Science & Engineering}, vol. 15, no. 5, pp. 291-302, 2000.
DeRemer, F., and H. H. Kron, "Programming-in-the-Large Versus Programming-in-the-Small", IEEE Transactions on Software Engineering, vol. 2, no. 2, pp. 80-86, 1976.
Denti, E., A. Omicini, and A. Ricci, "tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures", Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings, vol. 1990: Springer, pp. 184-198, 2001.
Denecker, M., and D. D. Schreye, "SLDNFA: An Abductive Procedure for Abductive Logic Programs", Jorunal of Logic Programming, vol. 34, no. 2, pp. 111-167, 1998.
Delzanno, G., and A. Podelski, "Model Checking in CLP}", Proocedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), vol. 1579: Springer, pp. 223-239, 1999.
De Filippo, A., M. Lombardi, M. Milano, and A. Borghetti, "Robust Optimization for Virtual Power Plants", AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings, Cham, Springer International Publishing, pp. 17–30, 2017. Abstract
D., A. Rozinat, and T.A., "Web Service Interfaces", Proceedings of the 14th international World Wide Web Conference (WWW2005), pp. 148-159, 2005.