Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.3 No.8
,August 26, 2010
DOI:
10.4236/jsea.2010.38093
4,852
Downloads
8,186
Views
Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.2 No.2
,July 15, 2009
DOI:
10.4236/jsea.2009.22012
4,878
Downloads
8,336
Views
Citations
An Augmented Framework for Formal Analysis of Safety Critical Systems
(Articles)
Monika Singh
,
V. K. Jain
Journal of Software Engineering and Applications
Vol.10 No.8
,July 11, 2017
DOI:
10.4236/jsea.2017.108039
1,185
Downloads
2,571
Views
Citations
Modeling Components and Services of LTE Mobile Communications System
(Articles)
Ishtiaq Ahmed Choudhry
,
Nazir Ahmad Zafar
Int'l J. of Communications, Network and System Sciences
Vol.5 No.12
,December 20, 2012
DOI:
10.4236/ijcns.2012.512086
4,584
Downloads
7,536
Views
Citations
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
5,351
Downloads
7,805
Views
Citations
A Comparative Analysis of Tools for Verification of Security Protocols
(Articles)
Nitish Dalal
,
Jenny Shah
,
Khushboo Hisaria
,
Devesh Jinwala
Int'l J. of Communications, Network and System Sciences
Vol.3 No.10
,October 27, 2010
DOI:
10.4236/ijcns.2010.310104
7,611
Downloads
16,266
Views
Citations
Formal Methods for Commercial Applications Issues vs. Solutions
(Articles)
Saiqa Bibi
,
Saira Mazhar
,
Nasir Mehmood Minhas
,
Irfan Ahmed
Journal of Software Engineering and Applications
Vol.7 No.8
,July 22, 2014
DOI:
10.4236/jsea.2014.78062
8,102
Downloads
13,274
Views
Citations
Mapping UML 2.0 Activities to Zero-Safe Nets
(Articles)
Sabine Boufenara
,
Faiza Belala
,
Kamel Barkaoui
Journal of Software Engineering and Applications
Vol.3 No.5
,May 24, 2010
DOI:
10.4236/jsea.2010.35048
4,922
Downloads
9,172
Views
Citations
Test Selection on Extended Finite State Machines with Provable Guarantees
(Articles)
Bo Guo
,
Mahadevan Subramaniam
Journal of Software Engineering and Applications
Vol.6 No.9
,September 20, 2013
DOI:
10.4236/jsea.2013.69060
3,048
Downloads
4,464
Views
Citations
A Review on Industrial Applications of Z-Source Inverter
(Articles)
Nimrah Saeed
,
Anas Ibrar
,
Aimen Saeed
Journal of Power and Energy Engineering
Vol.5 No.9
,September 6, 2017
DOI:
10.4236/jpee.2017.59002
2,612
Downloads
8,807
Views
Citations
Formal Verification of Robertson-Type Uncertainty Relation
(Articles)
Takaaki Masuhara
,
Toru Kuriyama
,
Masakazu Yoshida
,
Jun Cheng
Journal of Quantum Information Science
Vol.5 No.2
,June 11, 2015
DOI:
10.4236/jqis.2015.52008
3,379
Downloads
4,353
Views
Citations
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
(Articles)
Prabhu Kaliappan
,
Hartmut Koenig
Journal of Software Engineering and Applications
Vol.1 No.1
,December 9, 2008
DOI:
10.4236/jsea.2008.11003
6,163
Downloads
12,057
Views
Citations
Translator of Islay 3D Animations into Flash Platform
(Articles)
Michitoshi Niibori
,
Makoto Rokujo
,
Shusuke Okamoto
,
Masaru Kamada
,
Tatsuhiro Yonekura
Journal of Software Engineering and Applications
Vol.9 No.11
,November 9, 2016
DOI:
10.4236/jsea.2016.911037
1,408
Downloads
2,254
Views
Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B
(Articles)
Amjad Gawanmeh
,
Sofiène Tahar
,
Leila Jemni Ben Ayed
Int'l J. of Communications, Network and System Sciences
Vol.5 No.3
,March 21, 2012
DOI:
10.4236/ijcns.2012.53021
3,810
Downloads
6,187
Views
Citations
Syntax-Tree Regular Expression Based DFA FormalConstruction
(Articles)
Nazir Ahmad Zafar
,
Fawaz Alsaade
Intelligent Information Management
Vol.4 No.4
,July 27, 2012
DOI:
10.4236/iim.2012.44021
11,876
Downloads
21,041
Views
Citations
Which One Is Better, Simple or Complex Metrics?
(Articles)
Fangjun Wu
Journal of Computer and Communications
Vol.3 No.11
,November 19, 2015
DOI:
10.4236/jcc.2015.311009
5,689
Downloads
6,600
Views
Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
(Articles)
Nadeem Akhtar
,
Muhammad Nauman
Journal of Software Engineering and Applications
Vol.8 No.2
,February 12, 2015
DOI:
10.4236/jsea.2015.82006
3,051
Downloads
4,035
Views
Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis
(Articles)
Nazir Ahmad Zafar
Journal of Software Engineering and Applications
Vol.5 No.1
,December 31, 2011
DOI:
10.4236/jsea.2012.51004
5,234
Downloads
8,877
Views
Citations
The Equivalence between Orthogonal Iterations and Alternating Least Squares
(Articles)
Achiya Dax
Advances in Linear Algebra & Matrix Theory
Vol.10 No.2
,April 30, 2020
DOI:
10.4236/alamt.2020.102002
727
Downloads
1,901
Views
Citations
Analysis of Higher Order System with Impulse Exciting Functions in Z-Domain
(Articles)
Branislav Dobrucký
,
Pavol Štefanec
,
Mariana Beňová
,
Oleg V. Chernoyarov
,
Michal Pokorný
Circuits and Systems
Vol.7 No.11
,September 30, 2016
DOI:
10.4236/cs.2016.711328
1,337
Downloads
2,188
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top