• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 49 matches

• 2024
• 
  Luís Gomes, Anikó Costa:
  Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets 2024
• 
  Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes:
  Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets 2024: 402-412
• 2023
• 
  Arnau Folch, Claudia Abril, Michael Afanasiev, Giorgio Amati, Michael Bader, Rosa M. Badia, Hafize B. Bayraktar, Sara Barsotti, Roberto Basili, Fabrizio Bernardi, Christian Boehm, Beatriz Brizuela, Federico Brogi, Eduardo Cabrera, Emanuele Casarotti, Manuel J. Castro, Matteo Cerminara, Antonella Cirella, Alexey Cheptsov, Javier Conejero, Antonio Costa, Marc de la Asunción, Josep de la Puente, Marco Djuric, Ravil Dorozhinskii, Gabriela Espinosa, Tomaso Esposti Ongaro, Joan Farnós, Nathalie Favretto-Cristini, Andreas Fichtner, Alexandre Fournier, Alice-Agnes Gabriel, Jean-Matthieu Gallard, Steven J. Gibbons, Sylfest Glimsdal, José Manuel González-Vida, José Gracia, Rose Gregorio, Natalia Gutiérrez, Benedikt Halldorsson, Okba Hamitou, Guillaume Houzeaux, Stephan Jaure, Mouloud Kessar, Lukas Krenz, Lion Krischer, Soline Laforet, Piero Lanucara, Bo Li, Maria Concetta Lorenzino, Stefano Lorito, Finn Løvholt, Giovanni Macedonio, Jorge Macías Sánchez, Guillermo Marin, Beatriz Martínez Montesinos, Leonardo Mingari, Geneviève Moguilny, Vadim Montellier, Marisol Monterrubio Velasco, Georges-Emmanuel Moulard, Masaru Nagaso, Massimo Nazaria, Christoph Niethammer, Federica Pardini, Marta Pienkowska, Luca Pizzimenti, Natalia Poiata, Leonhard Rannabauer, Otilio Rojas, Juan Esteban Rodriguez, Fabrizio Romano, Oleksandr Rudyy, Vittorio Ruggiero, Philipp Samfass, Carlos Sánchez-Linares, Sabrina Sanchez, Laura Sandri, Antonio Scala, Nathanaël Schaeffer, Joseph Schuchart, Jacopo Selva, Amadine Sergeant, Angela Stallone, Matteo Taroni, Solvi Thrastarson, Manuel Titos, Nadia Tonelllo, Roberto Tonini, Thomas Ulrich, Jean-Pierre Vilotte, Malte Vöge, Manuela Volpe, Sara Aniko Wirp, Uwe Wössner:
  The EU Center of Excellence for Exascale in Solid Earth (ChEESE): Implementation, results, and roadmap for the second phase. Future Gener. Comput. Syst. 146: 47-61 (2023)
• 
  Carolina Lagartinho De Oliveira, Anikó Costa, Nagham Saeed, Francisco Arantes:
  Women in Engineering Forum. WF-IoT 2023: 1-13
• 2022
• 
  Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes:
  IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets 2022: 127-138
• 2019
• 
  Rafael Dias, Anikó Costa, José Malaquias, Manuel Camara:
  Teaching Computational Reasoning without a Computer. IECON 2019: 6795-6800
• 
  Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski:
  Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON 2019: 5843-5848
• 2018
• 
  Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes:
  Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. 26(2): 575-586 (2018)
• 2017
• 
  Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa:
  Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics 13(4): 1734-1741 (2017)
• 
  João Esteves, Luís Gomes, Anikó Costa:
  Collision avoidance system for an autonomous sailboat. IECON 2017: 3539-3544
• 
  Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló:
  Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN 2017: 539-543
• 
  David Fernandes, Luís Gomes, Anikó Costa:
  Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE 2017: 1417-1422
• 
  Hugo Marques, Luís Gomes, Anikó Costa:
  Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE 2017: 1255-1260
• 2015
• 
  Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa:
  Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC 2015: 103-108
• 
  Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota:
  Attracting students to engineering through autonomous sailing yacht development. ICIT 2015: 3252-3257
• 
  Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
  Event life time in detection of sequences of events. ICIT 2015: 3144-3149
• 
  Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
  Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS 2015: 147-156
• 
  Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes:
  Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS 2015: 40-43
• 2014
• 
  Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
  Output events for human-system interaction modeling. HSI 2014: 261-266
• 
  Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
  Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS 2014: 219-226
• 
  Luís Gomes, Anikó Costa:
  Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE 2014: 2202-2206
• 
  Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes:
  Communication support for Petri nets based distributed controllers. ISIE 2014: 1111-1116
• 2013
• 
  Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
  Events for human-system interaction modeling with IOPT Petri nets. HSI 2013: 56-61
• 
  Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
  On Structuring Events for IOPT Net Models. DoCEIS 2013: 229-238
• 2012
• 
  João Paulo Barros, Luís Gomes, Anikó Costa:
  On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON 2012: 6138-6143
• 
  Anikó Costa, Luís Gomes, João Paulo Barros:
  Model composition by reusing Petri net based modules. IECON 2012: 6132-6137
• 
  Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
  Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS 2012: 151-160
• 
  Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta:
  Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE 2012: 1357-1362
• 2011
• 
  Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha:
  SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265
• 
  Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro:
  Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245

skipping 19 more matches