Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Ding Liu, ZhiWu Li 0001, MengChu Zhou |
Authors' Reply to 'Comments on "Liveness of an extended S3PR " [Automatica 46(6) (2010) 1008-1018]'. |
Autom. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Hirotoshi Yasuoka, Tachio Terauchi |
Quantitative information flow as safety and liveness hyperproperties. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Tiago Freitas Pereira, Jukka Komulainen, André Anjos, José Mario De Martino, Abdenour Hadid, Matti Pietikäinen, Sébastien Marcel |
Face liveness detection using dynamic texture. |
EURASIP J. Image Video Process. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Lida Dong, Tianyang Chi, Cheng-Cheng Zhu, Jun Yin |
Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility. |
J. Appl. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Uday P. Khedker, Vini Kanvar |
Generalizing the Liveness Based Points-to Analysis. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Martin Hofmann 0001, Wei Chen 0023 |
Büchi Types for Infinite Traces and Liveness. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Saptarshi Chakraborty, Dhrubajyoti Das |
An Overview of Face Liveness Detection. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Sooyeon Kim, Yuseok Ban, Sangyoun Lee |
Face Liveness Detection Using a Light Field Camera. |
Sensors |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ajita Rattani, Arun Ross |
Minimizing the impact of spoof fabrication material on fingerprint liveness detector. |
ICIP |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ajita Rattani, Arun Ross |
Automatic adaptation of fingerprint liveness detector to new spoof materials. |
IJCB |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ioannis Rigas, Oleg V. Komogortsev |
Gaze estimation as a framework for iris liveness detection. |
IJCB |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ana Filipa Sequeira, Hélder P. Oliveira, João C. Monteiro, João P. Monteiro, Jaime S. Cardoso 0001 |
MobILive 2014 - Mobile Iris Liveness Detection Competition. |
IJCB |
2014 |
DBLP DOI BibTeX RDF |
|
14 | David Yambay, James S. Doyle Jr., Kevin W. Bowyer, Adam Czajka, Stephanie Schuckers |
LivDet-iris 2013 - Iris Liveness Detection Competition 2013. |
IJCB |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Carsten Gottschlich, Emanuela Marasco, Allen Y. Yang, Bojan Cukic |
Fingerprint liveness detection based on histograms of invariant gradients. |
IJCB |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Gian Luca Foresti |
Liveness detection for biometric authentication in mobile applications. |
ICCST |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
Verifying LTL Properties of Hybrid Systems with K-Liveness. |
CAV |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Murat Uzam, Zhiwu Li 0001, Umar Suleiman Abubakar |
A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS. |
ADECS @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
14 | Jörg Desel, Görkem Kilinç 0001 |
Observable Liveness. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
14 | Pengcheng Li 0001, Chen Ding 0001, Hao Luo 0007 |
Modeling heap data growth using average liveness. |
ISMM |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Sebastiaan J. C. Joosten, Julien Schmaltz |
Scalable liveness verification for communication fabrics. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
14 | K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor |
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft |
Liveness-Based Garbage Collection. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse |
Liveness Analysis for Parameterised Boolean Equation Systems. |
ATVA |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Claudio Piciarelli, Gian Luca Foresti |
MoBio_LivDet: Mobile biometric liveness detection. |
AVSS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Xiaofei Jia, Yali Zang, Ning Zhang 0015, Xin Yang 0001, Jie Tian 0001 |
One-Class SVM with Negative Examples for Fingerprint Liveness Detection. |
CCBR |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Oliver Bown 0001, Renick Bell, Adam Parkinson |
Examining the Perception of Liveness and Activity in Laptop Music: Listeners' Inference about what the Performer is Doing from the Audio Alone. |
NIME |
2014 |
DBLP DOI BibTeX RDF |
|
14 | GaiYun Liu, Zhiwu Li 0001, Abdulrahman Al-Ahmari |
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Peter Matthew, Mark Anderson 0001 |
Novel Categorisation Techniques for Liveness Detection. |
NGMAST |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Maryam M. Maleki, Robert F. Woodbury, Carman Neustaedter |
Liveness, localization and lookahead: interaction elements for parametric design. |
Conference on Designing Interactive Systems |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yiding Wang, Qi Qi 0001, Kefeng Li |
Liveness detection of dorsal hand vein based on AutoRegressive model. |
ComComAP |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert 0001 |
Place-Liveness of ComSA Applications. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Naoki Nakahara, Shingo Yamaguchi |
On Liveness of Non-sound Acyclic Free Choice Workflow Nets. |
CANDAR |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
Typing Liveness in Multiparty Communicating Systems. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ana Filipa Sequeira, Juliano Murari, Jaime S. Cardoso 0001 |
Iris liveness detection methods in the mobile biometrics scenario. |
IJCNN |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Peter Johnson 0010, Stephanie Schuckers |
Fingerprint Pore Characteristics for Liveness Detection. |
BIOSIG |
2014 |
DBLP BibTeX RDF |
|
14 | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman |
Effective Liveness Verification Using a Transformation-Based Framework. |
VLSID |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ana Filipa Sequeira, Juliano Murari, Jaime S. Cardoso 0001 |
Iris Liveness Detection Methods in Mobile Applications. |
VISAPP (3) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Norbert Preining, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Patrick P. K. Chan, Ying Shu |
Face Liveness Detection by Brightness Difference. |
ICMLC (CCIS volume) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Hélia Guerra, José Félix Costa |
Processes with infinite liveness requirements. |
J. Log. Algebraic Methods Program. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Shlomi Dolev, Michael Segal 0001, Hanan Shpungin |
Bounded-Hop Energy-Efficient Liveness of Flocking Swarms. |
IEEE Trans. Mob. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | GuanJun Liu, Changjun Jiang, MengChu Zhou, Atsushi Ohta |
The Liveness of WS3PR: Complexity and Decision. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang 0001, Scott A. Mahlke |
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. |
IEEE Trans. Autom. Control. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ding Liu, ZhiWu Li 0001, MengChu Zhou |
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets. |
Autom. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Chunfu Zhong, ZhiWu Li 0001, Yufeng Chen 0001, Abdulrahman Al-Ahmari |
On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor. |
IEEE Trans. Syst. Man Cybern. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | R. S. Sreenivas |
On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory Policies. |
IEEE Trans. Syst. Man Cybern. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ding Liu, Zhiwu Li 0001, Mengchu Zhou |
Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems. |
IEEE Trans. Syst. Man Cybern. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Shao Yong Li, Aimin An, Ying Wang, Gang Wang, Cai Qin Hou, Ying Cai |
Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. |
J. Intell. Manuf. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Rajkishore Barik, Jisheng Zhao, Vivek Sarkar |
A decoupled non-SSA global register allocation using bipartite liveness graphs. |
ACM Trans. Archit. Code Optim. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Shouguang Wang, Chengying Wang, Yanping Yu |
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places. |
ACM Trans. Embed. Comput. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel |
Synthesizing nonanomalous event-based controllers for liveness goals. |
ACM Trans. Softw. Eng. Methodol. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | N. Somnath, R. S. Sreenivas |
On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets. |
IEEE Trans Autom. Sci. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jianwei Yang, Zhen Lei 0001, Shengcai Liao, Stan Z. Li |
Face liveness detection with component dependent descriptor. |
ICB |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Tao Wang, Jianwei Yang, Zhen Lei 0001, Shengcai Liao, Stan Z. Li |
Face liveness detection using 3D structure recovered from a single camera. |
ICB |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Sooyeon Kim, Sunjin Yu, Kwangtaek Kim, Yuseok Ban, Sangyoun Lee |
Face liveness detection using variable focusing. |
ICB |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Luca Ghiani, David Yambay, Valerio Mura, Simona Tocco, Gian Luca Marcialis, Fabio Roli, Stephanie Schuckers |
LivDet 2013 Fingerprint Liveness Detection Competition 2013. |
ICB |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Oleg V. Komogortsev, Alex Karpov |
Liveness detection via oculomotor plant characteristics: Attack of mechanical replicas. |
ICB |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ajita Rattani, Norman Poh, Arun Ross |
A Bayesian approach for modeling sensor influence on quality, liveness and match score values in fingerprint verification. |
WIFS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ernst W. Mayr, Jeremias Weihmann |
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets. |
Petri Nets |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ding Liu, Yifan Hou, Hesuan Hu, Kamel Barkaoui, MengChu Zhou |
Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets. |
ICCA |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Vito Giovanni Castellana, Fabrizio Ferrandi |
Scheduling independent liveness analysis for register binding in high level synthesis. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu |
Verifying safety and liveness for the FlexTM hybrid transactional memory. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Kazuhiro Ogata 0001 |
Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions. |
APSEC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ting-Wei Lee, Gwo-Hwa Ju, Heng-Sung Liu, Yu-Shan Wu |
Liveness detection using frequency entropy of image sequences. |
ICASSP |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Lagorio, Massimo Tistarelli, Marinella Cadoni, Clinton Fookes, Sridha Sridharan |
Liveness detection based on 3D face shape analysis. |
IWBF |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Amani Al-Ajlan |
Survey on fingerprint liveness detection. |
IWBF |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Kazuhiro Ogata 0001, Min Zhang 0002 |
A Divide and Conquer Approach to Model Checking of Liveness Properties. |
COMPSAC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Yiding Wang, Zhanyong Zhao |
Liveness Detection of Dorsal Hand Vein Based on the Analysis of Fourier Spectral. |
CCBR |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alan Jeffrey |
Functional reactive programming with liveness guarantees. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Sam Tarakajian, David Zicarelli, Joshua Clayton |
Mira: Liveness in iPad Controllers for Max/MSP. |
NIME |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Pengcheng Li 0001, Chen Ding 0001 |
All-window data liveness. |
MSPC@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Tuomas Kuismin, Keijo Heljanko |
Increasing Confidence in Liveness Model Checking Results with Proofs. |
Haifa Verification Conference |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Asad Ali 0002, Farzin Deravi, Sanaul Hoque |
Directional Sensitivity of Gaze-Collinearity Features in Liveness Detection. |
EST |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Yueyang Wang, Xiaoli Hao, Ya-Li Hou, Changqing Guo |
A New Multispectral Method for Face Liveness Detection. |
ACPR |
2013 |
DBLP DOI BibTeX RDF |
|
14 | S. Chandrasekaran, R. S. Sreenivas |
On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets. |
ICNSC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
Generalized counterexamples to liveness properties. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
14 | Adam Czajka |
Database of iris printouts and its application: Development of liveness detection method for iris recognition. |
MMAR |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Luca Ghiani, Abdenour Hadid, Gian Luca Marcialis, Fabio Roli |
Fingerprint Liveness Detection using Binarized Statistical Image Features. |
BTAS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Xinyu Huang 0001, Changpeng Ti, Qi-zhen Hou, Alade Tokuta, Ruigang Yang |
An experimental study of pupil constriction for liveness detection. |
WACV |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Asaftei Timotei, José Manuel Colom |
Enforcing Liveness in S3PR Nets by Specialization of Resources. |
ICORES |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Mahmudur Rahman, Umut Topkara, Bogdan Carbunar |
Seeing is not believing: visual verifications through liveness analysis using mobile devices. |
ACSAC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Benazouz, Alix Munier Kordon, Thomas Hujsa, Bruno Bodin |
Liveness evaluation of a cyclo-static DataFlow graph. |
DAC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Zheng-Yu Zhu, Qian-Hua He, Xiao-Hvi Feng, Yan-Xiong Li, Zhifeng Wang |
Liveness detection using time drift between lip movement and voice. |
ICMLC |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Leonid W. Dworzanski, Irina A. Lomazova |
On Compositionality of Boundedness and Liveness for Nested Petri Nets. |
Fundam. Informaticae |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Fei Pu |
Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems. |
J. Softw. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Emanuela Marasco, Carlo Sansone |
Combining perspiration- and morphology-based static features for fingerprint liveness detection. |
Pattern Recognit. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Rui Chen, Xirong Lin, Tianhuai Ding |
Liveness detection for iris recognition using multispectral images. |
Pattern Recognit. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | R. S. Sreenivas |
On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets. |
IEEE Trans. Autom. Control. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Ding Liu, Zhiwu Li 0001, Mengchu Zhou |
Erratum to "Liveness of an extended S3PR " [Automatica 46 (2010) 1008-1018]. |
Autom. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Yufeng Chen 0001, ZhiWu Li 0001, MengChu Zhou |
Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Hesuan Hu, MengChu Zhou, ZhiWu Li 0001 |
Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Dibyendu Das 0005, Benoît Dupont de Dinechin, Ramakrishna Upadrasta |
Efficient liveness computation using merge sets and DJ-graphs. |
ACM Trans. Archit. Code Optim. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Gian Luca Marcialis, Pietro Coli, Fabio Roli |
Fingerprint Liveness Detection Based on Fake Finger Characteristics. |
Int. J. Digit. Crime Forensics |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Antoine Girard, Gang Zheng |
Verification of Safety and Liveness Properties of Metric Transition Systems. |
ACM Trans. Embed. Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Hirotoshi Yasuoka, Tachio Terauchi |
Quantitative Information Flow as Safety and Liveness Hyperproperties |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Javier Galbally, Fernando Alonso-Fernandez, Julian Fiérrez, Javier Ortega-Garcia |
A high performance fingerprint liveness detection method based on quality related features. |
Future Gener. Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Yufeng Chen 0001, ZhiWu Li 0001, Mohamed Khalgui, Olfa Mosbahi |
Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". |
IEEE Trans Autom. Sci. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Javier Galbally, Jaime Ortiz-López, Julian Fiérrez, Javier Ortega-Garcia |
Iris liveness detection based on quality related features. |
ICB |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Gahyun Kim, Sungmin Eum, Jae Kyu Suhr, Ik-Dong Kim, Kang Ryoung Park, Jaihie Kim |
Face liveness detection based on texture and frequency analyses. |
ICB |
2012 |
DBLP DOI BibTeX RDF |
|