Chin-Laung Lei

PeerJ Comput. Sci., 2024

Time Machine: An Efficient and Backend-Migratable Architecture for Defending Against Ransomware in the Hypervisor.

[BibT_eX]

[DOI]

Proceedings of the 2024 on Cloud Computing Security Workshop, 2024

2023

Guided Malware Sample Analysis Based on Graph Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2023

PowerDP: De-Obfuscating and Profiling Malicious PowerShell Commands With Multi-Label Classifiers.

[BibT_eX]

[DOI]

IEEE Access, 2023

2022

Building Machine Learning-based Threat Hunting System from Scratch.

[BibT_eX]

[DOI]

DTRAP, 2022

Distributed Ledger Technology Based Architecture for Decentralized Device-to-Device Communication Network.

[BibT_eX]

[DOI]

IEEE Access, 2022

2021

Joint Feature Disentanglement and Hallucination for Few-Shot Image Classification.

[BibT_eX]

[DOI]

IEEE Trans. Image Process., 2021

How to Design a Secure Anonymous Authentication and Key Agreement Protocol for Multi-Server Environments and Prove Its Security.

[BibT_eX]

[DOI]

Hung-Jr Shiu

Symmetry, 2021

An independent three-factor mutual authentication and key agreement scheme with privacy preserving for multiserver environment and a survey.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2021

PUF Based Authenticated Key Exchange Protocol for IoT Without Verifiers and Explicit CRPs.

[BibT_eX]

[DOI]

IEEE Access, 2021

2020

A Detailed Look At CNN-based Approaches In Facial Landmark Detection.

[BibT_eX]

[DOI]

CoRR, 2020

POSTER: Construct macOS Cyber Range for Red/Blue Teams.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

Cryptanalysis of Four Biometric Based Authentication Schemes with Privacy-preserving for Multi-server Environment and Design Guidelines.

[BibT_eX]

[DOI]

Hung-Jr Shiu

Proceedings of the 15th Asia Joint Conference on Information Security, 2020

2019

Look at Me! Correcting Eye Gaze in Live Video Communication.

[BibT_eX]

[DOI]

ACM Trans. Multim. Comput. Commun. Appl., 2019

MigrateSDN: efficient approach to integrate OpenFlow networks with STP-enabled networks.

[BibT_eX]

[DOI]

Int. J. Comput. Sci. Eng., 2019

Assessing the Profitability of Timely Opening Range Breakout on Index Futures Markets.

[BibT_eX]

[DOI]

IEEE Access, 2019

Privacy Protection for Telecare Medicine Information Systems with Multiple Servers Using a Biometric-based Authenticated Key Agreement Scheme.

[BibT_eX]

[DOI]

IEEE Access, 2019

Semantics-Guided Data Hallucination for Few-Shot Visual Classification.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

2018

Time-shift replacement algorithm for main memory performance optimization.

[BibT_eX]

[DOI]

Hong-Bin Tsai

J. Supercomput., 2018

Audit-Free Cloud Storage via Deniable Attribute-Based Encryption.

[BibT_eX]

[DOI]

Po-Wen Chi

IEEE Trans. Cloud Comput., 2018

SocialDNA: A Novel Approach for Distinguishing Notable Articles and Authors through Social Events.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2018

SFaaS: Keeping an eye on IoT fusion environment with security fusion as a service.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Realizing the real-time gaze redirection system with convolutional neural network.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Multimedia Systems Conference, 2018

Uncovering Internal Threats Based on Open-Source Intelligence.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Computer Technologies and Applications, 2018

Infection categorization using deep autoencoder.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2018, 2018

Efficient Key Agreement Protocol for Smart Sensors.

[BibT_eX]

[DOI]

Albert Guan

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2018

2017

High-Capacity Data-Hiding Scheme on Synthesized Pitches Using Amplitude Enhancement - A New Vision of Non-Blind Audio Steganography.

[BibT_eX]

[DOI]

Symmetry, 2017

Automatic Test Pattern Generator for Fuzzing Based on Finite State Machine.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2017

Preserving privacy of online digital physiological signals using blind and reversible steganography.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2017

Estimating Ideological Scores of Facebook Pages: An Empirical Study in Taiwan.

[BibT_eX]

[DOI]

Alex Chuan-Hsien Chang

Comput. J., 2017

SDUDP: A Reliable UDP-Based Transmission Protocol Over SDN.

[BibT_eX]

[DOI]

IEEE Access, 2017

A page replacement algorithm based on frequency derived from reference history.

[BibT_eX]

[DOI]

Hong-Bin Tsai

Proceedings of the Symposium on Applied Computing, 2017

Is Foveated Rendering Perceivable in Virtual Reality?: Exploring the Efficiency and Consistency of Quality Assessment Methods.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Multimedia Conference, 2017

A Stereo Audio Steganography by Inserting Low-Frequency and Octave Equivalent Pure Tones.

[BibT_eX]

[DOI]

Proceedings of the Fourth Euro-China Conference on Intelligent Data Analysis and Applications, 2017

Data Hiding on Social Media Communications Using Text Steganography.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2017

2016

SDN storage: A stream-based storage system over software-defined networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Boosting election prediction accuracy by crowd wisdom on social forums.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

SDNort: A Software Defined Network Testing Framework Using Openflow.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia Joint Conference on Information Security, 2016

2015

Outstanding Principal as Prepayment Value: A Closed-Form Formula for Mortgage Pricing.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2015

Modelling Polarity of Articles and Identifying Influential Authors through Social Movements.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Systems, 2015

How to detect a compromised SDN switch.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE Conference on Network Softwarization, 2015

Efficient NFV deployment in data center networks.

[BibT_eX]

[DOI]

Po-Wen Chi

Yu-Cheng Huang

Proceedings of the 2015 IEEE International Conference on Communications, 2015

Discovery of De-identification Policies Considering Re-identification Risks and Information Loss.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia Joint Conference on Information Security, 2015

2014

A reversible acoustic data hiding method based on analog modulation.

[BibT_eX]

[DOI]

Inf. Sci., 2014

Forecasting the Impacts of Articles and Authors on the Social Forum during Emergencies.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2014

Hybrid Intrusion Detection Framework for Advanced Metering Infrastructure.

[BibT_eX]

[DOI]

He-Ming Ruan

Gan Wei Yeap

Proceedings of the Intelligent Systems and Applications, 2014

A Security Assessment Environment and Process Design for Smart Meter Vendor Production Line.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2014

Give me a broadcast-free network.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2014

Fine-Grained Audit Privilege Control for Integrity Audit on Cloud Storage.

[BibT_eX]

[DOI]

He-Ming Ruan

Proceedings of the Ninth Asia Joint Conference on Information Security, 2014

2013

Crowdsourcing Multimedia QoE Evaluation: A Trusted Framework.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2013

Aggregate message authentication codes (AMACs) with on-the-fly verification.

[BibT_eX]

[DOI]

Yu-Shian Chen

Int. J. Inf. Sec., 2013

An adaptive sector-based routing model over structured peer-to-peer networks.

[BibT_eX]

[DOI]

Comput. Networks, 2013

Gender swapping and user behaviors in online social games.

[BibT_eX]

[DOI]

Proceedings of the 22nd International World Wide Web Conference, 2013

Understanding Potential MicrotaskWorkers for Paid Crowdsourcing.

[BibT_eX]

[DOI]

Proceedings of the Human Computation and Crowdsourcing: Works in Progress and Demonstration Abstracts, 2013

2012

Radar chart: scanning for satisfactory QoE in QoS dimensions.

[BibT_eX]

[DOI]

IEEE Netw., 2012

A decentralized clustering scheme for transparent mode devices.

[BibT_eX]

[DOI]

Chien-Hua Chiu

Clust. Comput., 2012

Forecasting online game addictiveness.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Workshop on Network and Systems Support for Games, 2012

Are all games equally cloud-gaming-friendly? An electromyographic approach.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Workshop on Network and Systems Support for Games, 2012

Closed-form mortgage pricing formula with outstanding principal as prepayment value.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Conference on Computational Intelligence for Financial Engineering & Economics, 2012

Data Integrity on Remote Storage for On-line Co-working.

[BibT_eX]

[DOI]

He-Ming Ruan

Yu-Shian Chen

Proceedings of the Seventh Asia Joint Conference on Information Security, 2012

An Analysis of Security Patch Lifecycle Using Google Trend Tool.

[BibT_eX]

[DOI]

Proceedings of the Seventh Asia Joint Conference on Information Security, 2012

2011

Provably secure and efficient identification and key agreement protocol with user anonymity.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2011

Robust authentication and key agreement scheme preserving the privacy of secret key.

[BibT_eX]

[DOI]

Comput. Commun., 2011

DevilTyper: a game for CAPTCHA usability evaluation.

[BibT_eX]

[DOI]

Comput. Entertain., 2011

World of warcraft avatar history dataset.

[BibT_eX]

[DOI]

Proceedings of the Second Annual ACM SIGMM Conference on Multimedia Systems, 2011

Quantifying QoS requirements of network services: a cheat-proof framework.

[BibT_eX]

[DOI]

Proceedings of the Second Annual ACM SIGMM Conference on Multimedia Systems, 2011

Measuring the latency of cloud gaming systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011

A Mechanism on Risk Analysis of Information Security with Dynamic Assessment.

[BibT_eX]

[DOI]

Proceedings of the 2011 Third International Conference on Intelligent Networking and Collaborative Systems (INCoS), Fukuoka, Japan, November 30, 2011

2010

Quadrant of euphoria: a crowdsourcing platform for QoE assessment.

[BibT_eX]

[DOI]

IEEE Netw., 2010

A privacy and delegation-enhanced user authentication protocol for Portable Communication Systems.

[BibT_eX]

[DOI]

Int. J. Ad Hoc Ubiquitous Comput., 2010

Filtering False Messages En-Route in Wireless Multi-Hop Networks.

[BibT_eX]

[DOI]

Yu-Shian Chen

Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

Firework search for location aided routing enhancement in mobile ad-hoc networks.

[BibT_eX]

[DOI]

Chia-Chang Hsu

Proceedings of the 8th ACM International Workshop on Mobility Management & Wireless Access, 2010

What Can the Temporal Social Behavior Tell Us? An Estimation of Vertex-Betweenness Using Dynamic Social Information.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2010

2009

Effect of Network Quality on Player Departure Behavior in Online Games.

[BibT_eX]

[DOI]

Polly Huang

IEEE Trans. Parallel Distributed Syst., 2009

On the challenge and design of transport protocols for MMORPGs.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2009

Fair anonymous rewarding based on electronic cash.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

User authentication scheme with privacy-preservation for multi-server environment.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2009

Identifying MMORPG Bots: A Traffic Analysis Approach.

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2009

A prevention approach to scrambling attacks in WiMAX networks.

[BibT_eX]

[DOI]

Po-Wen Chi

Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009

An empirical evaluation of VoIP playout buffer dimensioning in Skype, Google talk, and MSN Messenger.

[BibT_eX]

[DOI]

Proceedings of the Network and Operating System Support for Digital Audio and Video, 2009

A crowdsourceable QoE evaluation framework for multimedia content.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Multimedia 2009, 2009

Peer-to-Peer Application Recognition Based on Signaling Activity.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2009

Tame Pool-Based Pairwise Key Predistribution for Large-Scale Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

A Collusion-Resistant Automation Scheme for Social Moderation Systems.

[BibT_eX]

[DOI]

Jing-Kai Lou

Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009

2008

A Generalizable Methodology for Quantifying User Satisfaction.

[BibT_eX]

[DOI]

IEICE Trans. Commun., 2008

A sector-based routing model over structured peer-to-peer networks.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Mobile Technology, 2008

A location-ID sensitive key establishment scheme in static wireless sensor networks.

[BibT_eX]

[DOI]

Li Chen

Chia-Chang Hsu

Proceedings of the 5th International Conference on Mobile Technology, 2008

Detecting VoIP Traffic Based on Human Conversation Patterns.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2008

Inferring Speech Activity from Encrypted Skype Traffic.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Broadcast Authentication in Sensor Networks Using Compressed Bloom Filters.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2008

An Anonymous and Deniable Conversation for a Thin Client.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

Secure multicast in dynamic environments.

[BibT_eX]

[DOI]

Comput. Networks, 2007

A Lightweight Key Agreement Protocol with User Anonymity in Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), 2007

Design and Implementation of Secure Communication Channels over UPnP Networks.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), 2007

A Simple and Efficient Key Exchange Scheme Against the Smart Card Loss Problem.

[BibT_eX]

[DOI]

Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2007

Bounding Peer-to-Peer Upload Traffic in Client Networks.

[BibT_eX]

[DOI]

Chun-Ying Huang

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Analysis and evaluation of a multiple gateway traffic-distribution scheme for gateway clusters.

[BibT_eX]

[DOI]

Pan-Lung Tsai

Comput. Commun., 2006

Game traffic analysis: An MMORPG perspective.

[BibT_eX]

[DOI]

Polly Huang

Comput. Networks, 2006

How sensitive are online gamers to network quality?

[BibT_eX]

[DOI]

Polly Huang

Commun. ACM, 2006

Quantifying Skype user satisfaction.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

Network game design: hints and implications of player interaction.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Network and System Support for Games, 2006

Design Implications of Social Interaction in Online Games.

[BibT_eX]

[DOI]

Proceedings of the Entertainment Computing, 2006

On the Sensitivity of Online Game Playing Time to Network QoS.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

The Impact of Network Variabilities on TCP Clocking Schemes.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

Building High-Performance and Reconfigurable Bandwidth Controllers with Adaptive Clustering.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29, 2006

Confessible Threshold Ring Signatures.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29, 2006

Mitigating Active Attacks Towards Client Networks Using the Bitmap Filter.

[BibT_eX]

[DOI]

Chun-Ying Huang

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

A distributed key assignment protocol for secure multicast based on proxy cryptography.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

An empirical evaluation of TCP performance in online games.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2006

2005

An Evaluation of the Virtual Router Redundancy Protocol Extension with Load Balancing.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Game traffic analysis: an MMORPG perspective.

[BibT_eX]

[DOI]

Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005

Secure Content Delivery using Key Composition.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 2005

An On-Line Page-Structure Approximation Scheme for Web Proxies.

[BibT_eX]

[DOI]

Jiunn-Jye Lee

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Secure Multicast Using Proxy Encryption.

[BibT_eX]

[DOI]

Yun-Peng Chiu

Chun-Ying Huang

Proceedings of the Information and Communications Security, 7th International Conference, 2005

A Clustering and Traffic-Redistribution Scheme for High-Performance IPsec VPNs.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 2005

Automatic Generation of Conflict-Free IPsec Policies.

[BibT_eX]

[DOI]

Chi-Lan Chang

Yun-Peng Chiu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

An efficient and anonymous buyer-seller watermarking protocol.

[BibT_eX]

[DOI]

IEEE Trans. Image Process., 2004

A Content-Protection Scheme for Multi-Layered Reselling Structure.

[BibT_eX]

[DOI]

Pei-Ling Yu

Pan-Lung Tsai

Proceedings of the Security and Protection in Information Processing Systems, 2004

A Session Migration Scheme for Smart Web Services in Mobile Computing.

[BibT_eX]

Pan-Lung Tsai

Proceedings of the International Conference on Internet Computing, 2004

2002

An unlinkably divisible and intention attachable ticket scheme for runoff elections.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2002

Provably Secure Blind Threshold Signatures Based on Discrete Logarithm.

[BibT_eX]

[DOI]

Pei-Ling Yu

J. Inf. Sci. Eng., 2002

A User Efficient Fair Blind Signature Scheme for Untraceable Electronic Cash.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2002

Privacy and Anonymity Protection with Blind Threshold Signatures.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2002

A Verifiable Multi-Authority Secret Election Allowing Abstention from Voting.

[BibT_eX]

[DOI]

Comput. J., 2002

Distributed and On-Line Routing on Tori.

[BibT_eX]

[DOI]

Algorithmica, 2002

2001

A Fully Distributed Approach to Repositories of Reusable Software Components.

[BibT_eX]

[DOI]

Yuen-Chang Sun

Ming-Lin Kao

J. Inf. Sci. Eng., 2001

Fair blind threshold signatures based on discrete logarithm.

[BibT_eX]

Comput. Syst. Sci. Eng., 2001

2000

Prediction-Capable Data Compression Algorithms for Improving Transmission Efficiency on Distributed Systems.

[BibT_eX]

[DOI]

Hann-Huei Chiou

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

1999

Anonymous channel and authentication in wireless communications.

[BibT_eX]

[DOI]

C.-Y. Chang

Comput. Commun., 1999

Partially Blind Threshold signatures Based on Discrete Logarithm.

[BibT_eX]

Comput. Commun., 1999

1998

Competitive Analysis of On-Line Disk Scheduling.

[BibT_eX]

[DOI]

Theory Comput. Syst., 1998

Improving Dynamic Token-Based Distributed Synchronization Performance via Optimistic Broadcasting.

[BibT_eX]

[DOI]

Proceedings of the Network-Based Parallel Computing: Communication, 1998

1997

A High Performance Dynamic Token-Based Distributed Synchronization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Symposium on Parallel Architectures, 1997

Competitive Source Routing on Tori and Meshes.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 8th International Symposium, 1997

Secure Rewarding Schemes.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

A collision-free secret ballot protocol for computerized general elections.

[BibT_eX]

[DOI]

Comput. Secur., 1996

Data Prefetching for Distributed Shared Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

Blind Threshold Signatures Based on Discrete Logarithm.

[BibT_eX]

[DOI]

Proceedings of the Concurrency and Parallelism, 1996

A Multi-Recastable Ticket Scheme for Electronic Elections.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 1996

1995

An Efficient Password Authentication Scheme Based on a Unit Circle.

[BibT_eX]

[DOI]

Cryptologia, 1995

1993

Efficient Parallel Algorithms for Finding the Majority Element.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 1993

An Optimal Algorithm to Assign Cryptographic Keys in a Tree Structure for Access Control.

[BibT_eX]

[DOI]

BIT, 1993

1992

A parallel algorithm for finding congruent regions.

[BibT_eX]

[DOI]

Comput. Graph., 1992

1987

Modalities for Model Checking: Branching Time Logic Strikes Back.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1987

1986

Temporal Reasoning Under Generalized Fairness Constraints.

[BibT_eX]

[DOI]

Proceedings of the STACS 86, 1986

Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)

[BibT_eX]

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

Modalities for Model Checking: Branching Time Strikes Back.

[BibT_eX]

[DOI]