Some recent papers

Workflow systems


Wainer, J., Kim, K. and Ellis, C. (2005) A Workflow Mining Method Through Model Rewriting 11th International Workshop, CRIWG 2005, p. 184-191.
Baggio, G., Wainer, J (2005) Modeling the Behavior of Dispatching Rules in Workflow Systems: A Statistical Approach, 11th International Workshop, CRIWG 2005 p. 208-215.
Baggio, G., Wainer, J., and Ellis, C. (2004) Applying scheduling techniques to minimize the number of late jobs in workflow systems. Proceedings of the 2004 ACM symposium on Applied Computing - Nicosia, Cyprus, Pages: 1396 - 1403.

Wainer, J., Bezerra, F., and Barthelmess, P. Tucupi: a flexible workflow system based on overridable constraints. Proceedings of the 2004 ACM symposium on Applied Computing - Nicosia, Cyprus, Pages: 498 - 502 .

Silva, R. S., Wainer, J., and Madeira, E. (2003). A Highly Decentralized Architecture for Large Scale Workflow Enactment. International Journal of Cooperative Information Systems.

Blin, M. J., Wainer, J., Medeiros, C. B. (2003) A reuse-oriented workflow definition language. International Journal of Cooperative Information Systems 12(1), pp. 1-36

Wainer, J., Barthelmess, P., Kumar, A. (2003). W-RBAC - A Workflow Security Model Incorporating Controlled Overriding of Constraints. International Journal of Cooperative Information Systems.

Wainer, J., Bezera, F. (2003) Constraint-based flexible workflows. To appear Proceeings of the 9th International Workshop on Groupware (CRIWG 2003)

Kumar, A., Wainer, J., Zhang, Z. (2003) Meta-workflows and ESP: A Framework for Coordination, Exception Handling and Adaptability in Workflow Systems. To appear CAiSe 2003 - Workshop on Web Services, e-Business, and the Semantic Web (WES), Austria

Aalst, W. V. D., Barthelmess, P., Ellis, C., Wainer, J. (2001) Proclets: a framework for lightweight interacting workflow processes. International Journal of Cooperative Information Systems. 10(4), pp. 443-482

Silva, R. S., Wainer, J., Madeira, E., Ellis, C. (2000). CORBA based architecture for large scale workflow. IEICE Transactions On Communications, E83-b, pp. 988-998

Wainer, J. (2000) Logical representation of processes in work activity coordination In: Proceedings of the ACM Conference on Applied Computing (SAC 2000), ACM Press, pp 203-209

Aalst, W., Barthelmess, P., Ellis, C., Wainer, J. (2000). Workflow Modeling using proclets In: Proceedings of the 5th International Conference on Cooperative Information Systems (CoopIS 2000)

Silva, R. S., Wainer, J., Madeira, E., Ellis, C. (1999). CORBA Based Architecture For Large Scale Workflow In: Proceedings of the 4th International Symposium on Autonomous Decentralized Systems (ISADS 99) . p.276 - 283.

Groupware Research


Barsotini, C. and Wainer, J. Patterns of Collaboration and Non-collaboration Among Physicians 11th International Workshop, CRIWG 2005,p. 348-254.
Ellis, C., Wainer, J., Barthelmess, Paulo (2003). Agent-Augmented Meetings In: Agent supported cooperative work Yiming Ye, Elizabeth Churchill ed. Kluwer Academic Publishers, 2003

Jacques Wainer, Danillo Palacio Braga (2001). Symgroup: applying social agents in a group interaction system. In Proceedings of the ACM 2001 International Conference on Supporting Group Work (GROUP 2001), ACM Press, pp. 224-231

Ellis, C., Wainer, J. (1999) Groupware and Computer Supported Cooperative Work In: Multiagent systems: A Modern Approach to Distributed Artificial Intelligence Gerhard Weiss ed. The MIT Press, pp. 425-457

Artificial Intelligence - Diagnostics


Razzouk, D., Mari, J., Shirakawa, I., Wainer, J., Sigulem, D. (2003) Knowledge acquisition in schizophrenia: clinical reasoning patterns among three experts. Schizophrenia Research. Holand: , v.63, n.3, p.295 - 296, 2003.

Massruhá, S., Sandri, S., and Wainer, J. (2003). Fuzzy covering theory: an alternative approach for diagnostic problem solving In: European Federation for Information Technology in Agriculture, Food and the Environment EFITA 2003

Fontanini, S., Wainer, J., Bernal, V., and Marangon, S. (2002). Model based diagnostics in LANs In: Proceedings of the 2002 IEEE Workshop on IP Operations and Management (IPOM 2002) IEEE Press.

Monteiro, A. M., Wainer, J. A conceptual framework to model chronic and long term diseases In Proceedings of the Artificial Intelligence in Medicine in Europe (AIME 2001) Springer Verlag LNAI series, 2001. v.2101. pp. 405-409.

Jacques Wainer and Sandra Sandri (1999). Fuzzy Temporal/Categorical Information in Diagnosis Journal of Inteligent Information Systems 11, pp. 9-26, Kluwer Academic Publishers.

Jacques Wainer and Sandra Sandri (1998). A Fuzzy Temporal/Categorical Extension to the Parsimonious Covering Theory, Proceedings of the 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), pages 1130-1137.

Jacques Wainer and Alexandre de Melo Rezende (1997). A Temporal Extension to the Parsimonious Covering Theory Journal of Artificial Intelligence in Medicine, 10, pp. 253-255, Elsevier.

Social Impacts of Information Technology (in Portuguese)

Ruben, G., Wainer, J., Dwyer, T. (2003). Informatica, Organizações e Sociedade no Brasil. Sao Paulo : Cortez Editora, pages 255.

Wainer, J. (2003). O paradoxo da produtividade In: Informatica, Organizações e Sociedade no Brasil. Ruben, G., Wainer, J., Dwyer, T. eds. Cortez Editora, pp. 13-55

Artificial Intelligence and Other Research


Ravagnani, W., Madeira, E., Wainer, J. (2003) A Greedy Algorithm to Configure and Reconfigure Bluetooth Scatternets In: Fifth IEEE International Conference on Mobile and Wireless Communications Networks (MWCN 2003), 2003, Singapure.

Hector Geffner and Jacques Wainer. (1998) Modeling action, knowledge and control. European Conference on Artificial Intelligence (ECAI'98), John Wiley and Sons, pg 532-536.

Ana Monteiro and Jacques Wainer (1996). Preferential multi-agent nonmonotonic logics: Preliminary report Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), pages 446-452, Morgan Kaufmann, 1996.

Ana Monteiro and Jacques Wainer. (1996) Epistemic Conditional Logics Proceedings of the XIII Brazilian Conference on AI (SBIA'96), volume 1150 of Lecure Notes on AI, pages 21-30, Springer Verlag.

Jacques Wainer (1994). Yet another semantics for goals and goal priorities Proceedings of the 11th European Conference on Artificial Inteligence (ECAI'94), John Willey and Sons,

Jacques Wainer (1994). Reasoning about another agent through empathy, XI Brazilian Conference in AI (SBIA'94).