Skip to main content

Biblio

Export 29 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is G  [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]
G
Gupta, G., A. Bansal, R. Min, L. Simon, and A. Mallya, "Coinductive Logic Programming and Its Applications", {Proceedings of the 23rd International Conference on Logic Programming (ICLP2007)}, vol. 4670: Springer, pp. 27-44, 2007.
Gupta, G., and E. Pontelli, "A Constraint-Based Approach for Specification and Verification of Real-Time Systems", Proceedings of the 18th IEEE Real-time Systems Symposium (RTSS 1997): IEEE Computer Society, pp. 230-239, 1997.
Günther, C. W., and W. Aalst, "Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics", Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, vol. 4714: Springer, pp. 328-343, 2007.
Guerri, A., and M. Milano, "Instance Structure-based Portfolio Selection", Intelligenza Artificiale, vol. 1, no. 2, pp. 37-45, 2004.
Guerri, A., M. Lombardi, and M. Milano, "Challenging Scheduling Problem in the field of System Design", presented at the ICAPS07 workshop: Scheduling a Scheduling Competition, 2007.  Download: WS.pdf (208.34 KB)
Green, T. R. G., "Cognitive Dimensions of Notations", People and Computers, vol. V: Cambridge University Press, pp. 443-460, 1989.
Greco, {G., A. Guzzo, L. Pontieri, and D. Saccà, "Discovering Expressive Process Models by Clustering Log Traces", {IEEE Transactions on Knowledge and Data Engineering}, vol. 18, no. 8, pp. 1010-1027, 2006.
Governatori, G., Z. Milosevic, and S. W. Sadiq, "Compliance Checking Between Business Processes and Business Contracts", Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006): IEEE Computer Society, pp. 221-232, 2006.
Gößler, G., and J. Sifakis, "Composition for Component-Based Modeling", Science of Computer Programming, vol. 55, no. 1-3, pp. 161-183, 2005.
Goedertier, S., and J. Vanthienen, "Designing Compliant Business Processes with Obligations and Permissions", Proceedings of the Business Process Management Workshops (BPMN2006), vol. 4103: Springer, pp. 5-14, 2006.
Goedertier, S., and J. Vanthienen, "Designing Compliant Business Processes with Obligations and Permissions", Proceedings of the Business Process Management Workshops (BPMN2006), vol. 4103: Springer, pp. 5-14, 2006.
Goedertier, S., and J. Vanthienen, "Compliant and Flexible Business Processes with Business Rules", Proceedings of the CAISE*06 Workshop on Business Process Modelling, Development, and Support (BPMDS 2006), vol. 236: CEUR-WS.org, 2007.
Giannakopoulou, D., and K. Havelund, "Automata-Based Verification of Temporal Properties on Running Programs", Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001): IEEE Computer Society, pp. 412-416, 2001.
Ghose, A., and G. Koliadis, "Auditing Business Process Compliance", Fifth International Conference on Service-Oriented Computing (ICSOC 2007), vol. 4749: Springer, pp. 169-180, 2007.
Gebruers, C., A. Guerri, B. Hnich, and M. Milano, "Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, pp. 380-386, 2004.
Gavanelli, M., M. Milano, B. O'Sullivan, and A. Holland, "What-if analysis through simulation-optimization hybrids", European Conference on Modeling and Simulation - Track on Policy Modeling, Koblenz, 2012.  Download: ecms12.pdf (1.62 MB)
Gavanelli, M., E. Lamma, P. Mello, and M. Milano, "Dealing with incomplete knowledge on CLP(FD) variable domains", ACM Trans. Program. Lang. Syst., vol. 27, no. 2, pp. 236-263, 2005.
Gavanelli, M., F. Riguzzi, M. Milano, and P. Cagnoli, "Optimization Techniques for Supporting Policy Making", Computational Intelligent Data Analysis for Sustainable Development: Taylor-Francis, pp. 361-380, 2013.  Download: Chapter12.pdf (781.66 KB)
Gavanelli, M., F. Riguzzi, M. Milano, D. Sottara, A. Cangini, and P. Cagnoli, "An Application of Fuzzy Logic to Strategic Environmental Assessment", XII-th Conference of the Italian Association for Artificial Intelligence, Palermo, Springer Verlag, 2011.