Loading…
Login
Scholar Register
Business Register
Subscribe
Loading…
Article Title
Abstract
Keyword
Category
MESH Heading
Grant Agency
RCAID
DOI
PMID
PMCID
Author
Affiliation
Email
Journal Title
ISSN
Publisher
Loading…
Contains
Equals
Find an Article
Find an Article (55541795)
Find a Category (125)
Find a Journal (6166)
Find a Scholar (4035)
Find an Academic Assistant (18)
Find an Article PDF (4628136)
Today's Articles (4195)
Subscriber (49611)
Citation(s) in
RCA
7
(from Reference Citation Analysis)
Indexed Articles
Today (0)
Yesterday (0)
This Week (0)
Last Week (0)
Current Month (0)
Last Month (0)
Ranked By
Impact Index Per Article
Citation(s) in
RCA
Results Analysis
Year Published Analysis
Article Type Analysis
Journal Title Analysis
Category Analysis
Results Analysis
Year Published
2014 (1)
2012 (2)
2011 (1)
2007 (3)
Show more
Refine
Article Statistics
RCA (3)
SCIE (3)
Refine
Publication Titles
ACTA ACUSTICA UNITED WITH ACUSTICA (5)
FUNDAMENTALS OF COMPUTATION THEORY (1)
LECTURE NOTES IN COMPUTER SCIENCE (1)
Show more
Refine
Category
Multidisciplinary Sciences (7)
Show more
Refine
For:
Verdejo A
, Martí-Oliet N.
Executable structural operational semantics in Maude.
ACTA ACUST UNITED AC
2006. [DOI:
10.1016/j.jlap.2005.09.008
]
[
Citation(s) in
RCA
: 19
]
[
Impact Index Per Article: 1.1
]
[
Reference Citation Analysis
]
[
What about the content of this article? (
0
)
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 10/25/2022]
Number
Cited by Other Article(s)
1
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging.
ACTA ACUST UNITED AC
2014. [DOI:
10.1007/978-3-319-07151-0_4
]
[
Citation(s) in
RCA
: 2
]
[
Impact Index Per Article: 0.2
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
2
Twenty years of rewriting logic.
ACTA ACUST UNITED AC
2012. [DOI:
10.1016/j.jlap.2012.06.003
]
[
Citation(s) in
RCA
: 116
]
[
Impact Index Per Article: 9.7
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 11/21/2022]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
3
Using Semantics Specified in Maude to Generate Test Cases.
ACTA ACUST UNITED AC
2012. [DOI:
10.1007/978-3-642-32943-2_7
]
[
Citation(s) in
RCA
: 1
]
[
Impact Index Per Article: 0.1
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
4
Meseguer J
, Roşu G. The Rewriting Logic Semantics Project: A Progress Report.
FUNDAMENTALS OF COMPUTATION THEORY
2011. [DOI:
10.1007/978-3-642-22953-4_1
]
[
Citation(s) in
RCA
: 10
]
[
Impact Index Per Article: 0.8
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 01/10/2023]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
5
Şerbănuţă TF
, Roşu G, Meseguer J. A Rewriting Logic Approach to Operational Semantics (Extended Abstract).
ACTA ACUST UNITED AC
2007. [DOI:
10.1016/j.entcs.2007.08.020
]
[
Citation(s) in
RCA
: 2
]
[
Impact Index Per Article: 0.1
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 10/22/2022]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
6
Extracting Purely Functional Contents from Logical Inductive Types.
LECTURE NOTES IN COMPUTER SCIENCE
2007. [DOI:
10.1007/978-3-540-74591-4_7
]
[
Citation(s) in
RCA
: 6
]
[
Impact Index Per Article: 0.4
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 01/01/2023]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
7
Martí-Oliet N
, Palomino M, Verdejo A. Strategies and simulations in a semantic framework.
ACTA ACUST UNITED AC
2007. [DOI:
10.1016/j.jalgor.2007.04.002
]
[
Citation(s) in
RCA
: 1
]
[
Impact Index Per Article: 0.1
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 10/23/2022]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
Page 1 of 1
1
Loading…
Loading…
Export Articles to File
Export Citation Analysis
Export Citation Analysis
Article Number From
to
A maximum of 600 records can be exported at a time.
Format:
*
Excel
Plain Text
PDF
WORD
Invalid value
Loading…
Click to Download the Exported File
Loading…
Loading…
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA
Select the Category
Loading…
Loading…
Impact Index Per Article
Calculation for Impact Index Per Article
Times Cited ÷ Number of Years = Impact Index Per Article
TM
Loading…
