| 2011 |
| 108 | Policy refinement: Decomposition and operationalization for dynamic domains. Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman. CNSM 2011, 1-9. Web SearchBibTeXDownload |
| 107 | Fine-grained integration of access control policies. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo. Computers & Security (30): 91-107 (2011). Web SearchBibTeXDownload |
| 106 | Distributed Accelerometers for Gesture Recognition and Visualization. Pedro Trindade, Jorge Lobo. DoCEIS 2011, 215-223. Web SearchBibTeXDownload |
| 105 | Manipulative Tasks Identification by Learning and Generalizing Hand Motions. Diego R. Faria, Ricardo Martins, Jorge Lobo, Jorge Dias. DoCEIS 2011, 173-180. Web SearchBibTeXDownload |
| 104 | Policy refinement of network services for MANETs. Hang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin. Integrated Network Management 2011, 113-120. Web SearchBibTeXDownload |
| 103 | Bayesian real-time perception algorithms on GPU - Real-time implementation of Bayesian models for multimodal perception using CUDA. João Filipe Ferreira, Jorge Lobo, Jorge Dias. J. Real-Time Image Processing (6): 171-186 (2011). Web SearchBibTeXDownload |
| 102 | Refinement of History-Based Policies. Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011, 280-299. Web SearchBibTeXDownload |
| 2010 |
| 101 | Privacy-aware role-based access control. Qun Ni, Elisa Bertino, Jorge Lobo, Carolyn Brodie, Clare-Marie Karat, John Karat, Alberto Trombetta. ACM Trans. Inf. Syst. Secur. (13) (2010). Web SearchBibTeXDownload |
| 100 | Mining Roles with Multiple Objectives. Ian Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo. ACM Trans. Inf. Syst. Secur. (13): 36 (2010). Web SearchBibTeXDownload |
| 99 | Risk-based access control systems built on fuzzy inferences. Qun Ni, Elisa Bertino, Jorge Lobo. ASIACCS 2010, 250-260. Web SearchBibTeXDownload |
| 98 | Decomposition techniques for policy refinement. Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman. CNSM 2010, 72-79. Web SearchBibTeXDownload |
| 97 | EXAM: a comprehensive environment for the analysis of access control policies. Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo. Int. J. Inf. Sec. (9): 253-273 (2010). Web SearchBibTeXDownload |
| 96 | Probabilistic representation of 3D object shape by in-hand exploration. Diego R. Faria, Ricardo Martins, Jorge Lobo, Jorge Dias. IROS 2010, 1560-1565. Web SearchBibTeXDownload |
| 95 | A Negotiation Framework for Negotiation of Coalition Policies. Mandis Beigi, Jorge Lobo, Keith Grueneberg, Seraphin B. Calo, John Karat. POLICY 2010, 133-136. Web SearchBibTeXDownload |
| 94 | Mining roles with noisy data. Ian Molloy, Ninghui Li, Yuan (Alan) Qi, Jorge Lobo, Luke Dickens. SACMAT 2010, 45-54. Web SearchBibTeXDownload |
| 2009 |
| 93 | Expressive policy analysis with enhanced system dynamicity. Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara. ASIACCS 2009, 239-250. Cited by 5Web SearchBibTeXDownload |
| 92 | D-algebra for composing access control policy decisions. Qun Ni, Elisa Bertino, Jorge Lobo. ASIACCS 2009, 298-309. Cited by 1Web SearchBibTeXDownload |
| 91 | Analysis of privacy and security policies. 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. IBM Journal of Research and Development (53): 3 (2009). Web SearchBibTeXDownload |
| 90 | Policy framework for security and privacy management. 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. IBM Journal of Research and Development (53): 4 (2009). Web SearchBibTeXDownload |
| 89 | Privacy-Aware Role-Based Access Control. Qun Ni, Elisa Bertino, Jorge Lobo, Seraphin B. Calo. IEEE Security & Privacy (7): 35-43 (2009). Web SearchBibTeXDownload |
| 88 | Extending the CIM-SPL policy language with RBAC for distributed management systems in the WBEM infrastructure. Li Pan, Jorge Lobo, Seraphin B. Calo. Integrated Network Management 2009, 145-148. Web SearchBibTeXDownload |
| 87 | Visualization for Access Control Policy Analysis Results Using Multi-level Grids. Prathima Rao, Gabriel Ghinita, Elisa Bertino, Jorge Lobo. POLICY 2009, 25-28. Web SearchBibTeXDownload |
| 86 | Evaluating role mining algorithms. Ian Molloy, Ninghui Li, Tiancheng Li, Ziqing Mao, Qihua Wang, Jorge Lobo. SACMAT 2009, 95-104. Web SearchBibTeXDownload |
| 85 | Access control policy combining: theory meets practice. Ninghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa Bertino, Prathima Rao, Jorge Lobo, Dan Lin. SACMAT 2009, 135-144. Cited by 1Web SearchBibTeXDownload |
| 84 | An algebra for fine-grained integration of XACML policies. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo. SACMAT 2009, 63-72. Cited by 2Web SearchBibTeXDownload |
| 83 | Usability meets access control: challenges and research opportunities. Konstantin Beznosov, Philip Inglesant, Jorge Lobo, Rob Reeder, Mary Ellen Zurko. SACMAT 2009, 73-74. Web SearchBibTeXDownload |
| 82 | Automating role-based provisioning by learning from examples. Qun Ni, Jorge Lobo, Seraphin B. Calo, Pankaj Rohatgi, Elisa Bertino. SACMAT 2009, 75-84. Cited by 3Web SearchBibTeXDownload |
| 2008 |
| 81 | A Role-Based Infrastructure for the Management of Dynamic Communities. Alberto E. Schaeffer Filho, Emil Lupu, Morris Sloman, Sye Loong Keoh, Jorge Lobo, Seraphin B. Calo. AIMS 2008, 1-14. Web SearchBibTeXDownload |
| 80 | Authorization and Obligation Policies in Dynamic Systems. Michael Gelfond, Jorge Lobo. ICLP 2008, 22-36. Web SearchBibTeXDownload |
| 79 | Robotic implementation of biological Bayesian models for visuo-inertial image stabilization and gaze control. Jorge Lobo, João Filipe Ferreira, José Augusto Prado, Jorge Dias. IROS 2008, 4203. Web SearchBibTeXDownload |
| 78 | The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. 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. POLICY 2008, 247-249. Web SearchBibTeXDownload |
| 77 | An Algebra for Integration and Analysis of Ponder2 Policies. Hang Zhao, Jorge Lobo, Steven M. Bellovin. POLICY 2008, 74-77. Web SearchBibTeXDownload |
| 76 | C2: The Case for a Network Configuration Checking Language. Jorge Lobo, Vasileios Pappas. POLICY 2008, 29-36. Web SearchBibTeXDownload |
| 75 | EXAM: An Environment for Access Control Policy Analysis and Management. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo. POLICY 2008, 238-240. Web SearchBibTeXDownload |
| 74 | Policy decomposition for collaborative access control. Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo. SACMAT 2008, 103-112. Cited by 4Web SearchBibTeXDownload |
| 73 | An obligation model bridging access control policies and privacy policies. Qun Ni, Elisa Bertino, Jorge Lobo. SACMAT 2008, 133-142. Cited by 10Web SearchBibTeXDownload |
| 72 | Mining roles with semantic meanings. Ian Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo. SACMAT 2008, 21-30. Cited by 14Web SearchBibTeXDownload |
| 2007 |
| 71 | 3D Map Registration using Vision/Laser and Inertial Sensing. Luiz G. B. Mirisola, Jorge Lobo, Jorge Dias. EMCR 2007. Web SearchBibTeXDownload |
| 70 | Conditional Privacy-Aware Role Based Access Control. Qun Ni, Dan Lin, Elisa Bertino, Jorge Lobo. ESORICS 2007, 72-89. Cited by 14Web SearchBibTeXDownload |
| 69 | Relative Pose Calibration Between Visual and Inertial Sensors. Jorge Lobo, Jorge Dias. I. J. Robotic Res. (26): 561-575 (2007). Web SearchBibTeXDownload |
| 68 | An Introduction to Inertial and Visual Sensing. Peter Corke, Jorge Lobo, Jorge Dias. I. J. Robotic Res. (26): 519-535 (2007). Web SearchBibTeXDownload |
| 67 | Editorial: Special Issue: 2nd Workshop on Integration of Vision and Inertial Sensors. Jorge Dias, Markus Vinzce, Peter Corke, Jorge Lobo. I. J. Robotic Res. (26): 515-517 (2007). Web SearchBibTeX |
| 66 | Issues in Designing a Policy Language for Distributed Management of IT Infrastructures. Dakshi Agrawal, Seraphin B. Calo, Kang-Won Lee, Jorge Lobo. Integrated Network Management 2007, 30-39. Web SearchBibTeXDownload |
| 65 | Policy-Based Computing: From Systems and Applications to Theory. Jorge Lobo. LPNMR 2007, 2. Web SearchBibTeXDownload |
| 64 | Privacy-aware role based access control. Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo. SACMAT 2007, 41-50. Cited by 31Web SearchBibTeXDownload |
| 63 | An approach to evaluate policy similarity. Dan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo. SACMAT 2007, 1-10. Cited by 14Web SearchBibTeXDownload |
| 62 | On the Correctness Criteria of Fine-Grained Access Control in Relational Databases. Qihua Wang, Ting Yu, Ninghui Li, Jorge Lobo, Elisa Bertino, Keith Irwin, Ji-Won Byun. VLDB 2007, 555-566. Cited by 10Web SearchBibTeXDownload |
| 2006 |
| 61 | A Basis for Comparing Characteristics of Policy Systems. Seraphin B. Calo, Jorge Lobo. POLICY 2006, 183-194. Web SearchBibTeXDownload |
| 2005 |
| 60 | Policy Ratification. Dakshi Agrawal, James Giles, Kang-Won Lee, Jorge Lobo. POLICY 2005, 223-232. Web SearchBibTeXDownload |
| 2004 |
| 59 | Knowledge And The Action Description Language A. Jorge Lobo, Gisela Mendez, Stuart R. Taylor. CoRR (cs.AI/0404051) (2004). Web SearchBibTeXDownload |
| 58 | Inertial Sensed Ego-motion for 3D Vision. Jorge Lobo, Jorge Dias. J. Field Robotics (21): 3-12 (2004). Web SearchBibTeXDownload |
| 2003 |
| 57 | Registration and Segmentation for 3D Map Building: A Solution Based on Stereo Vision and Inertial Sensors. Jorge Lobo, Luís Almeida, João Alves, Jorge Dias. ICRA 2003, 139-144. Web SearchBibTeX |
| 56 | Conflict Resolution Using Logic Programming. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi. IEEE Trans. Knowl. Data Eng. (15): 244-249 (2003). Cited by 68Web SearchBibTeXDownload |
| 55 | Vision and Inertial Sensor Cooperation Using Gravity as a Vertical Reference. Jorge Lobo, Jorge Dias. IEEE Trans. Pattern Anal. Mach. Intell. (25): 1597-1608 (2003). Web SearchBibTeXDownload |
| 54 | Realizing network Control Policies using Distributed Action Plans. Madhur Kohli, Jorge Lobo. J. Network Syst. Manage. (11): 305-327 (2003). Web SearchBibTeXDownload |
| 53 | World feature detection and mapping using stereovision and inertial sensors. Jorge Lobo, Carlos Queiroz, Jorge Dias. Robotics and Autonomous Systems (44): 69-81 (2003). Web SearchBibTeXDownload |
| 2002 |
| 52 | Tele-3D - Developing a Handheld Scanner Using Structured Light Projection. João Filipe Ferreira, Jorge Lobo, Jorge Dias. 3DPVT 2002, 788-793. Web SearchBibTeXDownload |
| 2001 |
| 51 | Reasoning about Policies using Logic Programs. Tran Cao Son, Jorge Lobo. Answer Set Programming 2001. Web SearchBibTeXDownload |
| 50 | Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. Goce Trajcevski, Chitta Baral, Jorge Lobo. Int. J. Cooperative Inf. Syst. (10): 483-507 (2001). Web SearchBibTeXDownload |
| 49 | Monitors for History-Based Policies. Jan Chomicki, Jorge Lobo. POLICY 2001, 57-72. Cited by 36Web SearchBibTeXDownload |
| 48 | Knowledge and the Action Description Language A. Jorge Lobo, Gisela Mendez, Stuart R. Taylor. TPLP (1): 129-184 (2001). Web SearchBibTeXDownload |
| 2000 |
| 47 | Distributed action plans in an agent based network management system. Madhur Kohli, Jorge Lobo. Agents 2000, 140-141. Web SearchBibTeXDownload |
| 46 | Formalizing (and Reasoning About) the Specifications of Workflows. Goce Trajcevski, Chitta Baral, Jorge Lobo. CoopIS 2000, 1-17. Web SearchBibTeXDownload |
| 45 | Policy Evaluation for Network Management. Randeep Bhatia, Jorge Lobo, Madhur Kohli. INFOCOM 2000, 1107-1116. Web SearchBibTeXDownload |
| 44 | A Logic Programming Approach to Conflict Resolution in Policy Management. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi. KR 2000, 121-132. Cited by 65Web SearchBibTeX |
| 43 | Netmon: network management for the SARAS softswitch. Aashu Virmani, Jorge Lobo, Madhur Kohli. NOMS 2000, 803-816. Web SearchBibTeXDownload |
| 1999 |
| 42 | A Policy Description Language. Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi. AAAI/IAAI 1999, 291-298. Web SearchBibTeX |
| 41 | Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. Jürgen Dix, Jorge Lobo. Ann. Math. Artif. Intell. (25): 161-164 (1999). Web SearchBibTeX |
| 40 | A Policy-based Network Management System. Randeep Bhatia, Madhur Kohli, Jorge Lobo, Aashu Virmani. IC-AI 1999, 465-471. Web SearchBibTeX |
| 1997 |
| 39 | Adding Knowledge to the Action Description Language A. Jorge Lobo, Gisela Mendez, Stuart R. Taylor. AAAI/IAAI 1997, 454-459. Web SearchBibTeX |
| 38 | Abductive Consequence Relations. Jorge Lobo, Carlos Uzcátegui. Artif. Intell. (89): 149-171 (1997). Web SearchBibTeXDownload |
| 37 | Formal Characterizations of Active Databases: Part II. Chitta Baral, Jorge Lobo, Goce Trajcevski. DOOD 1997, 247-264. Web SearchBibTeXDownload |
| 36 | From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. Chitta Baral, Jorge Lobo. DOOD 1997, 26-32. Web SearchBibTeXDownload |
| 35 | Qualifying Answers According to User Needs and Preferences. Terry Gaasterland, Jorge Lobo. Fundam. Inform. (32): 121-137 (1997). Web SearchBibTeXDownload |
| 34 | Defeasible Specifications in Action Theories. Chitta Baral, Jorge Lobo. IJCAI 1997, 1441-1446. Web SearchBibTeX |
| 33 | Minimal and Consistent Evolution of Knowledge Bases. Jorge Lobo, Goce Trajcevski. Journal of Applied Non-Classical Logics (7) (1997). Web SearchBibTeX |
| 1996 |
| 32 | Semantics for Update Rule Programs and Implementations in a Relational Database Management System. Louiqa Raschid, Jorge Lobo. ACM Trans. Database Syst. (21): 526-571 (1996). Cited by 22Web SearchBibTeXDownload |
| 31 | Computation of Best Bounds of Probabilities from Uncertain Data. Chengjie Luo, Clement T. Yu, Jorge Lobo, Gaoming Wang, Tracy Pham. Computational Intelligence (12): 541-566 (1996). Cited by 25Web SearchBibTeXDownload |
| 30 | Abductive Change Operators. Jorge Lobo, Carlos Uzcátegui. Fundam. Inform. (27): 385-411 (1996). Web SearchBibTeXDownload |
| 29 | Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. Goce Trajcevski, Jorge Lobo, Naveen Grover. ICTAI 1996, 478-479. Web SearchBibTeX |
| 28 | A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. John Jeffrey, Jorge Lobo, Tadao Murata. IEEE Trans. Knowl. Data Eng. (8): 241-259 (1996). Web SearchBibTeXDownload |
| 27 | Formal Characterization of Active Databases. Chitta Baral, Jorge Lobo. Logic in Databases 1996, 175-195. Web SearchBibTeXDownload |
| 1995 |
| 26 | Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. Jorge Lobo, Qi Yang, Clement T. Yu. Ann. Math. Artif. Intell. (14): 151-176 (1995). Web SearchBibTeXDownload |
| 25 | An Experimental Distributed Deductive Database System. Claudio Robles, Jorge Lobo, Terry Gaasterland. DOOD 1995, 128-142. Web SearchBibTeXDownload |
| 24 | An Extended Petri Net Model for Normal Logic Programs. Teruhiro Shimura, Jorge Lobo, Tadao Murata. IEEE Trans. Knowl. Data Eng. (7): 150-162 (1995). Web SearchBibTeXDownload |
| 1994 |
| 23 | Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. Terry Gaasterland, Natalia Maltsev, Jorge Lobo, Guo-Hua Chen. ISMB 1994, 130-137. Web SearchBibTeX |
| 22 | A Semantics for a Class of Non-Deterministic and Causal Production System Programs. Louiqa Raschid, Jorge Lobo. J. Autom. Reasoning (12): 305-349 (1994). Cited by 5Web SearchBibTeXDownload |
| 21 | A Resolution-based Procedure for Default Theories with Extensions. Monica D. Barback, Jorge Lobo. NMELP 1994, 101-126. Web SearchBibTeXDownload |
| 20 | Qualified Answers That Reflect User Needs and Preferences. Terry Gaasterland, Jorge Lobo. VLDB 1994, 309-320. Web SearchBibTeX |
| 1993 |
| 19 | Disjunctive LP + Integrity Constraints = Stable Model Semantics. José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian. Ann. Math. Artif. Intell. (8): 449-474 (1993). Cited by 56Web SearchBibTeXDownload |
| 18 | A Proof Procedure for Default Theories with Extensions. Monica D. Barback, Jorge Lobo. ILPS 1993, 651. Web SearchBibTeX |
| 17 | Using Semantic Information for Processing Negation and Disjunction in Logic Programs. Terry Gaasterland, Jorge Lobo. ISMIS 1993, 198-208. Web SearchBibTeXDownload |
| 16 | View Updates in Stratified Disjunctive Databases. John Grant, John F. Horty, Jorge Lobo, Jack Minker. J. Autom. Reasoning (11): 249-267 (1993). Web SearchBibTeXDownload |
| 15 | Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. Terry Gaasterland, Jorge Lobo. J. Intell. Inf. Syst. (2): 225-243 (1993). Web SearchBibTeXDownload |
| 1992 |
| 14 | Generalized Disjunctive Well-Founded Semantics for Logic Programs. Chitta Baral, Jorge Lobo, Jack Minker. Ann. Math. Artif. Intell. (5): 89-131 (1992). Web SearchBibTeXDownload |
| 13 | Minimizing Indefinite Information in Disjunctive Deductive Databases. Monica D. Barback, Jorge Lobo, James J. Lu. ICDT 1992, 246-260. Web SearchBibTeXDownload |
| 12 | Relating Minimal Models and Pre-Requisite-Free Normal Defaults. Jorge Lobo, V. S. Subrahmanian. Inf. Process. Lett. (44): 129-133 (1992). Cited by 9Web SearchBibTeXDownload |
| 11 | A Petri Net Semantics for Logic Programs with Negation. Teruhiro Shimura, Jorge Lobo, Tadao Murata. SEKE 1992, 292-299. Web SearchBibTeXDownload |
| 1991 |
| 10 | Theory of Disjunctive Logic Programs. Jack Minker, Arcot Rajasekar, Jorge Lobo. Computational Logic - Essays in Honor of Alan Robinson 1991, 613-639. Web SearchBibTeX |
| 9 | WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. Chitta Baral, Jorge Lobo, Jack Minker. ISMIS 1991, 459-468. Web SearchBibTeXDownload |
| 8 | Semantics of Horn and Disjunctive Logic Programs. Jorge Lobo, Arcot Rajasekar, Jack Minker. Theor. Comput. Sci. (86): 93-106 (1991). Web SearchBibTeXDownload |
| 1990 |
| 7 | Generalized Well-founded Semantics for Logic Programs (Extended Abstract). Chitta Baral, Jorge Lobo, Jack Minker. CADE 1990, 102-116. Web SearchBibTeXDownload |
| 6 | On Constructive Negation for Disjunctive Logic Programs. Jorge Lobo. NACLP 1990, 704-718. Web SearchBibTeX |
| 1989 |
| 5 | Extending the Semantics of Logic Programs to Disjunctive Logic Programs. Jorge Lobo, Jack Minker, Arcot Rajasekar. ICLP 1989, 255-267. Web SearchBibTeX |
| 4 | Weak Generalized Closed World Assumption. Arcot Rajasekar, Jorge Lobo, Jack Minker. J. Autom. Reasoning (5): 293-307 (1989). Web SearchBibTeXDownload |
| 3 | Skeptical Reasoning and Disjunctive Programs. Arcot Rajasekar, Jorge Lobo, Jack Minker. KR 1989, 349-356. Web SearchBibTeX |
| 1988 |
| 2 | A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Jorge Lobo, Jack Minker. Expert Database Conf. 1988, 699-741. Web SearchBibTeX |
| 1 | Weak Completion Theory for Non-Horn Programs. Jorge Lobo, Jack Minker, Arcot Rajasekar. ICLP/SLP 1988, 828-842. Web SearchBibTeX |