EDBT 2026 Demo / reviewers in the wild / expert
Ernst L. Leiss
dblp:68/6989
· DBLP profile ↗
46ranked-venue papers
22as first author
1since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 23 · 19 first-authorDatabases, data management, data science and information retrieval · 10 · 6 first-authorApplied, interdisciplinary, general and emerging computing · 6 · 1 since 2021Artificial intelligence and machine learning · 4Graphics, computer vision, multimedia, augmented reality and games · 4Systems, architecture and hardware · 3 · 1 first-authorSoftware engineering, systems software and programming languages · 3Computer networks · 2Human-computer interaction and ubiquitous computing · 2 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer graphics and multimedia
1 paper |
Visualization and visual analytics · 67% Virtual and augmented reality · 33% | |
| Human-computer interaction and pervasive computing
1 paper |
Haptics and multimodal interaction · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Parallel and multicore computing · 86% Storage systems · 14% | |
| Network and information security
3 papers |
Authentication and access control · 77% Privacy and data protection · 19% Cryptographic primitives and cryptanalysis · 4% | |
| Artificial intelligence
1 paper |
Motion planning and robot control · 100% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Medical and health informatics · 100% |
Topics — the 15 heaviest of 17, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Virtual and augmented reality › virtual environment
immersive virtual environments |
0.0 | 1 | 2002 | Interacting with Visible Human Data Using an ImmersaDesk · VR 2002 |
Visualization and visual analytics
medical visualization |
0.0 | 1 | 2002 | Interacting with Visible Human Data Using an ImmersaDesk · VR 2002 |
Visualization and visual analytics
volume visualization |
0.0 | 1 | 2002 | Interacting with Visible Human Data Using an ImmersaDesk · VR 2002 |
Haptics and multimodal interaction › haptic feedback
force feedback |
0.0 | 1 | 2002 | Kinesthetic and Visual Force Display for Telerobotics · ICRA 2002 |
Authentication and access control
authorization |
0.0 | 1 | 1997 | Authorization and Revocation in Object-Oriented Databases · IEEE Trans. Knowl. Data Eng. 1997 |
Parallel and multicore computing › parallel scheduling
independent task scheduling |
0.0 | 1 | 1995 | A Heuristic Scheduling of Independent Tasks with Bottleneck Resource Constraints · SIAM J. Comput. 1995 |
Parallel and multicore computing
parallel scheduling |
0.0 | 1 | 1995 | A Heuristic Scheduling of Independent Tasks with Bottleneck Resource Constraints · SIAM J. Comput. 1995 |
Robotics › Motion planning and robot control
teleoperation |
0.0 | 1 | 2002 | Kinesthetic and Visual Force Display for Telerobotics · ICRA 2002 |
Data models and query languages
object-oriented database |
0.0 | 1 | 1997 | Authorization and Revocation in Object-Oriented Databases · IEEE Trans. Knowl. Data Eng. 1997 |
Coding theory
constrained coding |
0.0 | 1 | 1987 | On testing for immutability of codes · IEEE Trans. Inf. Theory 1987 |
Storage systems
optical storage |
0.0 | 1 | 1984 | Data Integrity in Digital Optical Disks · IEEE Trans. Computers 1984 |
Privacy and data protection
randomization |
0.0 | 1 | 1982 | Randomizing, A Practical Method for Protecting Statistical Databases Against Compromise · VLDB 1982 |
Privacy and data protection
statistical database |
0.0 | 1 | 1982 | Randomizing, A Practical Method for Protecting Statistical Databases Against Compromise · VLDB 1982 |
Storage systems › non-volatile memory storage
write-once memory |
0.0 | 1 | 1987 | On testing for immutability of codes · IEEE Trans. Inf. Theory 1987 |
Database system architecture and tuning › analytical database system
statistical database |
0.0 | 1 | 1982 | Randomizing, A Practical Method for Protecting Statistical Databases Against Compromise · VLDB 1982 |
Methods — techniques the papers use, named apart from their topics
volumetric rendering · 0.1stereo display · 0.1high-end graphics hardware · 0.1force reflection · 0.1propagation numbers · 0.0inheritance-based privilege granting · 0.0immutability testing algorithms · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | From Perception to Precision: Navigating Perceptual Loss in MRI Super-ResolutionabstractIn the field of MRI super-resolution, training an image upscaling network under a pixel-oriented cost function (e.g., Mean-Intensity-Error) has proven to boost the signal-to-noise ratio. However, these types of cost functions tend to miss high-frequency details and fail to achieve an ideal sharpness, which is a pivotal image property for clinical applications to make diagnoses. To address this issue, the cost function of these upscaling networks typically includes a perceptual loss function, which is well recognized for the reconstruction of textures and enhancing sharpness, in addition to a pixel-oriented one. In this paper, we investigate the effect of perceptual loss on several MRI super-resolution metrics. We train UNet architecture under two loss function scenarios: One only including a pixel-oriented loss function, and the other a fusion of pixel-oriented and perceptual losses. We then employ an ablation study using a mixed effect model on a comprehensive set of evaluation criteria to measure the significance of change upon the inclusion of perceptual loss. Our results show that even though perceptual loss substantially shifts the networks towards outputting sharper images, it only causes negligible performance degradation in the accuracy of the reconstructed regions of interest, which can be alleviated using proper hyperparameter tuning. Mohammad Javadi, Panagiotis Tsiamyrtzis, Shishir Shah 0001, Ernst L. Leiss, Nikolaos V. Tsekos |
BIBE | 5 |
| 2020 | Evaluation of Interventional Planning Software Features for MR-guided Transrectal Prostate BiopsiesabstractThis work presents an interventional planning software to be used in conjunction with a robotic manipulator to perform transrectal MR guided prostate biopsies. The interventional software was designed taking in consideration a generic manipulator used under the two modes of operation: side-firing and end-firing of the biopsy needle. Studies were conducted with urologists using the software to plan virtual biopsies. The results show features of software relevant for operating efficiently under the two modes of operation. Jose D. Velazco-Garcia, Nikhil V. Navkar, Shidin Balakrishnan, Julien Abinahed, Abdulla Al-Ansari, Adham Darweesh, Khalid Al-Rumaihi, Eftychios G. Christoforou, Ernst L. Leiss, Mansour A. Karkoub, Panagiotis Tsiamyrtzis, Nikolaos V. Tsekos |
BIBE | 9 |
| 2019 | Preliminary Evaluation of Robotic Transrectal Biopsy System on an Interventional Planning SoftwareabstractProstate biopsy is considered as a definitive way for diagnosing prostate malignancies. Urologists are currently moving towards MR-guided prostate biopsies over conventional transrectal ultrasound-guided biopsies for prostate cancer detection. Recently, robotic systems have started to emerge as an assistance tool for urologists to perform MR-guided prostate biopsies. However, these robotic assistance systems are designed for a specific clinical environment and cannot be adapted to modifications or changes applied to the clinical setting and/or workflow. This work presents the preliminary design of a cable-driven manipulator developed to be used in both MR scanners and MR-ultrasound fusion systems. The proposed manipulator design and functionality are evaluated on a simulated virtual environment. The simulation is created on an in-house developed interventional planning software to evaluate the ergonomics and usability. The results show that urologists can benefit from the proposed design of the manipulator and planning software to accurately perform biopsies of targeted areas in the prostate. Jose D. Velazco-Garcia, Ernst L. Leiss, Mansour A. Karkoub, Panagiotis Tsiamyrtzis, Nikolaos V. Tsekos, Nikhil V. Navkar, Shidin Balakrishnan, Julien Abinahed, Abdulla Al-Ansari, Georges Younes 0003, Adham Darweesh, Khalid Al-Rumaihi, Eftychios G. Christoforou |
BIBE | 2 |
| 2019 | Interactive and Immersive Image-Guided Control of Interventional Manipulators with a Prototype Holographic InterfaceabstractThe emerging potential of augmented reality (AR) to improve 3D medical image visualization for diagnosis, by immersing the user into 3D morphology is further enhanced with the advent of wireless head-mounted displays (HMD). Such information-immersive capabilities may also enhance planning and visualization of interventional procedures. To this end, we introduce a computational platform to generate an augmented reality holographic scene that fuses pre-operative magnetic resonance imaging (MRI) sets, segmented anatomical structures, and an actuated model of an interventional robot for performing MRI-guided and robot-assisted interventions. The interface enables the operator to manipulate the presented images and rendered structures using voice and gestures, as well as to robot control. The software uses forbidden-region virtual fixtures that alerts the operator of collisions with vital structures. The platform was tested with a HoloLens HMD in silico. To address the limited computational power of the HMD, we deployed the platform on a desktop PC with two-way communication to the HMD. Operation studies demonstrated the functionality and underscored the importance of interface customization to fit a particular operator and/or procedure, as well as the need for on-site studies to assess its merit in the clinical realm. Cristina Marie Morales Mojica, Nikolaos V. Tsekos, Jose D. Velazco-Garcia, Ioannis Seimenis, Ernst L. Leiss, Dipan J. Shah, Andrew G. Webb, Aaron T. Becker, Panagiotis Tsiamyrtzis |
BIBE | 6 |
| 2018 | The worst parallel Hanoi graphs
Ernst L. Leiss, Isaac Mackey |
Theor. Comput. Sci. | 1 |
| 2015 | User-Friendly and Secure Architecture (UFSA) for Authentication of Cloud ServicesabstractClouds are becoming prevalent service providers because of their low upfront costs, rapid application deployment, and high scalability. Many users outsource their sensitive data and services to cloud providers. Users frequently access these sensitive services through devices and connections that are vulnerable to thieving and eavesdropping. Therefore, users are desperate of robust security measures to protect their data and services privacy in clouds. In particular, robust authentication techniques are demanded by users for safe access to cloud services. One technique is to utilize multiple authentication factors (a.k. A multi-factor authentication) to access cloud services. However, the challenge is that the multi-factor authentication technique is not effective as it causes user frustration and fatigue. To address this challenge, in this study, we propose a multi-factor authentication architecture that aims at minimizing the perceived authentication hardship for cloud users while improving the security of the authentication. To achieve the goal, our authentication architecture suggests a progressive manner to leverage access to different levels of cloud services. At each level, the architecture asks for authentication factors by considering the perceived hardship for users. To increase the security and user convenience, the architecture also considers implicit authentication factors in addition to the explicit factors. Our evaluation results indicate that authentication using the proposed architecture decreases the users' perceived hardship up to 29% in compare with other methods. The results also reveal that our proposed architecture adapts the authentication difficulty based on the user condition. Reza Fathi, Mohsen Amini Salehi, Ernst L. Leiss |
CLOUD | 3 |
| 2014 | Privacy between technological capabilities and society's expectations (abstract only)abstractThe unprecedented use of social networking, the Web and other related technologies by all fringes of population, has not been accompanied by an adequate awareness of its potential for abuse, privacy violation and cybercrimes. Furthermore, technology nowadays provides extensive capabilities which often times clash with society's laws and ethics. In particular, modern societies have certain expectations of privacy; that may be contradicted by the capabilities of new technology. It seems then incumbent upon computer science instructors to raise awareness of these risks and threats among the students they teach. The purpose of this session is to provide a forum for discussing technologies that are widely used by CS and non CS professionals alike, and that may well be at variance with society's privacy expectations. A second purpose of this session is to introduce instructional modules currently under development that may assist instructors in addressing some of the relevant themes in courses, in particular privacy in social networks, on the internet, in mobile apps and also privacy in electronic voting and law enforcement. We expect that attendees will provide varying opinions and insight that will help shape the course offering. In addition, attendees will be invited to share their experience teaching or talking about privacy issues and the approaches, resources and techniques they have used in presenting the topic to students. Ernst L. Leiss, Lila Ghemri |
SIGCSE | 1 |
| 2014 | On the role of complementation in implicit language equations and relations
Adrian Ionescu, Ernst L. Leiss |
J. Comput. Syst. Sci. | 2 |
| 2013 | Using motion correction to improve real-time cardiac MRI reconstructionabstractCardiac gating or breath-hold MRI acquisition is challenging. In particular, data collected in a short amount of time might be insufficient for the diagnosis of patients with impaired breath-holding capabilities and/or arrhythmia. A major challenge in cardiac MRI is the motion of the heart itself, the pulsate blood flow, and the respiratory motion. Furthermore, the motion of the diaphragm in the chest moving up and down gets translated to the heart when a patient breathes. Therefore, artifacts arise due to the changes in signal intensity or phase as a function of time, resulting in blurry images. This paper describes a novel reconstruction strategy for real time cardiac MRI without requiring the use of an electro-cardiogram or of breath holding. In this research we focused on automation and evaluation of the performance of our proposed method in real time MRI data to ensure a good basis for the signal extraction. Hence, it assists in the reconstruction. The proposed method enables one to extract cardiac beating waveforms directly from real-time cardiac MRI series collected from freely breathing patients and without cardiac gating. Our method only requires minimal user involvement as initialization step. Thereafter, the method follows the registered area in every frame and updates itself. Emil Bilgazyev, Ilyas Uyanik, Mahmut Unan, Dipan J. Shah, Nikolaos V. Tsekos, Ernst L. Leiss |
ICMV | 6 |
| 2013 | Sparse representation based face recognition using weighted regionsabstractFace recognition is a challenging research topic, especially when the training (gallery) and recognition (probe) images are acquired using different cameras under varying conditions. Even a small noise or occlusion in the images can compromise the accuracy of recognition. Lately, sparse encoding based classification algorithms gave promising results for such uncontrollable scenarios. In this paper, we introduce a novel methodology by modeling the sparse encoding with weighted patches to increase the robustness of face recognition even further. In the training phase, we define a mask (i.e., weight matrix) using a sparse representation selecting the facial regions, and in the recognition phase, we perform comparison on selected facial regions. The algorithm was evaluated both quantitatively and qualitatively using two comprehensive surveillance facial image databases, i.e., SCfaceandMFPV, with the results clearly superior to common state-of-the-art methodologies in different scenarios. Publisher’s Note: This paper, originally published on 24 December 2013, was replaced with a revised version on 11 June 2014. If you downloaded the original PDF but are unable to access the revision, please contact SPIE Digital Library Customer Service for assistance. Emil Bilgazyev, Erol Yeniaras, Ilyas Uyanik, Mahmut Unan, Ernst L. Leiss |
ICMV | 5 |
| 2013 | Quality enhancement of low-resolution image by using natural imagesabstractIn this paper, we propose a new algorithm to estimate a super-resolution image from a given low-resolution image, by adding high-frequency information that is extracted from natural high-resolution images in the training dataset. The selection of the high-frequency information from the training dataset is accomplished in two steps: a nearest-neighbor search algorithm is used to select the closest images from the training dataset, which can be implemented in the GPU, and a sparse-representation algorithm is used to estimate a weight parameter to combine the high-frequency information of selected images. This simple but very powerful super-resolution algorithm can produce state-of-the-art results. Qualitatively and quantitatively, we demonstrate that the proposed algorithm outperforms existing common practices. Emil Bilgazyev, Erol Yeniaras, Ilyas Uyanik, Mahmut Unan, Ernst L. Leiss |
ICMV | 5 |
| 2013 | The worst Hanoi graphs
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 2009 | Modulo scheduling without overlapped lifetimesabstractThis paper describes complementary software- and hardware-based approaches for handling overlapping register lifetimes that occur in modulo scheduled loops. Modulo scheduling takes the N-instructions in a loop body and constructs an M-stage software pipeline. The length of each stage in the software pipeline is the Initiation Interval (II), which is the rate at which new loop iterations are started. An overlapped lifetime has a live range longer than the II, and as a consequence, the current iteration writes a new value to a register before a previous loop iteration has fin-ished using the old value. Hardware and software solutions for dealing with overlapped lifetimes have been proposed by re-searchers and also implemented in commercial products. These solutions include rotating register files, register queues, modulo variable expansion, and post-scheduling live range splitting. Each of these approaches has drawbacks for embedded systems such as an increase in silicon area, power consumption, and code size. Eric Stotzer, Ernst L. Leiss |
LCTES | 2 |
| 2005 | Compiler Techniques for Data Driven Languages with Superlinear Speed-up
Ling-Hua Chang, Ernst L. Leiss |
SEKE | 2 |
| 2004 | Data dependent loop scheduling based on genetic algorithms for distributed and shared memory systems
José Aguilar 0001, Ernst L. Leiss |
J. Parallel Distributed Comput. | 2 |
| 2002 | Kinesthetic and Visual Force Display for TeleroboticsabstractEffectively controlling a robot remotely, teleoperation, offers benefits in improving human safety, reducing workload, providing location accessibility, and achieving convenient operation. In previous work, teleoperator task performance has been shown to improve with the addition of force feedback. Here we report on a system providing a human operator with a six-axis kinesthetic and visual force display, its implementation and experimental evaluation. A system design containing both a six-axis force reflective hand controller and a stereo video head-mounted display with 3D force display overlay is presented. The system was utilized to evaluate the effects of force display augmentation and substitution by controlling a dexterous anthropomorphic robot called "Robonaut" in the performance of a typical space teleoperation drill task. The human test subject performance under four different force feedback scenarios, no force display, visual force display, kinesthetic force display and bisensory force display, is measured. Experimental results indicate a noticeably lower cumulative force, torque, and variance, lower peak force/torque, yet unchanged task completion times under the presence of visual or kinesthetic force display. Lorraine E. P. Williams, R. Bowen Loftin, Hal A. Aldridge, Ernst L. Leiss, William Bluethmann |
ICRA | 4 |
| 2002 | Interacting with Visible Human Data Using an ImmersaDeskabstractInteraction with medical volume data has often been difficult, due to the large memory and computational power required. By taking advantage of current high-end graphics hardware, we have developed a volumetric virtual environment that provides the ability to help people interact with the volumetric Visible Human data set. The application enables the user to explore the interior of a virtual human body in a natural and intuitive way. Ching-Yao Lin, David T. Chen, R. Bowen Loftin, Jian Chen 0006, Ernst L. Leiss |
VR | 5 |
| 2001 | A Web Proxy Cache Coherency and Replacement Approach
José Aguilar 0001, Ernst L. Leiss |
Web Intelligence | 2 |
| 2000 | Load-Balanced Routing and Scheduling for Real-Time Traffic in Packet-Switch NetworksabstractFuture computer networks are expected to carry bursty real-time traffic with stringent time-delay requirements. Popular shortest-path routing protocols have the disadvantage of causing bottlenecks due to their single-path routing. We propose a real-time routing and scheduling scheme that randomly distributes the traffic load over all available paths to the destination for load balancing and transmits the packet with the most urgency ahead of the other packets at a switch in a packet-switched network with two objectives-minimizing packet loss in the network and maximizing network throughput. Our scheme consists of two components, a routing algorithm and a scheduling algorithm. The routing algorithm randomly distributes data packets over the whole network to remove bottlenecks caused by the single-path routing of shortest-path routing protocols. The end-to-end delay is bounded by the scheduler, which uses a least-laxity scheduling algorithm. Our simulation results indicate that the proposed scheme decreases the number of packets dropped due to deadline miss and due to buffer overflow in transit in a network and increases network throughput. A desirable by-product is that the traffic load on the network tends to get evenly distributed. Sangman Bak, Albert Mo Kim Cheng, Jorge Arturo Cobb, Ernst L. Leiss |
LCN | 4 |
| 1999 | Hierarchical load-balanced routing via bounded randomizationabstractThe purpose of routing protocols in a computer network is to maximize network throughput. Popular shortest-path routing protocols have the disadvantage of causing bottlenecks due to their single-path routing. That is, the shortest path between a source and a destination may become highly congested even when many other paths have low utilization. In this paper, we propose a routing scheme for hierarchically structured computer networks such as the Internet. The new hierarchical routing algorithm, which we call hierarchical load-balanced routing (HLBR), is based on distance-vector routing algorithms. HLBR randomly balances traffic load over the whole network; therefore, it removes bottlenecks and increases network throughput. For each data message to be sent from a source s to a destination d, the proposed routing protocol chooses randomly each of three intermediate nodes from a selected set of network nodes, and routes the data message along a path from s through the three intermediate nodes to d. This increases the effective bandwidth between each pair of nodes. Sangman Bak, Jorge Arturo Cobb, Ernst L. Leiss |
ICCCN | 3 |
| 1997 | Solving Systems of Explicit Language Relations
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1997 | Authorization and Revocation in Object-Oriented DatabasesabstractFew studies of object-oriented databases deal with their security, a fundamental aspect of systems with complex data structures. Most authorization systems give users who own resources only some basic control over them; here, we provide users with more direct control over their resources by associating with each grant propagation numbers. Propagation numbers govern the grantability and exercisability of the privileges. Of particular interest in our study of authorization in an OO environment is the combination of inheritance and granting of privileges. Diverse policies are discussed and implemented in a test-bed system. Ivo Majetic, Ernst L. Leiss |
IEEE Trans. Knowl. Data Eng. | 2 |
| 1995 | Towards positive-breakdown radial basis function networksabstractRadial basis-function networks (RBFNs) have recently attracted interest, because of their advantages over multilayer perceptrons as they are universal approximators but achieve faster convergence since only one layer of weights is required. The least squares method is the most popularly used in estimating the synaptic weights which provides optimal results if the underlying error distribution is Gaussian. However, the generalization performance of the networks deteriorates for realistic noise whose distribution is either unknown or non-Gaussian; in particular, it becomes very bad if outliers are present. In this paper we propose a positive-breakdown learning algorithm for RBFNs by applying the breakdown point approach in robust regression such that any assumptions about or estimation of the error distribution are avoidable. The expense of losing efficiency in the presence of Gaussian noise and the problem of local minima for most robust estimators has also been taken into account. The resulting network is shown to be highly robust and stable against a high fraction of outliers as well as small perturbations. This demonstrates its superiority in controlling bias and variance of estimators. Sheng-Tun Li, Ernst L. Leiss |
ICTAI | 2 |
| 1995 | A Heuristic Scheduling of Independent Tasks with Bottleneck Resource ConstraintsabstractIn this paper, the problem of scheduling independent tasks with bottleneck resource constraints is investigated. There is a set of independent tasks $\mathcal{T} = \{T_{1}, \dotsc , T_{n}\}$ and a set of resources $\mathcal{R} = \{R_{1}, \dotsc , R_{m}\}$. The available amount of resource $R_{j}$, for $j = 1, \dotsc , m$, is (normalized to) 1. Each task $T_{i}$’s execution requires at least $\lambda_{(i,j)} \leq 1$ units of resource $R_{j} \in \mathcal{R}$, and with these minimal resources, the execution time of $T_{i}$, is $\tau_{i}$. If there is a resource $R_{\beta (i)}$ so that $T_{i}$ can use $\xi$ units $(\xi \geq \lambda_{(i,\beta (j))})$ and reduce the execution time to $\frac{{\lambda _{(i,\beta (i))} }}{\xi }\tau _i $, we say that $T_{i}$ can achieve linear speed-up with respect to $R_{\beta (i)}$. It is assumed that for each $T_{i}$, there is one, and only one, resource $R_{\beta (i)}$ that is $T_{i}$’s bottleneck resource: $T_{i}$ can use $\xi$ units of ${R_{(i,\beta (i))} }$ and achieve linear speed-up, where $\xi$ is between $\lambda _{(i,\beta (i))}$ and $\Lambda _{(i,\beta (i))} \leq 1$. The problem is to find a feasible schedule for all the tasks in $\mathcal{T}$ that has a shortest overall makespan. This problem is a combination of two previously studied problems—scheduling tasks with resource constraints [SIAM J. Comput., 4 (1975), pp. 187–200.] scheduling parallel tasks [SIAM J. Comput., 21 (1992), pp. 281–294]. A variant of this problem was studied in [J. Combin. Theory, 21 (1976), pp. 257–298]. Because the problem is NP-hard, we propose the ECT (earliest completion time) algorithm as a heuristic solution and show that the performance ratio of the ECT makespan $M_{\text{ECT}}$ to the optimal makespan $M_{\text{OPT}}$ is bounded by $2l + m + 1$, where l is the number of the bottleneck resources in $\mathcal{R}$. When $l = 0$, this is exactly the performance bound shown by Garey and Graham in [SIAM J. Comput., 4 (1975), pp. 187–200]. Qingzhou Wang, Ernst L. Leiss |
SIAM J. Comput. | 2 |
| 1995 | Implicit Language Equations: Existence and Uniqueness of Solutions
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1994 | An O(log N) Algorithm to Solve Linear Recurrences on Hypercubes
Hari N. Reddy, Ernst L. Leiss |
Inf. Process. Lett. | 2 |
| 1994 | Language Equations Over a One-Letter Alphabet with Union, Concatenation and Star: A Complete Solution
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1994 | Unrestricted Complementation in Language Equations Over a One-Letter Alphabet
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1991 | Embedding Complete Binary Trees Into Hypercubes
Ernst L. Leiss, Hari N. Reddy |
Inf. Process. Lett. | 1 |
| 1991 | Evaluation of timestamp-based concurrency control mechanisms incorporating livelock avoidance
Marek Rusinkiewicz, Ernst L. Leiss |
Inf. Sci. | 2 |
| 1990 | High performance massively parallel abstract data type componentsabstractAn approach for designing high-performance ADT (abstract data type) components for massively parallel systems without sacrificing information hiding is presented. This approach merges information hiding clients and servers to achieve high communication bandwidth for transmitting requests and receiving responses. It uses multi-entry data structures, massive-state-transition interface operations, and a four-level decomposition approach to achieve both structured programming and information hiding within the ADT implementation. To facilitate the systematic design of various ADTs, they have been classified into three classes: unrelated, crystalline, and amorphous collections. The authors present general design decisions for each layer of each class of ADT and illustrate the theory with a detailed example from each class.> I-Ling Yen, Farokh B. Bastani, T. Al-Marzooq, Ernst L. Leiss |
COMPSAC | 4 |
| 1988 | On the Degree of Dominator Trees
Ernst L. Leiss |
Inf. Process. Lett. | 1 |
| 1987 | On testing for immutability of codesabstractImmutable codes have the property that information recorded with them on write-once memories such as digital optical discs cannot be changed. Write-once memory permits changing a0into a1, but once a1is written it cannot be changed back into a0. Most commonly used codes do not have the property of immutability. After a very general definition of immutability is given, algorithms which test a given code for immutability are developed. Algorithms are presented for fixed-length codes as well as for variable-length codes. Ernst L. Leiss |
IEEE Trans. Inf. Theory | 1 |
| 1986 | The Inaccessible Set: A Classification by Query Type of Security Risks in Statistical Database
Ernst L. Leiss |
Inf. Process. Lett. | 1 |
| 1986 | Horizontally and Vertically Bounded Propagation of Privileges
Ernst L. Leiss, C. Jitmedha |
Inf. Process. Lett. | 1 |
| 1986 | Generalized Language Equations with Multiple Solutions
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1985 | On Classes of Tractable Unrestricted Regular Expressions
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1985 | Succinct Representation of Regular Languages by Boolean Automata II
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1985 | On Solving Star Equations
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1984 | Data Integrity in Digital Optical DisksabstractDigital optical disks are interesting as a storage medium because they combine large inexpensive storage capacity with relatively fast access. They also have a property which appears to make them attractive to the security minded, namely they do not permit bits to be rewritten. In other words, a 0 can be changed to a 1, but a 1 cannot be changed back to a 0. In a recent paper, however, Rivest and Shamir show that this does not prevent the changing of information; in fact, at relatively small additional cost (slightly longer codes), information can be changed as often as is desired. In the present paper we are concerned with issues in the integrity of data stored on digital optical disks or any other write-once storage medium, for that matter. A number of practically useful schemes are presented. In particular, immutable codes are discussed, both fixed length and variable length. These are codes which guarantee that information may not be changed. Also introduced are alternative schemes, such as control key schemes, which guarantee either unconditionally or with a certain probability that information cannot be changed if it is stored on digital optical disks. The main distinguishing feature of these schemes is the price to be paid for implementing them, i. e., the number of additional bits required for obtaining the desired protection against subversion. Ernst L. Leiss |
IEEE Trans. Computers | 1 |
| 1982 | Randomizing, A Practical Method for Protecting Statistical Databases Against Compromise
Ernst L. Leiss |
VLDB | 1 |
| 1981 | The Complexity of Restricted Regular Expressions and the Synthesis Problem for Finite Automata
Ernst L. Leiss |
J. Comput. Syst. Sci. | 1 |
| 1981 | Succint Representation of Regular Languages by Boolean Automata
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1981 | On Generalized Language Equations
Ernst L. Leiss |
Theor. Comput. Sci. | 1 |
| 1980 | A Note on a Signature System Based on Probabilistic Logic
Ernst L. Leiss |
Inf. Process. Lett. | 1 |
| 1980 | On Equations for Regular Languages, Finite Automata, and Sequential Networks
Janusz A. Brzozowski, Ernst L. Leiss |
Theor. Comput. Sci. | 2 |