dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jorge Lobo Home Page Coauthor index pubzone.org

IBM Watson Research Center (Hawthorne)

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo: Risk-based security decisions under uncertainty. CODASPY 2012: 157-168
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo: Interactive Demonstration of a Remote Reconfigurable Logic Laboratory for Basic Digital Design. iJOE 8(S1): 19-20 (2012)
2011
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuth Breu, Jason Crampton, Jorge Lobo: SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings ACM 2011
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman: Policy refinement: Decomposition and operationalization for dynamic domains. CNSM 2011: 1-9
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Trindade, Jorge Lobo: Distributed Accelerometers for Gesture Recognition and Visualization. DoCEIS 2011: 215-223
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin: Policy refinement of network services for MANETs. Integrated Network Management 2011: 113-120
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman: Refinement of History-Based Policies. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 280-299
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo: Fine-grained integration of access control policies. Computers & Security 30(2-3): 91-107 (2011)
2010
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Elisa Bertino, Jorge Lobo: Risk-based access control systems built on fuzzy inferences. ASIACCS 2010: 250-260
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman: Decomposition techniques for policy refinement. CNSM 2010: 72-79
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMandis Beigi, Jorge Lobo, Keith Grueneberg, Seraphin B. Calo, John Karat: A Negotiation Framework for Negotiation of Coalition Policies. POLICY 2010: 133-136
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Molloy, Ninghui Li, Yuan (Alan) Qi, Jorge Lobo, Luke Dickens: Mining roles with noisy data. SACMAT 2010: 45-54
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Elisa Bertino, Jorge Lobo, Carolyn Brodie, Clare-Marie Karat, John Karat, Alberto Trombetta: Privacy-aware role-based access control. ACM Trans. Inf. Syst. Secur. 13(3): (2010)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo: Mining Roles with Multiple Objectives. ACM Trans. Inf. Syst. Secur. 13(4): 36 (2010)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo: EXAM: a comprehensive environment for the analysis of access control policies. Int. J. Inf. Sec. 9(4): 253-273 (2010)
2009
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Elisa Bertino, Jorge Lobo: D-algebra for composing access control policy decisions. ASIACCS 2009: 298-309
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi Pan, Jorge Lobo, Seraphin B. Calo: Extending the CIM-SPL policy language with RBAC for distributed management systems in the WBEM infrastructure. Integrated Network Management 2009: 145-148
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrathima Rao, Gabriel Ghinita, Elisa Bertino, Jorge Lobo: Visualization for Access Control Policy Analysis Results Using Multi-level Grids. POLICY 2009: 25-28
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNinghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa Bertino, Prathima Rao, Jorge Lobo, Dan Lin: Access control policy combining: theory meets practice. SACMAT 2009: 135-144
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo: An algebra for fine-grained integration of XACML policies. SACMAT 2009: 63-72
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Beznosov, Philip Inglesant, Jorge Lobo, Rob Reeder, Mary Ellen Zurko: Usability meets access control: challenges and research opportunities. SACMAT 2009: 73-74
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Jorge Lobo, Seraphin B. Calo, Pankaj Rohatgi, Elisa Bertino: Automating role-based provisioning by learning from examples. SACMAT 2009: 75-84
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Molloy, Ninghui Li, Tiancheng Li, Ziqing Mao, Qihua Wang, Jorge Lobo: Evaluating role mining algorithms. SACMAT 2009: 95-104
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Carolyn Brodie, Seraphin B. Calo, Lorrie Faith Cranor, Clare-Marie Karat, John Karat, Ninghui Li, Dan Lin, Jorge Lobo, Qun Ni, Prathima Rao, Xiping Wang: Analysis of privacy and security policies. IBM Journal of Research and Development 53(2): 3 (2009)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Karat, Clare-Marie Karat, Elisa Bertino, Ninghui Li, Qun Ni, Carolyn Brodie, Jorge Lobo, Seraphin B. Calo, Lorrie Faith Cranor, Ponnurangam Kumaraguru, Robert W. Reeder: Policy framework for security and privacy management. IBM Journal of Research and Development 53(2): 4 (2009)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Elisa Bertino, Jorge Lobo, Seraphin B. Calo: Privacy-Aware Role-Based Access Control. IEEE Security & Privacy 7(4): 35-43 (2009)
2008
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto E. Schaeffer Filho, Emil Lupu, Morris Sloman, Sye Loong Keoh, Jorge Lobo, Seraphin B. Calo: A Role-Based Infrastructure for the Management of Dynamic Communities. AIMS 2008: 1-14
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Gelfond, Jorge Lobo: Authorization and Obligation Policies in Dynamic Systems. ICLP 2008: 22-36
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo: EXAM: An Environment for Access Control Policy Analysis and Management. POLICY 2008: 238-240
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brodie, David George, Clare-Marie Karat, John Karat, Jorge Lobo, Mandis Beigi, Xiping Wang, Seraphin B. Calo, Dinesh C. Verma, Alberto E. Schaeffer Filho, Emil Lupu, Morris Sloman: The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. POLICY 2008: 247-249
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Vasileios Pappas: C2: The Case for a Network Configuration Checking Language. POLICY 2008: 29-36
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHang Zhao, Jorge Lobo, Steven M. Bellovin: An Algebra for Integration and Analysis of Ponder2 Policies. POLICY 2008: 74-77
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo: Policy decomposition for collaborative access control. SACMAT 2008: 103-112
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Elisa Bertino, Jorge Lobo: An obligation model bridging access control policies and privacy policies. SACMAT 2008: 133-142
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo: Mining roles with semantic meanings. SACMAT 2008: 21-30
2007
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Dan Lin, Elisa Bertino, Jorge Lobo: Conditional Privacy-Aware Role Based Access Control. ESORICS 2007: 72-89
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDakshi Agrawal, Seraphin B. Calo, Kang-Won Lee, Jorge Lobo: Issues in Designing a Policy Language for Distributed Management of IT Infrastructures. Integrated Network Management 2007: 30-39
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo: Policy-Based Computing: From Systems and Applications to Theory. LPNMR 2007: 2
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo: An approach to evaluate policy similarity. SACMAT 2007: 1-10
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo: Privacy-aware role based access control. SACMAT 2007: 41-50
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQihua Wang, Ting Yu, Ninghui Li, Jorge Lobo, Elisa Bertino, Keith Irwin, Ji-Won Byun: On the Correctness Criteria of Fine-Grained Access Control in Relational Databases. VLDB 2007: 555-566
2006
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeraphin B. Calo, Jorge Lobo: A Basis for Comparing Characteristics of Policy Systems. POLICY 2006: 183-194
2005
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDakshi Agrawal, James Giles, Kang-Won Lee, Jorge Lobo: Policy Ratification. POLICY 2005: 223-232
2004
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Gisela Mendez, Stuart R. Taylor: Knowledge And The Action Description Language A CoRR cs.AI/0404051: (2004)
2003
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, Jorge Lobo, Shamim A. Naqvi: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15(1): 244-249 (2003)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhur Kohli, Jorge Lobo: Realizing network Control Policies using Distributed Action Plans. J. Network Syst. Manage. 11(3): 305-327 (2003)
2001
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMorris Sloman, Jorge Lobo, Emil Lupu: Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings Springer 2001
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran Cao Son, Jorge Lobo: Reasoning about Policies using Logic Programs. Answer Set Programming 2001
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, Jorge Lobo: Monitors for History-Based Policies. POLICY 2001: 57-72
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. Int. J. Cooperative Inf. Syst. 10(4): 483-507 (2001)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Gisela Mendez, Stuart R. Taylor: Knowledge and the Action Description Language A. TPLP 1(2): 129-184 (2001)
2000
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhur Kohli, Jorge Lobo: Distributed action plans in an agent based network management system. Agents 2000: 140-141
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing (and Reasoning About) the Specifications of Workflows. CoopIS 2000: 1-17
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandeep Bhatia, Jorge Lobo, Madhur Kohli: Policy Evaluation for Network Management. INFOCOM 2000: 1107-1116
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, Jorge Lobo, Shamim A. Naqvi: A Logic Programming Approach to Conflict Resolution in Policy Management. KR 2000: 121-132
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAashu Virmani, Jorge Lobo, Madhur Kohli: Netmon: network management for the SARAS softswitch. NOMS 2000: 803-816
1999
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Randeep Bhatia, Shamim A. Naqvi: A Policy Description Language. AAAI/IAAI 1999: 291-298
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandeep Bhatia, Madhur Kohli, Jorge Lobo, Aashu Virmani: A Policy-based Network Management System. IC-AI 1999: 465-471
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Jorge Lobo: Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. Ann. Math. Artif. Intell. 25(3-4): 161-164 (1999)
1997
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Gisela Mendez, Stuart R. Taylor: Adding Knowledge to the Action Description Language A. AAAI/IAAI 1997: 454-459
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Goce Trajcevski: Formal Characterizations of Active Databases: Part II. DOOD 1997: 247-264
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo: From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. DOOD 1997: 26-32
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo: Defeasible Specifications in Action Theories. IJCAI 1997: 1441-1446
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Carlos Uzcátegui: Abductive Consequence Relations. Artif. Intell. 89(1-2): 149-171 (1997)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Gaasterland, Jorge Lobo: Qualifying Answers According to User Needs and Preferences. Fundam. Inform. 32(2): 121-137 (1997)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Goce Trajcevski: Minimal and Consistent Evolution of Knowledge Bases. Journal of Applied Non-Classical Logics 7(1): (1997)
1996
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoce Trajcevski, Jorge Lobo, Naveen Grover: Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. ICTAI 1996: 478-479
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo: Formal Characterization of Active Databases. Logic in Databases 1996: 175-195
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouiqa Raschid, Jorge Lobo: Semantics for Update Rule Programs and Implementations in a Relational Database Management System. ACM Trans. Database Syst. 21(4): 526-571 (1996)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChengjie Luo, Clement T. Yu, Jorge Lobo, Gaoming Wang, Tracy Pham: Computation of Best Bounds of Probabilities from Uncertain Data. Computational Intelligence 12: 541-566 (1996)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Carlos Uzcátegui: Abductive Change Operators. Fundam. Inform. 27(4): 385-411 (1996)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Jeffrey, Jorge Lobo, Tadao Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259 (1996)
1995
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Robles, Jorge Lobo, Terry Gaasterland: An Experimental Distributed Deductive Database System. DOOD 1995: 128-142
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Qi Yang, Clement T. Yu: Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. Ann. Math. Artif. Intell. 14(2-4): 151-176 (1995)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTeruhiro Shimura, Jorge Lobo, Tadao Murata: An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995)
1994
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Gaasterland, Natalia Maltsev, Jorge Lobo, Guo-Hua Chen: Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. ISMB 1994: 130-137
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica D. Barback, Jorge Lobo: A Resolution-based Procedure for Default Theories with Extensions. NMELP 1994: 101-126
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Gaasterland, Jorge Lobo: Qualified Answers That Reflect User Needs and Preferences. VLDB 1994: 309-320
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouiqa Raschid, Jorge Lobo: A Semantics for a Class of Non-Deterministic and Causal Production System Programs. J. Autom. Reasoning 12(3): 305-349 (1994)
1993
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica D. Barback, Jorge Lobo: A Proof Procedure for Default Theories with Extensions. ILPS 1993: 651
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Gaasterland, Jorge Lobo: Using Semantic Information for Processing Negation and Disjunction in Logic Programs. ISMIS 1993: 198-208
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian: Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. 8(3-4): 449-474 (1993)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Grant, John F. Horty, Jorge Lobo, Jack Minker: View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 (1993)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Gaasterland, Jorge Lobo: Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. J. Intell. Inf. Syst. 2(3): 225-243 (1993)
1992
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Jack Minker, Arcot Rajasekar: Foundations of disjunctive logic programming. MIT Press 1992: 1-307
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica D. Barback, Jorge Lobo, James J. Lu: Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT 1992: 246-260
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTeruhiro Shimura, Jorge Lobo, Tadao Murata: A Petri Net Semantics for Logic Programs with Negation. SEKE 1992: 292-299
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Jack Minker: Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, V. S. Subrahmanian: Relating Minimal Models and Pre-Requisite-Free Normal Defaults. Inf. Process. Lett. 44(3): 129-133 (1992)
1991
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJack Minker, Arcot Rajasekar, Jorge Lobo: Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 613-639
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Arcot Rajasekar, Jack Minker: Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. 86(1): 93-106 (1991)
1990
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Jack Minker: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo: On Constructive Negation for Disjunctive Logic Programs. NACLP 1990: 704-718
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Jack Minker, Arcot Rajasekar: Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP 1989: 255-267
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArcot Rajasekar, Jorge Lobo, Jack Minker: Skeptical Reasoning and Disjunctive Programs. KR 1989: 349-356
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArcot Rajasekar, Jorge Lobo, Jack Minker: Weak Generalized Closed World Assumption. J. Autom. Reasoning 5(3): 293-307 (1989)
1988
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Jack Minker: A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. 1988: 699-741
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Lobo, Jack Minker, Arcot Rajasekar: Weak Completion Theory for Non-Horn Programs. ICLP/SLP 1988: 828-842

Coauthor Index

1Dakshi Agrawal [57] [63]
2Arosha K. Bandara [85]
3Chitta Baral [7] [9] [12] [32] [37] [38] [39] [47] [50]
4Monica D. Barback [14] [20] [23]
5Mandis Beigi (Mandis S. Beigi) [70] [90]
6Steven M. Bellovin (Steve Bellovin) [68] [95]
7Elisa Bertino [59] [60] [61] [64] [65] [66] [67] [71] [74] [75] [76] [78] [80] [81] [82] [84] [86] [87] [88] [92] [93]
8Konstantin Beznosov [79]
9Randeep Bhatia [42] [43] [46]
10Ruth Breu [98]
11Carolyn Brodie [70] [75] [76] [88]
12Ji-Won Byun [59]
13Seraphin B. Calo [58] [63] [65] [70] [73] [74] [75] [76] [78] [83] [87] [90] [94]
14Guo-Hua Chen [24]
15Hong Chen [65] [87]
16Pau-Chen Cheng [100]
17Jan Chomicki [45] [51] [55]
18Jason Crampton [98]
19Lorrie Faith Cranor [75] [76]
20Robert Craven [85] [91] [97]
21Luke Dickens [89] [100]
22Jürgen Dix [41]
23José Alberto Fernández [18]
24Alberto E. Schaeffer Filho [70] [73]
25Terry Gaasterland [16] [19] [22] [24] [27] [35]
26Michael Gelfond [72]
27David George [70]
28Gabriel Ghinita [82]
29James Giles [57]
30John Grant [17]
31Naveen Grover [33]
32Keith Grueneberg [90]
33John F. Horty [17]
34Philip Inglesant [79]
35Keith Irwin [59]
36John Jeffrey [28]
37Clare-Marie Karat [70] [75] [76] [88]
38John Karat [70] [75] [76] [88] [90]
39Sye Loong Keoh [73]
40Madhur Kohli [42] [44] [46] [48] [54]
41Ponnurangam Kumaraguru [75]
42Kang-Won Lee [57] [63]
43Ninghui Li [59] [65] [67] [71] [75] [76] [77] [80] [81] [86] [87] [89] [93]
44Tiancheng Li [65] [77] [87]
45Dan Lin [61] [64] [67] [71] [76] [80] [81] [86] [93]
46James J. Lu [14]
47Chengjie Luo [30]
48Emil C. Lupu (Emil Lupu) [53] [70] [73] [85] [91] [94] [97]
49Jiefei Ma [85] [94]
50Natalia Maltsev [24]
51Ziqing Mao [77]
52Gisela Mendez [40] [49] [56]
53Jack Minker [1] [2] [3] [4] [5] [7] [8] [9] [10] [12] [15] [17] [18]
54Ian Molloy [65] [77] [87] [89] [100]
55Charles Morisset [100]
56Tadao Murata [13] [25] [28]
57Shamim A. Naqvi [43] [45] [55]
58Qun Ni [60] [64] [66] [74] [75] [76] [78] [84] [88] [92]
59Li Pan [83]
60Vasileios Pappas [69]
61Tracy Pham [30]
62Wahbeh H. Qardaji [81]
63Yuan (Alan) Qi [89]
64Arcot Rajasekar [1] [3] [4] [5] [8] [10] [15]
65Prathima Rao [61] [67] [71] [76] [80] [81] [82] [86] [93]
66Louiqa Raschid [21] [31]
67Rob Reeder [79]
68Robert W. Reeder [75]
69Claudio Robles [27]
70Pankaj Rohatgi [78]
71Arnab Roy [95]
72Alessandra Russo [85] [91] [94] [97] [100]
73Teruhiro Shimura [13] [25]
74Morris Sloman [53] [70] [73] [91] [94] [97]
75Tran Cao Son [52]
76V. S. Subrahmanian [11] [18]
77Stuart R. Taylor [40] [49] [56]
78Goce Trajcevski [33] [34] [39] [47] [50]
79Pedro Trindade [96]
80Alberto Trombetta [60] [88]
81Carlos Uzcátegui [29] [36]
82Dinesh C. Verma [70]
83Aashu Virmani [42] [44]
84Gaoming Wang [30]
85Qihua Wang [59] [65] [77] [81] [87]
86Xiping Wang [70] [76]
87Qi Yang [26]
88Clement T. Yu [26] [30]
89Ting Yu [59]
90Hang Zhao [68] [95]
91Mary Ellen Zurko [79]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page