Jorge Lobo

Loading Google Thumbnails...
2011
108Policy refinement: Decomposition and operationalization for dynamic domains. Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman. CNSM 2011, 1-9. Web SearchBibTeXDownload
107Fine-grained integration of access control policies. Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo. Computers & Security (30): 91-107 (2011). Web SearchBibTeXDownload
106Distributed Accelerometers for Gesture Recognition and Visualization. Pedro Trindade, Jorge Lobo. DoCEIS 2011, 215-223. Web SearchBibTeXDownload
105Manipulative Tasks Identification by Learning and Generalizing Hand Motions. Diego R. Faria, Ricardo Martins, Jorge Lobo, Jorge Dias. DoCEIS 2011, 173-180. Web SearchBibTeXDownload
104Policy refinement of network services for MANETs. Hang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin. Integrated Network Management 2011, 113-120. Web SearchBibTeXDownload
103Bayesian 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
102Refinement 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
101Privacy-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
100Mining 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
99Risk-based access control systems built on fuzzy inferences. Qun Ni, Elisa Bertino, Jorge Lobo. ASIACCS 2010, 250-260. Web SearchBibTeXDownload
98Decomposition techniques for policy refinement. Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman. CNSM 2010, 72-79. Web SearchBibTeXDownload
97EXAM: 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
96Probabilistic representation of 3D object shape by in-hand exploration. Diego R. Faria, Ricardo Martins, Jorge Lobo, Jorge Dias. IROS 2010, 1560-1565. Web SearchBibTeXDownload
95A Negotiation Framework for Negotiation of Coalition Policies. Mandis Beigi, Jorge Lobo, Keith Grueneberg, Seraphin B. Calo, John Karat. POLICY 2010, 133-136. Web SearchBibTeXDownload
94Mining roles with noisy data. Ian Molloy, Ninghui Li, Yuan (Alan) Qi, Jorge Lobo, Luke Dickens. SACMAT 2010, 45-54. Web SearchBibTeXDownload
2009
93Expressive 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
92D-algebra for composing access control policy decisions. Qun Ni, Elisa Bertino, Jorge Lobo. ASIACCS 2009, 298-309. Cited by 1Web SearchBibTeXDownload
91Analysis 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
90Policy 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
89Privacy-Aware Role-Based Access Control. Qun Ni, Elisa Bertino, Jorge Lobo, Seraphin B. Calo. IEEE Security & Privacy (7): 35-43 (2009). Web SearchBibTeXDownload
88Extending 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
87Visualization for Access Control Policy Analysis Results Using Multi-level Grids. Prathima Rao, Gabriel Ghinita, Elisa Bertino, Jorge Lobo. POLICY 2009, 25-28. Web SearchBibTeXDownload
86Evaluating role mining algorithms. Ian Molloy, Ninghui Li, Tiancheng Li, Ziqing Mao, Qihua Wang, Jorge Lobo. SACMAT 2009, 95-104. Web SearchBibTeXDownload
85Access 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
84An 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
83Usability meets access control: challenges and research opportunities. Konstantin Beznosov, Philip Inglesant, Jorge Lobo, Rob Reeder, Mary Ellen Zurko. SACMAT 2009, 73-74. Web SearchBibTeXDownload
82Automating 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
81A 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
80Authorization and Obligation Policies in Dynamic Systems. Michael Gelfond, Jorge Lobo. ICLP 2008, 22-36. Web SearchBibTeXDownload
79Robotic 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
78The 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
77An Algebra for Integration and Analysis of Ponder2 Policies. Hang Zhao, Jorge Lobo, Steven M. Bellovin. POLICY 2008, 74-77. Web SearchBibTeXDownload
76C2: The Case for a Network Configuration Checking Language. Jorge Lobo, Vasileios Pappas. POLICY 2008, 29-36. Web SearchBibTeXDownload
75EXAM: 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
74Policy decomposition for collaborative access control. Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo. SACMAT 2008, 103-112. Cited by 4Web SearchBibTeXDownload
73An obligation model bridging access control policies and privacy policies. Qun Ni, Elisa Bertino, Jorge Lobo. SACMAT 2008, 133-142. Cited by 10Web SearchBibTeXDownload
72Mining 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
713D Map Registration using Vision/Laser and Inertial Sensing. Luiz G. B. Mirisola, Jorge Lobo, Jorge Dias. EMCR 2007. Web SearchBibTeXDownload
70Conditional Privacy-Aware Role Based Access Control. Qun Ni, Dan Lin, Elisa Bertino, Jorge Lobo. ESORICS 2007, 72-89. Cited by 14Web SearchBibTeXDownload
69Relative Pose Calibration Between Visual and Inertial Sensors. Jorge Lobo, Jorge Dias. I. J. Robotic Res. (26): 561-575 (2007). Web SearchBibTeXDownload
68An Introduction to Inertial and Visual Sensing. Peter Corke, Jorge Lobo, Jorge Dias. I. J. Robotic Res. (26): 519-535 (2007). Web SearchBibTeXDownload
67Editorial: 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
66Issues 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
65Policy-Based Computing: From Systems and Applications to Theory. Jorge Lobo. LPNMR 2007, 2. Web SearchBibTeXDownload
64Privacy-aware role based access control. Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo. SACMAT 2007, 41-50. Cited by 31Web SearchBibTeXDownload
63An approach to evaluate policy similarity. Dan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo. SACMAT 2007, 1-10. Cited by 14Web SearchBibTeXDownload
62On 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
61A Basis for Comparing Characteristics of Policy Systems. Seraphin B. Calo, Jorge Lobo. POLICY 2006, 183-194. Web SearchBibTeXDownload
2005
60Policy Ratification. Dakshi Agrawal, James Giles, Kang-Won Lee, Jorge Lobo. POLICY 2005, 223-232. Web SearchBibTeXDownload
2004
59Knowledge And The Action Description Language A. Jorge Lobo, Gisela Mendez, Stuart R. Taylor. CoRR (cs.AI/0404051) (2004). Web SearchBibTeXDownload
58Inertial Sensed Ego-motion for 3D Vision. Jorge Lobo, Jorge Dias. J. Field Robotics (21): 3-12 (2004). Web SearchBibTeXDownload
2003
57Registration 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
56Conflict Resolution Using Logic Programming. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi. IEEE Trans. Knowl. Data Eng. (15): 244-249 (2003). Cited by 68Web SearchBibTeXDownload
55Vision 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
54Realizing network Control Policies using Distributed Action Plans. Madhur Kohli, Jorge Lobo. J. Network Syst. Manage. (11): 305-327 (2003). Web SearchBibTeXDownload
53World 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
52Tele-3D - Developing a Handheld Scanner Using Structured Light Projection. João Filipe Ferreira, Jorge Lobo, Jorge Dias. 3DPVT 2002, 788-793. Web SearchBibTeXDownload
2001
51Reasoning about Policies using Logic Programs. Tran Cao Son, Jorge Lobo. Answer Set Programming 2001. Web SearchBibTeXDownload
50Formalizing 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
49Monitors for History-Based Policies. Jan Chomicki, Jorge Lobo. POLICY 2001, 57-72. Cited by 36Web SearchBibTeXDownload
48Knowledge and the Action Description Language A. Jorge Lobo, Gisela Mendez, Stuart R. Taylor. TPLP (1): 129-184 (2001). Web SearchBibTeXDownload
2000
47Distributed action plans in an agent based network management system. Madhur Kohli, Jorge Lobo. Agents 2000, 140-141. Web SearchBibTeXDownload
46Formalizing (and Reasoning About) the Specifications of Workflows. Goce Trajcevski, Chitta Baral, Jorge Lobo. CoopIS 2000, 1-17. Web SearchBibTeXDownload
45Policy Evaluation for Network Management. Randeep Bhatia, Jorge Lobo, Madhur Kohli. INFOCOM 2000, 1107-1116. Web SearchBibTeXDownload
44A Logic Programming Approach to Conflict Resolution in Policy Management. Jan Chomicki, Jorge Lobo, Shamim A. Naqvi. KR 2000, 121-132. Cited by 65Web SearchBibTeX
43Netmon: network management for the SARAS softswitch. Aashu Virmani, Jorge Lobo, Madhur Kohli. NOMS 2000, 803-816. Web SearchBibTeXDownload
1999
42A Policy Description Language. Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi. AAAI/IAAI 1999, 291-298. Web SearchBibTeX
41Editorial - 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
40A Policy-based Network Management System. Randeep Bhatia, Madhur Kohli, Jorge Lobo, Aashu Virmani. IC-AI 1999, 465-471. Web SearchBibTeX
1997
39Adding Knowledge to the Action Description Language A. Jorge Lobo, Gisela Mendez, Stuart R. Taylor. AAAI/IAAI 1997, 454-459. Web SearchBibTeX
38Abductive Consequence Relations. Jorge Lobo, Carlos Uzcátegui. Artif. Intell. (89): 149-171 (1997). Web SearchBibTeXDownload
37Formal Characterizations of Active Databases: Part II. Chitta Baral, Jorge Lobo, Goce Trajcevski. DOOD 1997, 247-264. Web SearchBibTeXDownload
36From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. Chitta Baral, Jorge Lobo. DOOD 1997, 26-32. Web SearchBibTeXDownload
35Qualifying Answers According to User Needs and Preferences. Terry Gaasterland, Jorge Lobo. Fundam. Inform. (32): 121-137 (1997). Web SearchBibTeXDownload
34Defeasible Specifications in Action Theories. Chitta Baral, Jorge Lobo. IJCAI 1997, 1441-1446. Web SearchBibTeX
33Minimal and Consistent Evolution of Knowledge Bases. Jorge Lobo, Goce Trajcevski. Journal of Applied Non-Classical Logics (7) (1997). Web SearchBibTeX
1996
32Semantics 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
31Computation 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
30Abductive Change Operators. Jorge Lobo, Carlos Uzcátegui. Fundam. Inform. (27): 385-411 (1996). Web SearchBibTeXDownload
29Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. Goce Trajcevski, Jorge Lobo, Naveen Grover. ICTAI 1996, 478-479. Web SearchBibTeX
28A 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
27Formal Characterization of Active Databases. Chitta Baral, Jorge Lobo. Logic in Databases 1996, 175-195. Web SearchBibTeXDownload
1995
26Dynamic 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
25An Experimental Distributed Deductive Database System. Claudio Robles, Jorge Lobo, Terry Gaasterland. DOOD 1995, 128-142. Web SearchBibTeXDownload
24An 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
23Assigning 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
22A 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
21A Resolution-based Procedure for Default Theories with Extensions. Monica D. Barback, Jorge Lobo. NMELP 1994, 101-126. Web SearchBibTeXDownload
20Qualified Answers That Reflect User Needs and Preferences. Terry Gaasterland, Jorge Lobo. VLDB 1994, 309-320. Web SearchBibTeX
1993
19Disjunctive 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
18A Proof Procedure for Default Theories with Extensions. Monica D. Barback, Jorge Lobo. ILPS 1993, 651. Web SearchBibTeX
17Using Semantic Information for Processing Negation and Disjunction in Logic Programs. Terry Gaasterland, Jorge Lobo. ISMIS 1993, 198-208. Web SearchBibTeXDownload
16View Updates in Stratified Disjunctive Databases. John Grant, John F. Horty, Jorge Lobo, Jack Minker. J. Autom. Reasoning (11): 249-267 (1993). Web SearchBibTeXDownload
15Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. Terry Gaasterland, Jorge Lobo. J. Intell. Inf. Syst. (2): 225-243 (1993). Web SearchBibTeXDownload
1992
14Generalized Disjunctive Well-Founded Semantics for Logic Programs. Chitta Baral, Jorge Lobo, Jack Minker. Ann. Math. Artif. Intell. (5): 89-131 (1992). Web SearchBibTeXDownload
13Minimizing Indefinite Information in Disjunctive Deductive Databases. Monica D. Barback, Jorge Lobo, James J. Lu. ICDT 1992, 246-260. Web SearchBibTeXDownload
12Relating Minimal Models and Pre-Requisite-Free Normal Defaults. Jorge Lobo, V. S. Subrahmanian. Inf. Process. Lett. (44): 129-133 (1992). Cited by 9Web SearchBibTeXDownload
11A Petri Net Semantics for Logic Programs with Negation. Teruhiro Shimura, Jorge Lobo, Tadao Murata. SEKE 1992, 292-299. Web SearchBibTeXDownload
1991
10Theory of Disjunctive Logic Programs. Jack Minker, Arcot Rajasekar, Jorge Lobo. Computational Logic - Essays in Honor of Alan Robinson 1991, 613-639. Web SearchBibTeX
9WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. Chitta Baral, Jorge Lobo, Jack Minker. ISMIS 1991, 459-468. Web SearchBibTeXDownload
8Semantics of Horn and Disjunctive Logic Programs. Jorge Lobo, Arcot Rajasekar, Jack Minker. Theor. Comput. Sci. (86): 93-106 (1991). Web SearchBibTeXDownload
1990
7Generalized Well-founded Semantics for Logic Programs (Extended Abstract). Chitta Baral, Jorge Lobo, Jack Minker. CADE 1990, 102-116. Web SearchBibTeXDownload
6On Constructive Negation for Disjunctive Logic Programs. Jorge Lobo. NACLP 1990, 704-718. Web SearchBibTeX
1989
5Extending the Semantics of Logic Programs to Disjunctive Logic Programs. Jorge Lobo, Jack Minker, Arcot Rajasekar. ICLP 1989, 255-267. Web SearchBibTeX
4Weak Generalized Closed World Assumption. Arcot Rajasekar, Jorge Lobo, Jack Minker. J. Autom. Reasoning (5): 293-307 (1989). Web SearchBibTeXDownload
3Skeptical Reasoning and Disjunctive Programs. Arcot Rajasekar, Jorge Lobo, Jack Minker. KR 1989, 349-356. Web SearchBibTeX
1988
2A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Jorge Lobo, Jack Minker. Expert Database Conf. 1988, 699-741. Web SearchBibTeX
1Weak Completion Theory for Non-Horn Programs. Jorge Lobo, Jack Minker, Arcot Rajasekar. ICLP/SLP 1988, 828-842. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research