The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shiyong Lu" ( http://dblp.L3S.de/Authors/Shiyong_Lu )

URL (Homepage):  http://www.cs.wayne.edu/~shiyong/  Author page on DBLP  Author page in RDF  Community of Shiyong Lu in ASPL-2

Publication years (Num. hits)
1999-2004 (18) 2005-2006 (17) 2007-2008 (19) 2009-2010 (22) 2011-2012 (9)
Publication types (Num. hits)
article(35) inproceedings(50)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 33 keywords

Results
Found 85 publication records. Showing 85 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xubo Fei, Shiyong Lu A Dataflow-Based Scientific Workflow Composition Framework. Search on Bibsonomy IEEE T. Services Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zijiang Yang, Shiyong Lu, Ping Yang, Fahima Amin Bhuyan Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. Search on Bibsonomy I. J. Comput. Appl. The full citation details ... 2011 DBLP  BibTeX  RDF
1Chunhyeok Lim, Shiyong Lu, Artem Chebotko, Farshad Fotouhi Storing, reasoning, and querying OPM-compliant scientific workflow provenance using relational databases. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dharma Teja Nukarapu, Bin Tang, Liqiang Wang, Shiyong Lu Data Replication in Data Intensive Scientific Applications with Performance Guarantee. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF simulations, Data Grids, data replication, Data intensive applications, algorithm design and analysis
1Yong Zhao, Xubo Fei, Ioan Raicu, Shiyong Lu Opportunities and Challenges in Running Scientific Workflows on the Cloud. Search on Bibsonomy CyberC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chunhyeok Lim, Shiyong Lu, Artem Chebotko, Farshad Fotouhi OPQL: A First OPM-Level Query Language for Scientific Workflow Provenance. Search on Bibsonomy IEEE SCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF OPQL, OPM, OPM-compliant provenance, provenance
1Xubo Fei, Shiyong Lu, Jia Zhang A Granular Concurrency Control for Collaborative Scientific Workflow Composition. Search on Bibsonomy IEEE SCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF collaborative scientific workflow, granular locking, concurrency control
1Cui Lin, Shiyong Lu Scheduling Scientific Workflows Elastically for Cloud Computing. Search on Bibsonomy IEEE CLOUD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF elastic scaling, cloud computing, heterogeneous environment, Workflow scheduling
1Cui Lin, Shiyong Lu SCPOR: An elastic workflow scheduling algorithm for services computing. Search on Bibsonomy SOCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Shiyong Lu, Xubo Fei, Farshad Fotouhi RDFProv: A relational RDF store for querying and managing scientific workflow provenance. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mustafa Atay, Yezhou Sun, Dapeng Liu, Shiyong Lu, Farshad Fotouhi Mapping XML Data to Relational Data: A DOM-Based Approach Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Cui Lin, Darshan Pai, Shiyong Lu, Otto Muzik, Jing Hua Coclustering for cross-subject fiber tract analysis through diffusion tensor imaging. Search on Bibsonomy IEEE Transactions on Information Technology in Biomedicine The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang Information flow analysis of scientific workflows. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Shiyong Lu, Seunghan Chang, Farshad Fotouhi, Ping Yang Secure Abstraction Views for Scientific Workflow Provenance Querying. Search on Bibsonomy IEEE T. Services Computing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chunhyeok Lim, Shiyong Lu, Artem Chebotko, Farshad Fotouhi Prospective and Retrospective Provenance Collection in Scientific Workflow Environments. Search on Bibsonomy IEEE SCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dong Ruan, Shiyong Lu Task Exception Handling in the VIEW Scientific Workflow System. Search on Bibsonomy IEEE SCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF scientific workflow management system, exception handling, scientific workflow
1Xubo Fei, Shiyong Lu A Collectional Data Model for Scientific Workflow Composition. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF collectional model, data model, scientific workflow
1Jia Zhang, Daniel Kuc, Shiyong Lu Confucius: A Scientific Collaboration System Using Collaborative Scientific Workflows. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF collaborative scientific workflows, collaboration protocols, Taverna
1Jamal Alhiyafi, Cavitha Sabesan, Shiyong Lu, Jeffrey L. Ram Association analysis between Intragenomic Gene Conversions and pathogenicity in genomes of Escherichia coli and Shigella spp.: a scientific workflow approach. Search on Bibsonomy I. J. Functional Informatics and Personalised Medicine The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jamal Alhiyafi, Shiyong Lu, Jeffrey L. Ram Simulation of genomic recombination and the influence of DNA sequence diversity on cluster formation and detectability of recombination: a scientific workflow method. Search on Bibsonomy I. J. Computational Biology and Drug Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Liqiang Wang, Shiyong Lu, Xubo Fei, Artem Chebotko, H. Victoria Bryant, Jeffrey L. Ram Atomicity and provenance support for pipelined scientific workflows. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Shiyong Lu, Farshad Fotouhi Semantics preserving SPARQL-to-SQL translation. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jamal Alhiyafi, Cavitha Sabesan, Shiyong Lu, Jeffrey L. Ram RECOMBFLOW: a scientific workflow environment for Intragenomic Gene Conversion analysis in bacterial genomes, including the pathogen Streptococcus pyogenes. Search on Bibsonomy IJBRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Yu Deng, Shiyong Lu, Farshad Fotouhi, Anthony Aristar, Hennie Brugman, Alexander Klassmann, Han Sloetjes, Albert Russel, Peter Wittenburg OntoELAN: An Ontology-based Linguistic Multimedia Annotator Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Ian T. Foster, Yong Zhao, Ioan Raicu, Shiyong Lu Cloud Computing and Grid Computing 360-Degree Compared Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Shiyong Lu, Rong Huang, Artem Chebotko, Yu Deng, Farshad Fotouhi ImageSpace: An Environment for Image Ontology Management Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Artem Chebotko, Shiyong Lu, Farshad Fotouhi, Anthony Aristar Ontology-Based Annotation of Multimedia Language Data for the Semantic Web Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Cui Lin, Shiyong Lu, Xubo Fei, Artem Chebotko, Darshan Pai, Zhaoqiang Lai, Farshad Fotouhi, Jing Hua A Reference Architecture for Scientific Workflow Management Systems and the VIEW SOA Solution. Search on Bibsonomy IEEE T. Services Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cui Lin, Shiyong Lu, Xubo Fei, Darshan Pai, Jing Hua A Task Abstraction and Mapping Approach to the Shimming Problem in Scientific Workflows. Search on Bibsonomy IEEE SCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shiyong Lu, Jia Zhang Collaborative Scientific Workflows. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xubo Fei, Shiyong Lu, Cui Lin A MapReduce-Enabled Scientific Workflow Composition Framework. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Shiyong Lu, Mustafa Atay, Farshad Fotouhi Efficient Processing of RDF Queries with Nested Optional Graph Patterns in an RDBMS. Search on Bibsonomy Int. J. Semantic Web Inf. Syst. The full citation details ... 2008 DBLP  BibTeX  RDF
1Cui Lin, Shiyong Lu, Xuwei Liang, Jing Hua, Otto Muzik Cocluster analysis of thalamo-cortical fibre tracts extracted from diffusion tensor MRI. Search on Bibsonomy IJDMB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yong Zhao, Shiyong Lu A Logic Programming Approach to Scientific Workflow Provenance Querying. Search on Bibsonomy IPAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cui Lin, Shiyong Lu, Zhaoqiang Lai, Artem Chebotko, Xubo Fei, Jing Hua, Farshad Fotouhi Service-Oriented Architecture for VIEW: A Visual Scientific Workflow Management System. Search on Bibsonomy IEEE SCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SOA, VIEW, Scientific Workflows, Reference Architecture
1Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang Scientific Workflow Provenance Querying with Security Views. Search on Bibsonomy WAIM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Mustafa Atay, Shiyong Lu, Farshad Fotouhi XML subtree reconstruction from relational storage of XML documents. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Otto Muzik, Diane C. Chugani, Guangyu Zou, Jing Hua, Yi Lu, Shiyong Lu, Eishi Asano, Harry T. Chugani Multimodality Data Integration in Epilepsy. Search on Bibsonomy Int. J. Biomedical Imaging The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mustafa Atay, Artem Chebotko, Dapeng Liu, Shiyong Lu, Farshad Fotouhi Efficient schema-based XML-to-Relational data mapping. Search on Bibsonomy Inf. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Cui Lin, Xubo Fei, Zhaoqiang Lai, Shiyong Lu, Jing Hua, Farshad Fotouhi VIEW: a Visual Scientific Workflow Management System. Search on Bibsonomy IEEE SCW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ping Yang, Zijiang Yang, Shiyong Lu Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. Search on Bibsonomy eScience The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Xubo Fei, Cui Lin, Shiyong Lu, Farshad Fotouhi Storing and Querying Scientific Workflow Provenance Metadata Using an RDBMS. Search on Bibsonomy eScience The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jamal Alhiyafi, Cavitha Sabesan, Shiyong Lu, Melphine Harriott, Deborah Jurczyszyn, Raquel P. Ritchie, Felicitas S. Gonzales, Jeffrey L. Ram Computational Methods for Analysis of Cryptic Recombination in the Performance of Genomic Recombination Detection Software. Search on Bibsonomy AINA Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Zijiang Yang, Shiyong Lu, Ping Yang Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. Search on Bibsonomy AINA Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Seunghan Chang, Artem Chebotko, Shiyong Lu, Farshad Fotouhi Graph Matching Based Authorization Model for Efficient Secure XML Querying. Search on Bibsonomy AINA Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Xubo Fei, Shiyong Lu, Horia F. Pop, Lily R. Liang GFBA: A Biclustering Algorithm for Discovering Value-Coherent Biclusters. Search on Bibsonomy ISBRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cui Lin, Shiyong Lu, Danqing Wu, Jing Hua, Otto Muzik Coclustering Based Parcellation of Human Brain Cortex Using Diffusion Tensor MRI. Search on Bibsonomy ISBRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mustafa Atay, Artem Chebotko, Shiyong Lu, Farshad Fotouhi XML-to-SQL Query Mapping in the Presence of Multi-valued Schema Mappings and Recursive XML Schemas. Search on Bibsonomy DEXA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Mustafa Atay, Shiyong Lu, Farshad Fotouhi Relational Nested Optional Join for Efficient Semantic Web Query Processing. Search on Bibsonomy APWeb/WAIM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Nested Optional Join, Semantic Web, Query Processing, RDF, SPARQL, RDBMS, Relational Operator, Relational Join
1Lily R. Liang, Shiyong Lu, Xuena Wang, Yi Lu, Vinay Mandal, Dorrelyn Patacsil, Deepak Kumar FM-test: a fuzzy-set-theory-based approach to differential gene expression data analysis. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis Automatic workflow verification and generation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis Completeness and realizability: conditions for automatic generation of workflows. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shiyong Lu, Feng Cao, Yi Lu Pama: a Fast String Matching Algorithm. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Zijiang Yang, Shiyong Lu, Ping Yang Runtime Security Verification for Itinerary-Driven Mobile Agents. Search on Bibsonomy DASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cui Lin, Shiyong Lu, Xuwei Liang, Jing Hua GCA: A Coclustering Algorithm for Thalamo-Cortico-Thalamic Connectivity Analysis. Search on Bibsonomy ICDM Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yi Lu, Shiyong Lu, Adrian E. Platts, Stephen A. Krawetz Mining Correlation between Motifs and Gene Expression. Search on Bibsonomy ICDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yi Lu, Shiyong Lu, Lily R. Liang, Deepak Kumar FM-test: A Fuzzy Set Theory Based Approach for Discovering Diabetes Genes. Search on Bibsonomy IMSCCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijiang Yang, Lily R. Liang PDC: Pattern discovery with confidence in DNA sequences. Search on Bibsonomy ACST The full citation details ... 2006 DBLP  BibTeX  RDF
1Yi Lu, Shiyong Lu, Jeffrey L. Ram Fast search in DNA sequence databases using punctuation and indexing. Search on Bibsonomy ACST The full citation details ... 2006 DBLP  BibTeX  RDF
1Lily R. Liang, Shiyong Lu, Yi Lu, Puneet Dhawan, Deepak Kumar CM-test: An Innovative Divergence Measurement and Its Application in Diabetes Gene Expression Data Analysis. Search on Bibsonomy GrC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Yu Deng, Shiyong Lu, Farshad Fotouhi, Anthony Aristar An Ontology-Based Multimedia Annotator for the Semantic Web of Language Engineering. Search on Bibsonomy Int. J. Semantic Web Inf. Syst. The full citation details ... 2005 DBLP  BibTeX  RDF
1Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi On the consistency of XML DTDs. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Farhad Mostowfi, Farshad Fotouhi, Shiyong Lu, Anthony Aristar LINGOES: A Linguistic Ontology Management System. Search on Bibsonomy JDIM The full citation details ... 2005 DBLP  BibTeX  RDF
1Shiyong Lu, Cheng-Zhong Xu A Formal Framework for Agent Itinerary Specification, Security Reasoning and Logic Analysis. Search on Bibsonomy ICDCS Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Artem Chebotko, Dapeng Liu, Mustafa Atay, Shiyong Lu, Farshad Fotouhi Reconstructing XML Subtrees from Relational Storage of XML documents. Search on Bibsonomy ICDE Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chunxia Zhang, Shiyong Lu, Lily R. Liang MetaFinder: A Meta-Search Engine with an Open Architecture. Search on Bibsonomy Computers and Their Applications The full citation details ... 2005 DBLP  BibTeX  RDF
1Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis Correct Execution of Transactions at Different Isolation Levels. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF transactions, correctness, serializability, Isolation levels
1Yi Lu, Shiyong Lu, Farshad Fotouhi, Youping Deng, Susan J. Brown Incremental genetic K-means algorithm and its application in gene expression data analysis. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Shiyong Lu, Dapeng Liu, Farshad Fotouhi, Ming Dong, Robert G. Reynolds, Anthony Aristar, Martha Ratliff, Geoff Nathan, Joseph Tan, Ronald Powell Language engineering for the Semantic Web: a digital library for endangered languages. Search on Bibsonomy Inf. Res. The full citation details ... 2004 DBLP  BibTeX  RDF
1Lei Chen, Shiyong Lu, Jeffrey L. Ram Compressed Pattern Matching in DNA Sequences. Search on Bibsonomy CSB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yi Lu, Shiyong Lu, Farshad Fotouhi, Youping Deng, Susan J. Brown FGKA: a Fast Genetic K-means Clustering Algorithm. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF genetic algorithm, clustering, K-means algorithm
1Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu A model for abstract process specification, verification and composition. Search on Bibsonomy ICSOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF BPEL abstract process, web services
1Rong Huang, Shiyong Lu, Farshad Fotouhi ImageSpace: an Image Ontology Creation and Annotation Tool for the Semantic Web. Search on Bibsonomy Computers and Their Applications The full citation details ... 2004 DBLP  BibTeX  RDF
1Shiyong Lu, Rong Huang, Farshad Fotouhi Annotating Linguistic Data with ImageSpace for the Preservation of Endangered Languages. Search on Bibsonomy Computers and Their Applications The full citation details ... 2004 DBLP  BibTeX  RDF
1Manjeet Rege, Izabell Caraconcea, Shiyong Lu, Farshad Fotouhi Querying XML Documents from a Relational Database in the Presence of DTDs. Search on Bibsonomy ICDCIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. Search on Bibsonomy ICWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Shuyun Xu, Yu Li, Shiyong Lu ERDraw: An XML-based ER-diagram Drawing and Translation Tool. Search on Bibsonomy Computers and Their Applications The full citation details ... 2003 DBLP  BibTeX  RDF
1Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi A Sufficient and Necessary Condition for the Consistency of XML DTDs. Search on Bibsonomy ER (Workshops) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi A New Inlining Algorithm for Mapping XML DTDs to Relational Schemas. Search on Bibsonomy ER (Workshops) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Z. M. Ma, Shiyong Lu, Farshad Fotouhi Conceptual Data Models for Engineering Information Modeling and Formal Transformation of EER and EXPRESS-G. Search on Bibsonomy ER The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Shiyong Lu, Ming Dong, Farshad Fotouhi The Semantic Web: opportunities and challenges for next-generation Web applications. Search on Bibsonomy Inf. Res. The full citation details ... 2002 DBLP  BibTeX  RDF
1Ziyang Duan, Albert Loo, Biswajit Sarkar, Shiyong Lu, Mark Van Loon, Subhra Bose A Structured Approach to Trade Negotiation Applications. Search on Bibsonomy CAINE The full citation details ... 2002 DBLP  BibTeX  RDF
1Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu Semantic Conditions for Correctness at Different Isolation Levels. Search on Bibsonomy ICDE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Serializability, Semantic Correctness, Isolation Levels
1Shiyong Lu, Scott A. Smolka Model Checking the Secure Electronic Transaction (SET) Protocol. (PDF / PS) Search on Bibsonomy MASCOTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Electronic Commerce Protocols, Formal Modeling and Analysis Techniques, Model Checking
Displaying result #1 - #85 of 85 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.