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
Formal Derivation of the Combinatorics Problems with PAR Method
(Articles)
Lingyu SUN
,
Yatian SUN
Journal of Software Engineering and Applications
Vol.2 No.3
,October 23, 2009
DOI:
10.4236/jsea.2009.23026
7,151
Downloads
10,546
Views
Citations
PLC Modeling and Checking Based on Formal Method
(Articles)
Yueshan Zheng
,
Guiming Luo
,
Junbo Sun
,
Junjie Zhang
,
Zhenfeng Wang
Journal of Software Engineering and Applications
Vol.3 No.11
,November 29, 2010
DOI:
10.4236/jsea.2010.311124
8,172
Downloads
16,012
Views
Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak
(Articles)
Edwin Mit
,
Ng Bong Ding
,
Cheah Wai Shiang
Journal of Software Engineering and Applications
Vol.7 No.8
,July 25, 2014
DOI:
10.4236/jsea.2014.78067
2,908
Downloads
3,763
Views
Citations
Survey of Smart Contract Technology and Application Based on Blockchain
(Articles)
Somboun Tern
Open Journal of Applied Sciences
Vol.11 No.10
,October 29, 2021
DOI:
10.4236/ojapps.2021.1110085
471
Downloads
2,461
Views
Citations
Systematic Method for Constructing Lewis Representations
(Articles)
Lahbib Abbas
,
Lahcen Bih
,
Khalid Yamni
,
Abderrahim Elyahyaouy
,
Abdelmalik El Attaoui
,
Zahra Ramzi
Open Journal of Inorganic Chemistry
Vol.14 No.1
,January 31, 2024
DOI:
10.4236/ojic.2024.141001
53
Downloads
150
Views
Citations
Performance Improvement of Polyvinyl Formal Based Gel Polymer Electrolyte for Lithium-Ion Batteries by Coating Al
2
O
3
(Articles)
Yan Wen
,
Gaofeng Li
,
Pingping Zhang
,
Guohong Xiong
Journal of Applied Mathematics and Physics
Vol.4 No.2
,February 17, 2016
DOI:
10.4236/jamp.2016.42023
4,291
Downloads
5,600
Views
Citations
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
(Articles)
Ryo Yanase
,
Tatsunori Sakai
,
Makoto Sakai
,
Satoshi Yamane
Journal of Software Engineering and Applications
Vol.9 No.9
,September 30, 2016
DOI:
10.4236/jsea.2016.99030
1,554
Downloads
2,343
Views
Citations
This article belongs to the Special Issue on
Formal Methods
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,142
Downloads
10,589
Views
Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
(Articles)
Nasir Mehmood Minhas
,
Asad Masood Qazi
,
Sidra Shahzadi
,
Shumaila Ghafoor
Journal of Software Engineering and Applications
Vol.8 No.8
,August 19, 2015
DOI:
10.4236/jsea.2015.88037
5,985
Downloads
7,951
Views
Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania
(Articles)
Jane J. Mbilinyi
,
Abiud L. Kaswamila
,
Emiliana A. Assenga
Current Urban Studies
Vol.10 No.4
,November 9, 2022
DOI:
10.4236/cus.2022.104032
148
Downloads
877
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,656
Downloads
15,782
Views
Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma
(Articles)
Vladimir O. Lobovikov
Journal of Applied Mathematics and Physics
Vol.9 No.5
,May 26, 2021
DOI:
10.4236/jamp.2021.95070
188
Downloads
608
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,361
Downloads
7,434
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,391
Downloads
4,297
Views
Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism
(Articles)
K. Robert Bridges
,
Richard J. Harnish
Psychology
Vol.6 No.13
,October 19, 2015
DOI:
10.4236/psych.2015.613164
4,120
Downloads
5,576
Views
Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind
(Articles)
Anchala Chaudhary
Open Journal of Social Sciences
Vol.4 No.11
,November 25, 2016
DOI:
10.4236/jss.2016.411007
1,291
Downloads
2,279
Views
Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops
(Articles)
Zamzami
Modern Economy
Vol.8 No.12
,December 11, 2017
DOI:
10.4236/me.2017.812098
715
Downloads
1,251
Views
Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection
(Articles)
Michael Perrick
Open Journal of Philosophy
Vol.8 No.5
,November 29, 2018
DOI:
10.4236/ojpp.2018.85040
1,048
Downloads
3,211
Views
Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability
(Articles)
Francisco Arapiraca dos Santos
,
Elidinaldo da Silva Leite
,
Ricardo José Rocha Amorim
,
Dinani Gomes Amorim
Creative Education
Vol.11 No.10
,October 23, 2020
DOI:
10.4236/ce.2020.1110150
595
Downloads
1,734
Views
Citations
Employment Access and Job Search Channels for Young People in Congo
(Articles)
Michel Okiemy
,
Sylvaniste Etsiba
Theoretical Economics Letters
Vol.11 No.2
,April 15, 2021
DOI:
10.4236/tel.2021.112021
322
Downloads
1,028
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