|
[1]
|
J. Silva, E. R. B. Marques, L. M. B. Lopes, and F. M. A. Silva, “Jay: A
software framework for prototyping and evaluating offloading applications in
hybrid edge clouds,” Software: Practice and Experience, Wiley,
pp. 1--19, April 2023.
(First published: 21 june 2023).
[ bib |
DOI |
pdf |
html ]
|
|
[2]
|
V. Silva, M. E. Silva, P. Ribeiro, and F. Silva, “Novel features for time
series analysis: a complex networks approach,” Data Mining and
Knowledge Discovery, Springer, vol. 36, pp. 1062--1101, March 2022.
[ bib |
DOI |
pdf |
html ]
|
|
[3]
|
J. Silva, E. R. B. Marques, L. Lopes, and F. Silva, “Energy-aware adaptive
offloading of soft real-time jobs in mobile edge clouds,” Journal of
Cloud Computing - Advances Systems and Applications, Springer, vol. 10 (1),
p. 21 pages, July 2021.
[ bib |
DOI |
pdf |
html ]
|
|
[4]
|
V. Silva, M. E. Silva, P. Ribeiro, and F. Silva, “Time Series Analysis via
Network Science: Concepts and Algorithms,” Wiley Interdisciplinary
Reviews: Data Mining and Knowledge Discovery, vol. 11, pp. 1--39, May 2021.
[ bib |
DOI |
pdf |
html ]
|
|
[5]
|
P. Ribeiro, P. Paredes, M. E. P. Silva, D. Aparício, and F. Silva, “A
Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network
Motifs and Graphlets,” ACM Computing Surveys, vol. 54, p. Article
No.: 28, March 2021.
[ bib |
DOI |
pdf |
html ]
|
|
[6]
|
R. Martins, M. E. Correia, L. Antunes, and F. Silva, “Iris: Secure reliable
live-streaming with opportunistic mobile edge cloud offloading,”
Future Generation Computer Systems, Elsevier, vol. 101, pp. 272--292,
December 2019.
[ bib |
DOI ]
|
|
[7]
|
J. Silva, D. Aparício, and F. Silva, “Feature-enriched author ranking in
incomplete networks,” Applied Network Science, Springer, vol. 4,
pp. 1--15, October 2019.
[ bib |
DOI |
html ]
|
|
[8]
|
D. Aparício, P. Ribeiro, T. Milenkovic, and F. Silva, “Temporal network
alignment via GoT-WAVE,” Bioinformatics, Oxford University Press,
vol. 35, pp. 3527--3529, September 2019.
[ bib |
DOI |
pdf ]
|
|
[9]
|
D. Aparício, P. Ribeiro, and F. Silva, “Graphlet-orbit Transitions
(GoT): A fingerprint for temporal network comparison,” PLoS One,
vol. 13, p. e0205497 (24), October 2018.
[ bib |
DOI ]
|
|
[10]
|
J. Silva, A. Aguiar, and F. Silva, “Parallel Asynchronous Strategies for the
Execution of Feature Selection Algorithms,” International Journal of
Parallel Programming, Springer, vol. 42, pp. 252--283, February 2018.
(published online since 9 Feb. 2017).
[ bib |
DOI ]
|
|
[11]
|
D. Aparicio, P. Ribeiro, and F. Silva, “Extending the Applicability of
Graphlets to Directed Networks,” IEEE/ACM Transactions on
Computational Biology and Bioinformatics, vol. 14, pp. 1302 -- 1315,
November 2017.
(to appear; published online since 28 June 2016.).
[ bib |
DOI |
html ]
|
|
[12]
|
S. Choobdar, P. Ribeiro, S. Parthasarathy, and F. Silva, “Dynamic Inference
of Social Roles in Information Cascades,” Journal of Data Mining and
Knowledge Discovery, Special issue ECMLPKDD 2015 journal track, Springer,
vol. 29, pp. 1152--1157, August 2015.
(published online Feb. 2015).
[ bib |
DOI |
html ]
|
|
[13]
|
P. Ribeiro and F. Silva, “G-Tries: a data structure for storing and finding
subgraphs,” Journal of Data Mining and Knowledge Discovery, Springer,
vol. 29, pp. 337--377, February 2014.
(published online Feb. 2013).
[ bib |
DOI |
pdf |
html ]
|
|
[14]
|
R. Lopes, V. S. Costa, and F. Silva, “A Design and Implementation of the
Extended Andorra Model,” Journal of Theory and Practice of Logic
Programming (TPLP), Cambridge University Press (available online since May
2011), vol. 12, pp. 319--360, May 2012.
[ bib |
DOI |
pdf |
html ]
|
|
[15]
|
P. Ribeiro, F. Silva, and L. Lopes, “Parallel Discovery of Network Motifs,”
Journal of Parallel and Distributed Computing, Elsevier, vol. 72,
pp. 144--154, February 2012.
[ bib |
DOI |
pdf ]
|
|
[16]
|
P. Ribeiro, J. Simonotto, M. Kaiser, and F. Silva, “Parallel calculation of
multi-electrode array correlation networks,” Journal of Neuroscience
Methods, Elsevier, vol. 184, pp. 357--364, November 2009.
[ bib |
DOI ]
|
|
[17]
|
N. A. Fonseca, A. Srinivasan, F. Silva, and R. Camacho, “Parallel ILP for
Distributed Memory Architectures,” Machine Learning Journal, vol. 74,
pp. 257--279, March 2009.
[ bib |
DOI |
pdf ]
|
|
[18]
|
N. A. Fonseca, V. S. Costa, R. Rocha, R. Camacho, and F. Silva, “Improving
the Efficiency of Inductive Logic Programming Systems,” Software -
Practice and Experience, Wiley, vol. 39, pp. 189--219, February 2009.
(Published online since Aug 19 2008).
[ bib |
DOI ]
|
|
[19]
|
R. Rocha, F. Silva, and V. S. Costa, “On Applying Or-Parallelism and Tabling
to Logic Programs,” Journal of Theory and Practice of Logic
Programming, vol. 5, pp. 161--205, January 2005.
[ bib |
DOI |
pdf ]
|
|
[20]
|
J. P. Leal and F. Silva, “Mooshak: a Web-based multi-site programming contest
system,” Software Practice & Experience, vol. 33, no. 6,
pp. 567--581, 2003.
[ bib |
DOI |
pdf ]
|
|
[21]
|
A. R. Figueira, H. Paulino, L. Lopes, and F. Silva, “Distributed Typed
Concurrent Objects: a Programming Language for Distributed Computations with
Mobile Resources,” Journal of Universal Computer Science, vol. 9,
no. 8, pp. 745--760, 2003.
[ bib |
DOI |
pdf ]
|
|
[22]
|
L. Lopes, V. T. Vasconcelos, and F. Silva, “Fine-Grained Multithreading with
Process Calculi,” IEEE Transactions on Computers, Special Issue on the
Parallel Architectures and Compilation Techniques Conference, vol. 50,
no. 8, pp. 852--862, 2001.
submission subject to further reviewing; revised and extended version of
paper in PACT'00).
[ bib |
DOI |
pdf ]
|
|
[23]
|
F. Silva and P. Watson, “Or-Parallel Prolog on a Distributed Memory
Architecture,” Journal of Logic Programming, vol. 43, pp. 173--186,
May 2000.
[ bib |
DOI |
pdf ]
|
|
[24]
|
V. Vasconcelos, L. Lopes, and F. Silva, “Distribution and Mobility with
Lexical Scoping in Process Calculi,” Electronic Notes in Theoretical
Computer Science, Elsevier Science, 16, No. 3, (Proceedings of the 3rd
International Workshop on High-Level Concurrent Languages, Uwe Nestmann and
Benjamin Pierce (Eds.), Nice, France, September), 1998.
[ bib |
DOI |
pdf ]
|
|
[25]
|
L. Lopes and F. Silva, “Thread- and Process-Based Implementations of the
pSystem Parallel Programming Environment,” Software Practice and
Experience, vol. 27, pp. 329--351, March 1997.
[ bib |
DOI |
pdf ]
|
|
[26]
|
M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: A Performance
Study of Two Or-Parallel Prolog Systems,” Computing Systems
Engineering Journal, Pergamon, vol. 6, no. 4/5, pp. 345--349, 1995.
[ bib |
pdf ]
|
|
[1]
|
J. Silva, E. R. B. Marques, L. Lopes, and F. Silva, “JAY: Adaptive
Computation Offloading for Hybrid Cloud Environments,” in 5th
International Conference on Fog and Mobile Edge Computing, (FMEC 2020),
pp. 172--179, IEEE, April 2020.
[ bib |
DOI |
html ]
|
|
[2]
|
J. Silva, D. Aparício, P. Ribeiro, and F. Silva, “FOCAS: Penalising
Friendly Citations to Improve Author Ranking,” in 35th ACM/SIGAPP
Symposium On Applied Computing (ACM-SAC 2020), pp. 1852--1860, ACM, March
2020.
[ bib |
DOI |
html ]
|
|
[3]
|
D. Aparício, J. Silva, P. Ribeiro, and F. Silva, “Finding dominant nodes
using graphlets,” in The 8th International Conference on Complex
Networks and Their Applications (Complex Networks 2019), pp. 77--89,
Springer, Studies in Computational Intelligence, Volume 881, December 2019.
[ bib |
DOI |
html ]
|
|
[4]
|
J. Silva, D. Aparício, and F. Silva, “OTARIOS: OpTimizing Author Ranking
with Insiders/Outsiders Subnetworks,” in The 7th International
Conference on Complex Networks and Their Applications (Complex Networks
2019), pp. 143--154, Springer, December 2018.
[ bib |
DOI |
html ]
|
|
[5]
|
J. Silva, P. Ribeiro, and F. Silva, “Hierarchical Expert Profiling using
Heterogeneous Information Networks,” in The 21st International
Conference on Discovery Science (DS 2018) , pp. 344--360, Springer, LNCS
11198, October 2018.
[ bib |
DOI |
html ]
|
|
[6]
|
J. Rodrigues, E. R. B. Marques, J. Silva, L. Lopes, and F. Silva, “Video
Dissemination in Untethered Edge-Clouds: a Case Study,” in 18th
IFIP WG 6.1 International Conference on Distributed Applications and
Interoperable Systems, (DAIS'2018), Madrid, Spain, pp. 137--152, Springer,
LNCS, June 2018.
[ bib |
DOI |
html ]
|
|
[7]
|
J. Rodrigues, E. R. B. Marques, L. Lopes, and F. Silva, “Towards a Middleware
for Mobile Edge-Cloud Applications,” in 2nd Workshop on Middleware
for Edge Clouds & Cloudlets , (MECC'17), Las Vegas, USA, pp. 1:1--1:6,
ACM, December 2017.
[ bib |
DOI |
html ]
|
|
[8]
|
P. M. P. Silva, J. Rodrigues, R. Martins, L. Lopes, and F. Silva, “Using
Edge-Clouds to Reduce Load on Traditional WiFi Infrastructure and Improve
Quality of Experience,” in 1st IEEE International Conference on Fog
and Edge Computing (ICFEC'2017), Madrid, Spain, IEEE, May 2017.
[ bib |
DOI |
pdf |
html ]
|
|
[9]
|
S. Choobdar, P. Ribeiro, and F. Silva, “Evolutionary Role Mining in Complex
Networks by Ensemble Clustering,” in 32nd ACM/SIGAPP Symposium On
Applied Computing (ACM-SAC), Social Network and Media Analysis Track,
Marrakech, Morocco, pp. 1053--1060 , ACM, April 2017.
[ bib |
DOI |
html ]
|
|
[10]
|
J. Silva and F. Silva, “Feature Extraction for the Author Name Disambiguation
Problem in a Bibliographic Database,” in 32nd ACM/SIGAPP Symposium On
Applied Computing (ACM-SAC), Data Mining Track, Marrakech, Morocco,
pp. 783--789, ACM, April 2017.
[ bib |
DOI |
html ]
|
|
[11]
|
J. Silva, D. Silva, E. Marques, L. Lopes, and F. Silva, “P3 Mobile:
Parallel Computing for Mobile Edge-Clouds,” in The 4th Workshop on
CrossCloud Infrastructures & Platforms, (CrossCloud'17), pp. 5:1--5:7, ACM,
April 2017.
[ bib |
DOI |
html ]
|
|
[12]
|
J. Rodrigues, J. Silva, R. Martins, L. Lopes, U. Drolia, P. Narasimhan, and
F. Silva, “Benchmarking Wireless Protocols for Feasibility in Supporting
Crowdsourced Mobile Computing,” in 16th IFIP WG 6.1 International
Conference on Distributed Applications and Interoperable Systems (DAIS 2016),
Crete, Greece, vol. 9687 of LNCS, pp. 96--108, Springer, 2016.
[ bib |
DOI ]
|
|
[13]
|
D. Aparício, P. Ribeiro, and F. Silva, “A Subgraph-Based Ranking System
for Professional Tennis Players,” in Studies in Computational
Intelligence, Proceedings of the 7th Workshop on Complex Networks (Complenet
2016), vol. 644, pp. 159--171, Springer, 2016.
[ bib |
DOI ]
|
|
[14]
|
J. Silva, A. Aguiar, and F. Silva, “A Parallel Computing Hybrid Approach for
Feature Selection,” in The 18th International Conference on
Computational Science and Engineering, Porto, Portugal, IEEE, October 2015.
[ bib ]
|
|
[15]
|
S. Choobdar, P. Ribeiro, and F. Silva, “Pairwise Structural Role Mining for
User Categorization in Information Cascades,” in The 2015 IEEE/ACM
International Conference on Advances in Social Networks Analysis and Mining
(ASONAM 2015), Paris, France, ACM, August 2015.
[ bib ]
|
|
[16]
|
S. Choobdar, P. Ribeiro, and F. Silva, “Discovering Weighted Motifs in Gene
co-expression Networks,” in 30th ACM/SIGAPP Symposium On Applied
Computing (ACM-SAC), Computational Biology and Bioinformatics Track,
Salamanca, Spain, pp. 10--17, ACM, April 2015.
[ bib |
DOI |
html ]
|
|
[17]
|
D. Aparício, P. Ribeiro, and F. Silva, “Parallel Subgraph Counting for
Multicore Architectures,” in 12th IEEE International Symposium on
Parallel and Distributed Processing and Applications (ISPA), Milan, Italy,
pp. 34--41, IEEE, August 2014.
[ bib |
DOI |
html ]
|
|
[18]
|
P. Ribeiro and F. Silva, “Discovering Colored Network Motifs,” in
Complex Networks V, 5th International Workshop on Complex Networks
(CompleNet), Bologna, Italy, vol. 549 of Studies in Computational
Intelligence, pp. 107--118, Springer, March 2014.
[ bib |
DOI ]
|
|
[19]
|
R. Martins, L. Lopes, F. Silva, and P. Narasimhan, “Stheno, a Real-Time
Fault-Tolerant P2P Middleware Platform for Light-Train Systems,” in
28th ACM Symposium On Applied Computing (ACM-SAC), Technical track on
Dependable and Adaptive Distributed Systems (DADS), Coimbra, Portugal,
pp. 431--438, ACM, March 2013.
[ bib ]
|
|
[20]
|
S. Choobdar, P. Ribeiro, and F. Silva, “Motif Mining in Weighted Networks,”
in IEEE ICDM 2012 Workshop on Data Mining in Networks (DaMNet 2012),
Brussels, Belgium, IEEE Xplorer, December 2012.
[ bib ]
|
|
[21]
|
S. Choobdar, P. Ribeiro, and F. Silva, “Event Detection in Evolving
Networks,” in 4th International Conference on Computational Aspects of
Social Networks (CASoN 2012), São Carlos, Brazil, IEEE Xplorer, November
2012.
[ bib ]
|
|
[22]
|
S. Choobdar, P. Ribeiro, S. Bugla, and F. Silva, “Co-authorship network
comparison across research fields using motifs,” in The 2012 IEEE/ACM
International Conference on Advances in Social Networks Analysis and Mining
(ASONAM 2012), IEEE Xplorer, August 2012.
[ bib ]
|
|
[23]
|
I. Dutra, R. Rocha, V. S. Costa, F. Silva, and J. ao Santos, “Scheduling
OR-parallelism in YapOr and ThOr on Multi-Core Machines,” in Workshop
on Multithreaded Architectures and Applications, MTAAP'2012, Shanghai, China
(L. DeRose, ed.), IEEE Xplorer, May 2012.
[ bib ]
|
|
[24]
|
P. Ribeiro and F. Silva, “Querying Subgraph Sets with G-Tries,” in 2nd
ACM SIGMOD Workshop on Databases and Social Networks (DBSocial 2012),
Scottsdale, Arizona, pp. 25--30, ACM Digital Library, May 2012.
(The DBSocial 2012 Best Paper Award.).
[ bib |
DOI ]
|
|
[25]
|
R. Vieira, R. Rocha, and F. Silva, “Or-Parallel Prolog Execution on
Multicores Based on Stack Splitting,” in 7th International Workshop on
Declarative Aspects and Applications of Multicore Programming, DAMP 2012,
Philadelphia, USA, pp. 1--10, ACM Digital Library, January 2012.
[ bib |
DOI ]
|
|
[26]
|
S. Choobdar, F. Silva, and P. Ribeiro, “Network Node Label Acquisition and
Tracking,” in 15th Portuguese Conference on Artificial Intelligence,
EPIA 2011, Lisbon, Portugal, pp. 418--430, Springer Verlag, LNAI 7026,
October 2011.
[ bib |
DOI ]
|
|
[27]
|
P. Ribeiro, F. Silva, and L. Lopes, “A parallel algorithm for counting
subgraphs in complex networks,” in Biomedical Engineering Systems and
Technologies, vol. 127, pp. 380--393, Springer, CCIS, 2011.
[ bib |
DOI ]
|
|
[28]
|
R. Martins, P. Narasimhan, L. Lopes, and F. Silva, “Lightweight
Fault-Tolerance for Peer-to-Peer Middleware,” in 29th IEEE Symposium
on Reliable Distributed Systems (SRDS '10), New Delhi, India, pp. 313--317,
IEEE Computer Society, November 2010.
[ bib |
DOI ]
|
|
[29]
|
P. Ribeiro and F. Silva, “Efficient Subgraph Frequency Estimation with
G-Tries,” in 10th International Workshop on Algorithms in
Bioinformatics (WABI'2010), Liverpool, UK, pp. 238--249, Springer Verlag,
LNBI 6293, September 2010.
[ bib |
html ]
|
|
[30]
|
P. Ribeiro, F. Silva, and L. Lopes, “Efficient Parallel Subgraph Counting
using G-Tries,” in 2010 IEEE International Conference on Cluster
Computing (Cluster 2010), Crete, Greece, pp. 217--226, IEEE CS Press,
September 2010.
[ bib |
DOI ]
|
|
[31]
|
P. Ribeiro and F. Silva, “G-Tries: an efficient data structure for
discovering network motifs,” in 25th ACM Symposium on Applied
Computing - Bioinformatics and Computational Systems Biology Track, Sierre,
Switzerland, pp. 1559 -- 1566, ACM Digital Library, March 2010.
[ bib |
DOI ]
|
|
[32]
|
P. Ribeiro, F. Silva, and M. Kaiser, “Strategies for Network Motifs
Discovery,” in 5th IEEE International Conference on e-Science
(e-Science 2009), Oxford, UK, pp. 80--87, IEEE Press, December 2009.
[ bib |
DOI ]
|
|
[33]
|
P. Pereira, F. Silva, and N. A. Fonseca, “BIORED - A Genetic Algorithm for
Pattern Detection in Biosequences,” in 2nd International Workshop on
Practical Applications of Computational Biology and Bioinformatics (IWPACBB
2008), vol. 49 of Advances in Soft Computing, pp. 156--165,
Springer-Verlag, October 2008.
[ bib |
DOI ]
|
|
[34]
|
R. Martins, L. Lopes, and F. Silva, “A peer-to-peer middleware platform for
fault-tolerant, qos, real-time computing,” in 2nd workshop on
Middleware-application interaction: affiliated with the DisCoTec federated
conferences 2008 (MAI '08). Oslo, Norway, pp. 1--6, ACM Digital Library,
2008.
[ bib |
DOI ]
|
|
[35]
|
N. Fonseca, F. Silva, and R. Camacho, “April - An Inductive Logic
Programming System,” in 10th European Conference on Logics in
Artificial Intelligence (JELIA06), Liverpool, England, pp. 481--484,
Springer-Verlag, LNCS 4160, September 2006.
[ bib |
DOI |
pdf ]
|
|
[36]
|
R. Rocha, R. Lopes, F. Silva, and V. S. Costa, “IMPACT: Innovative Models for
Prolog with Advanced Control and Tabling.,” in 21st International
Conference on Logic Programming (ICLP'2005), Sitges, Spain, pp. 416--417,
Springer-Verlag, LNCS 3668, October 2005.
[ bib |
DOI ]
|
|
[37]
|
R. Rocha, F. Silva, and V. S. Costa, “Dynamic Mixed-Strategy Evaluation of
Tabled Logic Programs,” in 21st International Conference on Logic
Programming (ICLP'2005), Sitges, Spain, pp. 250--264, Springer-Verlag, LNCS
3668, October 2005.
[ bib |
DOI ]
|
|
[38]
|
N. Fonseca, F. Silva, V. S. Costa, and R. Camacho, “A Pipelined Data-Parallel
Algorithm for ILP,” in IEEE International Conference on Cluster
Computing (Cluster 2005), Boston, USA, IEEE CS Press, September 2005.
[ bib |
DOI |
pdf ]
|
|
[39]
|
N. Fonseca, F. Silva, and R. Camacho, “Strategies to Parallelize ILP
Systems,” in 15th International Conference on Inductive Logic
Programming (ILP 2005), Bonn, Germany, vol. 3625 of LNCS,
pp. 136--153, Springer-Verlag, August 2005.
(Best Student Paper award).
[ bib |
DOI |
pdf ]
|
|
[40]
|
N. A. Fonseca, V. S. Costa, R. Camacho, and F. Silva, “On avoiding redundancy
in Inductive Logic Programming,” in Proceedings of the 14th
International Conference on Inductive Logic Programming (ILP 2004), Porto,
Portugal, vol. 3194 of LNAI, pp. 132--146, Springer-Verlag, September
2004.
[ bib |
pdf |
html ]
|
|
[41]
|
R. Rocha, F. Silva, and V. S. Costa, “Speculative Computations in Or-Parallel
Tabled Logic Programs,” in 20th International Conference on Logic
Programming, ICLP'2004, Saint-Malo, France, vol. 3132 of LNCS,
pp. 254--268, Springer-Verlag, September 2004.
[ bib |
pdf |
html ]
|
|
[42]
|
R. Rocha, F. Silva, and V. S. Costa, “Concurrent Table Accesses in Parallel
Tabled Logic Programs,” in 10th International Euro-Par Conference,
Euro-Par 2004, Pisa, Italy, vol. 3149 of LNCS, pp. 662--670,
Springer-Verlag, August/September 2004.
[ bib |
pdf |
html ]
|
|
[43]
|
R. Lopes, V. S. Costa, and F. Silva, “Prunning in the Extended Andorra
Model,” in 6th International Symposium on Practical Aspects of
Declarative Languages (PADL'2004), Dallas, USA, vol. 3057 of LNCS,
pp. 120--134, Springer-Verlag, June 2004.
[ bib |
pdf |
html ]
|
|
[44]
|
R. Lopes, V. S. Costa, and F. Silva, “Exploiting Parallelism in the Extended
Andorra Model,” in IASTED International Conference on Parallel and
Distributed Computing and Networks (PDCN 2004), Insbruck, Austria.
(A. Press, ed.), pp. 483--489, February 2004.
[ bib |
pdf ]
|
|
[45]
|
N. Fonseca, V. S. Costa, F. Silva, and R. Camacho, “Experimental Evaluation
of a Caching Technique for ILP,” in 11th Portuguese Conference on
Artificial Intelligence, EPIA 2003, Beja, Portugal, vol. 2902 of LNAI,
pp. 151--155, Springer-Verlag, December 2003.
[ bib |
pdf |
html ]
|
|
[46]
|
R. Lopes, V. S. Costa, and F. Silva, “On the BEAM Implementation,” in
11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja,
Portugal, vol. 2902 of LNAI, pp. 131--135, Springer-Verlag, December
2003.
[ bib |
pdf |
html ]
|
|
[47]
|
R. Rocha, F. Silva, and R. Martins, “YapDSS: an Or-Parallel Prolog System for
Scalable Beowulf Clusters,” in 11th Portuguese Conference on
Artificial Intelligence, EPIA 2003, Beja, Portugal, vol. 2902 of LNAI,
pp. 136--150, Springer-Verlag, December 2003.
[ bib |
pdf |
html ]
|
|
[48]
|
R. Lopes, V. S. Costa, and F. Silva, “On Deterministic Computations in teh
Extended Andorra Model,” in 19th International Conference on Logic
Programming (ICLP 2003), India, vol. 2916 of LNCS, pp. 407--421,
Springer-Verlag, December 2003.
[ bib |
pdf |
html ]
|
|
[49]
|
N. A. Fonseca, R. Rocha, R. Camacho, and F. Silva, “Efficient Data Structures
for Inductive Logic Programming,” in 13th International Conference on
Inductive Logic Programming, ILP'2003, Hungary, vol. 2835 of LNAI,
pp. 130--145, Springer-Verlag, September 2003.
[ bib |
pdf |
html ]
|
|
[50]
|
H. Paulino, P. Marques, L. Lopes, V. Vasconcelos, and F. Silva, “A
multi-threaded asynchronous language,” in 7th International Conference
on Parallel Computing Technologies, PaCT'03, Nizhni Novgorod, Russia,
vol. 2763 of LNCS, pp. 316--323, Springer-Verlag, August 2003.
[ bib |
pdf ]
|
|
[51]
|
H. Paulino, L. Lopes, and F. Silva, “Mob: A Scripting Language for Mobile
Agents based on a Process Calculus,” in International Conference on
Web Engineering (ICWE'2003), Oviedo, Spain, vol. 2722 of LNCS,
pp. 40--43, Springer-Verlag, July 2003.
[ bib |
pdf |
html ]
|
|
[52]
|
L. Oliveira, L. Lopes, and F. Silva, “P3 (Parallel Peer-to-Peer): an
Internet Parallel Programming Environment,” in Workshop on Web
Engineering and Peer-to-Peer Computing, part of Networking 2002, Italy,
vol. 2376 of LNCS, pp. 274--288, Springer-Verlag, May 2002.
[ bib |
pdf |
html ]
|
|
[53]
|
R. Rocha, F. Silva, and V. S. Costa, “Achieving Scalability in Parallel
Tabled Logic Programs,” in 16th International Parallel and Distributed
Processing Symposium (IPDPS'02), IEEE Computer Society, Fort Lauderdale,
Florida, USA, April 2002.
[ bib |
pdf |
html ]
|
|
[54]
|
N. Amado, J. ao Gama, and F. Silva, “Parallel Implementation of Decision Tree
Learning Algorithms,” in Proceedings of the 10th Portuguese Conference
on Artificial Intelligence (EPIA'2001), vol. 2258 of LNAI, pp. 6--13,
Springer-Verlag, December 2001.
[ bib |
pdf |
html ]
|
|
[55]
|
R. Rocha, F. Silva, and V. S. Costa, “On a Tabling Engine that can Exploit
Or-Parallelism,” in 17th International Conference on Logic Programming
(ICLP 2001), Cyprus, vol. 2237 of LNCS, pp. 43--58, Springer-Verlag,
November 2001.
[ bib |
pdf |
html ]
|
|
[56]
|
R. Lopes, V. S. Costa, and F. Silva, “A Novel Implementation of the Extended
Andorra Model,” in 3rd International Symposium on Practical Aspects of
Declarative Languages (PADL'2001), Las Vegas, vol. 1990 of LNCS,
pp. 199--213, Springer-Verlag, March 2001.
[ bib |
pdf |
html ]
|
|
[57]
|
L. Lopes, A. Figueira, F. Silva, and V. T. Vasconcelos, “A Concurrent
Programming Environment with Support for Distributed Computations and Code
Mobility,” in IEEE International Conference on Cluster Computing
(Cluster'2000), Saxony, Germany, pp. 297--306, IEEE Press, November 2000.
[ bib |
pdf |
html ]
|
|
[58]
|
L. Lopes, F. Silva, and V. T. Vasconcelos, “Fine Grained Multithreading with
Process Calculi,” in International Conference on Parallel
Architectures and Compilation Techniques (PACT'00), Philadelphia, USA,
pp. 217--226, IEEE Press, October 2000.
(Selected as one of the four best papers).
[ bib |
pdf |
html ]
|
|
[59]
|
V. S. Costa, R. Rocha, and F. Silva, “Novel Models for Or-Parallel Logic
Programs: a Performance Analysis,” in EuroPar'2000, Berlin, vol. 1900
of LNAI, pp. 744--753, Springer-Verlag, August 2000.
[ bib |
pdf |
html ]
|
|
[60]
|
F. Silva, H. Paulino, and L. Lopes, “Di_pSystem: a parallel Programming
System for Distributed Memory Architectures,” in Recent Advances in
Parallel Virtual Machines and Message Passing Interface (Proceedings of
EuroPVM/MPI'99), Barcelona, vol. 1697 of LNCS, pp. 525--532,
Springer-Verlag, September 1999.
[ bib |
pdf |
html ]
|
|
[61]
|
L. Lopes, F. Silva, and V. T. Vasconcelos, “A Virtual Machine for a Process
Calculus,” in Principles and Practice of Declarative Programming
(PPDP'99), Paris, vol. 1702 of LNCS, pp. 244--260, Springer-Verlag,
September 1999.
[ bib |
pdf |
html ]
|
|
[62]
|
R. Rocha, F. Silva, and V. S. Costa, “YapOr: an Or-Parallel Prolog System
Based on Environment Copying,” in 9th Portuguese Conference on
Artificial Intelligence (EPIA'99), Évora, Portugal, vol. 1695 of
LNAI, pp. 178--192, Springer-Verlag, September 1999.
[ bib |
pdf |
html ]
|
|
[63]
|
L. F. Castro, V. S. Costa, C. Geyer, F. Silva, P. K. Vargas, and M. E. Correia,
“DAOS -- Scalable And-Or Parallelism,” in EuroPar'99 Parallel
Processing (Topic 11 Parallel Programming: Models, Methods and Languages),
Toulouse, France, vol. 1685 of LNCS, pp. 899--908, Springer-Verlag,
August/September 1999.
[ bib |
pdf |
html ]
|
|
[64]
|
R. Rocha, F. Silva, and V. S. Costa, “Or-Parallelism within Tabling,” in
International Workshop on Practical Aspects of Declarative Languages
(PADL'99), San-Antonio, Texas, vol. 1551 of LNCS, pp. 137--151,
Springer-Verlag, January 1999.
[ bib |
pdf |
html ]
|
|
[65]
|
M. E. Correia, F. Silva, and V. S. Costa, “The SBA: Exploiting Orthogonality
in AND-OR Parallel Systems,” in International Logic Programming
Symposium (ILPS'97), Port Jefferson, Long Island, NY, pp. 117--131, The MIT
Press, October 1997.
[ bib |
pdf ]
|
|
[66]
|
L. M. B. Lopes and F. M. A. Silva, “Scheduling Algorithms Performance with
the pSystem Parallel Programming Environment,” in 1994 Parallel
Architectures and Languages Europe (PARLE'94), Athens, Greece, vol. 817 of
LNCS, pp. 827--830, Springer-Verlag, July 1994.
[ bib |
pdf |
html ]
|
|
[67]
|
F. M. A. Silva, “An Or-Parallel Prolog Execution Model for a Distributed
Shared Memory Machine,” in 6th Portuguese Conference on Artificial
Intelligence, Porto, Portugal, vol. 727 of LNAI, pp. 170--182,
Springer-Verlag, October 1993.
[ bib |
pdf |
html ]
|
|
[1]
|
R. Vieira, R. Rocha, and F. Silva, “On Comparing Alternative Splitting
Strategies for Or-Parallel Prolog Execution on Multicores,” in
Proceedings of the 12th Colloquium on Implementation of Constraint and LOgic
Programming Systems, CICLOPS'2012, (Budapest, Hungary), pp. 71--85,
September 2012.
[ bib ]
|
|
[2]
|
P. Ribeiro, F. Silva, and L. Lopes, “Parallel Calculations of Subgraph Census
in Biological Networks,” in 1st International Conference on
Bioinformatics, Valencia, Spain, January 2010.
[ bib ]
|
|
[3]
|
J. P. Leal and F. Silva, “Incremental Feedback in Competitive Learning,” in
ACM-ICPC 2nd Competitive Learning Symposium, Stockholm, Sweden, April
2009.
[ bib ]
|
|
[4]
|
J. P. Leal and F. Silva, “Using Mooshak as a Competitive Learning Tool,” in
ACM-ICPC 1st Competitive Learning Symposium, Banff, Canada, April 2008.
[ bib ]
|
|
[5]
|
P. Ribeiro, P. Pereira, L. Lopes, and F. Silva, “Plugging Computer Labs to
the Grid,” in Proceedings of the 1st Iberian GRID Infrastructure
Conference (IBERGRID'07), Santiago de Compostela, Spain, pp. 393 -- 396,
Fundación CESGA, May 2007.
[ bib ]
|
|
[6]
|
J. ao Paulo Magalhães, F. Silva, and L. Lopes, “P3fs: um Sistema de
Ficheiros Distribuído para uma Arquitectura P2P.,” in Actas da
6a. Conferência em Redes e Serviços de Comunicação (CRSC'2005),
Covilhã, Portugal, June 2005.
[ bib ]
|
|
[7]
|
R. Rocha, F. Silva, and V. S. Costa, “A Tabling Engine Designed to Support
Mixed-Strategy Evaluation,” in Proceedings of the CICLOPS'2003:
Colloquium on Implementation of Constraint and LOgic Programming Systems,
co-located with ICLP'2003, Mumbai, India, December 2003.
[ bib |
pdf ]
|
|
[8]
|
N. Amado, J. ao Gama, and F. Silva, “Exploiting Parallelism in Decision Tree
Induction,” in Proceedings of the Workshop on Parallel and Distributed
Computing for Machine Learning, co-located with ECML/PKDD'2003, Dubrovnik,
September 2003.
[ bib |
pdf ]
|
|
[9]
|
N. Fonseca, R. Camacho, and F. Silva, “A parallel ILP algorithm that
incorporates incremental batch learning,” in Proceedings of the
Workshop on Parallel and Distributed Computing for Machine Learning,
co-located with ECML/PKDD'2003, Dubrovnik, September 2003.
[ bib |
pdf ]
|
|
[10]
|
H. Paulino, L. Lopes, and F. Silva, “Mob: a scripting language for programming
web agents,” in 13th Workshop for PhD Students on Object-Oriented
Systems at ECOOP'2003, Darmstadt, Germany., July 2003.
SC: 4(1).
[ bib ]
|
|
[11]
|
A. R. Figueira, H. Paulino, L. Lopes, and F. Silva, “Distributed Typed
Concurrent Objects: a Programming Language for Distributed Computations with
Mobile Resources,” in Simpósio Brasileiro de Linguagens de
Programação, May 2003.
[ bib ]
|
|
[12]
|
J. P. Leal and F. Silva, “Managing Programming Contests with Mooshak,” in
Eunis, The 8th International Conference of European University
Information Systems, Porto, July 2002.
[ bib ]
|
|
[13]
|
M. Antunes, F. Silva, and M. E. Correia, “Metawebmin: Administração
centralizada de grupos de sistemas Unix,” in Actas da 4a.
Conferência sobre Redes de Computadores, Tecnologias e Aplicações
(CRC'2001), Covilhã, November 2001.
(Also available as Technical Report DCC-2001-10).
[ bib |
pdf ]
|
|
[14]
|
V. S. Costa, I. C. Dutra, F. França, M. Pereira, P. Vargas, C. Geyer,
J. Barbosa, C. Costa, P. Lima, F. Dargam, A. Branco, J. M. Filho, G. Gupta,
E. Pontelli, M. Correia, R. Lopes, R. Rocha, and F. Silva, “Towards
Effective Parallel Logic Programming,” in Proceedings of the Projects
Evaluation Workshop ProTeM-CC 2001, International Cooperation NSF/INRIA,
CNPq, Rio de Janeiro, Brazil (N. Prugner, P. Lima, and C. Costa, eds.),
pp. 243--265, October 2001.
[ bib |
pdf ]
|
|
[15]
|
R. Rocha, F. Silva, and V. S. Costa, “A Tabling Engine for the Yap Prolog
System,” in Proceedings of the 2000 APPIA-GULP-PRODE Joint Conference
on Declarative Programming (AGP'00), La Habana, Cuba, December 2000.
[ bib |
pdf ]
|
|
[16]
|
R. Rocha, F. Silva, and V. S. Costa, “YapTab: a Tabling Engine Designed to
Support Parallelism,” in Proceedings of the Workshop on Tabulation in
Parsing and Deduction (TAPD'00), Vigo, pp. 77--87, September 2000.
[ bib |
pdf ]
|
|
[17]
|
R. Lopes, F. Silva, V. S. Costa, and S. Abreu, “The RAINBOW: Towards a
Parallel BEAM,” in Proceedings of the 2000 Workshop on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages, part
of CL2000, London, pp. 38--54, July 2000.
[ bib |
pdf ]
|
|
[18]
|
A. Figueira, F. Silva, L. Lopes, and V. Vasconcelos, “DiTyCO: Concorrência
e Mobilidade de Código,” in Actas do 1o. Encontro Português de
Computação Móvel, Tomar, pp. 25--35, November 1999.
[ bib |
pdf ]
|
|
[19]
|
H. Paulino, F. Silva, and L. Lopes, “Um Modelo de Programação Paralela
Simples para Arquitecturas Distribuídas de Baixo-Custo,” in
Proceedings of the 11th Symposium on Computer Architecture and High
Performance Computing (SBAC-PAD'99), Natal, Brasil, pp. 121--126, September
1999.
[ bib |
pdf ]
|
|
[20]
|
H. Paulino, F. Silva, and L. Lopes, “di_pSystem: Um Ambiente de
Programação Paralela para Arquitecturas de Memória
Distribuída,” in Actas da 1a. Conferência sobre Redes de
Computadores, Coimbra, pp. 143--148, November 1998.
[ bib |
pdf ]
|
|
[21]
|
A. Figueira, F. Silva, L. Lopes, and V. Vasconcelos, “Um Ambiente para
Computações Distribuídas, Concorrência e Mobilidade de
Código,” in Actas da 1a. Conferência sobre Redes de Computadores,
Coimbra, pp. 139--142, November 1998.
[ bib |
pdf ]
|
|
[22]
|
R. Rocha, F. Silva, and V. S. Costa, “On Applying Or-Parallelism to Tabled
Evaluations,” in Proceedings of the International Workshop on Tabling
in Logic Programming, Leuven, pp. 33--45, July 1997.
[ bib |
pdf ]
|
|
[23]
|
V. S. Costa, M. E. Correia, and F. Silva, “Performance of Sparse Binding
Arrays for Or-Parallelism,” in Proceedings of the VIII SBAC-PAD,
Recife, Brasil, pp. 151--160, August 1996.
[ bib |
pdf ]
|
|
[24]
|
V. S. Costa, M. E. Correia, and F. Silva, “Sparse Binding Array Approach to
Parallelism in Logic Programs,” in Post-ILPS'95 Workshop on Parallel
Logic Programming Systems, Portland, Oregon, USA, December 1995.
[ bib |
pdf ]
|
|
[25]
|
M. E. Correia, V. S. Costa, and F. Silva, “Using Sparse Binding Arrays for
Or-parallelism,” in 3rd COMPULOG NET Workshop on Parallelism and
Implementation Technology, Utrecht, Holland, pp. 68--76, September 1995.
[ bib ]
|
|
[26]
|
V. S. Costa, M. E. Correia, and F. Silva, “Aurora, Andorra-I and Friends on
the Sun,” in Proceedings of the Post-ILPS'94 Workshop on Design and
Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA,
pp. 32--41, November 1994.
[ bib ]
|
|
[27]
|
V. S. Costa, M. E. Correia, and F. Silva, “Aurora and Friends on the Sun
(Extended Abstract),” in 2nd COMPULOG NET Workshop on Parallelism and
Implementation Technologies, Madrid,, September 1994.
[ bib ]
|
|
[28]
|
F. M. A. Silva and L. M. B. Lopes, “A Testbed Environment to Evaluate
Scheduling Algorithms,” in ANAIS do XIV Congresso da Sociedade
Brasileira de Computação (XXI SEMISH), Caxambu, Brasil, pp. 19--32,
August 1994.
[ bib |
pdf ]
|
|
[29]
|
F. Silva and L. B. Lopes, “pSystem: a Portable Parallel Programming System
for Shared-Memory Multiprocessor Computers Running UNIX,” in
Proceedings of 1st International Meeting on Vector and Parallel Processing,
Porto, Portugal, September 1993.
[ bib ]
|
|
[30]
|
M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: a Performance
Study of Two Or-Parallel Prolog Systems,” in Proceedings of 1st
International Meeting on Vector and Parallel Processing, Porto, September
1993.
[ bib ]
|
|
[31]
|
F. M. A. Silva, “Initial Performance of Dorpp: an Or-Parallel Prolog System
for a Distributed Shared Memory Architecture,” in Proceedings of the
ICLP'93 Postconference Workshop on Concurrent, Distributed and Parallel
Implementation of Logic Programming Systems, June 1993.
[ bib ]
|
|
[32]
|
M. Filgueiras, F. Silva, M. E. Pinto, and A. M. Pinheiro, “Menus Naturais,”
in Actas do 1o. Encontro Português de Inteligência Artificial,
Porto, October 1985.
[ bib ]
|
