| First Steps Towards Coverage-Based Document Alignment. | 1 | 0.35 | 2016 |
| First Steps Towards Coverage-Based Sentence Alignment. | 1 | 0.49 | 2016 |
| Improving Bilingual Search Performance Using Compact Full-Text Indices | 1 | 0.36 | 2015 |
| Controller Design And Implementation: An Approach Based On Problem Frames And Petri Net Models | 0 | 0.34 | 2015 |
| Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function. | 10 | 0.58 | 2014 |
| Requirements specification for controller design ??? From use cases to IOPT net models | 1 | 0.36 | 2014 |
| A platform independent communication support for distributed controller systems modelled by Petri nets | 0 | 0.34 | 2014 |
| Elementary Events for Modeling of Human-System Interactions with Petri Net Models. | 1 | 0.37 | 2014 |
| Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. | 0 | 0.34 | 2014 |
| Cloud based development framework using IOPT Petri nets for embedded systems teaching | 3 | 0.47 | 2014 |
| From SysML State Machines to Petri Nets Using ATL Transformations. | 1 | 0.35 | 2014 |
| Towards Collective Awareness Systems. | 0 | 0.34 | 2014 |
| Minimalist Architecture to Generate Embedded System Web User Interfaces. | 2 | 0.40 | 2013 |
| Contributing to the Internet of Things. | 8 | 1.22 | 2013 |
| Exploiting dataflows and Petri nets mappings. | 1 | 0.37 | 2013 |
| Guest Editorial Special Section on Information Technologies Within Engineering Education | 0 | 0.34 | 2013 |
| On Structuring Events for IOPT Net Models. | 2 | 0.49 | 2013 |
| Extending a net splitting operation for decomposition of high-level Petri nets | 0 | 0.34 | 2012 |
| Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. | 3 | 1.42 | 2012 |
| Model-checking framework for embedded systems controllers development using IOPT Petri nets | 8 | 0.90 | 2012 |
| Finding best urban routes based on analyses of high level and IOPT Petri net models | 0 | 0.34 | 2012 |
| Analysing storage resources on Synchronous Dataflows using Petri net verification techniques | 1 | 0.37 | 2012 |
| Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm | 5 | 0.53 | 2012 |
| On the verification of non-autonomous Petri net models using autonomous petri net tools | 1 | 0.39 | 2012 |
| Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces | 2 | 0.48 | 2011 |
| Towards Statecharts to Input-Output Place Transition Nets Transformations | 2 | 0.45 | 2011 |
| Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System | 1 | 0.43 | 2011 |
| Energy Consumption Monitoring System for Large Complexes | 1 | 0.43 | 2010 |
| Current Trends in Industrial Electronics Education | 13 | 1.03 | 2010 |
| Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers | 7 | 0.82 | 2010 |
| Checking Semantics Equivalence of MDA Transformations in Concurrent Systems | 8 | 0.67 | 2009 |
| Phrase Translation Extraction from Aligned Parallel Corpora Using Suffix Arrays and Related Structures | 7 | 0.62 | 2009 |
| Current Trends in Remote Laboratories | 104 | 6.99 | 2009 |
| Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models | 1 | 0.39 | 2008 |
| Module Composition within Petri Nets Model-based Development | 0 | 0.34 | 2007 |
| A graphical editor for the input-output place-transition petri net class. | 3 | 0.79 | 2007 |
| Formal methods for Embedded Systems Co-design: the FORDESIGN project | 4 | 0.63 | 2005 |
| Structuring and composability issues in Petri nets modeling | 30 | 2.36 | 2005 |
| Remote Laboratory Support for an Introductory Microprocessor Course | 4 | 0.69 | 2005 |
| Teaching Formal Methods Within System-on-a-Programmable-Chip Design | 1 | 0.37 | 2005 |
| Towards Usage Of Formal Methods Within Embedded Systems Co-Design | 8 | 0.75 | 2005 |
| On Lifting of Statechart Structuring Mechanisms | 3 | 0.49 | 2003 |
| From Use Cases to System Implementation: Statechart Based Co-design | 4 | 0.53 | 2003 |
| Introducing Programmable Logic Devices into Digital Design | 0 | 0.34 | 2001 |
