Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

AuthID: I-000-0JZ
Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 2883

46 Team Members
Filters -> Year: 2026
1241
TITLE: Exploring Resampling with Neighborhood Bias on Imbalanced Regression Problems
AUTHORS: Paula Branco ; Luis Torgo ; Rita P Ribeiro ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 513-524
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1242
TITLE: Extending the Applicability of Graphlets to Directed Networks  Full Text
AUTHORS: Aparício, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2017, SOURCE: IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 14, ISSUE: 6, PAGES: 1302-1315
INDEXED IN: Scopus WOS DBLP CrossRef: 12
1243
TITLE: Feature extraction for the author name disambiguation problem in a bibliographic database
AUTHORS: Jorge M B Silva ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PAGES: 783-789
INDEXED IN: Scopus DBLP CrossRef: 8
1244
TITLE: Forest harvest scheduling with clearcut and core area constraints  Full Text
AUTHORS: Teresa Neto ; Miguel Constantino ; Isabel Martins ; Joao Pedro Pedroso ;
PUBLISHED: 2017, SOURCE: Joint International Meeting of 17th Conference of the Association-of-Latin-Iberoamerican-Operational-Research-Societies / 3rd Annual Conference of the Mexican-Operations-Research-Society (SMIO) in ANNALS OF OPERATIONS RESEARCH, VOLUME: 258, ISSUE: 2, PAGES: 453-478
INDEXED IN: Scopus WOS DBLP CrossRef: 6
1245
1246
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
INDEXED IN: Scopus WOS DBLP CrossRef: 48
1247
TITLE: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
INDEXED IN: WOS CrossRef: 1
1248
TITLE: Genetic effects on gene expression across human tissues  Full Text
AUTHORS: Francois Aguet; Andrew A Brown; Stephane E Castel; Joe R Davis; Yuan He; Brian Jo; Pejman Mohammadi; Yoson Park; Princy Parsana; Ayellet V Segre; Benjamin J Strober; Zachary Zappala; Beryl B Cummings; Ellen T Gelfand; Kane Hadley; Katherine H Huang; Monkol Lek; Xiao Li; Jared L Nedzel; Duyen Y Nguyen; Michael S Noble; Timothy J Sullivan; Taru Tukiainen; Daniel G MacArthur; Gad Getz; Nih Program Management; Anjene Addington; Ping Guan; Susan Koester; Roger R Little; Nicole C Lockhart; Helen M Moore; Abhi Rao; Jeffery P Struewing; Simona Volpi; Biospecimen Collection; Lori E Brigham; Richard Hasz; Marcus Hunter; Christopher Johns; Mark Johnson; Gene Kopen; William F Leinweber; John T Lonsdale; Alisa McDonald; Bernadette Mestichelli; Kevin Myer; Bryan Roe; Michael Salvatore; Saboor Shad; Jeffrey A Thomas; Gary Walters; Michael Washington; Joseph Wheeler; Jason Bridge; Barbara A Foster; Bryan M Gillard; Ellen Karasik; Rachna Kumar; Mark Miklos; Michael T Moser; Scott D Jewell; Robert G Montroy; Daniel C Rohrer; Dana Valley; Deborah C Mash; David A Davis; Leslie Sobin; Mary E Barcus; Philip A Branton; Eqtl Manuscript Working Grp; Nathan S Abell; Brunilda Balliu; Olivier Delaneau; Laure Fresard; Eric R Gamazon; Diego Garrido Martin; Ariel D H Gewirtz; Genna Gliner; Michael J Gloudemans; Buhm Han; Amy Z He; Farhad Hormozdiari; Xin Li; Boxiang Liu; Eun Yong Kang; Ian C McDowell; Halit Ongen; John J Palowitch; Christine B Peterson; Gerald Quon; Stephan Ripke; Ashis Saha; Andrey A Shabalin; Tyler C Shimko; Jae Hoon Sul; Nicole A Teran; Emily K Tsang; Hailei Zhang; Yi Hui Zhou; Carlos D Bustamante; Nancy J Cox; Roderic Guigo; Manolis Kellis; Mark I McCarthy; Donald F Conrad; Eleazar Eskin; Gen Li; Andrew B Nobel; Chiara Sabatti; Barbara E Stranger; Xiaoquan Wen; Fred A Wright; Kristin G Ardlie; Emmanouil T Dermitzakis; Tuuli Lappalainen; Alexis Battle; Christopher D Brown; Barbara E Engelhardt; Stephen B Montgomery; Francois Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; Daniel G MacArthur; Jared L Nedzel; Duyen T Nguyen; Michael S Noble; Ayellet V Segre; Casandra A Trowbridge; Taru Tukiainen; Nathan S Abell; Brunilda Balliu; Ruth Barshir; Omer Basha; Alexis Battle; Gireesh K Bogu; Andrew Brown; Christopher D Brown; Stephane E Castel; Lin S Chen; Colby Chiang; Donald F Conrad; Nancy J Cox; Farhan N Damani; Joe R Davis; Olivier Delaneau; Emmanouil T Dermitzakis; Barbara E Engelhardt; Eleazar Eskin; Pedro G Ferreira ; Laure Fresard; Eric R Gamazon; Diego Garrido Martin; Ariel D H Gewirtz; Genna Gliner; Michael J Gloudemans; Roderic Guigo; Ira M Hall; Buhm Han; Yuan He; Farhad Hormozdiari; Cedric Howald; Hae Kyung Im; Brian Jo; Eun Yong Kang; Yungil Kim; Sarah Kim Hellmuth; Tuuli Lappalainen; Gen Li; Xin Li; Boxiang Liu; Serghei Mangul; Mark I McCarthy; Ian C McDowell; Pejman Mohammadi; Jean Monlong; Stephen B Montgomery; Manuel Munoz Aguirre; Anne W Ndungu; Dan L Nicolae; Andrew B Nobel; Meritxell Oliva; Halit Ongen; John J Palowitch; Nikolaos Panousis; Panagiotis Papasaikas; Yoson Park; Princy Parsana; Anthony J Payne; Christine B Peterson; Jie Quan; Ferran Reverter; Chiara Sabatti; Ashis Saha; Michael Sammeth; Alexandra J Scott; Andrey A Shabalin; Reza Sodaei; Matthew Stephens; Barbara E Stranger; Benjamin J Strober; Jae Hoon Sul; Emily K Tsang; Sarah Urbut; Martijn Van De Bunt; Gao Wang; Xiaoquan Wen; Fred A Wright; Hualin S Xi; Esti Yeger Lotem; Zachary Zappala; Judith B Zaugg; Yi Hui Zhou; Joshua M Akey; Daniel Bates; Joanne Chan; Lin S Chen; Melina Claussnitzer; Kathryn Demanelis; Morgan Diegel; Jennifer A Doherty; Andrew P Feinberg; Marian S Fernando; Jessica Halow; Kasper D Hansen; Eric Haugen; Peter F Hickey; Lei Hou; Farzana Jasmine; Ruiqi Jian; Lihua Jiang; Audra Johnson; Rajinder Kaul; Manolis Kellis; Muhammad G Kibriya; Kristen Lee; Jin Billy Li; Qin Li; Xiao Li; Jessica Lin; Shin Lin; Sandra Linder; Caroline Linke; Yaping Liu; Matthew T Maurano; Benoit Molinie; Stephen B Montgomery; Jemma Nelson; Fidencio J Neri; Meritxell Oliva; Yongjin Park; Brandon L Pierce; Nicola J Rinaldi; Lindsay F Rizzardi; Richard Sandstrom; Andrew Skol; Kevin S Smith; Michael P Snyder; John Stamatoyannopoulos; Barbara E Stranger; Hua Tang; Emily K Tsang; Li Wang; Meng Wang; Nicholas Van Wittenberghe; Fan Wu; Rui Zhang; Nih Common Fund; Concepcion R Nierras; Nih Nci; Philip A Branton; Latarsha J Carithers; Ping Guan; Helen M Moore; Abhi Rao; Jimmie B Vaught; Nih Nhgri; Sarah E Gould; Nicole C Lockart; Casey Martin; Jeffery P Struewing; Simona Volpi; Nih Nimh; Anjene M Addington; Susan E Koester; Nih Nida; Roger R Little; Lori E Brigham; Richard Hasz; Marcus Hunter; Christopher Johns; Mark Johnson; Gene Kopen; William F Leinweber; John T Lonsdale; Alisa McDonald; Bernadette Mestichelli; Kevin Myer; Brian Roe; Michael Salvatore; Saboor Shad; Jeffrey A Thomas; Gary Walters; Michael Washington; Joseph Wheeler; Jason Bridge; Barbara A Foster; Bryan M Gillard; Ellen Karasik; Rachna Kumar; Mark Miklos; Michael T Moser; Scott D Jewell; Robert G Montroy; Daniel C Rohrer; Dana R Valley; David A Davis; Deborah C Mash; Anita H Undale; Anna M Smith; David E Tabor; Nancy V Roche; Jeffrey A McLean; Negin Vatanian; Karna L Robinson; Leslie Sobin; Mary E Barcus; Kimberly M Valentino; Liqun Qi; Steven Hunter; Pushpa Hariharan; Shilpi Singh; Ki Sung Um; Takunda Matose; Maria M Tomaszewski; Elsi Study; Laura K Barker; Maghboeba Mosavel; Laura A Siminoff; Heather M Traino; Paul Flicek; Thomas Juettemann; Magali Ruffier; Dan Sheppard; Kieron Taylor; Stephen J Trevanion; Daniel R Zerbino; Brian Craft; Mary Goldman; Maximilian Haeussler; James J Kent; Christopher M Lee; Benedict Paten; Kate R Rosenbloom; John Vivian; Jingchun Zhu; ...More
PUBLISHED: 2017, SOURCE: NATURE, VOLUME: 550, ISSUE: 7675, PAGES: 204-+
INDEXED IN: Scopus WOS CrossRef: 3956
1249
TITLE: HCC Survival
AUTHORS: Miriam Seoane Santos ; Pedro H Abreu ; Pedro J García Laencina; Adélia Simão; Armando Carvalho;
PUBLISHED: 2017
INDEXED IN: DBLP
1250
1251
TITLE: Identifying cis-mediators for trans-eQTLs across many human tissues using genomic mediation analysis
AUTHORS: Fan Yang; Jiebiao Wang; Brandon L Pierce; Lin S Chen; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; Daniel G MacArthur; Jared L Nedzel; Duyen T Nguyen; Michael S Noble; Ayellet V Segrè; Casandra A Trowbridge; Taru Tukiainen; Nathan S Abell; Brunilda Balliu; Ruth Barshir; Omer Basha; Alexis Battle; Gireesh K Bogu; Andrew Brown; Christopher D Brown; Stephane E Castel; Colby Chiang; Donald F Conrad; Nancy J Cox; Farhan N Damani; Joe R Davis; Olivier Delaneau; Emmanouil T Dermitzakis; Barbara E Engelhardt; Eleazar Eskin; Pedro G Ferreira ; Laure Frésard; Eric R Gamazon; Diego Garrido Martín; Ariel D H Gewirtz; Genna Gliner; Michael J Gloudemans; Roderic Guigo; Ira M Hall; Buhm Han; Yuan He; Farhad Hormozdiari; Cedric Howald; Hae Kyung Im; Brian Jo; Eun Yong Kang; Yungil Kim; Sarah Kim Hellmuth; Tuuli Lappalainen; Gen Li; Xin Li; Boxiang Liu; Serghei Mangul; Mark I McCarthy; Ian C McDowell; Pejman Mohammadi; Jean Monlong; Stephen B Montgomery; Manuel Muñoz Aguirre; Anne W Ndungu; Dan L Nicolae; Andrew B Nobel; Meritxell Oliva; Halit Ongen; John J Palowitch; Nikolaos Panousis; Panagiotis Papasaikas; Yo Son Park; Princy Parsana; Anthony J Payne; Christine B Peterson; Jie Quan; Ferran Reverter; Chiara Sabatti; Ashis Saha; Michael Sammeth; Alexandra J Scott; Andrey A Shabalin; Reza Sodaei; Matthew Stephens; Barbara E Stranger; Benjamin J Strober; Jae Hoon Sul; Emily K Tsang; Sarah Urbut; Martijn van de Bunt; Gao Wang; Xiaoquan Wen; Fred A Wright; ...More
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 11, PAGES: 1859-1871
INDEXED IN: Scopus
1252
TITLE: Identifying top relevant dates for implicit time sensitive queries  Full Text
AUTHORS: Ricardo Campos ; Gael Dias; Alipio Mario Jorge ; Celia Nunes ;
PUBLISHED: 2017, SOURCE: INFORMATION RETRIEVAL JOURNAL, VOLUME: 20, ISSUE: 4, PAGES: 363-398
INDEXED IN: Scopus WOS DBLP CrossRef: 15
1253
TITLE: Improving Diagram Assessment in Mooshak
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: 20th International Conference on Technology Enhanced Assessment, TEA 2017 in Technology Enhanced Assessment, 20th International Conference, TEA 2017, Barcelona, Spain, October 5-6, 2017, Revised Selected Papers., VOLUME: 829, PAGES: 69-82
INDEXED IN: Scopus DBLP CrossRef
1254
TITLE: Improving genetic diagnosis in Mendelian disease with transcriptome sequencing
AUTHORS: Cummings, BB; Marshall, JL; Tukiainen, T; Lek, M; Donkervoort, S; Foley, AR; Bolduc, V; Waddell, LB; Sandaradura, SA; O'Grady, GL; Estrella, E; Reddy, HM; Zhao, F; Weisburd, B; Karczewski, KJ; O'Donnell Luria, AH; Birnbaum, D; Sarkozy, A; Hu, Y; Gonorazky, H; Claeys, K; Joshi, H; Bournazos, A; Oates, EC; Ghaoui, R; Davis, MR; Laing, NG; Topf, A; Kang, PB; Beggs, AH; North, KN; Straub, V; Dowling, JJ; Muntoni, F; Clarke, NF; Cooper, ST; Bönnemann, CG; MacArthur, DG; Ardlie, KG; Getz, G; Gelfand, ET; Segrè, AV; Aguet, F; Sullivan, TJ; Li, X; Nedzel, JL; Trowbridge, CA; Hadley, K; Huang, KH; Noble, MS; Nguyen, DT; Nobel, AB; Wright, FA; Shabalin, AA; Palowitch, JJ; Zhou, YH; Dermitzakis, ET; McCarthy, MI; Payne, AJ; Lappalainen, T; Castel, S; Kim Hellmuth, S; Mohammadi, P; Battle, A; Parsana, P; Mostafavi, S; Brown, A; Ongen, H; Delaneau, O; Panousis, N; Howald, C; Van De Bunt, M; Guigo, R; Monlong, J; Reverter, F; Garrido, D; Munoz, M; Bogu, G; Sodaei, R; Papasaikas, P; Ndungu, AW; Montgomery, SB; Li, X; Fresard, L; Davis, JR; Tsang, EK; Zappala, Z; Abell, NS; Gloudemans, MJ; Liu, B; Damani, FN; Saha, A; Kim, Y; Strober, BJ; He, Y; Stephens, M; Pritchard, JK; Wen, X; Urbut, S; Cox, NJ; Nicolae, DL; Gamazon, ER; Im, HK; Brown, CD; Engelhardt, BE; Park, Y; Jo, B; McDowell, IC; Gewirtz, A; Gliner, G; Conrad, D; Hall, I; Chiang, C; Scott, A; Sabatti, C; Eskin, E; Peterson, C; Hormozdiari, F; Kang, EY; Mangul, S; Han, B; Sul, JH; Feinberg, AP; Rizzardi, LF; Hansen, KD; Hickey, P; Akey, J; Kellis, M; Li, JB; Snyder, M; Tang, H; Jiang, L; Lin, S; Stranger, BE; Fernando, M; Oliva, M; Stamatoyannopoulos, J; Kaul, R; Halow, J; Sandstrom, R; Haugen, E; Johnson, A; Lee, K; Bates, D; Diegel, M; Pierce, BL; Chen, L; Kibriya, MG; Jasmine, F; Doherty, J; Demanelis, K; Smith, KS; Li, Q; Zhang, R; Nierras, CR; Moore, HM; Rao, A; Guan, P; Vaught, JB; Branton, PA; Carithers, LJ; Volpi, S; Struewing, JP; Martin, CG; Nicole, LC; Koester, SE; Addington, AM; Little, AR; Leinweber, WF; Thomas, JA; Kopen, G; McDonald, A; Mestichelli, B; Shad, S; Lonsdale, JT; Salvatore, M; Hasz, R; Walters, G; Johnson, M; Washington, M; Brigham, LE; Johns, C; Wheeler, J; Roe, B; Hunter, M; Myer, K; Foster, BA; Moser, MT; Karasik, E; Gillard, BM; Kumar, R; Bridge, J; Miklos, M; Jewell, SD; Rohrer, DC; Valley, D; Montroy, RG; Mash, DC; Davis, DA; Undale, AH; Smith, AM; Tabor, DE; Roche, NV; McLean, JA; Vatanian, N; Robinson, KL; Sobin, L; Barcus, ME; Valentino, KM; Qi, L; Hunter, S; Hariharan, P; Singh, S; Um, KS; Matose, T; Tomadzewski, MM; Siminoff, LA; Traino, HM; Mosavel, M; Barker, LK; Zerbino, DR; Juettmann, T; Taylor, K; Ruffier, M; Sheppard, D; Trevanion, S; Flicek, P; Kent, WJ; Rosenbloom, KR; Haeussler, M; Lee, CM; Paten, B; Vivan, J; Zhu, J; Goldman, M; Craft, B; Li, G; Ferreira, PG ; Yeger Lotem, E; Maurano, MT; Barshir, R; Basha, O; Xi, HS; Quan, J; Sammeth, M; Zaugg, JB; ...More
PUBLISHED: 2017, SOURCE: Science Translational Medicine, VOLUME: 9, ISSUE: 386
INDEXED IN: Scopus CrossRef: 596
1255
TITLE: Improving Incremental Recommenders with Online Bagging
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 597-607
INDEXED IN: Scopus WOS DBLP CrossRef
1256
TITLE: Improving the benchmarking of social media content strategies using clustering and KPI
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121, PAGES: 826-834
INDEXED IN: Scopus WOS CrossRef: 5
1257
TITLE: Influence of Data Distribution in Missing Data Imputation
AUTHORS: Miriam Seoane Santos ; Jastin Pompeu Soares; Pedro Henriques Abreu ; Hélder Araújo; João A M Santos;
PUBLISHED: 2017, SOURCE: Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings, VOLUME: 10259, PAGES: 285-294
INDEXED IN: DBLP
1258
TITLE: Influence of data distribution in missing data imputation
AUTHORS: Miriam Seoane Santos ; Jastin Pompeu Soares; Pedro Henriques Abreu ; Hélder Araújo; João Santos ;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10259 LNAI, PAGES: 285-294
INDEXED IN: Scopus CrossRef: 23
1259
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PAGES: 57-70
INDEXED IN: DBLP
1260
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Ricardo Rocha ; Tran Cao Son;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 63 of 145. Total results: 2883.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service