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]'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 50(8), pp. 2201, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Hirotoshi Yasuoka, Tachio Terauchi |
Quantitative information flow as safety and liveness hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 538, pp. 167-182, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Image Video Process. ![In: EURASIP J. Image Video Process. 2014, pp. 2, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 319281:1-319281:12, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Uday P. Khedker, Vini Kanvar |
Generalizing the Liveness Based Points-to Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.5289, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Martin Hofmann 0001, Wei Chen 0023 |
Büchi Types for Infinite Traces and Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.5107, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Saptarshi Chakraborty, Dhrubajyoti Das |
An Overview of Face Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.2227, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Sooyeon Kim, Yuseok Ban, Sangyoun Lee |
Face Liveness Detection Using a Light Field Camera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 14(12), pp. 22471-22499, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ajita Rattani, Arun Ross |
Minimizing the impact of spoof fabrication material on fingerprint liveness detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 2014 IEEE International Conference on Image Processing, ICIP 2014, Paris, France, October 27-30, 2014, pp. 4992-4996, 2014, IEEE, 978-1-4799-5751-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ajita Rattani, Arun Ross |
Automatic adaptation of fingerprint liveness detector to new spoof materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCB ![In: IEEE International Joint Conference on Biometrics, Clearwater, IJCB 2014, FL, USA, September 29 - October 2, 2014, pp. 1-8, 2014, IEEE, 978-1-4799-3584-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ioannis Rigas, Oleg V. Komogortsev |
Gaze estimation as a framework for iris liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCB ![In: IEEE International Joint Conference on Biometrics, Clearwater, IJCB 2014, FL, USA, September 29 - October 2, 2014, pp. 1-8, 2014, IEEE, 978-1-4799-3584-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCB ![In: IEEE International Joint Conference on Biometrics, Clearwater, IJCB 2014, FL, USA, September 29 - October 2, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-3584-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCB ![In: IEEE International Joint Conference on Biometrics, Clearwater, IJCB 2014, FL, USA, September 29 - October 2, 2014, pp. 1-8, 2014, IEEE, 978-1-4799-3584-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Carsten Gottschlich, Emanuela Marasco, Allen Y. Yang, Bojan Cukic |
Fingerprint liveness detection based on histograms of invariant gradients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCB ![In: IEEE International Joint Conference on Biometrics, Clearwater, IJCB 2014, FL, USA, September 29 - October 2, 2014, pp. 1-7, 2014, IEEE, 978-1-4799-3584-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Gian Luca Foresti |
Liveness detection for biometric authentication in mobile applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCST ![In: International Carnahan Conference on Security Technology, ICCST 2014, Rome, Italy, October 13-16, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-3530-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
Verifying LTL Properties of Hybrid Systems with K-Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp. 424-440, 2014, Springer, 978-3-319-08866-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADECS @ Petri Nets ![In: ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014., pp. 68-82, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Jörg Desel, Görkem Kilinç 0001 |
Observable Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, June 23-24, 2014., pp. 143-163, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Pengcheng Li 0001, Chen Ding 0001, Hao Luo 0007 |
Modeling heap data growth using average liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: International Symposium on Memory Management, ISMM '14, Edinburgh, United Kingdom, June 12, 2014, pp. 71-82, 2014, ACM, 978-1-4503-2921-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Sebastiaan J. C. Joosten, Julien Schmaltz |
Scalable liveness verification for communication fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-6, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor |
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 335-350, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft |
Liveness-Based Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, pp. 85-106, 2014, Springer, 978-3-642-54806-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse |
Liveness Analysis for Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 219-234, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Claudio Piciarelli, Gian Luca Foresti |
MoBio_LivDet: Mobile biometric liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: 11th IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2014, Seoul, South Korea, August 26-29, 2014, pp. 187-192, 2014, IEEE Computer Society, 978-1-4799-4871-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 9th Chinese Conference, CCBR 2014, Shenyang, China, November 7-9, 2014. Proceedings, pp. 216-224, 2014, Springer, 978-3-319-12483-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 14th International Conference on New Interfaces for Musical Expression, NIME 2014, London, United Kingdom, June 30 - July 4, 2014, pp. 13-18, 2014, nime.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | GaiYun Liu, Zhiwu Li 0001, Abdulrahman Al-Ahmari |
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 383-387, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Peter Matthew, Mark Anderson 0001 |
Novel Categorisation Techniques for Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGMAST ![In: Eighth International Conference on Next Generation Mobile Apps, Services and Technologies, NGMAST 2014, Oxford, United Kingdom, September 10-12, 2014, pp. 153-158, 2014, IEEE, 978-1-4799-5073-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Maryam M. Maleki, Robert F. Woodbury, Carman Neustaedter |
Liveness, localization and lookahead: interaction elements for parametric design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Designing Interactive Systems Conference 2014, DIS '14, Vancouver, BC, Canada, June 21-25, 2014, pp. 805-814, 2014, ACM, 978-1-4503-2902-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yiding Wang, Qi Qi 0001, Kefeng Li |
Liveness detection of dorsal hand vein based on AutoRegressive model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ComComAP ![In: IEEE Computers, Communications and IT Applications Conference, ComComAP 2014, Beijing, China, October 20-22, 2014, pp. 206-210, 2014, IEEE, 978-1-4799-4813-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert 0001 |
Place-Liveness of ComSA Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 346-363, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Naoki Nakahara, Shingo Yamaguchi |
On Liveness of Non-sound Acyclic Free Choice Workflow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR ![In: Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014, pp. 336-341, 2014, IEEE Computer Society, 978-1-4799-4152-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
Typing Liveness in Multiparty Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings, pp. 147-162, 2014, Springer, 978-3-662-43375-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-662-43612-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ana Filipa Sequeira, Juliano Murari, Jaime S. Cardoso 0001 |
Iris liveness detection methods in the mobile biometrics scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: 2014 International Joint Conference on Neural Networks, IJCNN 2014, Beijing, China, July 6-11, 2014, pp. 3002-3008, 2014, IEEE, 978-1-4799-6627-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Peter Johnson 0010, Stephanie Schuckers |
Fingerprint Pore Characteristics for Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSIG ![In: BIOSIG 2014 - Proceedings of the 13th International Conference of the Biometrics Special Interest Group, 10.-12. September 2014, Darmstadt, Germany, pp. 259-266, 2014, GI, 978-3-88579-624-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSID ![In: 2014 27th International Conference on VLSI Design, VLSID 2014, and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014, pp. 74-79, 2014, IEEE Computer Society, 978-1-4799-2513-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ana Filipa Sequeira, Juliano Murari, Jaime S. Cardoso 0001 |
Iris Liveness Detection Methods in Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISAPP (3) ![In: VISAPP 2014 - Proceedings of the 9th International Conference on Computer Vision Theory and Applications, Volume 3, Lisbon, Portugal, 5-8 January, 2014, pp. 22-33, 2014, SciTePress, 978-989-758-009-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Norbert Preining, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, pp. 182-198, 2014, Springer, 978-3-319-17821-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Patrick P. K. Chan, Ying Shu |
Face Liveness Detection by Brightness Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC (CCIS volume) ![In: Machine Learning and Cybernetics - 13th International Conference, Lanzhou, China, July 13-16, 2014. Proceedings, pp. 144-150, 2014, Springer, 978-3-662-45651-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Hélia Guerra, José Félix Costa |
Processes with infinite liveness requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 82(3-4), pp. 137-161, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Shlomi Dolev, Michael Segal 0001, Hanan Shpungin |
Bounded-Hop Energy-Efficient Liveness of Flocking Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 12(3), pp. 516-528, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | GuanJun Liu, Changjun Jiang, MengChu Zhou, Atsushi Ohta |
The Liveness of WS3PR: Complexity and Decision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(8), pp. 1783-1793, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 58(5), pp. 1123-1138, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 49(11), pp. 3167-3179, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 43(1), pp. 29-37, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | R. S. Sreenivas |
On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 43(5), pp. 1256-1261, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 43(1), pp. 85-97, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 24(6), pp. 1157-1173, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Rajkishore Barik, Jisheng Zhao, Vivek Sarkar |
A decoupled non-SSA global register allocation using bipartite liveness graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 10(4), pp. 63:1-63:24, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Shouguang Wang, Chengying Wang, Yanping Yu |
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 12(1), pp. 2:1-2:18, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 22(1), pp. 9:1-9:36, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 10(4), pp. 1157-1160, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jianwei Yang, Zhen Lei 0001, Shengcai Liao, Stan Z. Li |
Face liveness detection with component dependent descriptor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: International Conference on Biometrics, ICB 2013, 4-7 June, 2013, Madrid, Spain, pp. 1-6, 2013, IEEE, 978-1-4799-0310-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: International Conference on Biometrics, ICB 2013, 4-7 June, 2013, Madrid, Spain, pp. 1-6, 2013, IEEE, 978-1-4799-0310-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Sooyeon Kim, Sunjin Yu, Kwangtaek Kim, Yuseok Ban, Sangyoun Lee |
Face liveness detection using variable focusing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: International Conference on Biometrics, ICB 2013, 4-7 June, 2013, Madrid, Spain, pp. 1-6, 2013, IEEE, 978-1-4799-0310-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: International Conference on Biometrics, ICB 2013, 4-7 June, 2013, Madrid, Spain, pp. 1-6, 2013, IEEE, 978-1-4799-0310-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Oleg V. Komogortsev, Alex Karpov |
Liveness detection via oculomotor plant characteristics: Attack of mechanical replicas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: International Conference on Biometrics, ICB 2013, 4-7 June, 2013, Madrid, Spain, pp. 1-8, 2013, IEEE, 978-1-4799-0310-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFS ![In: 2013 IEEE International Workshop on Information Forensics and Security, WIFS 2013, Guangzhou, China, November 18-21, 2013, pp. 37-42, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ernst W. Mayr, Jeremias Weihmann |
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, pp. 70-89, 2013, Springer, 978-3-642-38696-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 10th IEEE International Conference on Control and Automation, ICCA 2013, Hangzhou, China, June 12-14, 2013, pp. 1278-1283, 2013, IEEE, 978-1-4673-4707-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Vito Giovanni Castellana, Fabrizio Ferrandi |
Scheduling independent liveness analysis for register binding in high level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, pp. 1571-1574, 2013, EDA Consortium San Jose, CA, USA / ACM DL, 978-1-4503-2153-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, pp. 785-790, 2013, EDA Consortium San Jose, CA, USA / ACM DL, 978-1-4503-2153-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Kazuhiro Ogata 0001 |
Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, pp. 565-570, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2013, Vancouver, BC, Canada, May 26-31, 2013, pp. 2367-2370, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Lagorio, Massimo Tistarelli, Marinella Cadoni, Clinton Fookes, Sridha Sridharan |
Liveness detection based on 3D face shape analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBF ![In: 1st International Workshop on Biometrics and Forensics, IWBF 2013, Lisbon, Portugal, April 4-5, 2013, pp. 1-4, 2013, IEEE, 978-1-4673-4987-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Amani Al-Ajlan |
Survey on fingerprint liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBF ![In: 1st International Workshop on Biometrics and Forensics, IWBF 2013, Lisbon, Portugal, April 4-5, 2013, pp. 1-5, 2013, IEEE, 978-1-4673-4987-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Kazuhiro Ogata 0001, Min Zhang 0002 |
A Divide and Conquer Approach to Model Checking of Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013, pp. 648-657, 2013, IEEE Computer Society, 978-0-7695-4986-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Yiding Wang, Zhanyong Zhao |
Liveness Detection of Dorsal Hand Vein Based on the Analysis of Fourier Spectral. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings, pp. 322-329, 2013, Springer, 978-3-319-02960-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alan Jeffrey |
Functional reactive programming with liveness guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 233-244, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Sam Tarakajian, David Zicarelli, Joshua Clayton |
Mira: Liveness in iPad Controllers for Max/MSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 13th International Conference on New Interfaces for Musical Expression, NIME 2013, Daejeon, Republic of Korea, May 27-30, 2013, pp. 421-426, 2013, nime.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Pengcheng Li 0001, Chen Ding 0001 |
All-window data liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSPC@PLDI ![In: Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, June, 21, 2013, Seattle, Washington, USA, Co-located with PLDI 2013, pp. 9:1-9:2, 2013, ACM, 978-1-4503-2103-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Tuomas Kuismin, Keijo Heljanko |
Increasing Confidence in Liveness Model Checking Results with Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 32-43, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Asad Ali 0002, Farzin Deravi, Sanaul Hoque |
Directional Sensitivity of Gaze-Collinearity Features in Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EST ![In: Fourth International Conference on Emerging Security Technologies, EST 2013, Cambridge, United Kingdom, September 9-11, 2013, pp. 8-11, 2013, IEEE Computer Society, 978-0-7695-5077-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Yueyang Wang, Xiaoli Hao, Ya-Li Hou, Changqing Guo |
A New Multispectral Method for Face Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACPR ![In: 2nd IAPR Asian Conference on Pattern Recognition, ACPR 2013, Naha, Japan, November 5-8, 2013, pp. 922-926, 2013, IEEE, 978-1-4799-2190-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013, Evry, France, April 10-12, 2013, pp. 392-397, 2013, IEEE, 978-1-4673-5198-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
Generalized counterexamples to liveness properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, pp. 169-180, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Adam Czajka |
Database of iris printouts and its application: Development of liveness detection method for iris recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMAR ![In: 18th International Conference on Methods & Models in Automation & Robotics, MMAR 2013, Międzyzdroje, Poland, August 26-29, 2013, pp. 28-33, 2013, IEEE, 978-1-4673-5506-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Luca Ghiani, Abdenour Hadid, Gian Luca Marcialis, Fabio Roli |
Fingerprint Liveness Detection using Binarized Statistical Image Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTAS ![In: IEEE Sixth International Conference on Biometrics: Theory, Applications and Systems, BTAS 2013, Arlington, VA, USA, September 29 - October 2, 2013, pp. 1-6, 2013, IEEE, 978-1-4799-0527-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: 2013 IEEE Workshop on Applications of Computer Vision, WACV 2013, Clearwater Beach, FL, USA, January 15-17, 2013, pp. 252-258, 2013, IEEE Computer Society, 978-1-4673-5053-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Asaftei Timotei, José Manuel Colom |
Enforcing Liveness in S3PR Nets by Specialization of Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICORES ![In: ICORES 2013 - Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems, Barcelona, Spain, 16-18 February, 2013, pp. 318-321, 2013, SciTePress, 978-989-8565-40-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Mahmudur Rahman, Umut Topkara, Bogdan Carbunar |
Seeing is not believing: visual verifications through liveness analysis using mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Annual Computer Security Applications Conference, ACSAC '13, New Orleans, LA, USA, December 9-13, 2013, pp. 239-248, 2013, ACM, 978-1-4503-2015-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Benazouz, Alix Munier Kordon, Thomas Hujsa, Bruno Bodin |
Liveness evaluation of a cyclo-static DataFlow graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013, pp. 3:1-3:7, 2013, ACM, 978-1-4503-2071-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: International Conference on Machine Learning and Cybernetics, ICMLC 2013, Tianjin, China, July 14-17, 2013, pp. 973-978, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Leonid W. Dworzanski, Irina A. Lomazova |
On Compositionality of Boundedness and Liveness for Nested Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 120(3-4), pp. 275-293, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Fei Pu |
Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 7(3), pp. 499-507, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Emanuela Marasco, Carlo Sansone |
Combining perspiration- and morphology-based static features for fingerprint liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 33(9), pp. 1148-1156, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Rui Chen, Xirong Lin, Tianhuai Ding |
Liveness detection for iris recognition using multispectral images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 33(12), pp. 1513-1519, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 57(2), pp. 435-449, 2012. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 48(5), pp. 1003-1004, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 42(3), pp. 615-629, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 42(2), pp. 392-403, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 8(4), pp. 27:1-27:18, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Gian Luca Marcialis, Pietro Coli, Fabio Roli |
Fingerprint Liveness Detection Based on Fake Finger Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Crime Forensics ![In: Int. J. Digit. Crime Forensics 4(3), pp. 1-19, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Antoine Girard, Gang Zheng |
Verification of Safety and Liveness Properties of Metric Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 11(S2), pp. 54:1-54:23, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Hirotoshi Yasuoka, Tachio Terauchi |
Quantitative Information Flow as Safety and Liveness Hyperproperties ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 77-91, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 28(1), pp. 311-321, 2012. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 9(2), pp. 455, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: 5th IAPR International Conference on Biometrics, ICB 2012, New Delhi, India, March 29 - April 1, 2012, pp. 271-276, 2012, IEEE, 978-1-4673-0396-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: 5th IAPR International Conference on Biometrics, ICB 2012, New Delhi, India, March 29 - April 1, 2012, pp. 67-72, 2012, IEEE, 978-1-4673-0396-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|