| Theorem proving graph grammars with attributes and negative application conditions. | 2 | 0.38 | 2017 |
| Entendendo o Pensamento Computacional. | 0 | 0.34 | 2017 |
| A relational approach of fuzzy graph grammars | 0 | 0.34 | 2017 |
| Translating Controlled Graph Grammars to Ordinary Graph Grammars. | 0 | 0.34 | 2016 |
| Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study. | 0 | 0.34 | 2016 |
| Correlation coefficient analysis based on fuzzy negations and representable automorphisms | 0 | 0.34 | 2016 |
| Computação na Educação Básica no Brasil: o Estado da Arte. | 0 | 0.34 | 2016 |
| Proof Tactics for Theorem Proving Graph Grammars through Rodin. | 1 | 0.35 | 2015 |
| From UML diagrams to simulink models: a precise and verified translation | 1 | 0.36 | 2015 |
| Aproximating static list schedules in dynamic multithreaded applications | 1 | 0.42 | 2014 |
| Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions | 0 | 0.34 | 2014 |
| From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. | 2 | 0.43 | 2013 |
| Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education | 2 | 0.39 | 2013 |
| Automatic Translation from UML to Simulink CAAM Using Graph Grammars | 1 | 0.37 | 2013 |
| Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin | 1 | 0.36 | 2013 |
| Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. | 3 | 0.45 | 2013 |
| Sensitivity and Dual Constructions on the Fuzzy f-Xor Class | 2 | 0.37 | 2013 |
| Graph Grammar Specification for the Populational Level of Multi-agent System Organizations | 0 | 0.34 | 2013 |
| A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling. | 0 | 0.34 | 2013 |
| Correct transformation: From object-based graph grammars to PROMELA | 1 | 0.35 | 2012 |
| Specification patterns for properties over reachable states of graph grammars | 5 | 0.54 | 2012 |
| Graph Grammars: A Comparison between Verification Methods | 4 | 0.55 | 2011 |
| Using Graph Grammars to Develop Embedded Systems Based on UML Models | 2 | 0.43 | 2011 |
| A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs | 0 | 0.34 | 2011 |
| Model Transformation Using Graph Transactions | 1 | 0.35 | 2009 |
| Aspects for Graph Grammars | 4 | 0.41 | 2009 |
| Graph Transformation with Dependencies for the Specification of Interactive Systems | 0 | 0.34 | 2008 |
| Formal Verification of Object-Oriented Graph Grammars Specifications | 11 | 0.59 | 2007 |
| Modelling, property verification and behavioural equivalence of lactose operon regulation | 10 | 0.62 | 2007 |
| Graph Transactions as Processes | 2 | 0.39 | 2006 |
| An Environment for the Development of Concurrent Object-Based Applications | 11 | 0.54 | 2005 |
| Modeling and property verification of lactose operon regulation | 2 | 0.43 | 2005 |
| A Translation from Object-Based Hypergraph Grammars into pi-Calculus | 2 | 0.38 | 2004 |
| Verification of Distributed Object-Based Systems | 23 | 1.26 | 2003 |
