Home

Biblio

Export 27 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)
application/pdf iconWS.pdf
Gudgin, M., M. Hadley, N. Mendelsohn, J. - J. Moreau, H. F. Nielsen, A. Karmarkar, and Y. Lafon, Simple Object Access Protocol (SOAP) Version 1.2, : World Wide Web Consortium (W3C) Recommendation, 2007.
Green, T. R. G., and M. Petre, "Usability Analysis of Visual Programming Environments: a `Cognitive Dimensions' Framework", Visual Languages and Computing, vol. 7, pp. 131-174, 1996.
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.
Gößler, G., and J. Sifakis, "Composition for Component-Based Modeling", Science of Computer Programming, vol. 55, no. 1-3, pp. 161-183, 2005.
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.
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., Declarative Techniques for Modeling and Mining Business Processes, : Katholieke Universiteit Leuven, 2008.
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.
Ghezzi, C., D. Mandrioli, and A. Morzenti, "TRIO: A Logic Language for Executable Specifications of Real-Time Systems", Systems and Software, vol. 12, no. 2, pp. 107-123, 1990.
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., F. Riguzzi, M. Milano, and P. Cagnoli, "Logic-based decision support for strategic environmental assessment", TPLP, vol. 10, no. 4-6, pp. 643-658, 2010.
Gavanelli, M., M. Milano, S. Storari, L. Tagliavini, P. Baldazzi, M. Manfredi, and G. Valastro, "Greedy and Exact Algorithms for Invitation Planning in Cancer Screening", New Challenges in Applied Intelligence Technologies, pp. 255-264, 2008.
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, 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.
Gavanelli, M., F. Riguzzi, M. Milano, and P. Cagnoli, "Constraint and Optimization techniques for supporting Policy Making", International Symposium on Artificial Intelligence and Mathematics, ISAIM, 2012, 01/2012.
application/pdf iconISAIM2012_Gavanelli_etal.pdf
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)