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: 2700

43 Team Members
Filters -> Year: 2025
1081
TITLE: Evolutionary role mining in complex networks by ensemble clustering
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; 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: 1053-1060
INDEXED IN: Scopus DBLP CrossRef: 1
1082
TITLE: Evolvix BEST Names for semantic reproducibility across code2brain interfaces. BEST Names and semantic reproducibility  Full Text
AUTHORS: Laurence Loewe; Katherine S Scheuer; Seth A Keel; Vaibhav Vyas; Ben Liblit; Bret Hanlon; Michael C Ferris; John Yin; Ines Dutra ; Anthony Pietsch; Christine G Javid; Cecilia L Moog; Jocelyn Meyer; Jerdon Dresel; Brian McLoone; Sonya Loberger; Arezoo Movaghar; Morgaine Gilchrist Scott; Yazeed Sabri; Dave Sescleifer; Ivan Pereda Zorrilla; Andrew Zietlow; Rodrigo Smith; Samantha Pietenpol; Jacob Goldfinger; Sarah L Atzen; Erika Freiberg; Noah P Waters; Claire Nusbaum; Erik Nolan; Alyssa Hotz; Richard M Kliman; Ayalew Mentewab; Nathan Fregien; Martha Loewe; ...More
PUBLISHED: 2017, SOURCE: ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, VOLUME: 1387, ISSUE: 1, PAGES: 124-144
INDEXED IN: Scopus WOS CrossRef: 1
1083
TITLE: Exact Methods for Recursive Circle Packing PDF
AUTHORS: Ambros M. Gleixner; Stephen Maher; Benjamin Müller; João Pedro Pedroso ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1702.07799
INDEXED IN: DBLP arXiv
1084
TITLE: Experimentation with MANETs of Smartphones
AUTHORS: Eduardo Soares ; Pedro Brandao ; Rui Prior ; Ana Aguiar ;
PUBLISHED: 2017, SOURCE: Wireless Days in 2017 WIRELESS DAYS, PAGES: 155-158
INDEXED IN: WOS DBLP CrossRef: 4
1085
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
1086
TITLE: Extending the Applicability of Graphlets to Directed Networks  Full Text
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2017, SOURCE: IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 14, ISSUE: 6, PAGES: 1302-1315
INDEXED IN: Scopus WOS DBLP CrossRef: 10
1087
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
1088
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: 4
1089
1090
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
1091
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
1092
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: 3715
1093
1094
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
1095
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
1096
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
1097
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: 552
1098
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
1099
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
1100
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

Results per Page: 20.
Page 55 of 135. Total results: 2700.

footer slogan

Useful Links

Get Help

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