TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts).

João Afonso João Afonso Elvis Konjoh Selabi Maurizio Murgia 0001 António Ravara Emilio Tuosto TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). 239-257 2024 COORDINATION https://doi.org/10.1007/978-3-031-62697-5_13 conf/coordination/2024 db/conf/coordination/coordination2024.html#AfonsoSMRT24

João Afonso Elvis Konjoh Selabi Maurizio Murgia 0001 António Ravara Emilio Tuosto TRAC: a tool for data-aware coordination (with an application to smart contracts). 2024 abs/2404.19523 CoRR https://doi.org/10.48550/arXiv.2404.19523 db/journals/corr/corr2404.html#abs-2404-19523

Pedro Pinto Carolina Catorze Luís Lima Luís Guardão João Moutinho João Pedro Dias Margarida Amândio Pedro Martins Ligia Silva João Afonso João Figueiredo Management of Road Paving Processes - Application Case. 799-807 2023 CENTERIS/ProjMAN/HCist https://doi.org/10.1016/j.procs.2024.06.238 conf/centeris/2023 db/conf/centeris/centeris2023.html#PintoCLGMDAMSAF23 João Afonso José Campos 0001 Automatic Generation of Smell-free Unit Tests. 9-16 2023 SBFT https://doi.org/10.1109/SBFT59156.2023.00013 conf/icse/2023sbft db/conf/icse/sbft2023.html#AfonsoC23

João Afonso Miguel Mascarenhas Saraiva João Pedro Sousa Ferreira Hélder Cardoso Tiago Ribeiro Patrícia Andrade Marco P. L. Parente Renato M. Natal Jorge Guilherme Macedo Automated detection of ulcers and erosions in capsule endoscopy images using a convolutional neural network. 719-725 2022 60 Medical Biol. Eng. Comput. 3 https://doi.org/10.1007/s11517-021-02486-9 https://www.wikidata.org/entity/Q113324139 db/journals/mbec/mbec60.html#AfonsoSFCRAPJM22

Rafael Santos João Afonso José Monteiro 0001 Short-circuit Analysis using a Parallel QBF Solver. 1-6 2020 DCIS https://doi.org/10.1109/DCIS51330.2020.9268636 conf/dcis/2020 db/conf/dcis/dcis2020.html#SantosAM20 Ruofei Du Eric Turner 0001 Max Dzitsiuk Luca Prasso Ivo Duarte Jason Dourgarian João Afonso Jose Pascoal Josh Gladstone Nuno Cruces Shahram Izadi Adarsh Kowdle Konstantine Tsotsos David Kim 0002 Experiencing Real-time 3D Interaction with Depth Maps for Mobile Augmented Reality in DepthLab. 108-110 2020 UIST (Adjunct Volume) https://doi.org/10.1145/3379350.3416136 conf/uist/2020a db/conf/uist/uist2020a.html#DuTDPDDAPGCIKTK20a Ruofei Du Eric Turner 0001 Maksym Dzitsiuk Luca Prasso Ivo Duarte Jason Dourgarian João Afonso Jose Pascoal Josh Gladstone Nuno Cruces Shahram Izadi Adarsh Kowdle Konstantine Tsotsos David Kim 0002 DepthLab: Real-time 3D Interaction with Depth Maps for Mobile Augmented Reality. 829-843 2020 UIST https://doi.org/10.1145/3379337.3415881 conf/uist/2020 db/conf/uist/uist2020.html#DuTDPDDAPGCIKTK20

Julien P. C. Valentin Adarsh Kowdle Jonathan T. Barron Neal Wadhwa Max Dzitsiuk Michael Schoenberg Vivek Verma Ambrus Csaszar Eric Turner 0001 Ivan Dryanovski João Afonso Jose Pascoal Konstantine Tsotsos Mira Leung Mirko Schmidt Onur G. Guleryuz Sameh Khamis Vladimir Tankovich Sean Ryan Fanello Shahram Izadi Christoph Rhemann Depth from motion for smartphone AR. 193 2018 37 ACM Trans. Graph. 6 https://doi.org/10.1145/3272127.3275041 https://www.wikidata.org/entity/Q128853560 db/journals/tog/tog37.html#ValentinKBWDSVC18

João Afonso José Monteiro 0001 Analysis of short-circuit conditions in logic circuits. 824-829 2017 DATE https://doi.org/10.23919/DATE.2017.7927102 http://dl.acm.org/citation.cfm?id=3130577 conf/date/2017 db/conf/date/date2017.html#AfonsoM17

Carlos Ameixieira André Cardote Filipe Neves Rui Meireles Susana Sargento Luís Coelho João Afonso Bruno Areias Eduardo Mota Rui A. Costa Ricardo Matos João Barros Harbornet: a real-world testbed for vehicular networks. 108-114 2014 52 IEEE Commun. Mag. 9 https://doi.org/10.1109/MCOM.2014.6894460 db/journals/cm/cm52.html#AmeixieiraCNMSCAAMCMB14

João Afonso André Cardote Susana Sargento Vehicular testbed management. 1-7 2014 ISCC https://doi.org/10.1109/ISCC.2014.6912593 https://doi.ieeecomputersociety.org/10.1109/ISCC.2014.6912593 conf/iscc/2014 db/conf/iscc/iscc2014.html#AfonsoCS14

Carlos Ameixieira André Cardote Filipe Neves Rui Meireles Susana Sargento Luís Coelho João Afonso Bruno Areias Eduardo Mota Rui A. Costa Ricardo Matos João Barros HarborNet: A Real-World Testbed for Vehicular Networks. 2013 abs/1312.1920 CoRR http://arxiv.org/abs/1312.1920 db/journals/corr/corr1312.html#AmeixieiraCNMSCAAMCMB13

João Afonso Pedro Veiga Improving DNS Security Using Active Firewalling with Network Probes. 2012 8 Int. J. Distributed Sens. Networks https://doi.org/10.1155/2012/684180 db/journals/ijdsn/ijdsn8.html#AfonsoV12

Jorge Ferraz de Abreu Pedro Almeida 0002 João Afonso Telmo Silva Ricardo Dias Participatory Design of a Social TV Application for Senior Citizens - The iNeighbour TV Project. 49-58 2011 CENTERIS (3) https://doi.org/10.1007/978-3-642-24352-3_6 https://www.wikidata.org/entity/Q58611579 conf/centeris/2011-3 db/conf/centeris/centeris2011-3.html#Abreu0ASD11 João Afonso Pedro Veiga Enhancing DNS Security using Dynamic Firewalling with Network Agents. 777-782 2011 FedCSIS https://ieeexplore.ieee.org/document/6078289/ conf/fedcsis/2011 db/conf/fedcsis/fedcsis2011.html#AfonsoV11 João Afonso Pedro Veiga Protecting the DNS Infrastructure of a Top Level Domain: Dynamic Firewalling with Network Sensors. 173-178 2008 ICSNC https://doi.org/10.1109/ICSNC.2008.68 https://doi.ieeecomputersociety.org/10.1109/ICSNC.2008.68 conf/icsnc/2008 db/conf/icsnc/icsnc2008.html#AfonsoV08 João Afonso Pedro Veiga Protecting the DNS infrastructure of a top level domain: Real-time monitoring with network sensors. 873-879 2008 MASS https://doi.org/10.1109/MAHSS.2008.4660136 https://doi.ieeecomputersociety.org/10.1109/MAHSS.2008.4660136 conf/mass/2008 db/conf/mass/mass2008.html#AfonsoV08 João Afonso Edmundo Monteiro Vítor Costa Development of an Integrated Solution for Intrusion Detection: A Model Based on Data Correlation. 37 2006 conf/icns/2006 ICNS https://doi.org/10.1109/ICNS.2006.39 https://doi.ieeecomputersociety.org/10.1109/ICNS.2006.39 db/conf/icns/icns2006.html#AfonsoMC06 João Afonso Edmundo Monteiro Carlos Ferreira Monitoring and alarm management for system and network security a web-based comprehensive approach. 348-355 2005 conf/icete/2005 ICETE db/conf/icete/icete2005.html#AfonsoMF05 Joel R. Phillips João Afonso Arlindo L. Oliveira Luís Miguel Silveira Analog Macromodeling using Kernel Methods. 446-453 2003 conf/iccad/2003 ICCAD https://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257815 https://dl.acm.org/citation.cfm?id=1009928 db/conf/iccad/iccad2003.html#PhillipsAOS03 Jorge Ferraz de Abreu Pedro Almeida 0002 Margarida Amândio Carlos Ameixieira Patrícia Andrade Bruno Areias Jonathan T. Barron João Barros José Campos 0001 Hélder Cardoso André Cardote Carolina Catorze Luís Coelho Rui A. Costa Vítor Costa Nuno Cruces Ambrus Csaszar João Pedro Dias Ricardo Dias Jason Dourgarian Ivan Dryanovski Ruofei Du Ivo Duarte Maksym DzitsiukMax Dzitsiuk Sean Ryan Fanello Carlos Ferreira João Pedro Sousa Ferreira João Figueiredo Josh Gladstone Luís Guardão Onur G. Guleryuz Shahram Izadi Renato M. Natal Jorge Sameh Khamis David Kim 0002 Adarsh Kowdle Mira Leung Luís Lima Guilherme Macedo Pedro Martins Ricardo Matos Rui Meireles Edmundo Monteiro José Monteiro 0001 Eduardo Mota João Moutinho Maurizio Murgia 0001 Filipe Neves Arlindo L. Oliveira Marco P. L. Parente Jose Pascoal Joel R. Phillips Pedro Pinto Luca Prasso António Ravara Christoph Rhemann Tiago Ribeiro Rafael Santos Miguel Mascarenhas Saraiva Susana Sargento Mirko Schmidt Michael Schoenberg Elvis Konjoh Selabi Ligia Silva Telmo Silva Luís Miguel Silveira Vladimir Tankovich Konstantine Tsotsos Emilio Tuosto Eric Turner 0001 Julien P. C. Valentin Pedro Veiga Vivek Verma Neal Wadhwa