Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jorge Lobo
Author information
- IBM Watson Research Center (Hawthorne)
Other persons with the same name
- Jorge Lobo 0002 — Coimbra University, Portugal
2010 – today
- 2012
[j30]Jorge Lobo: Interactive Demonstration of a Remote Reconfigurable Logic Laboratory for Basic Digital Design. iJOE 8(S1): 19-20 (2012)- [c74]Raheleh Dimaghani, Sahin Cem Geyik, Keith Grueneberg, Jorge Lobo, S. Yousaf Shah, Boleslaw K. Szymanski, Petros Zerfos: Policy-Aware Service Composition in Sensor Networks. IEEE SCC 2012: 186-193
- [c73]Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le: Declarative Distributed Computing. Correct Reasoning 2012: 454-470
- [c72]Jorge Lobo, David Wood, Dinesh C. Verma, Seraphin B. Calo: Distributed state machines: A declarative framework for the management of distributed systems. CNSM 2012: 224-228
- [c71]Ian Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo: Risk-based security decisions under uncertainty. CODASPY 2012: 157-168
- [c70]Luke Dickens, Ian Molloy, Jorge Lobo, Pau-Chen Cheng, Alessandra Russo: Learning Stochastic Models of Information Flow. ICDE 2012: 570-581
- [c69]Jorge Lobo, Massimo Marchi, Alessandro Provetti: Firewall Configuration Policies for the Specification and Implementation of Private Zones. POLICY 2012: 78-85
- [c68]Suresh Chari, Jorge Lobo, Ian Molloy: Practical risk aggregation in RBAC models. SACMAT 2012: 117-118
- 2011
- [j29]Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo: Fine-grained integration of access control policies. Computers & Security 30(2-3): 91-107 (2011)
- [c67]Jorge 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
- [c66]Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman: Policy refinement: Decomposition and operationalization for dynamic domains. CNSM 2011: 1-9
- [c65]Pedro Trindade, Jorge Lobo: Distributed Accelerometers for Gesture Recognition and Visualization. DoCEIS 2011: 215-223
- [c64]Hang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin: Policy refinement of network services for MANETs. Integrated Network Management 2011: 113-120
- [e3]Ruth Breu, Jason Crampton, Jorge Lobo (Eds.): SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings. ACM 2011, ISBN 978-1-4503-0688-1
- 2010
- [j28]Dan 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)
- [j27]Qun 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)
- [j26]Ian 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)
- [c63]Qun Ni, Elisa Bertino, Jorge Lobo: Risk-based access control systems built on fuzzy inferences. ASIACCS 2010: 250-260
- [c62]Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman: Decomposition techniques for policy refinement. CNSM 2010: 72-79
- [c61]Mandis Beigi, Jorge Lobo, Keith Grueneberg, Seraphin B. Calo, John Karat: A Negotiation Framework for Negotiation of Coalition Policies. POLICY 2010: 133-136
- [c60]Ian Molloy, Ninghui Li, Yuan (Alan) Qi, Jorge Lobo, Luke Dickens: Mining roles with noisy data. SACMAT 2010: 45-54
- [c59]Chris Giblin, Marcel Graf, Günter Karjoth, Andreas Wespi, Ian Molloy, Jorge Lobo, Seraphin B. Calo: Towards an integrated approach to role engineering. SafeConfig 2010: 63-70
2000 – 2009
- 2009
- [j25]Elisa 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)
- [j24]John 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)
- [j23]Qun Ni, Elisa Bertino, Jorge Lobo, Seraphin B. Calo: Privacy-Aware Role-Based Access Control. IEEE Security & Privacy 7(4): 35-43 (2009)
- [c58]Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250
- [c57]Qun Ni, Elisa Bertino, Jorge Lobo: D-algebra for composing access control policy decisions. ASIACCS 2009: 298-309
- [c56]Li 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
- [c55]Prathima Rao, Gabriel Ghinita, Elisa Bertino, Jorge Lobo: Visualization for Access Control Policy Analysis Results Using Multi-level Grids. POLICY 2009: 25-28
- [c54]Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo: An algebra for fine-grained integration of XACML policies. SACMAT 2009: 63-72
- [c53]Konstantin Beznosov, Philip Inglesant, Jorge Lobo, Rob Reeder, Mary Ellen Zurko: Usability meets access control: challenges and research opportunities. SACMAT 2009: 73-74
- [c52]Qun Ni, Jorge Lobo, Seraphin B. Calo, Pankaj Rohatgi, Elisa Bertino: Automating role-based provisioning by learning from examples. SACMAT 2009: 75-84
- [c51]Ian Molloy, Ninghui Li, Tiancheng Li, Ziqing Mao, Qihua Wang, Jorge Lobo: Evaluating role mining algorithms. SACMAT 2009: 95-104
- [c50]Ninghui 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
- [c49]Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman: Security policy refinement using data integration: a position paper. SafeConfig 2009: 25-28
- [e2]Ehab Al-Shaer, Mohamed G. Gouda, Jorge Lobo, Sanjai Narain, Felix Wu (Eds.): Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009. ACM 2009, ISBN 978-1-60558-778-3
- 2008
- [c48]Alberto 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
- [c47]Michael Gelfond, Jorge Lobo: Authorization and Obligation Policies in Dynamic Systems. ICLP 2008: 22-36
- [c46]Jorge Lobo, Vasileios Pappas: C2: The Case for a Network Configuration Checking Language. POLICY 2008: 29-36
- [c45]Hang Zhao, Jorge Lobo, Steven M. Bellovin: An Algebra for Integration and Analysis of Ponder2 Policies. POLICY 2008: 74-77
- [c44]Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo: EXAM: An Environment for Access Control Policy Analysis and Management. POLICY 2008: 238-240
- [c43]Carolyn 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
- [c42]Ian 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
- [c41]Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo: Policy decomposition for collaborative access control. SACMAT 2008: 103-112
- [c40]Qun Ni, Elisa Bertino, Jorge Lobo: An obligation model bridging access control policies and privacy policies. SACMAT 2008: 133-142
- 2007
- [c39]Qun Ni, Dan Lin, Elisa Bertino, Jorge Lobo: Conditional Privacy-Aware Role Based Access Control. ESORICS 2007: 72-89
- [c38]Dakshi 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
- [c37]
- [c36]Dan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo: An approach to evaluate policy similarity. SACMAT 2007: 1-10
- [c35]Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo: Privacy-aware role based access control. SACMAT 2007: 41-50
- [c34]Qihua 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
- [c33]Seraphin B. Calo, Jorge Lobo: A Basis for Comparing Characteristics of Policy Systems. POLICY 2006: 183-194
- 2005
- [c32]
- 2004
- [i1]Jorge Lobo, Gisela Mendez, Stuart R. Taylor: Knowledge And The Action Description Language A. CoRR cs.AI/0404051 (2004)
- 2003
- [j22]Madhur Kohli, Jorge Lobo: Realizing network Control Policies using Distributed Action Plans. J. Network Syst. Manage. 11(3): 305-327 (2003)
- [j21]Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15(1): 244-249 (2003)
- 2001
- [j20]Goce 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)
- [j19]Jorge Lobo, Gisela Mendez, Stuart R. Taylor: Knowledge and the Action Description Language A. TPLP 1(2): 129-184 (2001)
- [c31]Tran Cao Son, Jorge Lobo: Reasoning about Policies using Logic Programs. Answer Set Programming 2001
- [c30]
- [e1]Morris Sloman, Jorge Lobo, Emil Lupu (Eds.): Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings. Lecture Notes in Computer Science 1995, Springer 2001, ISBN 3-540-41610-2
- 2000
- [c29]Madhur Kohli, Jorge Lobo: Distributed action plans in an agent based network management system. Agents 2000: 140-141
- [c28]Goce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing (and Reasoning About) the Specifications of Workflows. CoopIS 2000: 1-17
- [c27]Randeep Bhatia, Jorge Lobo, Madhur Kohli: Policy Evaluation for Network Management. INFOCOM 2000: 1107-1116
- [c26]Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: A Logic Programming Approach to Conflict Resolution in Policy Management. KR 2000: 121-132
- [c25]Aashu Virmani, Jorge Lobo, Madhur Kohli: Netmon: network management for the SARAS softswitch. NOMS 2000: 803-816
1990 – 1999
- 1999
- [j18]Jü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)
- [c24]
- [c23]Randeep Bhatia, Madhur Kohli, Jorge Lobo, Aashu Virmani: A Policy-based Network Management System. IC-AI 1999: 465-471
- 1997
- [j17]Jorge Lobo, Carlos Uzcátegui: Abductive Consequence Relations. Artif. Intell. 89(1-2): 149-171 (1997)
- [j16]Terry Gaasterland, Jorge Lobo: Qualifying Answers According to User Needs and Preferences. Fundam. Inform. 32(2): 121-137 (1997)
- [j15]Jorge Lobo, Goce Trajcevski: Minimal and Consistent Evolution of Knowledge Bases. Journal of Applied Non-Classical Logics 7(1): 117-146 (1997)
- [c22]Jorge Lobo, Gisela Mendez, Stuart R. Taylor: Adding Knowledge to the Action Description Language A. AAAI/IAAI 1997: 454-459
- [c21]Chitta Baral, Jorge Lobo: From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. DOOD 1997: 26-32
- [c20]Chitta Baral, Jorge Lobo, Goce Trajcevski: Formal Characterizations of Active Databases: Part II. DOOD 1997: 247-264
- [c19]
- 1996
- [j14]Chengjie 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)
- [j13]
- [j12]John 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)
- [j11]Louiqa 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)
- [c18]Goce Trajcevski, Jorge Lobo, Naveen Grover: Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. ICTAI 1996: 478-479
- [c17]Chitta Baral, Jorge Lobo: Formal Characterization of Active Databases. Logic in Databases 1996: 175-195
- 1995
- [j10]Jorge 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)
- [j9]Teruhiro Shimura, Jorge Lobo, Tadao Murata: An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162 (1995)
- [c16]Claudio Robles, Jorge Lobo, Terry Gaasterland: An Experimental Distributed Deductive Database System. DOOD 1995: 128-142
- 1994
- [j8]Louiqa Raschid, Jorge Lobo: A Semantics for a Class of Non-Deterministic and Causal Production System Programs. J. Autom. Reasoning 12(3): 305-349 (1994)
- [c15]Terry Gaasterland, Natalia Maltsev, Jorge Lobo, Guo-Hua Chen: Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. ISMB 1994: 130-137
- [c14]Monica D. Barback, Jorge Lobo: A Resolution-based Procedure for Default Theories with Extensions. NMELP 1994: 101-126
- [c13]Terry Gaasterland, Jorge Lobo: Qualified Answers That Reflect User Needs and Preferences. VLDB 1994: 309-320
- 1993
- [j7]José 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)
- [j6]John Grant, John F. Horty, Jorge Lobo, Jack Minker: View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 (1993)
- [j5]Terry Gaasterland, Jorge Lobo: Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. J. Intell. Inf. Syst. 2(3): 225-243 (1993)
- [c12]Terry Gaasterland, Jorge Lobo: Using Semantic Information for Processing Negation and Disjunction in Logic Programs. ISMIS 1993: 198-208
- [c11]Monica D. Barback, Jorge Lobo: A Proof Procedure for Default Theories with Extensions. ILPS 1993: 651
- 1992
- [b1]Jorge Lobo, Jack Minker, Arcot Rajasekar: Foundations of disjunctive logic programming. Logic Programming, MIT Press 1992, ISBN 978-0-262-12165-1, pp. 1-307
- [j4]Chitta Baral, Jorge Lobo, Jack Minker: Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992)
- [j3]Jorge Lobo, V. S. Subrahmanian: Relating Minimal Models and Pre-Requisite-Free Normal Defaults. Inf. Process. Lett. 44(3): 129-133 (1992)
- [c10]Monica D. Barback, Jorge Lobo, James J. Lu: Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT 1992: 246-260
- [c9]Teruhiro Shimura, Jorge Lobo, Tadao Murata: A Petri Net Semantics for Logic Programs with Negation. SEKE 1992: 292-299
- 1991
- [j2]Jorge Lobo, Arcot Rajasekar, Jack Minker: Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. 86(1): 93-106 (1991)
- [c8]Jack Minker, Arcot Rajasekar, Jorge Lobo: Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 613-639
- [c7]Chitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468
- 1990
- [c6]Chitta Baral, Jorge Lobo, Jack Minker: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116
- [c5]
1980 – 1989
- 1989
- [j1]Arcot Rajasekar, Jorge Lobo, Jack Minker: Weak Generalized Closed World Assumption. J. Autom. Reasoning 5(3): 293-307 (1989)
- [c4]Jorge Lobo, Jack Minker, Arcot Rajasekar: Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP 1989: 255-267
- [c3]Arcot Rajasekar, Jorge Lobo, Jack Minker: Skeptical Reasoning and Disjunctive Programs. KR 1989: 349-356
- 1988
- [c2]Jorge Lobo, Jack Minker: A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. 1988: 699-741
- [c1]Jorge Lobo, Jack Minker, Arcot Rajasekar: Weak Completion Theory for Non-Horn Programs. ICLP/SLP 1988: 828-842
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-13 23:08 CEST by the dblp team