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,862
Downloads
8,207
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,160
Downloads
16,174
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,816
Downloads
6,204
Views
Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism
(Articles)
Evangelia P. Galanaki
Psychology
Vol.3 No.6
,June 18, 2012
DOI:
10.4236/psych.2012.36065
27,400
Downloads
53,377
Views
Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal
(Articles)
Imran Shaari
,
Shu-Shing Lee
Creative Education
Vol.3 No.3
,June 20, 2012
DOI:
10.4236/ce.2012.33057
4,849
Downloads
7,958
Views
Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming
(Articles)
Khalid Benlhachmi
,
Mohammed Benattou
Journal of Information Security
Vol.4 No.2
,April 23, 2013
DOI:
10.4236/jis.2013.42013
4,409
Downloads
7,076
Views
Citations
Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis
(Articles)
Huilai Zhi
International Journal of Intelligence Science
Vol.4 No.3
,July 4, 2014
DOI:
10.4236/ijis.2014.43008
2,836
Downloads
3,971
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,904
Downloads
4,012
Views
Citations
Diglossia in the Arab World
—Educational Implications and Future Perspectives
(Articles)
Christopher Horn
Open Journal of Modern Linguistics
Vol.5 No.1
,February 17, 2015
DOI:
10.4236/ojml.2015.51009
7,502
Downloads
10,957
Views
Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis
(Articles)
Rakhi Banerjee
,
Ranjanendra Narayan Nag
Modern Economy
Vol.6 No.8
,August 20, 2015
DOI:
10.4236/me.2015.68086
3,953
Downloads
5,478
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,194
Downloads
2,594
Views
Citations
Architectural Composition: A Systematic Method to Define a List of Visual Attributes
(Articles)
Seyed Farhad Tayyebi
,
Yüksel Demir
Art and Design Review
Vol.7 No.3
,June 11, 2019
DOI:
10.4236/adr.2019.73012
1,085
Downloads
9,602
Views
Citations
Using a Low-Cost Playful Strategy to Present Sign Language on Non-Formal Educational Spaces
(Articles)
Tathianna Prado Dawes
,
Gustavo Henrique Varela Saturnino Alves
,
Helena Carla Castro
,
Andréia Santos Silva
,
Lucianne Fragel-Madeira
Creative Education
Vol.10 No.6
,June 28, 2019
DOI:
10.4236/ce.2019.106092
660
Downloads
1,346
Views
Citations
Can Graduating from a Key University Really Increase People’s Market Returns? Evidence from China’s Urban Formal Labor Market (1993-2010)
(Articles)
Lan Zhang
,
Shengmin Pang
Open Journal of Social Sciences
Vol.8 No.10
,October 15, 2020
DOI:
10.4236/jss.2020.810007
273
Downloads
855
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
461
Downloads
2,660
Views
Citations
Expansion in the Retail Sector—Market Entry Strategies in Consideration of Formal and Informal Institutions: A Tesco Case Study
(Articles)
Daniel Krummel
Open Access Library Journal
Vol.9 No.2
,February 14, 2022
DOI:
10.4236/oalib.1108377
555
Downloads
7,807
Views
Citations
Emotion Work and Scale in Sociocultural Bicycle Advocacy and Transportation Literature
(Articles)
Rebecca van Stokkum
Open Journal of Social Sciences
Vol.10 No.12
,November 29, 2022
DOI:
10.4236/jss.2022.1012039
98
Downloads
533
Views
Citations
On Some Problems of Extracting the Root from a Given Finite Language
(Articles)
Boris F. Melnikov
,
Aleksandra A. Melnikova
Journal of Applied Mathematics and Physics
Vol.11 No.5
,May 31, 2023
DOI:
10.4236/jamp.2023.115096
65
Downloads
210
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
44
Downloads
139
Views
Citations
Generativity of Self-Organizing Processes and Their Correlative Description in Terms of a Formal Language of Meta-Ordinal Generative Nature, in the Light of the Maximum Ordinality Principle and the Explicit Solution to the “Three-Body Problem”
(Articles)
Corrado Giannantoni
Journal of Applied Mathematics and Physics
Vol.11 No.10
,October 31, 2023
DOI:
10.4236/jamp.2023.1110206
46
Downloads
187
Views
Citations
<
...
2
3
4
...
>
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