11
TITLE: Analysing Storage Resources on Synchronous Datafiows using Petri Net Verification Techniques
AUTHORS: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
12
TITLE: Asynchronous Wrappers Configuration within GALS Systems Specified by Petri Nets
AUTHORS: Filipe Moutinho; Luis Gomes ; Aniko Costa ; Jose Pimenta;
PUBLISHED: 2012, SOURCE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
13
TITLE: Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
14
TITLE: Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm
AUTHORS: Dezani, H; Gomes, L ; Damiani, F; Marranghello, N;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012 in IECON Proceedings (Industrial Electronics Conference)
INDEXED IN: Scopus CrossRef
IN MY: ORCID
15
TITLE: Extending a net splitting operation for decomposition of high-level Petri nets
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
16
TITLE: Finding best urban routes based on analyses of high level and IOPT Petri net models
AUTHORS: Dezani, H; Gomes, L ; Damiani, F; Marranghello, N;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012 in IECON Proceedings (Industrial Electronics Conference)
INDEXED IN: Scopus CrossRef
IN MY: ORCID
17
TITLE: Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms
AUTHORS: Rogerio Campos Rebelo; Aniko Costa ; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
INDEXED IN: Scopus WOS
IN MY: ORCID
18
TITLE: Low Phase-Noise Temperature Compensated Self-Biased Ring Oscillator
AUTHORS: Somayeh Abdollahvand; Joao Goes ; Luis B Oliveira ; Luis Gomes ; Nuno Paulino ;
PUBLISHED: 2012, SOURCE: IEEE International Symposium on Circuits and Systems in 2012 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: Message from the IECON 2012 technical program chairs
AUTHORS: Gomes, L ; Chandan, C; Dessaint, LA;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012 in IECON Proceedings (Industrial Electronics Conference)
INDEXED IN: Scopus CrossRef
IN MY: ORCID
20
TITLE: Model composition by reusing Petri net based modules
AUTHORS: Aniko Costa ; Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 2 of 11. Total results: 103.