Formal Method - Articles - Scientific Research Publishing

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,322 Downloads 4,901 Views Citations
Formalization of Federated Schema Architectural Style Variability (Articles)

Wilhelm Hasselbring

Journal of Software Engineering and Applications Vol.8 No.2, February 15, 2015

DOI: 10.4236/jsea.2015.82009 3,468 Downloads 4,890 Views Citations
The Role of Asymptotic Mean in the Geometric Theory of Asymptotic Expansions in the Real Domain (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.2, February 26, 2015

DOI: 10.4236/apm.2015.52013 5,694 Downloads 6,859 Views Citations
Bone Formation in a Scaffold Composed of Cylindrical Hydroxyapatite and Tryptophan- or Lysine-Coated Sponge in Vivo (Articles)

Masataka Yoshikawa, Hideyuki Kakigi, Hiroshi Maeda, Ikuo Nishikawa, Hideaki Ikenaga, Takeshi Inamoto, Norimasa Tsuji

Journal of Biomedical Science and Engineering Vol.8 No.6, June 29, 2015

DOI: 10.4236/jbise.2015.86037 2,995 Downloads 4,386 Views Citations
Analytic Theory of Finite Asymptotic Expansions in the Real Domain. Part II-A: The Factorizational Theory for Chebyshev Asymptotic Scales (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.8, June 30, 2015

DOI: 10.4236/apm.2015.58045 5,086 Downloads 6,279 Views Citations
Analytic Theory of Finite Asymptotic Expansions in the Real Domain. Part II-B: Solutions of Differential Inequalities and Asymptotic Admissibility of Standard Derivatives (Articles)

Antonio Granata

Advances in Pure Mathematics Vol.5 No.8, June 30, 2015

DOI: 10.4236/apm.2015.58046 5,405 Downloads 6,525 Views Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems (Articles)

Meenakshi Sridhar, Naseeb Singh Gill

Journal of Software Engineering and Applications Vol.8 No.9, September 25, 2015

DOI: 10.4236/jsea.2015.89047 5,269 Downloads 6,770 Views Citations
Game Analysis of Reputation Model on Cooperation of Employees in Probation Period and Formal Work Stage (Articles)

Jinyi Li, Jing Li

Open Journal of Social Sciences Vol.3 No.10, October 22, 2015

DOI: 10.4236/jss.2015.310011 6,336 Downloads 7,544 Views Citations
Multimedia Design and Transmedia Storytelling: Content Production for Microtrainings (Articles)

Tércia Zavaglia Torres, Marcia Izabel Fugisawa Souza, José Ruy Porto de Carvalho, Silvio Roberto Medeiros Evangelista

Creative Education Vol.6 No.23, December 30, 2015

DOI: 10.4236/ce.2015.623254 4,139 Downloads 7,112 Views Citations
This article belongs to the Special Issue on Vocational and Adult Education
Tenure Security, Land Titles and Access to Formal Finance in Upgraded Informal Settlements: The Case of Dar es Salaam, Tanzania (Articles)

Shaaban A. Sheuya, Marco M. Burra

Current Urban Studies Vol.4 No.4, November 4, 2016

DOI: 10.4236/cus.2016.44029 2,223 Downloads 5,551 Views Citations
Collaborative Intelligence in Smart Cities: A Systematic Review (Articles)

Viviani Kwecko, Silvia S. da C. Botelho

Social Networking Vol.7 No.3, July 24, 2018

DOI: 10.4236/sn.2018.73015 1,105 Downloads 3,234 Views Citations
Formal Financial Credit Constraints and Solutions for Entrepreneurial Farmers (Articles)

Xiaoyan Zhang

Modern Economy Vol.9 No.12, December 27, 2018

DOI: 10.4236/me.2018.912140 937 Downloads 2,567 Views Citations
Concrete Formulation Study for Informal and Semi-Informal Construction Sectors (Articles)

Narcisse Malanda, Paul Louzolo-Kimbembe, Louis Ahouet, Jarlon Brunel Makela, Guy-Richard Mouengue

Open Journal of Civil Engineering Vol.9 No.1, March 29, 2019

DOI: 10.4236/ojce.2019.91005 1,631 Downloads 3,438 Views Citations
Mediatic, Informational and Digital Skills and Competencies in Students from Agricultural Family Schools and Rural Family Home, in the Amazon Biome, Brazil (Articles)

Tércia Zavaglia Torres, Marcia Izabel Fugisawa Souza, Luiz Manoel Silva Cunha, José Ruy Porto de Carvalho, Jaudete Daltio, João Alfredo Carvalho Mangabeira

Creative Education Vol.11 No.8, August 28, 2020

DOI: 10.4236/ce.2020.118107 489 Downloads 1,379 Views Citations
A Mathematical Comparison of the Schwarzschild and Kerr Metrics (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.11 No.10, October 26, 2020

DOI: 10.4236/jmp.2020.1110104 690 Downloads 1,777 Views Citations
Can Social Donation Increase the R&D Investment of Enterprises?—Analysis from the Perspective of Institutional Environment (Articles)

Mu Xing, Hongmei Zhang

Open Journal of Social Sciences Vol.8 No.12, December 31, 2020

DOI: 10.4236/jss.2020.812035 612 Downloads 1,508 Views Citations
Contributions of the Science Museums for Teacher Education in Brazil (Articles)

Daniela Franco Carvalho

Creative Education Vol.12 No.5, May 28, 2021

DOI: 10.4236/ce.2021.125080 443 Downloads 2,078 Views Citations
This article belongs to the Special Issue on Culture and Education
Inequality in Imagination amongst Marginalised Learners: Teachers Pounding Away with a Hammer (Articles)

Wade Cafun, Labby Ramrathan

Open Journal of Social Sciences Vol.9 No.12, December 21, 2021

DOI: 10.4236/jss.2021.912024 315 Downloads 1,346 Views Citations
This article belongs to the Special Issue on Learning and Education
A Systematic Review of Perception of E-Learning Users in Formal Education during COVID-19 Pandemic (Articles)

Wendy Kulan Anak Igai, Melor Md. Yunus

Creative Education Vol.13 No.6, June 27, 2022

DOI: 10.4236/ce.2022.136123 538 Downloads 2,360 Views Citations
Application and Popularization of Formal Calculation (Articles)

Ji Peng

Open Access Library Journal Vol.9 No.11, November 28, 2022

DOI: 10.4236/oalib.1109483 77 Downloads 936 Views Citations

First <...345 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies