|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Konstantinos Koutroumpas, John Lygeros |
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
hybrid input output automata, sthochastic hybrid systems, verfication, systems biology |
33 | Randal E. Bryant, Steven M. German, Miroslav N. Velev |
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
processor verfication, decision procedures, uninterpreted functions |
31 | Afshin Heshmati, Majid Bayat, Mohammad-Ali Doostari, Seyed Morteza Pournaghi |
Blockchain based authentication and access verfication scheme in smart home. |
J. Ambient Intell. Humaniz. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Jie Gao, Hella-Franziska Hoffmann, Stylianos Oikonomou, David Kiskovski, Anil Bandhakavi |
Logically at Factify 2022: Multimodal Fact Verfication. |
DE-FACTIFY@AAAI |
2022 |
DBLP BibTeX RDF |
|
31 | Zhexu Liu, Zhen Zhao 0004 |
Modeling and Schedulability Verfication of IMA Partitioning Based on AADL. |
ISCID (1) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Gaurav Saharawat, Praveen Shukla, Saurabh Jain, Subash Nayak |
Emulation - Smart Way of Power Estimation and Power Aware Verfication. |
VLSID |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Javier Galbally, Julian Fiérrez, Marcos Martinez-Diaz, Javier Ortega-Garcia |
Improving the Enrollment in Dynamic Signature Verfication with Synthetic Samples. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Miroslav N. Velev, Randal E. Bryant |
Bit-Level Abstraction in the Verfication of Pipelined Microprocessors by Correspondence Checking. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Jesper Ø. Olsen |
A Two Stage Procedure for Phone Based Speaker Verfication. |
AVBPA |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Andrea Paoloni, Susy Ragazzini, Giacomo Ravaioli |
Text Independent Speaker Verfication Using Multiple-state Predictive Neural Networks. |
AVBPA |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Boutheina Chetali, Pierre Lescanne |
Formal Verfication of a Protocol for Communications over Faulty Channels. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
31 | Luis M. Alonso |
Using State Variables for the Specification and Verfication of TCSP Processes. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Walker Anderson |
Logical Verfication of the NVAX CPU Chip Design. |
Digit. Tech. J. |
1992 |
DBLP BibTeX RDF |
|
31 | Srinivas Devadas, Kurt Keutzer, A. S. Krishnakumar |
Design Verfication and Reachability Analysis Using Algebraic Manipulation. |
ICCD |
1991 |
DBLP DOI BibTeX RDF |
|
31 | I-En Liao, Ming T. Liu |
Incremental Protocol Verfication Using Deductive Database Systems. |
ICDE |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Gustavus J. Simmons |
An Impersonation-Proof Identity Verfication Scheme. |
CRYPTO |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Maurice Clint, C. Vicent |
The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs. |
Softw. Pract. Exp. |
1984 |
DBLP DOI BibTeX RDF |
|
31 | J. G. Wilson |
Notes on geometric weighted check digit verfication. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
|
30 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
An Interpolation Method for CLP Traversal. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Véronique Benzaken, Xavier Schaefer |
Static Management of Integrity in Object-Oriented Databases: Design and Implementation. |
EDBT |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|