Вы здесь

Главная

Giunchiglia F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Tropos Software Development Methodology: Processes, Models and Diagrams 2003 Giunchiglia F., Mylopoulos J., Perini A. Lecture Notes in Computer Science 29.03.2003
СТ Modeling Early Requirements in Tropos: A Transformation Based Approach 2002 Bresciani P., Perini A., Giorgini P., Giunchiglia F., Mylopoulos J. Lecture Notes in Computer Science 06.04.2002
СТ Model Checking-Based Analysis of Multiagent Systems 2001 Benerecetti M., Giunchiglia F. Lecture Notes in Artificial Intelligence 05.11.2001
СТ Model Checking Security Protocols Using a Logic of Belief 2000 Benerecetti M., Giunchiglia F. Lecture Notes in Computer Science 26.04.2000
СТ Improved Automata Generation for Linear Temporal Logic 1999 Daniele M., Giunchiglia F., Vardi M. Y. Lecture Notes in Computer Science 16.07.1999
СТ Intospective Metatheoretic Reasoning 1994 Giunchiglia F., Cimatti A. Lecture Notes in Computer Science 13.01.1995
СТ Hierarchical Meta-logics: Intuitions, Proof Theory and Semantics 1992 Giunchiglia F., Serafini L., Simpson A. Lecture Notes in Computer Science 03.02.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Knowledge Science, Engineering and Management, Part II: Proc./11th International Conference, KSEM 2018, Changchun, China, August 2018 2018 Lecture Notes in Artificial Intelligence
  1. Liu W.
  2. Giunchiglia F.
  3. Yang B.
 27.09.2018
СБ Knowledge Science, Engineering and Management, Part I: Proc./11th International Conference, KSEM 2018, Changchun, China, August 2018 2018 Lecture Notes in Computer Science
  1. Liu W.
  2. Giunchiglia F.
  3. Yang B.
 27.09.2018
СБ Agent-Oriented Software Engineering III: Proc./Third Intern. Workshop, AOSE 2002, Bologna, Italy, July 2002 2003 Lecture Notes in Computer Science
  1. Giunchiglia F.
  2. Odell J.
  3. Weiss G.
 29.03.2003
СБ Cooperative Information Systems: Proc./9th Intern. Conf., CoopIS 2001, Treto, Italy, September 2001 2001 Lecture Notes in Computer Science
  1. Batini C.
  2. Giunchiglia F.
  3. Giorgini P.
  4. Mecella M.
 03.11.2001
СБ Artificial Intelligence: Methodology, Systems, and Applications: Proc./8th Intern. Conf., AIMSA 98. Sozopol, Bulgaria, September 1998 1998 Lecture Notes in Artificial Intelligence
  1. Giunchiglia F.
 03.10.1998