Result 1 to 20 of 120 total
Specification patterns for properties over reachable states of graph grammars. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 83-98 (2012).
1
Verification of graph grammars using a logical approach. (English)
Sci. Comput. Program. 77, No. 4, 480-504 (2012).
2
Correct transformation: from object-based graph grammars to PROMELA. (English)
Sci. Comput. Program. 77, No. 3, 214-246 (2012).
3
An institution for graph transformation. (English)
Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1‒4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 160-174 (2012).
4
The multiplicative heteroscedastic von Bertalanffy model. (English)
Braz. J. Probab. Stat. 26, No. 1, 71-81 (2012).
5
Complementing data in the ETL process. (English)
Cuzzocrea, Alfredo (ed.) et al., Data warehousing and knowledge discovery. 13th international conference, DaWaK 2011, Toulouse, France, August 29 ‒ September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23543-6/pbk). Lecture Notes in Computer Science 6862, 112-123 (2011).
6
Ingredients for accurate, fast, and robust XML similarity joins. (English)
Hameurlain, Abdelkader (ed.) et al., Database and expert systems applications. 22nd international conference, DEXA 2011, Toulouse, France, August 29 ‒ September 2, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23090-5/pbk). Lecture Notes in Computer Science 6861, 33-42 (2011).
7
Generalizing prefix filtering to improve set similarity joins. (English)
Inf. Syst. 36, No. 1, 62-78 (2011).
8
The diffusion of technological knowledge through interlaced networks (English)
Computer Physics Communications 182, No. 9, 1875-1878 (2011).
9
Modeling the webgraph evolution (English)
J. Comput. Science 2, No. 1, 67-79 (2011).
10
Re-thinking diagnosis for future automation systems: an analysis of current diagnostic practices and their applicability in emerging IT based production paradigms (English)
Computers in Industry 62, No. 7, 639-659 (2011).
11
Complementing data in the ETL process (English)
DaWaK, 112-123 (2011).
12
Diagnosis in networks of mechatronic agents: validation of a fault propagation model and performance assessment (English)
DoCEIS, 205-214 (2011).
13
Formal methods at SBES: evolution and perspectives (English)
SBES, 1-3 (2011).
14
Ingredients for accurate, fast, and robust XML similarity joins (English)
DEXA (2), 33-42 (2011).
15
Modeling and reasoning over distributed systems using aspect-oriented graph grammars. (English)
Comput. Res. Repos. 2010, Article No. 1003.4090 (2010).
16
Towards theorem proving graph grammars using event-B (English)
ECEASST 30 (2010).
17
Matrices of science and technology interactions and patterns of structured growth: implications for development (English)
Scientometrics 83, No. 1, 55-75 (2010).
18
Global vs local: A comparison of two approaches to perform diagnosis in networks of mechatronic agents (English)
SASO, 84-93 (2010).
19
The meaningfulness of consensus and context in diagnosing evolvable production systems (English)
DoCEIS, 143-150 (2010).
20
Result 1 to 20 of 120 total
Start
Contact
Print
General Help
