TD1-TD10: Teses de Doutoramento (10).
TD1.
António Pedro Costa, Metodologia Híbrida de Desenvolvimento Centrado no
Utilizador Aplicada ao Software Educativo, PhD Thesis in Didactics, Univ. Aveiro,
(Co-Sup: L.P.Reis), março 2012
TD2.
Daniel A. G. Castro Silva, “Cooperative
Multi-Robot Missions: Development of a Platform and a Specification Language”,
PhD Thesis (ProDEI), FEUP, (Sup: L.P. Reis, E. Oliveira), dezembro de 2011
TD3.
Henrique Lopes Cardoso, “Electronic
Institutions with Normative Environments for Agent based E-contracting”, PhD
Thesis (ProDEI), FEUP, (Sup: E.Oliveira), janeiro 2011
TD4.
João Marco Mendes, “Mechanisms and Tools
for Orchestration and Choreography on Service Oriented Architectures”, PhD
Thesis (PRODEI), FEUP, (Sup. F.Restivo. P.Leitão), fevereiro 2011
TD5.
Luís Henrique Ramilo Mota,
Multi-robot Coordination using flexible
Setplays: Applications in the RoboCup's Simulation and Middle-size leagues,
PhD Thesis (PRODEI), FEUP, (Sup: L.P.Reis), maio 2012
TD6.
Nuno Miguel da Costa Santos Fonseca,
Singing Voice Resynthesis using Concatenative-based Techniques, PRODEI),
FEUP, maio 2012, (Co-Sup: Ana Paula Rocha), maio 2012.
TD7.
Pedro
Manuel Henriques da Cunha Abreu, "Artificial
Intelligence Methodologies Applied in the Analysis and Optimization of Soccer
Teams Performance ", PhD Thesis (PRODEI), FEUP, (Sup: L.P.Reis), março 2011.
TD8.
Pedro Ricardo da Nova Valente,
Action Coordination and Resource Allocation against User Profiles, PhD at
Maersk Mc-Kinney Moller Institute, University of Southern Denmark, (Co-Sup:
L.P.Reis), agosto 2012.
TD9.
Raúl Ramos Pollan, “Improving multilayer
perceptron classifiers AUC performance. An approach in biomedical image analysis
for breast cancer CAD supported by eInfrastructures” PhD Thesis (ProDEI),
FEUP, (co-sup E. Oliveira), dezembro 2011.
TD10.
Daniel Cardoso
de Moura, "Three-Dimensional Biplanar
Reconstruction of the Scoliotic Spine for Standard Clinical Setup", PhD
Thesis (PRODEI), FEUP, (Sup: J.G. Barbosa), janeiro 2011.
-PUBLICAÇÕES (2011-12):
L1-L11:
Livros (1+10 eds pub.)
L1.
José C. B. Almeida, Maria J. Frade, Jorge S. Pinto,
Simão M. de Sousa.
Rigorous Software Development, An Introduction to Program Verification.
Series: Undergraduate Topics in Computer Science,
Springer.
1st Edition., 2011, XIII, 307 p.
L2.
J. L. Oliveira “Autonomous
Robot Dancing: A Customizable Robot Dancing Framework based on Multi-Modal
Events. LAP LAMBERT Academic Publishing, AV Akademikerverlag GmbH&Co. KG,
pp.1-144, 2012
L3.
V. Marík, P. Vrba, P. Leitão (eds) (2011), “Holonic and Multi-Agent
Systems for Manufacturing: Proceedings of the 5th International Conference on
Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011,
Toulouse, France, August 29-31, 2011”, Lecture Notes in Computer Science, Volume
6867, Springer.
L4.
Pedro M. Moreira, Luis Romero, Pedro Branco, Rui
Rodrigues, (eds) 2012. Atas do 20º Encontro Português de Computação Gráfica ed.
1, 1 vol., Viana do Castelo: IPVC
L5.
J.B. Pérez, J.M.C. Rodríguez, E. Adam, A. Ortega,
M.N. Moreno, E.Navarro, B. Hirsch, H. Lopes-Cardoso, V. Julián, M.A.Sánchez, P.
Mathieu (Eds.), Highlights on Practical
Applications of Agents and Multi-Agent Systems, Springer, Advances in
Intelligent and Soft Computing 156, 2012.
L6.
Sandra Alves, Ian Mackie (Eds.):
Proceedings 2nd International Workshop on
Linearity.
EPTCS 101, 2012.
L7.
Álvaro Rocha, Ramiro Gonçalves, Manuel Perez Cota and
Luís Paulo Reis (Eds.), Information Systems and Technology/Sistemas e
Tecnologias de Informação – Proceedings of the 6th Iberian Conference on
Information Systems and Technologies/Actas da 6ª Conferencia Ibérica de Sistemas
e Tecnologias de Informação, APPACDM, Chaves, June, 15-18, 2011, ISBN
978-989-96247-4-0 (ISI)
L8.
Luís Paulo Reis editor "RISTI -Iberian Journal on Information Systems and
Technology: Special Issue on Intelligent Systems and Decision Support Systems",
Vol 8., AISTI, December 2011 (SCOPUS)
L9.
Álvaro Rocha, J. Calvo-Manzano, Luis Paulo Reis and Manuel Perez Cota
(Eds) Information Systems and Technology/Sistemas e Tecnologias de
Informação – Proceedings of the 7th Iberian Conference on Information Systems
and Technologies, June 20-23, 2012, Madrid, ISBN: 978-989-96247-6-4 (ISI)
L10.
Álvaro Rocha, Luis Paulo Reis (eds), International Journal of Artificial
Intelligence and Interactive Media, Special Issue on Intelligent Systems and
Applications, Vol 1. Number 6,
ISSN: 1989-1660, September 2012
L11.
A. L. Godinho e J. Joaquim Moreira (eds), Atas do
LIC’12 – Lusófona International Congress: perspetives Internacionais, Dep. legal
nº351098/12, ISBN: 978-989-96040-1-8
CL1-CL16:
Capítulos de Livro (16 pub.):
CL1.
Bratukhin, Y. Landaburu, P. Leitão and R. Unland
(2011), “Industrial Agent Technology”, Handbook on Industrial Electronics 2nd
Edition, B. Wilamowski, J.D. Irwin (eds), chapter 16 of V. 2: Industrial
Communication Systems, CRC Press, Talyor & Francis Group, pp. 1-15.
(aceite Dezembro
2012):
CL2.
H. Lopes Cardoso, J. Urbano, A. P. Rocha, A. J. M.
Castro, E. Oliveira (2012).
“ANTE:
Agreement Negotiation in Normative and Trust-enabled Environments”, in S.
Ossowski (ed.), “Agreement Technologies”, Chpt. 32, Law, Governance and
Technology Series 8, Springer, pp. 547-562.
CL3.
J. Urbano, A. P. Rocha, E. Oliveira, “Extracting
Trustworthiness Tendencies Using the Frequency Increase Metric, Enterprise
Information Systems”, LNBIP, V. 73, Part 3, 208-221 Springer-Verlag 2011
CL4.
J. Urbano, A. P. Rocha, E. Oliveira, “Trust-Based
Selection of Partners”, C. Huemer and T. Setzer (Eds.): EC-Web 2011, LNBIP
V.85, pp. 221–232, Springer-Verlag 2011
CL5.
J. Urbano, Ana Paula Rocha, Eugénio Oliveira.
"Trust
Evaluation for Reliable Electronic Transactions between Business Partners",
in Agent-Based Technologies and Applications for Enterprise Interoperability,
(Eds.) Klaus Fisher, Jorg Muller, Renato Levy, Lecture Notes in Business
Information Processing, V.98, Springer,
pp.219-237.
CL6.
N. Fornara, H. Lopes Cardoso, P. Noriega, E.
Oliveira, C. Tampitsikas (2012).
“Modelling
Agent Institutions”, in S. Ossowski (ed.), “Agreement Technologies”, Chpt.
18, Law, Governance and Technology Series 8, Springerpp. 277-308.
CL7.
P. A. Rego,
P. M. Moreira, and L. P. Reis, "
New Forms of
Interaction in Serious Games for Rehabilitation." In Handbook of Research on
Serious Games as Educational, Business, and Research Tools: Development and
Design, ed.
Maria Manuela Cruz-Cunha, 1188 - 1211. ISBN: 9781466601505. Hershey, PA 17033,
USA: IGI Global.
CL8.
J. Nunes, P.M.Moreira, J.Tavares, 2011.
Simple and fast
shape based image retrieval. In
Computational Vision and Medical Image Processing: VipIMAGE 2011, ed. J. M. R.
S. Tavares and R. N. Jorge, 1 - 6. Boca Raton, FL, US: CRC Press.
CL9.
C.B.Santiago, A.Sousa,
L.P.Reis, M.L.Estriga, "Real Time Colour Based Player Tracking in Indoor
Sports", Computational Vision and Medical Image Processing, Computational
Methods in Applied Sciences, 2011, Volume 19, 17-35, (Springer)
CL10.
R. Falcone, C. Castelfranchi, H. Lopes Cardoso, A.
Jones, E. Oliveira (2012).
“Norms
and Trust”, in S. Ossowski (ed.), “Agreement Technologies”, Chpt. 15, Law,
Governance and Technology Series 8, Springer, pp. 221-232
CL11.
Vítor Rodrigues, João Pedro Pedroso,
Mário Florido, Simão Melo de Sousa.
Certifying Execution Time. (revised and
extended version). Post-event Proceedings for selected papers of FOPARA 2011.
LNCS vol. 7177 (p. 108-125), Springer.
CL12.
V. Vinhas, Eugénio Oliveira, Luís Paulo Reis,
BioStories: Dynamic
Multimedia Environments Based on Real-Time Audience Emotion Assessment,
Enterprise Information Systems, Lecture Notes in Business Information Processing
Volume: 73 Pages: 512-525, Springer
CL13.
P. Leitão and P. Vrba, “Recent Developments and Future Trends of
Industrial Agents”, V. Marík, P. Vrba, and P. Leitão (Eds.): HoloMAS 2011, LNAI
6867, Springer, Heidelberg, pp. 15-28, 2011
(book chapter).
CL14.
P. Leitão and N. Rodrigues, “Multi-Agent System for On-demand Production
Integrating Production and Quality Control”, V. Marík, P. Vrba, and P. Leitão
(Eds.): HoloMAS 2011, LNAI 6867, Springer, Heidelberg, pp. 84-93, 2011
(book chapter).
CL15.
Antonio J.M. Castro and Eugenio Oliveira.
"Airline
Operations Control: A New Concept for Operations Recovery", Airline
Industry: Strategies, Operations and Safety, Connor R. Walsh (Ed.), pp. 61-97,
Series: Transportation Infrastructure - Roads, Highways, Bridges, Airports and
Mass Transit, Nova Science Publishers, 2011 (book chapter)
CL16.
Joana Urbano, Ana Paula Rocha, Eugénio Oliveira (2013).
“Chap. 23: A Socio-Cognitive Perspective of Trust”, in S. Ossowski (ed.), Agreement Technologies, Law, Governance and Technology Series,
Volume 8, Springer, ISBN 978-94-007-5582-6, pp. 419-429.
Revistas
Científicas Internacionais (45 pub., 7 aceites):
R1-R33
Indexadas ISI (33):
R1.
A. Teixeira, A. Matos, A. Souto, and L. Antunes.
Entropy
Measures vs. Kolmogorov Complexity.
Entropy, V. 13, No. 3, pp 595-611.
R2.
A. Teixeira, A. Matos, L. Antunes, Conditional Rényi Entropies IEEE Trans.
on Information Theory, V. 58, Issue: 7
July 2012 pp 4273-4277
R3.
Rosaldo J. F. Rossetti, R. Liu, S. Tang, Guest Editorial: Special Issue on
Artificial Transportation Systems and Simulation. IEEE Trans. on Intelligent
Transportation Systems, V. 12, no. 2, June 2011. pp. 309-312.
R4.
Daniel C. Moura, J. Boisvert,
Jorge G. Barbosa, H. Labelle, João M. R. S. Tavares, “Fast
3D reconstruction of the spine from biplanar radiographs using a deformable
articulated model”, Medical Engineering & Physics, V.33 nº 8, pp.924-933,
2011
R5.
P. Leitão, J.M. Mendes, A. Bepperling, D. Cachapa, A.W. Colombo, and F.
Restivo, “Integration of Virtual and Real Environments
for Engineering Service-oriented Manufacturing Systems”, J. of Intelligent
Manufacturing, V. 23, n. 6, pp. 2551-2563, 2012.
R6.
P. Leitão, J. Barbosa, D. Trentesaux, “Bio-inspired
Multi-Agent Systems for Re-configurable Manufacturing Systems”, Int. J. of
Engineering Applications of Artificial Intelligence, V. 25, n. 5, pp. 934-944,
2012, Elsevier.
R7.
P. Leitão, J.M. Mendes, A. W. Colombo and F. Restivo, “High-Level
Petri Nets for the Process Description and Control in Service-oriented
Manufacturing Systems”, Int. J. of Production Research, V. 50, n. 6, pp.
1650-1665, 2012.
R8.
P. Leitão, “A Holonic Disturbance Management
Architecture for Flexible Manufacturing Systems”, Int. J. of Production
Research, V. 49, n. 5, 2011, pp 1269-1284.
R9.
Holzapfel,A., Davis,M.E.P., Zapata, J.R., Oliveira, J.L., Guyon, F.,
Selecting Sampling for Beat Tracking Evaluation. IEEE Trans. on Audio Speech
and Language Processing , V.20, n.9, pp.2539-2548, 2012
R10.
J. Urbano, Henrique L. Cardoso, Ana Paula Rocha,
Eugénio Oliveira (2012).
“Trust
and Normative Control in Multi-Agent Systems”, Advances in Distributed
Computing and Artificial Intelligence J., V. I, No. 1, July 2012, pp. 43-52.
R11.
Raúl Ramos-Pollán, Miguel Ángel Guevara-López,
Eugénio Oliveira.
"A Software Framework for Building Biomedical Machine Learning Classifiers
through Grid Computing Resources", J Med Syst, (13 pages), Springer
R12.
António J. M. Castro, Eugénio Oliveira, “A
New Concept for Disruption Management in Airline Operations Control”, J. of
Aerospace Engineering, Proceedings Institution of Mechanical Engineers, Part G,
V.225 nº 3, pp.269-290, 2011.
R13.
António Porto (2011): A Structured
alternative to Prolog with simple compositional semantics. Theory and
Practice of Logic Programming, 27th Int'l. Conf. on Logic Programming (ICLP'11)
Special Issue 11(4-5), pp. 611-627.
R14.
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho, A feedback-based
decentralised coordination model for distributed open real-time systems, J. of
Systems and Software, V. 85, Issue 9, September 2012, Pages 2145-2159, ISSN
0164-
R15.
Sandra Alves, Maribel Fernández, Mário Florido and
Ian Mackie.
Linearity: A Roadmap. Special issue on Linearity, J. of Logic and
Computation, Oxford University Press, 2012.
R17.
Moustafa JSE-S EH, de Smith AJ, C.L.J.M., Alves A.C. Novel Association
Approach for Variable Number Tandem Repeats (VNTRs) Identifies DOCK5 as a
Susceptibility Gene for Severe Obesity. Human Molecular Genetics, V.21 Issue: 16
Pages: 3727-3738
R18.
Paternoster L, Standl M, Chen CM, Ramasamy A, Bønnelykke K, Duijts L,
Ferreira MA, Alves AC, Thyssen JP, Albrecht E 2011 Meta-analysis of genome-wide
association studies identifies three new risk loci for atopic dermatitis. Nature
genetics 44:187-192
R19.
Barrenäs F, Chavali S, Alves AC, Coin L, Jarvelin MR, Jörnsten R, Langston
MA, Ramasamy A, Rogers G, Wang H 2012 Highly interconnected genes in
disease-specific networks are enriched for disease-associated polymorphisms.
Genome Biology 13:R46
R20.
A. A. Taleizadeh, S. T. A. Niaki, N. Shafii, R. Meibodi, A. Jabbarzadeh, “A
particle swarm optimization approach for constraint joint single buyer-single
vendor inventory problem with changeable lead time and (r,Q) policy in supply
chain”, Int. J. of Advanced Manufacturing Technology, 2011, 51(9):1209-1223.
R21.
L.Mota, L.P.Reis and N.Lau,
Multi-robot
Coordination using Setplays in the Middle-size and Simulation Leagues,
Mechatronics, Vol. 21, Issue 2, pp. 434-444, March 2011, Elsevier, ISSN:
0957-4158, DOI: 10.1016/j.mechatronics.2010.05.005 ) (IF: 0.94; Q2)
R22.
R.A.M. Braga, M.Petry, L.P.Reis, A.P.Moreira, "IntellWheels:
A Modular Development Platform for Intelligent Wheelchairs". JRRD - Journal
of Rehabilitation Research and Development, ISSN: 0748-7711, Dec 2011, Vol. 48,
Issue 9, pp. 1061-1076. DOI:10.1682/JRRD.2010.08.0139 (IF: 1.71; Q1)
R23.
Pedro H. Abreu, J.Moura, Daniel C. Silva, Luís Paulo Reis, Júlio Garganta,
Performance Analysis in Soccer: a Cartesian Coordinates based Approach using
RoboCup Data, Soft Computing - A Fusion of Foundations, Methodologies and
Applications, Springer Verlag, Germany, Vol. 16, pp. 47–61, ISSN: 1432-7643,
January 2012 (IF: 1.51; SCImago Q2)
R24.
Pedro Abreu, João Moreira, Israel Costa, Daniel Castelão, João Moreira,
Luís Paulo Reis, Júlio Garganta,
Human
vs. Virtual Robotic Soccer: A Technical Analysis about Two Realities,
European Journal of Sport Science, Taylor & Francis, Vol. 12, Issue 1, pp.26-35,
January 2012, ISSN: 1746-1391 (IF: 0.89; SCImago Q2).
R25.
João Lobato Oliveira, Luiz Naveda, Fabien Gouyon,
Luís Paulo Reis, Paulo Sousa, Marc Leman.
A
Parameterizable Spatiotemporal Representation of Popular Dance Styles for
Humanoid Dancing Characters. Special Issue on Music Content Processing by
and for Robots, EURASIP Journal on Audio, Speech, and Music Processing, Hindawi
Publishing Corporation, USA, ISSN: 1687-4714, 1687-4722 (IF: 0.34; SCImago Q3),
2012
R26.
Catarina B.; Santiago, João L. Oliveira, Luis Paulo Reis,
Overcoming Motor-Rate Limitations in Online Synchronized Robot Dancing,
International Journal of Computational Intelligence Systems, Vol. 5, Issue 4,
pp. 700-713, August 2012.
R27.
João Lobato Oliveira, Matthew E. P. Davies, Fabien Gouyon, Luís Paulo
Reis: Beat Tracking for
Multiple Applications: A Multi-Agent System Architecture With State Recovery.
IEEE Transactions on Audio, Speech & Language Processing 20(10): 2696-2706
(2012)
R28.
Jorge G. Barbosa, B. Moreira, “Dynamic
scheduling of a batch of parallel task jobs on heterogeneous clusters “,
Parallel Computing, V.37 nº 8, pp.428-438, 2011
R29.
Jorge G. Barbosa, B. Figueiredo, N. Bettencourt, João M. R. S. Tavares, “Towards
automatic quantification of the epicardial fat in non-contrasted CT images”,
Computer Methods in Biomechanics and Biomedical Engineering, V.14 nº 10,
pp.905-914, 2011
R30.
B. M. Faria, S. Vasconcelos, L. P. Reis, N. Lau, “Evaluation
of Distinct Input Methods of an Intelligent Wheelchair in Simulated and Real
Environments: A Performance and Usability Study”. Assistive Technology: The
Official Journal of RESNA (Rehabilitation Engineering and Assistive Technology
Society of North America), USA, DOI: 10.1080/10400435.2012.723297 (In Press,
online, aceite Setembro 2012).
R31.
Catarina B. Santiago, Armando Sousa, Luis Paulo Reis,
Vision
system for tracking handball players using fuzzy color processing, Machine
Vision and Applications, Springer, (IF: 1.48), (In Press, online, aceite
Dezembro 2012).
R32.
Fernando Almeida, Pedro Henriques Abreu, Nuno Lau, Luís Paulo Reis,
An automatic approach
to extract goal plans from soccer simulated matches, Soft Computing - A
Fusion of Foundations, Methodologies and Applications, Springer, Germany, ISSN:
1432-7643, (IF: 1.51; SCImago Q2), (in Press, online, aceite Outubro 2012).
R33.
P. Leitão, V. Marik, P. Vrba, “Past, Present, and Future of Industrial
Agent”, in IEEE Trans. on Industrial Informatics (aceite 2012).
OR1-OR19:
Outras revistas internacionais (16 pub., 3 aceites):
OR1.
D. Perrotta, B. Ribeiro, Rosaldo J. F. Rossetti, João L. Afonso (2012) A
study on the potential of regenerative braking of electric buses as a function
of their itinerary. In Procedia - Social and Behavioral Sciences, V. 54, Pages
1156-1167.
OR2.
J. M. Mendes, F. Restivo, A. W. Colombo, P. Leitão, “Behaviour
and Integration of Service-oriented Automation and Production Devices at the
Shop-floor”, Int. J. of Computer Aided Engineering and Technology, V. 3,
nos. 3/4, Inderscience, 2011, pp. 281-291.
OR3.
D. Silva, Rodrigo A.M. Braga, Luís Paulo Reis,
Eugénio Oliveira.
"Designing a
Meta-Model for a Generic Robotic Agent System using GAIA Methodology".
Information Sciences, V. 195, pp. 190-210, Elsevier.
OR4.
Henrique L. Cardoso, Eugénio Oliveira (2011).
“Social
Control in a Normative Framework: An Adaptive Deterrence Approach”, Web
Intelligence and Agent Systems, IOS Press, V. 9, No. 4, July 2011, pp. 363-375.
OR6.
B. M. Faria, Luis Paulo Reis, N. Lau,
Knowledge
Discovery and Multimodal Inputs for Driving an Intelligent Wheelchair,
International Journal of Knowledge Discovery in Bioinformatics, IGI Global, Vol.
2, n. 4, pp 18-34, DOI: 10.4018/jkdb.2011100102, 2011
OR7.
Luis Paulo Reis, Romina Neves, Pedro Abreu, B. Monica
Faria, “Sistema
Inteligente para Auxílio na Seleção e Execução de Tarefas num Jogo Social”,
Computer Science and Engineering, Scientific and Academic Publishing (SAP), pp.
74-81, ISSN 2163-1484 DOI:10.5923/j.computer.20120001.10, October, 2012
OR8.
Rui Monteiro, Luis Paulo Reis, Antonio Correia
Pereira, Humanoid
Dynamic Controller, TELKOMNIKA - Indonesian Journal of Electrical
Engineering, Institute of Advanced Engineering and Science, Vol 10, No 8, 2012
OR9.
João Lobato Oliveira, Luis Paulo Reis, Brigida Monica
Faria, Fabien Gouyon,
An Empiric Evaluation of a RealTime Robot Dancing Framework based on MultiModal
Events, TELKOMNIKA - Indonesian Journal of Electrical Engineering, Institute
of Advanced Engineering and Science, Vol 10, No 8, 2012
OR10.
Alves AC, Li JV, Garcia-Perez I, Sands C, Barbas C, Holmes E, Ebbels TMD
2012 Characterization of data analysis methods for information recovery from
metabolic 1 H NMR spectra using artificial complex mixtures. Metabolomics:1-11
OR11.
Ivo J. P. M.
Timóteo , Miguel R. Araújo, Rosaldo J. F. Rossetti, Eugénio C. Oliveira, "Using
TraSMAPI for the Assessment of Multi-Agent Traffic Management Solutions". in
Progress in Artificial Intelligence, V. 1, Issue 2, pp 157-164, July 2012,
Springer.
OR12.
J. Urbano, Ana
Paula Rocha, Eugénio Oliveira, “Situation-Aware
Computational Trust Model for Selecting Partners”. N.T. Nguyen (Ed.),
Transactions on Computational Collective Intelligence V, LNCS 6910, pp. 84–105,
2011, Springer, 2011
OR13.
Célia T.
Gonçalves, Rui Camacho, Eugénio Oliveira, “BioTextRetriever:
A Tool to Retrieve Relevant Papers”, International Journal of Knowledge
Discovery in Bioinformatics, July-September 2011, V. 2, No. 3, pp.21-36, IGI
Publishers.
OR14.
Cunha, P., Moura,
D., & Barbosa, J. Pedicle detection in planar radiographs based on image
descriptors. Image Analysis and Recognition, 278-285, 2012
OR15.
N. Crabeel, B.
Campos Neves e B. Malheiro, "RemoteLabs Platform", International Journal of
On-line Engineering (iJOE), V. 8, N. 2, 13-18, 2012.
OR16.
A. A Taleizadeha,
S. T. Niaki, M. B. Aryanezhad, N. Shafii "A
hybrid method of fuzzy simulation and genetic algorithm to optimize constrained
inventory control systems with stochastic replenishments and fuzzy demand".
Information Sciences, 2012, 220: 425-441.
OR17.
L. Antunes, A.
Matos, A. Pinto, A. Souto, A. Teixeira, One-Way Functions Using Algorithmic and
Classical Information Theories , Theory of Computing Systems (Springer) V. 52,
Issue 1 pp 162-178 (aceite 2012)
OR18.
Ivo J. P. M.
Timóteo, Miguel R. Araújo, Rosaldo J. F. Rossetti, Eugénio C. Oliveira, "Using
TraSMAPI for the Assessment of Multi-Agent Traffic Management Solutions". J.
Progress in Artificial Intelligence, Springer-Verlag (aceite 2012)
OR19.
P. Bonatti, E.
Oliveira, J. Sabater-Mir, C. Sierra, F. Toni, “On the integration of trust with
negotiation, argumentation and semantics”, The Knowledge Engineering Review
(KER). (aceite em 2011).
RN1-RN2:
Revistas Nacionais (2 pub.):
RN1.
Luis Rei, Luís Paulo Reis and Nuno Lau, Optimizing a
Humanoid Robot Skill, Robotica - Automação Controlo Instrumentação,
Publindustria, Produção de Comunicação Lda, Issue 86, 1st Trimester, pp. 10-15,
2012, ISSN: 0874-901
RN2.
B.M.Faria, G.Castillo, N.Lau, Luis Paulo Reis, “Classification
of FC Portugal Robotic Soccer Formations: A Comparative Study of Machine
Learning Algorithms”, Robotica Magazine, n. 82, 1st Trimester, pp. 4-9,
2011, ISSN: 0874-9019
Artigos de
comunicações científicas internacionais (136 publicados):
C1-C74: Indexados ISI (pub. 74)
C1.
Boisvert, J., & Moura, D. C. Interactive 3D reconstruction of the spine
from radiographs using a statistical shape model and second-order cone
programming. In IEEE Engineering in Medicine and Biology Society, EMBC, 2011 pp.
5726-5729, 2011.
C2.
Jose Bacelar Almeida, Nelma Moreira, David Pereira,
et al. Partial Derivative Automata Formalized in Coq. (Eds.) Domaratzki, M;
Salomaa, K, Implementation and Application of Automata, Lecture Notes in
Computer Science V. 6482 Pages: 59-68,
2011
C3.
Pedro Brandão Silva, António Coelho, Rosaldo J. F.
Rossetti (2012) A Collaborative Environment for Urban Landscape Simulation.
In the
21st IEEE International Conference on Collaboration Technologies and
Infrastructures (WETICE), Toulouse, France, June 25-27, 2012.
C4.
João Ribeiro, João Emílio Almeida, Rosaldo J. F.
Rossetti, António Coelho, António Leça Coelho (2012)
Using Serious Games to Train Evacuation Behaviour.
In the 7th Iberian Conference on Information Systems
and Technologies (CISTI), Madrid, Spain, June 20-23, 2012.
C5.
Marco Paiva,
Marcelo Petry, Rosaldo J. F. Rossetti, "Using
Mobile Devices for Topological Inference of Indoor Environments". In
Proceedings of the 4th International Conference on Agents and Artificial
Intelligence (ICAART), Vilamoura, Algarve, Portugal, Feb. 6–8, 2012. p.427-432.
C6.
José Macedo, Manuel Soares, Ivo Timóteo, Rosaldo J. F. Rossetti (2012) An
Approach to Advisory-Based Traffic Control. In the 4th Workshop on Intelligent
Systems and Applications (WISA), 7th Iberian Conference on Information Systems
and Technologies (CISTI), Madrid, Spain, June 20-23, 2012.
C7.
Ivo J.P.M. Timóteo, Miguel R. Araújo, Rosaldo J.F. Rossetti, Eugénio C.
Oliveira (2011) Using TraSMAPI for Developing Multi-Agent Intelligent Traffic
Management Solutions. 9th International Conference on Practical Applications of
Agents and Multi-Agent Systems. Salamanca, Spain, April 6-8, 2011.
C8.
Lúcio S. Passos, Rosaldo J. F. Rossetti, Luis P. Reis (2011) Evaluation of
taxi services on airport terminal’s curbside for picking up passengers. In the
3rd Workshop on Intelligent Systems and Applications (WISA), 6th Iberian
Conference on Information Systems and Technologies (CISTI'11), Chaves, Portugal,
Jun. 15-18, 2011.
C9.
Passos, Lucio S.; Rossetti, Rosaldo J. F.; Gabriel, Joaquim
An Agent
Methodology for Processes, the Environment, and Services, 14th
International IEEE Conference on Intelligent Transportation Systems (ITSC),
Washington, DC Date: OCT 05-07, 2011 , Pages: 2124-2129 ,
2011
C10.
Bruno Aguiar, José Torres and Antonio J. M. Castro "Operational Problems
Recovery in Airlines – A Specialized Methodologies Approach". Progress in
Artificial Intelligence (LNAI7026), 15th Portuguese Conference on Artificial
Intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011, pp. 83-97, ISBN
978-3-642-24768-2
C11.
J. Barbosa, P. Leitão, E. Adam and D. Trentesaux, “Nervousness in Dynamic
Self-organized Holonic Multi-agent Systems”, Highlights on Pratical Applications
of Agents and Multi-agent Systems: Proceedings of the 10th International
Conference on Practical Applications of Agents and Multi-Agent Systems
(PAAMS’12), Salamanca, Spain, 28-30th March, Bajo Pérez, J., et al. (eds.),
Advances in Intelligent and Soft Computing, Springer, pp. 9-17, Springer, 2012.
C12.
J. Barbosa, P. Leitão, E. Adam, D. Trentesaux, “Self-organized Holonic
Manufacturing Systems Combining Adaptation and Performance Optimization”,
Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral
Conference on Computing, Electrical and Industrial Systems (DoCEIS 2012),
Camarinha-Matos, L., Shahamatnia, E., Nunes, G. (eds.), Costa da Caparica,
Lisbon, Portugal, 27-29 February, pp. 163-170, Springer, 2012.
C13.
A.W. Colombo, J.M. Mendes, P. Leitão, S. Karnouskos, “Service-oriented
SCADA and MES Supporting Petri nets based Orchestrated Automation Systems”,
Proceedings of the 38th Annual Conference of the IEEE Industrial Electronics
Society, Montreal, Canadá, 25-28 October, pp. 6148-6154, 2012.
C14.
L. Stroppa, N. Rodrigues, P. Leitão, N. Paone, “Quality Control Agents for
Adaptive Visual Inspection in Production Lines”, Proceedings of the 38th Annual
Conference of the IEEE Industrial Electronics Society, Montreal, Canadá, 25-28
October, pp. 4334-4339, 2012.
C15.
P. Leitão, N. Rodrigues, C. Turrin, A. Pagani, P. Petrali, “GRACE Ontology
Integrating Process and Quality Control”, Proceedings of the 38th Annual
Conference of the IEEE Industrial Electronics Society, Montreal, Canadá, 25-28
October, pp. 4328-4333, 2012.
C16.
A. Pereira, N. Rodrigues, P. Leitão, “Deployment of Multi-agent Systems
for Industrial Applications”, Proceedings of the 17th IEEE International
Conference on Emerging Technologies and Factory Automation (ETFA'2012), Kraków,
Poland, 17-21 September, 2012.
C17.
P. Leitão, N. Rodrigues, “Modelling
and Validating the Multi-agent System Behaviour for a Washing Machine Production
Line”, Proceedings of the IEEE International Symposium on Industrial
Electronics (ISIE´12), Hangzhou, China, 28-31 Maio, pp. 1203-1208, 2012.
C18.
I. Azevedo, D. Mota, D., C. V. Carvalho, E. Carrapatoso, L. P. Reis, The
Learning Design Education Today: Putting Pedagogical Content Knowledge into
Practice. In Proceedings of the 4th International Conference on Computer
Supported Education – CSEDU’12. pp. 344-347, April 16-18, Porto, Portugal,
SciTePress – Science and Technology Publications. (2012)
C19.
Luís Filipe Teófilo, Nuno Passos, Luís Paulo Reis,
Henrique Lopes Cardoso.
“Adapting
Strategies to Opponent Models in Incomplete Information Games: A Reinforcement
Learning Approach for Poker”. AIS 2012: Springer Lecture Notes in Computer
Science Volume 7326, 2012, pp 220-227
C20.
P. Castellini, C. Cristalli, M. Foehr, P. Leitão, N. Paone, I. Schjolberg,
J. Tjønnås, C. Turrin, T. Wagner, “Towards the Integration of Process and
Quality Control using Multi-agent Technology”, Proceedings of the 37th Annual
Conference of the IEEE Industrial Electronics Society, Melbourne, Australia,
7-10 November, pp. 374-379, 2011.
C21.
Jorge
Teixeira, Luís Sarmento and Eugénio Oliveira, "Semi-Automatic
Creation of a Reference News Corpus for Fine-Grained Multi-Label Scenarios".
3rd Workshop on Intelligent Systems and Applications - 5th Iberian Conference on
Information Systems and Technologies, pp 749-754, June 15-18, 2011, Chaves,
Portugal
C22.
Malheiro,
Benedita; Silva, Valter. 2011. "Multi-agent system for personalization of
location-based services", Trabalho apresentado em 6th Iberian Conference on
Information Systems and Technologies (CISTI), 2011, In Proceedings of the 6th
Iberian Conference on Information Systems and Technologies (CISTI), 2011, Ed. A.
Rocha et al., AISTI, 453-458, Vol. 1, ISBN 978-989-96247-5-7, Chaves, Portugal.
C23.
J. Barbosa, P. Leitão, D. Trentesaux, E. Adam, “Enhancing ADACOR with
Biology Insights Towards Reconfigurable Manufacturing Systems”, Proceedings of
the 37th Annual Conference of the IEEE Industrial Electronics Society,
Melbourne, Australia, 7-10 November, pp. 2665-2670, 2011.
C24.
J. M. Mendes, P. Leitão, A. W. Colombo, “Service-oriented Computing in
Manufacturing Automation: A SWOT Analysis”, Proceedings of the 9th IEEE
International Conference on Industrial Informatics (INDIN’11), Lisbon, Portugal,
26-29 July, pp. 346-351, 2011.
C25.
J. Barbosa, P. Leitão, “Simulation of Multi-agent Manufacturing Systems
using Agent-based Modelling Platforms”, Proceedings of the 9th IEEE
International Conference on Industrial Informatics (INDIN’11), Lisbon, Portugal,
26-29 July, pp. 477-482, 2011.
C26.
J. Barbosa, P. Leitão, A.I. Pereira, “Combining Adaptation and
Optimization in Bioinspired Multi-Agent Manufacturing Systems”, Proceedings of
the IEEE International Symposium on Industrial Electronics (ISIE’11), Gdansk,
Poland, 27-30 June, pp. 1773-1778, 2011.
C27.
Henrique Lopes Cardoso, Joana Urbano, Pedro Brandão,
Ana Paula Rocha and Eugénio Oliveira.
"ANTE:
Agreement Negotiation in Normative and Trust-Enabled Environments", in
Advances on Practical Applications of Agents and Multi-Agent Systems, Series:
Advances in Intelligent and Soft Computing, 2012, Volume 155/2012, 261-264.
C28.
A. Jorge Morais, Eugénio Oliveira and Alípio Mário
Jorge "A Multi-Agent Recommender System", in Proc.
International
Symposium on Distributed Computing and Artificial Intelligence, Salamanca.
C29.
Joana Urbano, Henrique Lopes Cardoso, Ana Paula Rocha
and Eugénio Oliveira.
"Trust
and Normative Control in Multi-agent Systems: An Empirical Study", in
Highlights on Practical Applications of Agents and Multi-Agent Systems, Series:
Advances in Intelligent and Soft Computing, 2012, V. 156/2012, 207-214.
C30.
I. Timóteo, M. Araújo, R. Rossetti, E. Oliveira. "Using TraSMAPI for
Developing Multi-Agent Intelligent Traffic Management Solutions", Advances in
Intelligent and Soft Computing, Eds: Demazeau Y; Pechoucek M; Corchado JM; et
al, V. 88 pp. 119-128
C31.
J. Urbano, A. P. Rocha, E. Oliveira, “Dynamic
Agents’ Behavior Model for Computational Trust”, Progress in Artificial
Intelligence , L. Antunes and H.S. Pinto (Eds.): EPIA 2011, LNAI V. 7026,
Springer, pp. 536–550, 2011
C32.
G. Laboreiro, L. Sarmento, E. Oliveira.
"
Identifying Automatic Posting Systems in Microblogs" Progress in Artificial
Intelligence , L. Antunes and H.S. Pinto (Eds.): EPIA 2011, LNAI V. 7026,
Springer, pp.634-648.
C33.
J. Teixeira, L. Sarmento, E. Oliveira, “A
Bootstrapping Approach for Training a NER with Conditional Random Fields”,
Progress in Artificial Intelligence , L. Antunes and H.S. Pinto (Eds.): EPIA
2011, LNAI V. 7026, Springer, pp. 664-678, (nominee for Best Paper Award)
C34.
Oliveira, J.L., ince,G., Nakamura,K. & Nakadai, K.,
Online Audio Beat
Tracking for a Dancing Robot in the presence of Ego-Motion Noise in a Real
Environment. In IEEE Int. Conf. on Robotics and Automation, pp.403-408,
StPaul, USA, 2012
C35.
Holzapfel,A., Davis,M.E.P., Zapata,
J.R., Oliveira, J.L., Guyon, F.,
On the
Automation Identification of Difficult examples for Beat Tracking: Towards
Building New Evaluation Datasets. IEEE Transactions on Acoustics, Speech and
Signal Processing, pp. 89-92, Kyoto, 2012
C36.
Zapata, J.R., Holzapfel,A., Davis,M.E.P., Oliveira, J.L. & Guyon, F.
Assigning Confidence Threshold on Automatic Beat Annotation in Large Datasets,
Int. Society for Music Information Retrieval Conf., pp.157-162, Porto, 2012
C37.
Jorge Coelho and Mário Florido.
Semantic
Verification in an Open Collaboration Scenario. Int.Conf. Future Information
Technology 2011. Communications in Computer and Information Science 185, pp
44-53, Springer Berlin Heidelberg 2011
C38.
Antonio J.
M. Castro, Ana Paula Rocha and Eugenio Oliveira "Towards
an Autonomous and Intelligent Airline Operations Control". Proceedings of
the 2012 15th IEEE Conference on Intelligent Transportation Systems (ITSC 2012),
Anchorage, USA, pp. 1429-1434.
C39.
Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin
Hammond:
Automatic amortised analysis of dynamic memory allocation for lazy functional
programs. ACM SIGPLAN International Conference on Functional Programming
(ICFP'12), Copenhagen, Denmark, September 2012. ACM Press (165-176).
C40.
Cláudio Amaral, Mário Florido, Patrik Jansson:
Interfacing dynamically typed languages
and the why tool: reasoning about lists and tuples. Proceedings of the 10th
ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 2011. ACM Press (92-93).
C41.
Vitor Rodrigues, Mário Florido, Simão Melo de Sousa: A Functional Approach
to Worst-Case Execution Time Analysis. Functional and Constraint Logic
Programming - 20th International Workshop (WFLP 2011) Odense, Denmark, July
19th, 2011. LNCS Spinger-Verlag (86-103).
C42.
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and
recursion in a typed Lambda-calculus. Proceedings of the 13th International ACM
SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP
2011), July 2011, Odense, Denmark. ACM Press (173-182).
C43.
A.S.Pinto, A.Pronobis, L.P. Reis, "Novelty detection using graphical
models for semantic room classification", (2011) Lecture Notes in Computer
Science, 7026 LNAI, pp. 326-339. (Springer)
C44.
Luís
Filipe Teófilo, Pedro Brandão Silva.
“Integrating
simple recommendation systems on Digital TV Widget applications”.
Proceedings of the 6th Iberian Conference on Information Systems
and Technologies, 2011, pp 264-269
C45.
Abdolmaleki, M.Movahedi, S.Salehi, N.Lau, L.P.Reis, "A reinforcement
learning based method for optimizing the process of decision making in fire
brigade agents", (2011) Lecture Notes in Computer Science, 7026 LNAI, pp.
340-351. (Springer)
C46.
B. M. Faria, “Data
Analysis of Three Procedures for Constructing Semicondutors: Mold, Solder Ball
and Singulation”, CISTI 2011, Proceedings of the 6th Iberian Conference on
Information Systems and Technologies, CISTI 2011, pp 509 - 514, 15-18 Junho,
2011, Chaves, (IEEE) (2011)
C47.
C.B. Santiago, L.P.Reis, R.Rossetti, A.Sousa, "Foundations for creating a
handball sport simulator", (2011) Proceedings of the 6th Iberian Conference on
Information Systems and Technologies, CISTI 2011, art. no. 5974357. (IEEE)
C48.
C.B.Santiago, J.L.Oliveira, L.P.Reis, A.Sousa, "Autonomous
robot dancing synchronized to musical rhythmic stimuli", (2011) Proceedings
of the 6th Iberian Conference on Information Systems and Technologies, CISTI
2011, art. no. 5974339. (IEEE)
C49.
D. Mota, C. Vaz De Carvalho, L.P.Reis, "Fostering
collaborative work between educators in higher education", (2011) Conference
Proceedings - IEEE International Conference on Systems, Man and Cybernetics, –
SMC'11, October 9-12, Anchorage, Alaska, EUA, 2011, pp.1286-1291, art. no.
6083837, (IEEE) (2011)
C50.
D.Mota, C.Vaz de Carvalho, L.P.Reis, "A
conceptual model for collaborative learning activities design", 2011 IEEE
Global Engineering Education Conference, EDUCON 2011, art. no. 5773274, pp.
1026-1031. (IEEE) (2011)
C51.
E.Domingues, N.Lau, B.Pimentel, N.Shafii, L.P.Reis, A.J.R.Neves, "Humanoid
behaviors: From simulation to a real robot" (2011) Lecture Notes in Computer
Science, 7026 LNAI, pp. 352-364. (Springer)
C52.
I.P. dos Reis, L.P.Reis, "Generic interface for developing abstract
strategy games", (2011) Proceedings of the 6th Iberian Conference on Information
Systems and Technologies, CISTI 2011, art. no. 5974332. (IEEE)
C53.
J.A. Ramos, L.P.Reis, D.Pedrosa, "Solving heterogeneous fleet multiple
depot vehicle scheduling problem as an asymmetric traveling salesman problem",
(2011) Lecture Notes in Computer Science, 7026 LNAI, pp. 98-109. (Springer)
C54.
J.Xavier, P.H.Abreu, L.P.Reis, M.Petry, "Location
and automatic trajectory calculation of mobile objects using radio frequency
identification" (2011) Proceedings of the 6th Iberian Conference on
Information Systems and Technologies, CISTI 2011, art. no. 5974245. (IEEE)
C55.
L.F. Teófilo, L.P.Reis, "Building
a no limit Texas hold'em poker agent based on game logs using supervised
learning", (2011) Lecture Notes in Computer Science, 6752 LNAI, pp. 73-82.
(Springer)
C56.
L.F.Teófilo, L.P. Reis, "HoldemML:
A framework to generate No Limit Hold'em Poker agents from human player
strategies", (2011) Proceedings of the 6th Iberian Conference on Information
Systems and Technologies, CISTI 2011, art. no. 5974356. (IEEE)
C57.
L.Sanchez Passos, R.J.F.Rossetti, L.P.Reis, "Evaluation of taxi services
on airport terminal's curbside for picking up passengers", (2011) Proceedings of
the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011,
art. no. 5974358. (IEEE)
C58.
N.Shafii, L.P.Reis, N.Lau, "Biped
walking using coronal and sagittal movements based on truncated Fourier series",
(2011) Lecture Notes in Computer Science, 6556 LNAI, pp. 324-335. (Springer)
C59.
N.Shafii, L.P.Reis, R.J.F.Rossetti, "Two
humanoid simulators: Comparison and synthesis", (2011) Proceedings of the
6th Iberian Conference on Information Systems and Technologies, CISTI 2011, art.
no. 5974352. (IEEE)
C60.
P.A.Rego, P.M.Moreira, L.P.Reis, "Natural
user interfaces in serious games for rehabilitation", (2011) Proceedings of
the 6th Iberian Conference on Information, Systems and Technologies, CISTI 2011,
art. no. 5974331. (IEEE)
C61.
P.Abreu, I.Costa, D.Castelão, L.P.Reis, J.Garganta, "Human
vs. robotic soccer: How far are they? A statistical comparison", (2011)
Lecture Notes in Computer Science, 6556 LNAI, pp. 242-253. (Springer)
C62.
P.Martins, L.P.Reis, L.Teófilo, "Poker
vision: Playing cards and chips identification based on image processing",
(2011) Lecture Notes in Computer Science, 6669 LNCS, pp. 436-443. (Springer)
C63.
P.Sousa, J.L. Oliveira, L.P.Reis, F.Gouyon, "Humanized
robot dancing: Humanoid motion retargeting based in a metrical representation of
human dance styles", (2011) Lecture Notes in Computer Science, 7026 LNAI,
pp. 392-406. (Springer)
C64.
R. Ferreira, R., L.P. Reis, A.P.Moreira, (2012).
Omnidirectional Kick for a Humanoid Robot. in
Rocha, A., et al (eds) CISTI 2012, Sistemas Y Tecnologias De Informacion,
Vols 1 and 2, pp. 235-240 (IEEE)
C65.
L. Mendes, A. R. Dores, P. A. Rego, P. M. Moreira, F.
Barbosa, L.P.Reis, et al.
(2012).
Virtual Centre for the
Rehabilitation of Road Accident Victims (VICERAVI).
CISTI 2012, Sistemas Y Tecnologias De Informacion,
Vols 1 and 2, pp. 817-822 (IEEE)
C66.
R. Neves, L. P. Reis, P. Abreu, B.M.Faria (2012).
Implementation of a Multiagent System for Assistance in Management Tasks in
Farmville.
CISTI
2012, Sistemas Y Tecnologias De Informacion, Vols 1 and 2, pp. 409-414 (IEEE)
C67.
J. Reis, A. Pereira, L.P. Reis (2012).
Bivalve's Growth Conditions
in Coastal Ecosystems: A Decision Tree based Analysis.
CISTI
2012, Sistemas Y Tecnologias De Informacion, Vols 1 and 2, pp. 162-168 (IEEE)
C68.
D. Sampaio, L.P.Reis, R.Rodrigues, (2012).
A Survey on Ambient
Intelligence Projects. CISTI 2012, Sistemas Y Tecnologias De Informacion,
Vols 1 and 2, pp. 905-910 (IEEE)
C69.
P. Trigueiros, F. Ribeiro, L.P.Reis, L., (2012).
A
comparison of machine learning algorithms applied to hand gesture recognition.
CISTI 2012 - Sistemas Y Tecnologias De Informacion, Vols 1 and 2, pp.
41-46(IEEE)
C70.
B. M. Faria; S. Vasconcelos, L. P. Reis, N. Lau, “A
Methodology for Creating Intelligent Wheelchair Users’ Profiles”, ICAART
2012 – International Conference on
Agents and Artificial Intelligence, pp. 171-179, 6-8 February, 2012, Algarve,
ISBN : 978-989-8425-95-9.
C71.
Luís Paulo Reis: Multi-robot Intelligence - Flexible Strategy for Robotic
Teams. ICAART 2012 – International Conference
on Agents and Artificial Intelligence, pp. (1) 2012: 5
C72.
Luis Cruz, Luís Paulo Reis, Nuno Lau, Armando Sousa:
Optimization Approach for the
Development of Humanoid Robots' Behaviors. IBERAMIA 2012: Springer, pp.
491-500
C73.
Rui Ferreira, Luís Paulo Reis, Antonio Paulo Moreira,
Nuno Lau: Development of an
Omnidirectional Kick for a NAO Humanoid Robot.
IBERAMIA 2012:
Springer, pp. 571-580
C74.
R. Neves, L. P. Reis, P. Abreu, B. M. Faria, “Implementação
de um Sistema Multiagente para o Farmville”, CISTI 2012, pp 409-414, 20-23 Junho,
2012, Madrid, ISBN: 978-989-96247-6-4.
OC1-OC62:
Outros artigos de comunicações internacionais (62 pub):
OC1.
David Pereira, Nelma Moreira, Simão Melo de Sousa.
A Decision Procedure for Regular
Expressions (In)Equivalence in Coq. Automation in Proof Assistants 2012,
TYPES-affiliated satellite workshop of ETAPS 2012. Sat 31 March - Sun 1 April,
Tallinn, Estonia 2012.
OC2.
David Pereira, Nelma Moreira, Simão Melo de Sousa.
Deciding Regular Expressions
(In)Equivalence in Coq. Proceedings of RAMiCS,'2012. LNCS volume 7560. Springer.
2012.
OC3.
André de Matos Pedro, Paul Crocker, Simão Melo de Sousa.
Learning stochastic timed automata from
sample executions. Proceedings of ISOLA'2012 - Greece - Crete - Heraklion- LNCS,
Springer, 2012.
OC4.
André de Matos Pedro, Paul Crocker, Simão Melo de Sousa.
T3S Tool – Learning stochastic discrete
event systems from sample executions. Tool Demo Session - Proceedings of
CIAA'2012. Porto, Portugal, 2012.
OC5.
Vítor Rodrigues, Mário Florido, Simão Melo de Sousa.
Compositional Timing Analysis on Multi-Core Architectures. 18th edition
of the SYNCHRON Workshop. November, 2011, Dammarie-les-Lys, France, 2011.
OC6.
Nuno
Gaspar, Vítor Gonçalves Rodrigues, Simão Melo de Sousa.
Certifying Execution Time. Foundational
and Practical Aspects of Resource Analysis.
FOPARA'2011, May 2011, Madrid Spain, 2011.
OC7.
Vítor Gonçalves Rodrigues, Mário Florido, Simão Melo de Sousa.
A Functional Approach to Worst-Case
Execution Time Analysis.
Functional and (Constraint) Logic Programming - WFLP'2011. July 2011, Odense,
Denmark, 2011.
OC8.
José
Carlos Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de
Sousa. Rigorous Software Development, An Introduction to Program Verification.
Series: Undergraduate Topics in Computer Science,
Springer. 1st Edition., 2011,
XIII, 307 p. 52 illus. ISBN:
978-0-85729-017-5.
OC9.
Simão Melo de Sousa. Outils et Techniques pour la verification formelle da la
plateforme Javacard.
Édition Universitaires Européenes.
February 2011. ISBN: 978-613-1-53931-2.
OC10.
Armando Matos, André Souto and Andreia Teixeira.
Distinguishing probability ensembles.
Computability in Europe 2011: Models of Computation in Context - Abstract and
Handout Booklet, St. Kliment Ohridski University Press, 2011
OC11.
Gonçalo Vasconcelos, Marcelo Petry, João Emílio Almeida, Rosaldo J. F. Rossetti,
António Leça Coelho (2012) Using UWB for
human trajectory extraction. In
the 24th European Modeling & Simulation Symposium, Vienna, Austria, September,
19-21, 2012.
OC12.
João Jacob,
Rosaldo J. F. Rossetti, António Coelho, Rui Rodrigues (2012) Towards the
implementation of a handball player agent framework. In the 24th European
Modeling & Simulation Symposium, Vienna, Austria, September, 19-21, 2012.
OC13.
João P.
Jorge, Zafeiris Kokkinogenis, Rosaldo J. F. Rossetti, Manuel A. P. Marques
(2012) Simulation of an Order Picking System in a Pharmaceutical Warehouse. In
the 4th International Conference on Advances in System Simulation (SIMUL 2012),
pp.107-112, Lisbon, Portugal.
OC14.
Joel
Gonçalves, Rosaldo J. F. Rossetti, Cristina Olaverri-Monreal (2012) IC-DEEP: A
serious games based application to assess the ergonomics of in-vehicle
information systems. In The 15th International IEEE Conference on Intelligent
Transportation Systems. pp. 1809-1814
OC15.
Luís
Filipe Teófilo, Rosaldo Rossetti, Luís Paulo Reis, Henrique Lopes Cardoso (2012)
A Simulation System to Support Computer Poker Research.
In the 13th International Workshop on
Multi-Agent Based Simulation (ABMS), 11th International Conference on Autonomous
Agents and Multiagent Systems (AAMAS), Valencia, Spain, June 4-5, 2012.
OC16.
João Emílio
Almeida, Zafeiris Kokkinogenis, Rosaldo J. F. Rossetti (2012)
NetLogo Implementation of an
Evacuation Scenario. In the 4th Workshop on Intelligent Systems and
Applications (WISA), 7th Iberian Conference on Information Systems and
Technologies (CISTI), Madrid, Spain, June 20-23, 2012.
OC17.
João
Ribeiro, João Emílio Almeida, Rosaldo J. F. Rossetti, António Coelho, António
Leça Coelho (2012) Towards a Serious Games
Evacuation Simulator. In the
26th European Conference on Modelling and Simulation (ECMS), Koblenz, Germany,
May 29-June 1, 2012.
OC18.
José L. F.
Pereira, Rosaldo J. F. Rossetti, "An Integrated Architecture for Autonomous
Vehicles Simulation". In Proceedings of the 27th ACM Symposium on Applied
Computing (ACM SAC), Riva del Garda, Italy, March 26-30, 2012. p.286-292.
OC19.
Marco
Antero Paiva, Marcelo Petry, Rosaldo J. F. Rossetti, "Topological
Inference Through Mobile Devices". In Proceedings of the 27th ACM Symposium
on Applied Computing (ACM SAC), Riva del Garda, Italy, March 26-30, 2012.
p.574-575.
OC20.
Lúcio S.
Passos, Zafeiris Kokkinogenis, Rosaldo J. F. Rossetti (2011) Towards the
next-generation traffic simulation tools: a first appraisal. In the 3rd Workshop
on Intelligent Systems and Applications (WISA), 6th Iberian Conference on
Information Systems and Technologies (CISTI'11), Chaves, Portugal, Jun. 15-18,
2011.
OC21.
António
Porto (2011): An Alternative High-level Approach to
Interaction with Databases. In Salvador Abreu & Dietmar Seipel, editors:
Applications of DeclarativeProgramming and Knowledge Management; 18th
International Conference, INAP2009; Évora, Portugal, November 2009; Revised
Selected Papers, Lecture Notes in Artificial Intelligence 6547, Springer, pp.
20-39, doi:0.1007/978-3-642-20589-7.
OC22.
Liliana Alexandre and Jorge Coelho.
A High Level Approach to Web Content
Verification. Advances in Computer Science, Engineering & Applications. Advances
in Intelligent and Soft Computing 166, pp. 755-764. Springer Berlin / Heidelberg
2012
OC23.
Liliana
Alexandre and Jorge Coelho, Filtering XML Content for Publication and
Presentation on the Web. Sixth IEEE International Conference on Digital
Information Management, pp 85-89 The University of Melbourne,Australia. IEEE
2011
OC24.
Vítor Rodrigues, Benny Akesson, Mário Florido, and Simão Melo de Sousa.
A Declarative Compositional Timing Analysis for Multicores Using the
Latency-Rate Abstraction. Fifteenth International Symposium on Practical Aspects
of Declarative Languages (PADL'13). 2013. Aceite para publicação.
OC25.
Vítor Rodrigues, João Pedro Pedroso, Mário Florido, and Simão Melo de Sousa.
Certifying Execution Time. Proc. of
the 2nd International Workshop on Foundational and Practical Aspects of Resource
Analysis (FOPARA'11). Springer-Verlag LNCS vol. 7177 (p. 108-125), 2011.
OC26.
Johan
Jeuring and Patrik Jansson and Cláudio Amaral.
Testing type class laws. In
Proceedings of the 2012 symposium on Haskell (Haskell'12)
OC27.
M. Foehr,
P. Leitao, T. Wagner, T. Jäger, A. Lüder, “Integrating Mechatronic Thinking and
Multi-agent Approaches”, Proceedings of the Workshop on Industrial Automation
Tool Integration for Engineering Project Automation (iATPA 2012), Kraków,
Poland, 17-21 September, 2012.
OC28.
M. Sáenz
Espinoza, J. Gonçalves, P. Leitão, J.L. González Sánchez, A. Herreros, “Inverse
Kinematics of a 10 DOF Modular Hyper-Redundant Robot Resorting to Exhaustive and
Error-Optimization Methods: A Comparative Study”, Proceedings of the
Brazilian Robotics Symposium and Latin American Robotics Symposium, Fortaleza,
Ceará, Brazil, 16-19 October, pp. 125-130, 2012 (DOI 10.1109/SBR-LARS.2012.28).
OC29.
J. Barbosa,
P. Leitão, “Enhancing Service-oriented Holonic
Multi-agent Systems with Self-organization”, Proceedings of the
International Conference on Industrial Engineering and System Management, Metz,
France, 25-27 May, pp. 1373-1381, 2011.
OC30.
Eugénio
Oliveira, "Software Agents: Can We Trust Them?". In Proceedings of IEEE 16th
International Conference on Intelligent Engineering Systems- INES2012, pp.15-20,
Lisbon, 2012.
OC31.
Eugénio
Oliveira (2012). "A Structured Environment to Facilitate Agreements", in S.
Ossowski, F. Toni, G. Vouros (eds), Proceedings of the First International
Conference on Agreement Technologies (AT 2012), CEUR Workshop Proceedings,
Vol-918, pp. 351-352, Dubrovnik, 2012.
OC32.
Patrícia Alves, Pedro Campos and Eugénio Oliveira.
"Modeling the Trustworthiness of a
Supplier Agent in a B2B Relationship", in Collaborative Networks in the Internet
of Services, IFIP Advances in Information and Communication Technology, 2012,
Volume 380/2012, pp. 675-686.
OC33.
Antonio J.
M. Castro, António Pereira, Leonardo Fraga, Ana Paula Rocha and Eugenio Oliveira
, "A
Negotiation Based Approach to Airline Operations Recovery". AITS@EPIA2011,
Artificial Intelligence in Transportation Systems Track at EPIA 2011, pp.
122-136, Lisbon, Portugal.
OC34.
Célia Talma Gonçalves, Rui Camacho, Eugénio Oliveira.
"From
Sequences to Papers: An Information Retrieval Exercices", in Proc. of
2nd Workshop on Biological
Data Mining and its Applications in Healthcare (BioDM 2011), colocated with 10th
IEEE International Conference on Data Mining (ICDM 2011), Vancouver, Canada.
OC35.
Rui
Sousa Silva, Gustavo Laboreiro, Luís Sarmento, Tim Grant, Eugénio Oliveira and
Belinda Maia.
"‘twazn
me!!! ;(’Automatic Authorship Analysis of Micro-Blogging Messages", R. Muñoz
et al. (Eds.): NLDB 2011, LNCS V. 6716, pp. 161–168, Springer 2011.
OC36.
N. Shafii,
A. Abdolmaleki, N. Lau, L. P. Reis (2012). "A
Robust Closed-loop Gait For Humanoid Clock-Turning", Proc. Workshop on
Optimality Principle and Adaptation in Humanoid Robotic Control in, conjunction
with the IROS 2012, IEEE-RSJ International Conference on Intelligent Robots and
Systems, Vilamoura, Portugal, pp. 27-41, 2012.
OC37.
Hamid
Arabnejad, Jorge G. Barbosa, "Performance
Evaluation of List Based Scheduling on Heterogeneous Systems". In Euro-Par
2011: Parallel Processing Workshops, volume 7155 of Lecture Notes in Computer
Science, pages 440–449, 2012
OC38.
Hamid
Arabnejad, Jorge G. Barbosa, "Fairness
resource sharing for dynamic workflow scheduling on heterogeneous systems".
In IEEE Parallel and Distributed Processing with Applications (ISPA),
pp.633-639, 2012
OC39.
Nuno
Fonseca, Anibal Ferreira, Ana Paula Rocha.
Concatenative
Singing Voice Resynthesis, 17th International Conference on Digital Signal
Processing, DSP 2011, Corfu, Greece, July 6-8, 2011.
OC40.
P. Nogueira,
L. Teófilo. 2012.
A Probabilistic Approach to Organic Component Detection in Leishmania Infected
Microscopy Images. 8th International Conference on Artificial Intelligence
Applications and Innovations. 27-30 September, 2012, Greece.
OC41.
P. Nogueira,
L. Teófilo. 2012.
Automatic Analysis of Leishmania Infected Microscopy Images via Gaussian Mixture
Models. SBIA-2012, the 21st Brazialian Symposium on Artificial Intelligence.
20-25 October, 2012, Curitiba, Brasil.
OC42.
Paula Carvalho, Luís Sarmento, Jorge Teixeira, Mário Silva (2011).
“Liars and Saviors in SentiCorpus-‐PT09:
A sentiment annotated corpus of user comments to political debates”, in the
Proceedings of the 49th Annual Meeting of the Association for Computational
Linguistics: Human Language Technologies, pp 564-‐568. June 19-‐24, 2011.
Portland, Oregon, USA.
OC43.
Sousa, Luís V.; Malheiro, Benedita; Foss, Jeremy.
2012. "Negotiation Platform for
Personalised Advertising", In Proceedings of Fifth International European
Conference on the Use of Modern Information and Communication Technologies,
Gent. Ed. Lieven de Strycker, Department of Engineering Technology of KAHO-SL,
361 373, ISBN 978-9-08-082554-3, Gent, Bélgica.
OC44.
Foss, Jeremy; Malheiro, Benedita; Burguillo, Juan C. 2012.
"Personalised placement in networked
video", In Proceedings of the 21st international Conference Companion on World
Wide Web (WWW 12 Companion). ACM, New York, NY, USA, 959-968.
OC45.
Foss, Jeremy; Malheiro, Benedita; Burguillo, Juan C. 2012.
"Personalisation of Networked Video", In
Adjunct Proceedings of the 10th European Interactive TV Conference (EuroITV
2012), iTV in Industry Track, 132, Berlim, Alemanha.
OC46.
Malheiro, Benedita; Foss, Jeremy; Burguillo, Juan C; Peleteiro, Ana; Mikic,
Fernando A. 2011. "Dynamic
Personalisation of Media Content", 6th International Workshop on Semantic Media
Adaptation and Personalization (SMAP), In 2011 Sixth International Workshop on
Semantic Media Adaptation and Personalization, Vigo, Spain, 2011
OC47.
Ramon Hermoso, Henrique Lopes Cardoso (2012).
“Dynamic
Discovery and Maintenance of Role-based Performance Standards”, in S.
Ossowski, F. Toni, G. Vouros (eds.), Proceedings of the First International
Conference on Agreement Technologies (AT 2012), CEUR Workshop Proceedings,
Vol-918, pp. 27-41, Dubrovnik, Croatia, October 15-16, 2012.
OC48.
J.P. Reis,
A. Pereira & L.P. Reis,
Coastal Ecosystems
Simulation: A Decision Tree Analysis for Bivalve’s Growth Conditions.
In: K.G. Troitzsch, M. Mohring and U. Lotzmann (eds), Proceedings of the 26rd
European Conference on Modelling and Simulation, pp.392-398, Koblenz, Alemanha,
29 maio - 1 junho 2012.
OC49.
L.F.Teófilo,
L.P. Reis, “Identifying
Player’s Strategies in No Limit Texas Hold’em Poker through the Analysis of
Individual Moves”, in CD Proceedings of
the 15th Portuguese Conference on Artificial Intelligence (EPIA 2011),
Lisbon, Portugal, October 2011
OC50.
L.Cruz,
L.P. Reis, L.Rei "Generic Optimization of Humanoid Robots' Behaviors" in CD
Proceedings of the 15th Portuguese
Conference on Artificial Intelligence (EPIA 2011), Lisbon, Portugal, October
2011
OC51.
I.P.Reis,
L.P. Reis, “Development of a Generic Interface System for Developing Abstract
Board Games”, in CD Proceedings of
the 15th Portuguese Conference on Artificial Intelligence (EPIA 2011), Lisbon,
Portugal, October 2011
OC52.
M.Petry,
A.P.Moreira, L.P.Reis, R.Rossetti, "Intelligent Wheelchair Simulation:
Requirements and Architectural Issues", in International Conference on Mobile
Robots and Competitions, Lisbon, Portugal, 6 April 2011
OC53.
N.Shafii,
L.P.Reis, N.Lau, L.Sanchez Passos, "Humanoid
Soccer Robot Motion Planning using GraphPlan" in International Conference on
Mobile Robots and Competitions, Lisbon, Portugal, 6 April 2011
OC54.
L.Rei,
L.P.Reis, N.Lau, "Optimizing a Humanoid Robot Skill" in International Conference
on Mobile Robots and Competitions, Lisbon, Portugal, 6 April 2011 (BEST PAPER
AWARD at the Conference)
OC55.
F.
Almeida, P.H. Abreu, N. Lau, N., & L.P.Reis (2012).
Automatic extraction of goal-scoring behaviors from soccer matches. IROS
2012 - IEEE International Conference on Intelligent Robots and Systems, pp.
849-856.
OC56.
J. L.
Oliveira, G. Ince, K. Nakamura, K.
Nakadai, H.G. Okuno, L.P. Reis, & F. Gouyon (2012).
An
active audition framework for auditory-driven HRI: Application to interactive
robot dancing. Paper presented at the Proceedings - IEEE International
Workshop on Robot and Human Interactive Communication, 1078-1085, Paris, France.
OC57.
J. L.
Oliveira, G. Ince, K. Nakamura, K.
Nakadai, H.G. Okuno, L.P. Reis, & F. Gouyon (2012).
Live assessment of beat tracking for robot audition. IROS 2012 - IEEE
International Conference on Intelligent Robots and Systems, pp. 992-997.
OC58.
Brígida
Mónica Faria, Luís Paulo Reis, Nuno Lau, “Cerebral
Palsy EEG signals Classification: Facial Expressions and Thoughts for Driving an
Intelligent Wheelchair”, IEEE International Conference on Data Mining 2012,
Biological Data Mining and its Applications in Healthcare Workshop, Bruxelas,
10-13 Dezembro, 2012. (Scopus)
OC59.
B. M. Faria,
L. Ferreira, L. P. Reis, N. Lau, M. Petry, J. C. Soares,
Manual Control for Driving an Intelligent Wheelchair: A Comparative Study of
Joystick Mapping Methods, IROS 2012, Progress, challenges and future
perspectives in navigation and manipulation assistance for robotic wheelchairs
workshop, IEEE/RSJ International Conference on Intelligent Robots and Systems
2012, Vila Moura, Algarve, 7-12 Outubro, 2012, ISBN: 978-972-8822-26-2
OC60.
A. Rocha,
J. Calvo-Manzano, L.P.Reis and M.P.Cota, Iberian Conference on Information
Systems and Technologies, CISTI: Prefacio, CISTI 2012, June 20-23, 2012, Madrid,
ISBN: 978-989-96247-6-4.
OC61.
Luís
Filipe Teófilo, Rosaldo Rossetti, Luís Paulo Reis, Henrique Lopes Cardoso.
“A
Simulation System to Support Computer Poker Research”. Proceedings of
MABS'12 - 13th International Workshop on Multi-Agent Based Simulation at AAMAS,
2012, pp 81-92
OC62.
Luis
Filipe Teofilo, Luis Paulo Reis, Henrique Lopes Cardoso, Dinis Felix, Rui Seca,
Joao Ferreria, Pedro Mendes, Nuno Cruz, Vitor Pereira, Nuno Passos.
“Computer
Poker Research at LIACC”. Proceedings of Computer Poker Symposium at AAAI,
2012.
CN1-CN24:
Artigos de comunicações científicas nacionais (pub. 24):
CN1.
Mário Pereira, Jean-Christophe Filliâtre
and Simão Melo de Sousa. ARMY: A
deductive verification platform for ARM programs using Why3.
INFORUM'2012. Caparica - Portugal.
September 2012. Best Student Paper. Submetido, aceite e apresententado em 2012.
CN2.
André de Matos Pedro, Maria João Frade, Ana Paula Martins and Simão Melo de
Sousa. Aprendizagem de processos semi-Markovianos generalizados: dos sistemas de
eventos discretos estocásticos aos testes e à verificação. INForum 2011. 8-9th
September 2011, Coimbra, Portugal. Submetido, aceite e apresententado em 2011.
CN3.
Vítor Rodrigues, Mário Florido and Simão Melo de Sousa.
Back Annotation in Action: from WCET
Analysis to Source Code Verification.
INForum 2011. 8-9th September 2011, Coimbra, Portugal. Submetido, aceite e
apresententado em 2011.
CN4.
Pedro Brandão Silva, Luís Filipe Teófilo, João Jacob, Tiago Fernandes.
“Imagine
City”. CD Proceedings of Videojogos 2011, 2011
CN5.
João E.
Almeida, Rosaldo J. F. Rossetti, António Leça Coelho (2011)
Crowd Simulation Modeling
Applied to Emergency and Evacuation Simulations using Multi-Agent Systems.In
the 6th Doctoral Symposium on Informatics Engineering, DSIE'11, Porto, Portugal,
Jan. 27-28, 2011.
CN6.
J. R.
Torres, A. Pereira & F. Vieira,
Ant Colony Optimization for the Crew Rescheduling Problem. In: Proceedings
of the 1st PhD. Students Conference in Electrical and Computer Engineering (StudECE
2012), Porto, Portugal, 28-29 junho 2012.
CN7.
Nuno
Fonseca, Anibal Ferreira, Ana Paula Rocha.
Re-síntese
Concatenativa de Voz Cantada, 3º Simpósio de Informática, inForum 2011,
Coimbra, Portugal, Setembro 8-9, 2011.
CN8.
Nunes, João; Moreira, Pedro M; Tavares, João M. 2012. "Human Motion Analysis
Tools", 20ºEPCG - 20º Encontro Português de Computação Gráfica , In Atas do 20º
EPCG - Encontro Português de Computação Gráfica , 2 pag.,
Viana do Castelo, Portugal.
CN9.
Cardoso, Nuno; Rocha, Fábio; Moreira, Pedro M. 2012. "Utilização de Objetos
Reais em Aplições de Realidade Aumentada para Dispositivos Móveis: Aplicação de
Advertainment", 20º EPCG - 20º Encontro Português de Computação Gráfica, In Atas
do 20º EPCG - Encontro Português de Computação Gráfica, 2 pag., Viana do Castelo,
Portugal.
CN10.
Luís Filipe
Teófilo. “Estimating
the Probability of Winning for Texas Hold’em Poker Agents”. Proceedings of
the Proceedings 6th Doctoral Symposium on Informatics Engineering, 2011, pp
129-140
CN11.
Felgueiras, Gilberto; Fonseca, João; Moreira, Pedro M. 2012. "Realidade
Aumentada para Caça ao Tesouro em Larga Escala", 20º EPCG - Encontro Português
de Computação Gráfica, In Atas do 20º EPCG - Encontro Português de Computação
Gráfica, 2 pag., Viana do Castelo, Portugal.
CN12.
João
E. Almeida, Rosaldo J. F. Rossetti, A.Leça Coelho (2012) mSPEED: Modelo de
Simulação Pedonal Em Emergência Dinâmico. In: Jornadas LNEC – Engenharia para a
Sociedade: investigação e desenvolvimento.
Lisboa, 18 – 20 de Junho, 2012 (pulicado)
CN13.
Telmo Adão, Luís Magalhães, Maximino Bessa, António Coelho, Augusto Sousa, Nuno Rodrigues,
Alexandrino Gonçalves, Roberto Rodrigues, Francisco Pereira, João Moura, and Luís
Paulo Reis. 2012.ERAS – An Ontology-Based Tool for the
Expeditious Reconstruction of Virtual Cultural Heritage Sites. In Atas do 20º
Encontro Português de Computação Gráfica (20EPCG). Instituto Politécnico de
Viana do Castelo, Viana do Castelo, Portugal, pp. 89-95.
ISBN 978-989-97491-5-3
CN14.
Ricardo Baptista, Roberto Rodrigues, António Coelho, Luís Paulo Reis, Augusto
Sousa, and Luís Magalhães. 2012. Extração de Informação de Texto Formal para a
Modelação Expedita de Edifícios Monumentais. In Atas do 20º Encontro Português
de Computação Gráfica (20EPCG). Instituto Politécnico de Viana do Castelo, Viana
do Castelo, Portugal, pp. 133-134.
ISBN 978-989-97491-5-3
CN15.
Pedro Brandão Neto, Ana Paula Rocha, Henrique Lopes Cardoso.
Arguing over Evidences
for Establishing Contracts. In: 15th Portuguese Conference on Artificial
Intelligence - EPIA'2011, 2011, Lisboa. p. 885-896.
CN16.
Liliana Alexandre and Jorge Coelho, XCentric-based Visual Approach to Web
Content Verification, 9ª XML: Aplicações e Tecnologias Associadas, Escola
Superior de Estudos Industriais e de Gestão, Vila do Conde, 1 e 2 de Julho 2011;
71-82 [Apresentado]
CN17.
Vítor Rodrigues, Mário Florido, and Simão
Melo de Sousa.
Back
annotation in action: From WCET analysis to source code verification.
Compilers, Programming Languages, Related Technologies and Applications
(CoRTA'11). 2011
CN18.
L.F.Teófilo,
L.P. Reis, “Identifying Player’s Strategies in No Limit Texas Hold’em Poker
through the Analysis of Individual Moves”, in CD Proceedings of
the 15th Portuguese Conference on Artificial Intelligence (EPIA 2011),
Lisbon, Portugal, October 2011
CN19.
L.Cruz,
L.P. Reis, L.Rei "Generic Optimization of Humanoid Robots' Behaviors" in CD
Proceedings of the 15th Portuguese
Conference on Artificial Intelligence (EPIA 2011), Lisbon, Portugal, October
2011
CN20.
I.P.Reis,
L.P. Reis, “Development of a Generic Interface System for Developing Abstract
Board Games”, in CD Proceedings of
the 15th Portuguese Conference on Artificial Intelligence (EPIA 2011), Lisbon,
Portugal, October 2011
CN21.
M.Petry,
A.P.Moreira, L.P.Reis, R.Rossetti, "Intelligent
Wheelchair Simulation: Requirements and Architectural Issues", in
International Conference on Mobile Robots and Competitions, Lisbon, Portugal, 6
April 2011
CN22.
N.Shafii,
L.P.Reis, N.Lau, L.Sanchez Passos, "Humanoid Soccer Robot Motion Planning using
GraphPlan" in International Conference on Mobile Robots and Competitions,
Lisbon, Portugal, 6 April 2011
CN23.
L.Rei,
L.P.Reis, N.Lau, "Optimizing a Humanoid Robot Skill" in International Conference
on Mobile Robots and Competitions, Lisbon, Portugal, 6 April 2011 (BEST PAPER
AWARD at the Conference)
CN24.
João
Emílio Almeida, Rosaldo J. F. Rossetti, António Leça Coelho,
Modelação e Simulação do
Comportamento Humano na Evacuação de Edifícios: NFPA-APSEI Fire & Security,
Estoril, 3 a 5 de Dezembro 2012
R1-R12: Relatórios (12 pub. ):
R1. André de Matos Pedro, Maria João Frade,Simão Melo de Sousa. Learning generalized semi-Markov processes: From stochastic discrete event systems to testing and verification , Technical Report DCC-2012-01, DCC-LIACC, Universidade do Porto, April, 2012.
R2. Nelma Moreira, David Pereira, Simão Melo de Sousa. Mechanization of an Algorithm for Deciding KAT Terms Equivalence , Technical Report DCC-2012-04, DCC - FC, Universidade do Porto, May, 2012.
R3. Sabine Broda, Nelma Moreira, Nuno Silva, Simão Melo de Sousa A Tool for Automatic Model Extraction of Ada/SPARK Programs (Part II) , Technical Report DCC-2011-02, DCC - FC, Universidade do Porto, October, 2011.
R4. Nelma Moreira, David Pereira, Simão Melo de Sousa Deciding Regular Expressions (In-) Equivalence in Coq , Technical Report DCC-2011-06, DCC - FC, Universidade do Porto, November, 2011
R5. Alexessander Alves, Relatorio cientifico do projecto europeu MultiMod (referente às actividades 2011), I.College, U.London.
R6. Alexessander Alves, Relatorio cientifico do projecto europeu MultiMod (referente às actividades 2012), I.College, U.London.
R7. Eugénio Oliveira, First Progress Report LIACC PEst-Project, Universidade do Porto, February, 2012
R8. Paula A. Rego, Serious Games for Health Rehabilitation, Thesis Research Plan Report, FEUP, Jul 2011
R9. Henrique Lopes Cardoso, “Open Normative Environments”, in G. Andrighetto, G. Governatori, P. Noriega and L. van der Torre (Eds.), Normative Multi-Agent Systems (Dagstuhl Seminar 12111), Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 38. 2012.
R10. Henrique Lopes Cardoso, Electronic Institutions with Normative Environments for Agent-based E-contracting, PhD Thesis, PRODEI Program, FEUP, 2011
R11. Pedro Abreu, Artificial Intelligence Methodologies Applied to the Analysis and Optimization of Soccer Teams’ Performance, Doutoramento em Engenharia Informática – FEUP, 2011
R12.
Daniel Castro Silva, “Cooperative Multi-Robot Missions: Development of a
Platform and a Specification Language”. Tese de Doutoramento. Faculdade de
Engenharia da Universidade do Porto, Dezembro de 2011
* Publicação repetida (mantida aqui por uma questão de uniformidade de numeração com o relatório enviado à FCT).