Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: João Paulo Barros
@inproceedings{DBLP:conf/sigcse/Barros24,
author = {Jo{\~{a}}o Paulo Barros},
editor = {Ben Stephenson and
Jeffrey A. Stone and
Lina Battestilli and
Samuel A. Rebelsky and
Libby Shoop},
title = {Sokoban: An Assignment for an Object-Oriented and {GUI} Programming
Course},
booktitle = {Proceedings of the 55th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2024, Volume 2, Portland, OR, USA, March 20-23,
2024},
pages = {1564--1565},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3626253.3635493},
doi = {10.1145/3626253.3635493},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/Barros24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Barros23,
author = {Jo{\~{a}}o Paulo Barros},
editor = {Maureen Doyle and
Ben Stephenson and
Brian Dorn and
Leen{-}Kiat Soh and
Lina Battestilli},
title = {Boosting Conceptual Thinking in a Programming Course - An Ontology-Based
Approach},
booktitle = {Proceedings of the 54th {ACM} Technical Symposium on Computer Science
Education, Volume 2, {SIGCSE} 2023, Toronto, ON, Canada, March 15-18,
2023},
pages = {1303},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3545947.3576249},
doi = {10.1145/3545947.3576249},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/Barros23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PereiraMCBCG22,
author = {Fernando Pereira and
Filipe Moutinho and
Anik{\'{o}} Costa and
Jo{\~{a}}o{-}Paulo Barros and
Rog{\'{e}}rio Campos{-}Rebelo and
Lu{\'{\i}}s Gomes},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {IOPT-Tools - From Executable Models to Automatic Code Generation for
Embedded Controllers Development},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {127--138},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_7},
doi = {10.1007/978-3-031-06653-5\_7},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PereiraMCBCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/GarciaBV22,
author = {Lu{\'{\i}}s Filipe Garcia and
Jo{\~{a}}o{-}Paulo Barros and
Candida Viriato},
editor = {Mutlu Cukurova and
Nikol Rummel and
Denis Gillet and
Bruce M. McLaren and
James Uhomoibhi},
title = {Configurable Templates for Assistive Technology Mobile Apps: {A} Block-based
Programming Approach},
booktitle = {Proceedings of the 14th International Conference on Computer Supported
Education, {CSEDU} 2022, Online Streaming, April 22-24, 2022, Volume
2},
pages = {293--298},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011089600003182},
doi = {10.5220/0011089600003182},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/GarciaBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/Barros22,
author = {Jo{\~{a}}o{-}Paulo Barros},
editor = {Mutlu Cukurova and
Nikol Rummel and
Denis Gillet and
Bruce M. McLaren and
James Uhomoibhi},
title = {Assessment for Computer Programming Courses: {A} Short Guide for the
Undecided Teacher},
booktitle = {Proceedings of the 14th International Conference on Computer Supported
Education, {CSEDU} 2022, Online Streaming, April 22-24, 2022, Volume
2},
pages = {549--554},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011095800003182},
doi = {10.5220/0011095800003182},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/Barros22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/BritoB22,
author = {Isabel Sofia Brito and
Jo{\~{a}}o Paulo Barros},
editor = {Mutlu Cukurova and
Nikol Rummel and
Denis Gillet and
Bruce M. McLaren and
James Uhomoibhi},
title = {Active Learning Activities in a Pandemic Context for a Software Engineering
Course: An Experience Report},
booktitle = {Proceedings of the 14th International Conference on Computer Supported
Education, {CSEDU} 2022, Online Streaming, April 22-24, 2022, Volume
2},
pages = {654--661},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011108500003182},
doi = {10.5220/0011108500003182},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/BritoB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/FernandesBC22,
author = {Nuno Fernandes and
Jo{\~{a}}o Paulo Barros and
Rog{\'{e}}rio Campos{-}Rebelo},
title = {A Graphical and Executable Model for Production Simulation in the
Context of Industry 5.0},
booktitle = {31st {IEEE} International Symposium on Industrial Electronics, {ISIE}
2022, Anchorage, AK, USA, June 1-3, 2022},
pages = {233--238},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISIE51582.2022.9831527},
doi = {10.1109/ISIE51582.2022.9831527},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/FernandesBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/BarrosG22,
author = {Jo{\~{a}}o{-}Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Towards an Integrated Tool Support for the Analysis of {IOPT} Nets
Using the Spin Model Checker},
booktitle = {31st {IEEE} International Symposium on Industrial Electronics, {ISIE}
2022, Anchorage, AK, USA, June 1-3, 2022},
pages = {239--244},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISIE51582.2022.9831529},
doi = {10.1109/ISIE51582.2022.9831529},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/BarrosG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/educon/BritoBR20,
author = {Isabel Sofia Brito and
Jo{\~{a}}o Paulo Barros and
Elsa Rodrigues},
title = {Moving to Project-Based Learning at the Program Level: an Experience
Report},
booktitle = {2020 {IEEE} Global Engineering Education Conference, {EDUCON} 2020,
Porto, Portugal, April 27-30, 2020},
pages = {1614--1621},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EDUCON45650.2020.9125297},
doi = {10.1109/EDUCON45650.2020.9125297},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/educon/BritoBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/CostaBT19,
author = {Lu{\'{\i}}s Costa and
Jo{\~{a}}o Paulo Barros and
Miguel Tavares},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Vulnerabilities in IoT Devices for Smart Home Environment},
booktitle = {Proceedings of the 5th International Conference on Information Systems
Security and Privacy, {ICISSP} 2019, Prague, Czech Republic, February
23-25, 2019},
pages = {615--622},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007583306150622},
doi = {10.5220/0007583306150622},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/CostaBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/MesquitaCB19,
author = {Rui Mesquita and
Rog{\'{e}}rio Campos{-}Rebelo and
Jo{\~{a}}o Paulo Barros},
title = {Model Based Simulation for a Smart City Project Based on LoRa},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {5868--5873},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927772},
doi = {10.1109/IECON.2019.8927772},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/MesquitaCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/Barros019,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {From non-autonomous Petri net models to executable state machines},
booktitle = {28th {IEEE} International Symposium on Industrial Electronics, {ISIE}
2019, Vancouver, BC, Canada, June 12-14, 2019},
pages = {1638--1643},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISIE.2019.8781246},
doi = {10.1109/ISIE.2019.8781246},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isie/Barros019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/Barros18,
author = {Jo{\~{a}}o Paulo Barros},
editor = {Bruce M. McLaren and
Rob Reilly and
Susan Zvacek and
James Onohuome Uhomoibhi},
title = {Students' Perceptions of Paper-Based vs. Computer-Based Testing in
an Introductory Programming Course},
booktitle = {Proceedings of the 10th International Conference on Computer Supported
Education, {CSEDU} 2018, Funchal, Madeira, Portugal, March 15-17,
2018, Volume 2},
pages = {303--308},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006794203030308},
doi = {10.5220/0006794203030308},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csedu/Barros18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/FernandesBG18,
author = {Jo{\~{a}}o M. Fernandes and
Jo{\~{a}}o{-}Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Bibliometric Analysis of 50 Years of {IEEE} Industrial Electronics
Society Publications},
booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics
Society, Washington, DC, USA, October 21-23, 2018},
pages = {3013--3020},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IECON.2018.8591317},
doi = {10.1109/IECON.2018.8591317},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/FernandesBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/GomesB18,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o{-}Paulo Barros},
title = {Refining {IOPT} Petri Nets Class for Embedded System Controller Modeling},
booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics
Society, Washington, DC, USA, October 21-23, 2018},
pages = {4720--4725},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IECON.2018.8592921},
doi = {10.1109/IECON.2018.8592921},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/GomesB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/educon/BarrosB17,
author = {Jo{\~{a}}o Paulo Barros and
Isabel Sofia Brito},
title = {Student perspectives on the use of a Java library for novices},
booktitle = {2017 {IEEE} Global Engineering Education Conference, {EDUCON} 2017,
Athens, Greece, April 25-28, 2017},
pages = {1405--1410},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/EDUCON.2017.7943031},
doi = {10.1109/EDUCON.2017.7943031},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/educon/BarrosB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AtaideBB017,
author = {Artur Ataide and
Jo{\~{a}}o Paulo Barros and
Isabel Sofia Brito and
Lu{\'{\i}}s Gomes},
title = {Towards automatic code generation for distributed cyber-physical systems:
{A} first prototype for Arduino boards},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247737},
doi = {10.1109/ETFA.2017.8247737},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/AtaideBB017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/AmaranteB17,
author = {Jo{\~{a}}o Amarante and
Jo{\~{a}}o Paulo Barros},
editor = {Pierangela Samarati and
Mohammad S. Obaidat and
Enrique Cabello},
title = {Exploring {USB} Connection Vulnerabilities on Android Devices - Breaches
using the Android Debug Bridge},
booktitle = {Proceedings of the 14th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2017) - Volume 4: SECRYPT, Madrid,
Spain, July 24-26, 2017},
pages = {572--577},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006475905720577},
doi = {10.5220/0006475905720577},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/AmaranteB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/BarrosCS16,
author = {Jo{\~{a}}o Paulo Barros and
Pedro Caixinha and
Sofia Soares},
editor = {Susan Zvacek and
James Onohuome Uhomoibhi and
Gennaro Costagliola and
Bruce M. McLaren},
title = {Towards a Mobile Application for an Engineering Geology Course - {A}
Contribution to Improved Student Learning},
booktitle = {{CSEDU} 2016 - Proceedings of the 8th International Conference on
Computer Supported Education, Volume 2, Rome, Italy, April 21-23,
2016},
pages = {421--426},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005927204210426},
doi = {10.5220/0005927204210426},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/BarrosCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BritoB016,
author = {Isabel Sofia Brito and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {From requirements to code (Re2Code) - {A} model-based approach for
controller implementation},
booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN}
2016, Poitiers, France, July 19-21, 2016},
pages = {1224--1230},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/INDIN.2016.7819354},
doi = {10.1109/INDIN.2016.7819354},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/BritoB016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BritoBG15,
author = {Isabel Sofia Brito and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Controller design and implementation: An approach based on problem
frames and Petri Net models},
booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN}
2015, Cambridge, United Kingdom, July 22-24, 2015},
pages = {860--867},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INDIN.2015.7281849},
doi = {10.1109/INDIN.2015.7281849},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/BritoBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PereiraMBC015,
author = {Fernando Pereira and
Filipe Moutinho and
Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Vinay Kulkarni and
Omar Badreddin},
title = {Executable models for Embedded Controllers Development - {A} Cloud
Based Development Framework},
booktitle = {Proceedings of the MoDELS 2015 Demo and Poster Session co-located
with {ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27,
2015},
series = {{CEUR} Workshop Proceedings},
volume = {1554},
pages = {40--43},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1554/PD\_MoDELS\_2015\_paper\_13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/PereiraMBC015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/i-jep/Barros14,
author = {Jo{\~{a}}o Paulo Barros},
title = {On the Description of Individual Course Units for Programme Assessment
and Better Syllabuses},
journal = {Int. J. Eng. Pedagog.},
volume = {4},
number = {5},
pages = {28--33},
year = {2014},
url = {https://doi.org/10.3991/ijep.v4i5.3536},
doi = {10.3991/IJEP.V4I5.3536},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/i-jep/Barros14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PaisBG14,
author = {Rui Pais and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Nuno S. Barrento and
Ricardo Mendon{\c{c}}a},
title = {From SysML State Machines to Petri Nets Using {ATL} Transformations},
booktitle = {Technological Innovation for Collective Awareness Systems - 5th {IFIP}
{WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and
Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April
7-9, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {423},
pages = {227--236},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54734-8\_26},
doi = {10.1007/978-3-642-54734-8\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/PaisBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BarrosBG14,
author = {Jo{\~{a}}o Paulo Barros and
Isabel Sofia Brito and
Lu{\'{\i}}s Gomes},
title = {Requirements specification for controller design - From use cases
to {IOPT} net models},
booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN}
2014, Porto Alegre, RS, Brazil, July 27-30, 2014},
pages = {207--212},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/INDIN.2014.6945509},
doi = {10.1109/INDIN.2014.6945509},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/BarrosBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/BarrosG14,
author = {Jo{\~{a}}o{-}Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Towards the use of Place/Transition net tools for analysis of {IOPT}
models},
booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE}
2014, Istanbul, Turkey, June 1-4, 2014},
pages = {1141--1146},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISIE.2014.6864774},
doi = {10.1109/ISIE.2014.6864774},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/isie/BarrosG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/i-jep/BarrosGG13,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes and
Lu{\'{\i}}s Garcia},
title = {A Proposal for the Description of Individual Course Units},
journal = {Int. J. Eng. Pedagog.},
volume = {3},
number = {{S1}},
pages = {71--75},
year = {2013},
url = {https://doi.org/10.3991/ijep.v3is1.2420},
doi = {10.3991/IJEP.V3IS1.2420},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/i-jep/BarrosGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Barros13,
author = {Jo{\~{a}}o Paulo Barros},
editor = {Jos{\'{e}} Cordeiro and
David A. Marca and
Marten van Sinderen},
title = {From Concrete to Abstract - About Teaching {UML} Class Diagrams to
Novice Programmers},
booktitle = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
2013},
pages = {278--283},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004594302780283},
doi = {10.5220/0004594302780283},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/Barros13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RosaBB13,
author = {Vanda Rosa and
Isabel Sofia Brito and
Jo{\~{a}}o Paulo Barros},
editor = {Jos{\'{e}} Cordeiro and
David A. Marca and
Marten van Sinderen},
title = {SmartRestaurant - {A} Report on the Development of a NFC-Based Mobile
Application},
booktitle = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
2013},
pages = {322--327},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004567203220327},
doi = {10.5220/0004567203220327},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/RosaBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Costa0B12,
author = {Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {Model composition by reusing Petri net based modules},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {6132--6137},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389078},
doi = {10.1109/IECON.2012.6389078},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/iecon/Costa0B12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Barros0C12,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {On the verification of non-autonomous Petri net models using autonomous
petri net tools},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {6138--6143},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389077},
doi = {10.1109/IECON.2012.6389077},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/Barros0C12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BurdB0KRT12,
author = {Barry Burd and
Jo{\~{a}}o Paulo Barros and
Chris Johnson and
Stan Kurkovsky and
Arnold Rosenbloom and
Nikolai Tillmann},
editor = {Liz Adams and
Noa Ragonis},
title = {Educating for mobile computing: addressing the new challenges},
booktitle = {Proceedings of the final reports on Innovation and technology in computer
science education 2012 working groups, ITiCSE-WGR 2012, Haifa, Israel,
July 3-5, 2012},
pages = {51--63},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2426636.2426641},
doi = {10.1145/2426636.2426641},
timestamp = {Sat, 11 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/BurdB0KRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PaisGB11,
author = {Rui Pais and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
editor = {Luis M. Camarinha{-}Matos},
title = {Towards Statecharts to Input-Output Place Transition Nets Transformations},
booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {349},
pages = {227--236},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19170-1\_25},
doi = {10.1007/978-3-642-19170-1\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/PaisGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/MoutinhoGBBRFCM11,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes and
Paulo E. S. Barbosa and
Jo{\~{a}}o Paulo Barros and
Franklin Ramalho and
Jorge Figueiredo and
Anik{\'{o}} Costa and
Andr{\'{e}} Monteiro},
editor = {Luis M. Camarinha{-}Matos},
title = {Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous
System},
booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {349},
pages = {237--245},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19170-1\_26},
doi = {10.1007/978-3-642-19170-1\_26},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/MoutinhoGBBRFCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/BarbosaBRGFMCA11,
author = {Paulo E. S. Barbosa and
Jo{\~{a}}o Paulo Barros and
Franklin Ramalho and
Lu{\'{\i}}s Gomes and
Jorge Figueiredo and
Filipe Moutinho and
Anik{\'{o}} Costa and
Andr{\'{e}} Aranha},
editor = {Luis M. Camarinha{-}Matos},
title = {SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution
Semantics within Embedded Systems Design},
booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {349},
pages = {256--265},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19170-1\_28},
doi = {10.1007/978-3-642-19170-1\_28},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/BarbosaBRGFMCA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BarrosBV11,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Biscaia and
Miguel Vit{\'{o}}ria},
editor = {Guido R{\"{o}}{\ss}ling and
Thomas L. Naps and
Christian Spannagel},
title = {Java2Sequence: a tool for the visualization of object-oriented programs
in introductory programming},
booktitle = {Proceedings of the 16th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2011, Darmstadt,
Germany, June 27-29, 2011},
pages = {369},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1999747.1999882},
doi = {10.1145/1999747.1999882},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/BarrosBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/MachadoFBG10,
author = {Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Scenario-Based Modeling in Industrial Information Systems},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {19--30},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_4},
doi = {10.1007/978-3-642-15234-4\_4},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/MachadoFBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/Barros10,
author = {Jo{\~{a}}o Paulo Barros},
editor = {Carsten Schulte and
Jarkko Suhonen},
title = {Assessment and grading for {CS1:} towards a complete toolbox of criteria
and techniques},
booktitle = {10th Koli Calling International Conference on Computing Education
Research, Koli Calling '10, Koli, Finland, October 28-31, 2010},
pages = {106--111},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1930464.1930483},
doi = {10.1145/1930464.1930483},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/Barros10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/NunesGB07,
author = {Ricardo Nunes and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {A graphical editor for the input-output place-transition petri net
class},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2007, September 25-28, 2007, Patras,
Greece},
pages = {788--791},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/EFTA.2007.4416858},
doi = {10.1109/EFTA.2007.4416858},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/NunesGB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BarrosJ05,
author = {Jo{\~{a}}o Paulo Barros and
Jens B{\ae}k J{\o}rgensen},
title = {A Case Study on Coloured Petri Nets in Object-Oriented Analysis and
Design},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {229--250},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BarrosJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/GomesB05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {Structuring and composability issues in Petri nets modeling},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {1},
number = {2},
pages = {112--123},
year = {2005},
url = {https://doi.org/10.1109/TII.2005.844433},
doi = {10.1109/TII.2005.844433},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/GomesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GomesBCPM05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Rui Pais and
Filipe Moutinho},
title = {Towards usage of formal methods within embedded systems co-design},
booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
Italy},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ETFA.2005.1612535},
doi = {10.1109/ETFA.2005.1612535},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GomesBCPM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PaisB05,
author = {Rui Pais and
Jo{\~{a}}o Paulo Barros},
editor = {Jos{\'{e}} C. Cunha and
William M. Fleischman and
Viera K. Proulx and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Two possible approaches for an intermediate {GUI} course},
booktitle = {Proceedings of the 10th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal,
June 27-29, 2005},
pages = {365},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1067445.1067565},
doi = {10.1145/1067445.1067565},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PaisB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PaisB05a,
author = {Rui Pais and
Jo{\~{a}}o Paulo Barros},
editor = {Jos{\'{e}} C. Cunha and
William M. Fleischman and
Viera K. Proulx and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Use of flash movies for teaching {GUI} programming},
booktitle = {Proceedings of the 10th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal,
June 27-29, 2005},
pages = {390},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1067445.1067593},
doi = {10.1145/1067445.1067593},
timestamp = {Tue, 09 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PaisB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recosoc/GomesBCPM05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Rui Pais and
Filipe Moutinho},
editor = {Gilles Sassatelli and
Manfred Glesner and
Lionel Torres and
Leandro Soares Indrusiak and
Thomas Hollstein},
title = {Formal methods for Embedded Systems Co-design: the {FORDESIGN} project},
booktitle = {Proceedings of the 1st International Workshop on Reconfigurable Communication-centric
Systems-on-Chip, ReCoSoC 2005, Montpellier, France, June 2005},
pages = {143--150},
publisher = {Univ. Montpellier {II}},
year = {2005},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/recosoc/GomesBCPM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/IIR2005/GomesB05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
editor = {Richard Zurawski},
title = {Models of Computation for Embedded Systems},
booktitle = {The Industrial Information Technology Handbook},
pages = {1--17},
publisher = {{CRC} Press},
year = {2005},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/crc/IIR2005/GomesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/BarrosCG05,
author = {Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Richard Zurawski},
title = {Modeling Formalisms for Embedded System Design},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch5},
doi = {10.1201/9781420038163.CH5},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/BarrosCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarrosG04,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {On the Use of Coloured Petri Nets for Object-Oriented Design},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {117--136},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_8},
doi = {10.1007/978-3-540-27793-4\_8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BarrosG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/BarrosGPD04,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes and
Rui Pais and
Rui Dias},
editor = {Helder Ara{\'{u}}jo and
Alves Vieira and
Jos{\'{e}} Braz and
Bruno Encarna{\c{c}}{\~{a}}o and
Marina Carvalho},
title = {From Petri Nets to Executable Systems: An Environment for Code Generation
and Analysis},
booktitle = {{ICINCO} 2004, Proceedings of the First International Conference on
Informatics in Control, Automation and Robotics, Set{\'{u}}bal,
Portugal, August 25-28, 2004},
pages = {464--467},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/BarrosGPD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BarrosG03,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Modifying Petri Net Models by Means of Crosscutting Operations},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207712},
doi = {10.1109/CSD.2003.1207712},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BarrosG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GomesB03,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {On structuring mechanisms for Petri nets based system design},
booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon,
Portugal - Volume 2},
pages = {431--438},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ETFA.2003.1248731},
doi = {10.1109/ETFA.2003.1248731},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GomesB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BarrosEDPS03,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Estevens and
Rui Dias and
Rui Pais and
Elisabete Soeiro},
editor = {Vassilios Dagdilelis and
Maya Satratzemi and
David Finkel and
Roger D. Boyle and
Georgios Evangelidis},
title = {Using lab exams to ensure programming practice in an introductory
programming course},
booktitle = {Proceedings of the 8th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2003, Thessaloniki,
Greece, June 30 - July 2, 2003},
pages = {16--20},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/961511.961519},
doi = {10.1145/961511.961519},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/BarrosEDPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Barros02,
author = {Jo{\~{a}}o Paulo Barros},
editor = {Michael E. Caspersen and
Daniel T. Joyce and
Don Goelman and
Ian Utting},
title = {Specific proposals for the use of petri nets in a concurrent programming
course},
booktitle = {Proceedings of the 7th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark,
June 24-28, 2002},
pages = {165--167},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544414.544463},
doi = {10.1145/544414.544463},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/iticse/Barros02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Barros01,
author = {Jo{\~{a}}o Paulo Barros},
editor = {Sally Fincher and
Bruce J. Klein and
Fintan Culwin and
Michael McCracken},
title = {Use petri nets to improve your concurrent programming course},
booktitle = {Proceedings of the 6th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2001, Canterbury,
UK, June 25-27, 2001},
pages = {192},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/377435.377713},
doi = {10.1145/377435.377713},
timestamp = {Fri, 12 Mar 2021 14:14:34 +0100},
biburl = {https://dblp.org/rec/conf/iticse/Barros01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GomesBC01,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o{-}Paulo Barros and
Anik{\'{o}} Costa},
title = {Man-machine interface for real-time telecontrol based onPetri nets
specification},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace",
Tucson, Arizona, USA, 7-10 October 2001},
pages = {1565--1570},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICSMC.2001.973507},
doi = {10.1109/ICSMC.2001.973507},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/GomesBC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BarrosP00,
author = {Jo{\~{a}}o Paulo Barros and
Rui Pais},
editor = {Jorma Tarhio and
Sally Fincher and
Daniel Joyce},
title = {A versatile assignment in {CS} 2(poster session): a file compression
utility based on the Huffman code},
booktitle = {Proceedings of the 5th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland,
June 11-13, 2000},
pages = {185},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/343048.343183},
doi = {10.1145/343048.343183},
timestamp = {Mon, 30 May 2022 15:19:22 +0200},
biburl = {https://dblp.org/rec/conf/iticse/BarrosP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
