José Carmo Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo: Collective Action, Direct Action and Dynamic Operators. NORMAS 2008: 31-50
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo: Roles, Counts-as and Deontic and Action Logics. DEON 2006: 1
2003
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Pacheco, José Carmo: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Autonomous Agents and Multi-Agent Systems 6(2): 145-184 (2003)
2001
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Olga Pacheco: Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles. Fundam. Inform. 48(2-3): 129-163 (2001)
1997
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Andrew J. I. Jones, José Carmo: Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. ECSQARU-FAPR 1997: 614-620
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilipe A. A. Santos, Andrew J. I. Jones, José Carmo: Action Concepts for Describing Organised Interaction. HICSS (5) 1997: 373-382
1996
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark A. Brown, José Carmo: Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 Springer 1996
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilipe Santos, José Carmo: Indirect Action, Influence and Responsibility. DEON 1996: 194-215
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Andrew J. I. Jones, José Carmo: Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. FMLDO 1996: 157-164
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilipe Santos, José Carmo: A Modal Action Logic Based Framework for Organization Specification and Analysis. JELIA 1996: 119-133
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Andrew J. I. Jones: Deontic Database Constraints, Violation and Recovery. Studia Logica 57(1): 139-165 (1996)
1995
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenwei Li, José Carmo: On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. Logic Journal of the IGPL 3(5): 765-790 (1995)
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Zanardo, José Carmo: Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. J. Log. Comput. 3(3): 249-268 (1993)
1992
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenwei Li, José Carmo: An Interval-Based Modal Logic for System Specification. LFCS 1992: 281-292
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: Formal techniques for systems specification and verification. Inf. Syst. 16(3): 245-272 (1991)
1990
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: Branching versus Linear Logics Yet Again. Formal Asp. Comput. 2(1): 24-59 (1990)
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: Inevitability in Branching Time. Logic at Botik 1989: 41-62
1987
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo, Amílcar Sernadas: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems 1987: 31-46
1985
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Carmo: The INFOLOG Branching Logic of Events. TFAIS 1985: 158-173

Coauthor Index

1Mark A. Brown [13]
2Robert Demolombe [11] [15]
3Andrew J. I. Jones [9] [11] [14] [15]
4Renwei Li [6] [8]
5Olga Pacheco [16] [17]
6Filipe Santos [10] [12]
7Filipe A. A. Santos [14]
8Amílcar Sernadas [2] [3] [4] [5]
9Alberto Zanardo [7]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)