Porfírio Silva - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 8 from 8

2016

Human, machines, and the interpretation of formal systemsPorfírio Silva. ais, 31(2):157-169, 2016. [doi]

2015

Institutional Robotics - Institutions for Social RobotsPorfírio Silva, José N. Pereira, Pedro U. Lima. ijsr, 7(5):825-840, 2015. [doi]

2014

Social-Aware Coordination of Multi-robot Systems Based on InstitutionsJosé N. Pereira, Porfírio Silva, Pedro U. Lima, Alcherio Martinoli. In Paolo Spagnolo, Pier Luigi Mazzeo, Cosimo Distante, editors, Human Behavior Understanding in Networked Sensing - Theory and Applications of Networks of Sensors. pages 407-430, Springer, 2014. [doi]

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic SystemsJosé N. Pereira, Porfírio Silva, Pedro U. Lima, Alcherio Martinoli. alife, 20(1):127-141, 2014. [doi]

2013

An experimental study in wireless connectivity maintenance using up to 40 robots coordinated by an institutional robotics approachJosé N. Pereira, Porfírio Silva, Pedro U. Lima, Alcherio Martinoli. iros 2013: 5073-5079 [doi]

2011

Formalizing institutions as executable petri nets for distributed robotic systemsJosé N. Pereira, Porfírio Silva, Pedro U. Lima, Alcherio Martinoli. ecal 2011: 646-653 [doi]

2010

Coordination through institutional roles in robot collectivesJ. N. Pereira, Anders Lyhne Christensen, Porfírio Silva, Pedro U. Lima. atal 2010: 1507-1508 [doi]

2007

Institutional RoboticsPorfírio Silva, Pedro U. Lima. ecal 2007: 595-604 [doi]

Sign in or sign up to see more results.

runs on WebDSL