The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Opacity with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1997 (16) 1998-2001 (19) 2002-2003 (24) 2004 (17) 2005 (23) 2006 (20) 2007 (20) 2008 (32) 2009 (24) 2010 (17) 2011-2012 (27) 2013 (18) 2014 (21) 2015 (23) 2016 (22) 2017 (34) 2018 (32) 2019 (40) 2020 (33) 2021 (54) 2022 (58) 2023 (44) 2024 (12)
Publication types (Num. hits)
article(303) incollection(2) inproceedings(318) phdthesis(7)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 281 occurrences of 191 keywords

Results
Found 630 publication records. Showing 630 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
122Daniel Vlasic, Hanspeter Pfister, Sergey Molinov, Radek Grzeszczuk, Wojciech Matusik Opacity light fields: interactive rendering of surface light fields with view-dependent opacity. Search on Bibsonomy SI3D The full citation details ... 2003 DBLP  DOI  BibTeX  RDF image-based rendering, 3D photography
115Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan Opacity Generalised to Transition Systems. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2005 DBLP  DOI  BibTeX  RDF non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
105Yuanjie Zheng, Chandra Kambhamettu, Thomas L. Bauer, Karl V. Steiner Estimation of Ground-Glass Opacity Measurement in CT Lung Images. Search on Bibsonomy MICCAI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
105Marios S. Pattichis, Harini Muralidharan, Constantinos S. Pattichis, Peter Soliz New Image Processing Models for Opacity Image Analysis in Chest Radiographs. Search on Bibsonomy SSIAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
102Jon Jansen, Louis Bavoil Fourier opacity mapping. Search on Bibsonomy SI3D The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fog, opacity mapping, volumetric, shadows, smoke, particles, hair
102Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan Opacity generalised to transition systems. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Non-deducibility, Observable behaviour, Petri nets, Anonymity, Abstract interpretation, Labelled transition systems, Opacity
90Laurent Mazaré Decidability of Opacity with Non-Atomic Keys. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
85Erik Sintorn, Ulf Assarsson Real-time approximate sorting for self shadowing and transparency in hair rendering. Search on Bibsonomy SI3D The full citation details ... 2008 DBLP  DOI  BibTeX  RDF deep shadow maps, opacity maps, hair rendering
80Anooshiravan Saboori, Christoforos N. Hadjicostis Opacity-enforcing supervisory strategies for secure discrete event systems. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
75Rachid Guerraoui, Michal Kapalka On the correctness of transactional memory. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model, lower bound, transactional memory, correctness
72Yoshinobu Sato, Carl-Fredrik Westin, Abhir Bhalerao, Shin Nakajima 0002, Nobuyuki Shiraga, Shinichi Tamura, Ron Kikinis Tissue Classification Based on 3D Local Intensity Structures for Volume Rendering. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF 3D derivative feature, multidimensional opacity function, multichannel classification, medical image, image enhancement, Volume visualization, multiscale analysis, partial volume effect
70Venkatraman Balasubramanian 0001, Murray Turoff A systematic approach to user interface design for hypertext systems. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF user interface design principles, systematic process, general-purpose semantic framework, self-evident interfaces, semantic types, functional opacity, system opacity, screen prototype, software engineering, user interfaces, human factors, hypermedia, cognitive models, interactive systems, interactive systems, usability guidelines, hypertext systems, hypertext functionality
67Franck Cassez The Dark Side of Timed Opacity. Search on Bibsonomy ISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
60Qishi Wu, Jinzhu Gao, Mengxia Zhu A Scalable Framework for Distributed Virtual Reality Using Heterogeneous Processors. Search on Bibsonomy ICAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF plenoptic opacity functions, occlusion culling, distributed virtual reality, logistical networking
55Wojciech Matusik, Hanspeter Pfister, Addy Ngan, Paul A. Beardsley, Remo Ziegler, Leonard McMillan Image-based 3D photography using opacity hulls. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF image-based rendering, 3D photography
55Richard W. Wyatt Kinds of Opacity and Their Representations. Search on Bibsonomy SNePS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
52Damien Imbs, Michel Raynal A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. Search on Bibsonomy OPODIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
50Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh Transactions in the jungle. Search on Bibsonomy SPAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF transactional memory, correctness, memory models
50Eric B. Lum, Kwan-Liu Ma Lighting Transfer Functions Using Gradient Aligned Sampling. Search on Bibsonomy IEEE Visualization The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multi-dimensional transfer functions, volume visualization, transfer functions, shading, direct volume rendering
50David S. Ebert, Christopher J. Morris 0001, Penny Rheingans, Terry S. Yoo Designing Effective Transfer Functions for Volume Rendering from Photographic Volumes. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF photographic data, volume rendering, transfer functions
47Erik Sintorn, Ulf Assarsson Hair self shadowing and transparency depth ordering using occupancy maps. Search on Bibsonomy SI3D The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deep shadow maps, opacity maps, hair rendering
47Jinzhu Gao, Han-Wei Shen, Jian Huang 0007, James Arthur Kohl Visibility Culling for Time-Varying Volume Rendering Using Temporal Occlusion Coherence. Search on Bibsonomy IEEE Visualization The full citation details ... 2004 DBLP  DOI  BibTeX  RDF time-varying data visualization, plenoptic opacity function, volume rendering, visibility culling, large data visualization
42Martin Rauberger, Heinrich M. Overhoff Interactive Boundary Detection for Automatic Definition of 2D Opacity Transfer Function. Search on Bibsonomy Bildverarbeitung für die Medizin The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Jinghao Zhou, Sukmoon Chang, Dimitris N. Metaxas, Binsheng Zhao, Lawrence H. Schwartz, Michelle S. Ginsberg Automatic Detection and Segmentation of Ground Glass Opacity Nodules. Search on Bibsonomy MICCAI (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Hyoungseop Kim, Masaki Maekado, Joo Kooi Tan, Seiji Ishikawa, Masaaki Tsukuda Automatic Extraction of Ground-Glass Opacity Shadows on CT Images of the Thorax by Correlation between Successive Slices. Search on Bibsonomy ICTAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
39Andreas Rossberg Generativity and dynamic opacity for abstract types. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
38Jianlong Zhou, Masahiro Takatsuka Automatic Transfer Function Generation Using Contour Tree Controlled Residue Flow Model and Color Harmonics. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Gordon L. Kindlmann, David M. Weinstein, David A. Hart Strategies for Direct Volume Rendering of Diffusion Tensor Fields. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF tensor visualization, reaction-diffusion texture, tensor interpolation, Volume rendering, transfer function, barycentric coordinates, anisotropy, diffusion tensor
35Yehuda Afek, Adam Morrison 0001, Moran Tzafrir Brief announcement: view transactions: transactional model with relaxed consistency checks. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF relaxed consistency checks, transactional memory, opacity
35Bjørn Olstad, Erik Steen, Arne Halaas Image filtering techniques and VLSI architectures for efficient data extraction in shell rendering. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF image filtering techniques, shell rendering, interactive data reduction, real-time data reduction, PCI based search engine, full custom VLSI chip, opacity assignment, multi-spectral voxel data, interactive inspection procedures, 3D imagery, 3D ultrasonics, 3D MRI studies, classification, VLSI, feature extraction, volume rendering, image classification, application specific integrated circuits, medical image processing, search problems, VLSI architectures, filtering theory, data reduction, digital signal processing chips, data extraction, rendering (computer graphics), biomedical NMR, image preprocessing, biomedical ultrasonics
34Jingkai Yang, Weilin Deng, Daowen Qiu Current-state opacity and initial-state opacity of modular discrete event systems. Search on Bibsonomy Int. J. Control The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Rongjian Liu, Jianquan Lu Enforcement for infinite-step opacity and K-step opacity via insertion mechanism. Search on Bibsonomy Autom. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Brijesh Dongol, Jay Le-Papin Checking Opacity and Durable Opacity with FDR. Search on Bibsonomy SEFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Xiang Yin 0003, Zhaojian Li, Weilin Wang, Shaoyuan Li Infinite-step opacity and K-step opacity of stochastic discrete-event systems. Search on Bibsonomy Autom. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
34Noriaki Hashimoto, Kenji Suzuki 0001, Junchi Liu, Yasushi Hirano, Heber MacMahon, Shoji Kido Deep neural network convolution (NNC) for three-class classification of diffuse lung disease opacities in high-resolution CT (HRCT): Consolidation, ground-glass opacity (GGO), and normal opacity. Search on Bibsonomy Medical Imaging: Computer-Aided Diagnosis The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Bastien Maubert, Sophie Pinchinat Games with Opacity Condition. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Poon Chun Ho, Wenping Wang Occlusion Culling Using Minimum Occluder Set and Opacity Map. Search on Bibsonomy IV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF hierarchical boudning volume tree, depth complexity, incomplete coverage, combined gain, occlusion culling
25Markus Rückert, Dominique Schröder Security of Verifiably Encrypted Signatures and a Construction without Random Oracles. Search on Bibsonomy Pairing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Marc-Olivier Buob, Steve Uhlig, Mickael Meulle Designing Optimal iBGP Route-Reflection Topologies. Search on Bibsonomy Networking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF route-reflection, iBGP topology design, optimization, BGP
25Yuichi Taguchi, Bennett Wilburn, C. Lawrence Zitnick Stereo reconstruction with mixed pixels using adaptive over-segmentation. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh Completeness and Nondeterminism in Model Checking Transactional Memories. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Jean-Yves Guillemaut, Adrian Hilton 0001, Jonathan Starck, Joe Kilner, Oliver Grau A Bayesian Framework for Simultaneous Matting and 3D Reconstruction. Search on Bibsonomy 3DIM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Guangfeng Ji, Han-Wei Shen Dynamic View Selection for Time-Varying Volumes. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static view selection, image based method, dynamic view selection, optimization, information entropy
25Xiaoru Yuan, Minh X. Nguyen, Baoquan Chen, David H. Porter HDR VolVis: High Dynamic Range Volume Visualization. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF nonlinear magnification, user interfaces, Volume visualization, high dynamic range, transfer function design
25Stefan Bruckner, Sören Grimm, Armin Kanitsar, M. Eduard Gröller Illustrative Context-Preserving Exploration of Volume Data. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF volume rendering, Illustrative visualization, focus+context techniques
25Daniel Hedin, David Sands 0001 Noninterference in the Presence of Non-Opaque Pointers. Search on Bibsonomy CSFW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Shaorong Wang, Hua Li 0009 GVF-Based Transfer Functions for Volume Rendering. Search on Bibsonomy Computer Graphics International The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Francisco de Moura Pinto, Carla M. D. S. Freitas Two-Level Interaction Transfer Function Design Combining Boundary Emphasis, Manual Specification and Evolutive Generation. Search on Bibsonomy SIBGRAPI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Jue Wang 0001, Michael F. Cohen An Iterative Optimization Approach for Unified Image Segmentation and Matting. Search on Bibsonomy ICCV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Daniel Wexler, Larry Gritz, Eric Enderton, Jonathan Rice GPU-accelerated high-quality hidden surface removal. Search on Bibsonomy Graphics Hardware The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25João Luis Prauchner, Carla M. D. S. Freitas, João Luiz Dihl Comba Two-Level Interaction Approach for Transfer Function Specification. Search on Bibsonomy SIBGRAPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Gregor Schlosser, Jürgen Hesser, Frank Zeilfelder, Christian Rössl, Reinhard Männer, Günther Nürnberger, Hans-Peter Seidel Fast Visualization by Shear-Warp on Quadratic Super-Spline Models Using Wavelet Data Decompositions. Search on Bibsonomy IEEE Visualization The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Vladimir Zagrodsky, Raj Shekhar Volume Rendering of Real-Time 3D Echocardiographic Data. Search on Bibsonomy IEEE Visualization The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Alex Reche Martinez, Ignacio Martín 0002, George Drettakis Volumetric reconstruction and interactive rendering of trees from photographs. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF visibility estimation, 3D reconstruction, interactive rendering
25Scott Pakin coNCePTuaL: A Network Correctness and Performance Testing Languag. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Abhir Bhalerao, Carl-Fredrik Westin Tensor Splats: Visualising Tensor Fields by Texture Mapped Volume Rendering. Search on Bibsonomy MICCAI (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Yung-Yu Chuang, Brian Curless, David Salesin, Richard Szeliski A Bayesian Approach to Digital Matting. Search on Bibsonomy CVPR (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Marc Levoy Efficient ray tracing of volume data. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22Damien Imbs, Michel Raynal Software Transactional Memories: An Approach for Multicore Programming. Search on Bibsonomy PaCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
22Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau Concurrent Secrets. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Concurrency, Computer security, Automata, Supervisory control, Opacity
22Martin Koster, Jörg Haber, Hans-Peter Seidel Real-Time Rendering of Human Hair Using Programmable Graphics Hardware. Search on Bibsonomy Computer Graphics International The full citation details ... 2004 DBLP  DOI  BibTeX  RDF opacity maps, programmable graphics hardware, shadow maps, hair rendering, anisotropic reflection
22Kwansik Kim, Craig M. Wittenbrink, Alex Pang Extended Specifications and Test Data Sets for Data Level Comparisons of Direct Volume Rendering Algorithms. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Metrics, volume visualization, image quality, gradient, opacity, uncertainty visualization, surface classification
17Zhenzhong Liu Verification of Archive System Opacity With Bounded Labeled Petri Nets. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Rongjian Liu, Jianquan Lu, Yang Liu 0040, Xiang Yin 0003, Christoforos N. Hadjicostis Opacity Enforcement via Greedy Privately-and-Publicly Known Insertion Functions. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Anooshiravan Saboori, Christoforos N. Hadjicostis Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata". Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Tomás Masopust, Petr Osicka On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Étienne André, Engel Lefaucheux, Dylan Marinho Expiring opacity problems in parametric timed automata. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Christian Reiser, Stephan J. Garbin, Pratul P. Srinivasan, Dor Verbin, Richard Szeliski, Ben Mildenhall, Jonathan T. Barron, Peter Hedman, Andreas Geiger 0001 Binary Opacity Grids: Capturing Fine Geometric Detail for Mesh-Based View Synthesis. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Siyuan Liu, Xiang Yin 0003, Dimos V. Dimarogonas, Majid Zamani 0001 On Approximate Opacity of Stochastic Control Systems. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Shuai Zhang, Huangxuan Zhao, Zhenghong Zhou, Guanjun Wu, Chuansheng Zheng, Xinggang Wang, Wenyu Liu 0001 TOGS: Gaussian Splatting with Temporal Opacity Offset for Real-Time 4D DSA Rendering. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Eamon Duede, Kevin Davey Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Xiaoguang Han 0001, Kuize Zhang, Zhiwu Li 0001 Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Manohar Kumar, Aisha Aijaz, Omkar Chattar, Jainendra Shukla, Raghava Mutharaju Opacity, Transparency, and the Ethics of Affective Computing. Search on Bibsonomy IEEE Trans. Affect. Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Yifan Dong, Naiqi Wu, Zhiwu Li 0001 State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets. Search on Bibsonomy IEEE CAA J. Autom. Sinica The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Wei Duan, Ruotian Liu, Maria Pia Fanti, Christoforos N. Hadjicostis, Zhiwu Li 0001 Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay Opacity From Observers With a Bounded Memory. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Weiwei Han, Yi Li, Zhipeng Zhang, Chengyi Xia STP-based verification and synthesis of state opacity for logical finite state machines. Search on Bibsonomy Inf. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Mihály Héder The epistemic opacity of autonomous systems and the ethical consequences. Search on Bibsonomy AI Soc. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Jianxin Tan, Fuchun Liu, Zbigniew Dziong Active opacity of discrete-event systems. Search on Bibsonomy Int. J. Control The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Yingrui Zhou, Zengqiang Chen 0001, Zhongxin Liu Verification and enforcement of current-state opacity based on a state space approach. Search on Bibsonomy Eur. J. Control The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001 Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Shuo Yang 0007, Xiang Yin 0003 Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Rongjian Liu, Jianquan Lu, Christoforos N. Hadjicostis Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Jirí Balun, Tomás Masopust Verifying weak and strong k-step opacity in discrete-event systems. Search on Bibsonomy Autom. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Francesco Basile, Gianmaria De Tommasi, Carlo Motta Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. Search on Bibsonomy Autom. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Xiaoguang Han 0002, Kuize Zhang, Jiahui Zhang, Zhiwu Li 0001, Zengqiang Chen 0001 Strong current-state and initial-state opacity of discrete-event systems. Search on Bibsonomy Autom. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Qian Chu, Jiahui Zhang, Xiaoguang Han 0002, Zhiwu Li 0001, Zengqiang Chen 0001 Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations. Search on Bibsonomy J. Syst. Sci. Complex. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Aaron David Schneider, Paul Mollière, Gilles Louppe, Ludmila Carone, Uffe Gråe Jørgensen, Leen Decin, Christiane Helling Harnessing machine learning for accurate treatment of overlapping opacity species in GCMs. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Sara Mann, Barnaby Crook, Lena Kästner, Astrid Schomäcker, Timo Speith Sources of Opacity in Computer Systems: Towards a Comprehensive Taxonomy. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun 0001 Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. Search on Bibsonomy TiCSA@ETAPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Weilin Deng, Daowen Qiu, Jingkai Yang Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Dawid Malarz, Weronika Smolak, Jacek Tabor, Slawomir Konrad Tadeja, Przemyslaw Spurek Gaussian Splatting with NeRF-based Color and Opacity. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Lisa Y. W. Tang Severity classification of ground-glass opacity via 2-D convolutional neural network and lung CT scans: a 3-day exploration. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Chongyang Shi, Abhishek Ninad Kulkarni, Hazhar Rahmani, Jie Fu Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001 Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Jirí Balun, Tomás Masopust, Petr Osicka Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Tianhao Wu 0003, Hanxue Liang, Fangcheng Zhong, Gernot Riegler, Shimon Vainer, A. Cengiz Öztireli αSurf: Implicit Surface Reconstruction for Semi-Transparent and Thin Objects with Decoupled Geometry and Opacity. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Varkey M. John, Vaibhav Katewa Minimum-norm Sparse Perturbations for Opacity in Linear Systems. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Junru Lin, Asen Nachkov, Songyou Peng, Luc Van Gool, Danda Pani Paudel Ternary-type Opacity and Hybrid Odometry for RGB-only NeRF-SLAM. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 630 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license