Publications
Total Publications: 545
Article (Author)
- A Systematic Literature Review of Static Application Security Testing Tools
Sofia Oliveira Reis, Rui Abreu,
, December 2023 - Exact and Approximate Determination of the Pareto Front Using Minimal Correction Subsets
Andreia Guerreiro, Joao Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira,
Computers and Operations Research, December 2023 - Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study
Monika di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer,
Empirical Software Engineering, October 2023 - The pharmacoepigenomic landscape of cancer cell lines reveals the epigenetic component of drug sensitivity
Alexander Ohnmacht, Anantharamanan Rajamani, Göksu Avar, Ginte Kutkaite, Emanuel Gonçalves, Dieter Saur, Michael Menden,
Communications Biology, vol. 6, pages 825, DOI https://doi.org/10.1038/s42003-023-05198-y, August 2023 - Base editing screens map mutations affecting interferon-γ signaling in cancer
Matthew A.Coelho, Sarah Cooper, Magdalena E. Strauss, Emre Karakoc, Shriram Bhosle, Emanuel Gonçalves, Gabriele Picco, Thomas Burgold, Chiara M. Cattaneo, Vivien Veninga, Sarah Consonni, Cansu Dinçer, Sara F. Vieira, Freddy Gibson, Syd Barthorpe, Claire Hardy, Joel Rein, Mark Thomas, John Marioni, Emile E. Voest, Andrew Bassett, Mathew J. Garnett,
Cancer Cell, DOI https://doi.org/10.1016/j.ccell.2022.12.009, January 2023 - YEASTRACT+: a portal for the exploitation of global transcription regulation and metabolic model data in yeast biotechnology and pathogenesis
Miguel C. Teixeira, Romeu Viana, Margarida Palma, Jorge dos Santos Oliveira, Mónica Galocha, Marta Neves Mota, Diogo Couceiro, Maria Galhardas Pereira, Miguel Antunes, Inês V Costa, Pedro Pais, Carolina Parada, Claudine Chaouiya, Isabel Sá-Correia, Pedro T. Monteiro,
Nucleic Acids Research, vol. 51, pages D785–D791, DOI 10.1093/nar/gkac1041, January 2023 - Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos,
Computers & Security, pages 102745, DOI https://doi.org/10.1016/j.cose.2022.102745, December 2022 - Introducing UniCorT: A University Course Timetabling Tool
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce,
Journal of Scheduling, DOI 10.1007/s10951-021-00695-6, December 2022 - Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos,
Computers & Security, December 2022 - Integrating an academic management system with blockchain: A case study
Sérgio Guerreiro, João F. Ferreira, Tiago Fonseca, Miguel Correia,
Blockchain: Research and Applications, vol. 3, n. 4, December 2022 - Multiple-Input Neural Networks for Time Series Forecasting Incorporating Historical and Prospective Context
João Palet, Vasco Manquinho, Rui Miguel Carrasqueiro Henriques,
Data Mining and Knowledge Discovery, November 2022 - bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda,
Journal of Logical and Algebraic Methods in Programming, vol. 130, DOI https://doi.org/10.1016/j.jlamp.2022.100811, September 2022 - Pan-cancer proteomic map of 949 human cell lines
Emanuel Gonçalves, Rebecca C Poulos, Zhaoxiang Cai, Syd Barthorpe, Srikanth S Manda, Natasha Lucas, Alexandra Beck, Daniel Bucio-Noble, Michael Dausmann, Caitlin Hall, Michael Hecker, Jennifer Koh, Howard Lightfoot, Sadia Mahboob, Iman Mali, James Morris, Laura Richardson, Akila J Seneviratne, Rebecca Shepherd, Erin Sykes, Frances Thomas, Sara Valentini, Steven G Williams, Yangxiu Wu, Dylan Xavier, Karen L MacKenzie, Peter G Hains, Brett Tully, Phillip J Robinson, Qing Zhong, Mathew J Garnett, Roger R Reddel,
Cancer Cell, vol. 40, pages 835-849, DOI https://doi.org/10.1016/j.ccell.2022.06.010, August 2022 - DNA methylation fingerprint of hepatocellular carcinoma from tissue and liquid biopsies
Emanuel Gonçalves, Maria Gonçalves-Reis, José B Pereira-Leal, Joana Cardoso,
Scientific Reports, DOI https://doi.org/10.1038/s41598-022-15058-0, July 2022 - Route choice estimation in rail transit systems using smart card data: handling vehicle schedule and walking time uncertainties
Thomas Tiam-Lee, Rui Miguel Carrasqueiro Henriques,
European Transport and Research Review (ETRR), June 2022 - DeepData: Machine Learning in the Marine Ecosystems
Leonor Pimenta de Oliveira e Silva, Magda Carolina Araújo Resende, Helena Galhardas, Vasco Manquinho, Inês Lynce,
Expert Systems With Applications, June 2022 - Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response
Thomas Tiam-Lee, Rui Miguel Carrasqueiro Henriques, Vasco Manquinho,
International Journal of Geo-Information, June 2022 - Constraint-based Electoral Districting Using a New Compactness Measure: an application to Portugal
Tiago Miguel Correia de Almeida, Vasco Manquinho,
Computers and Operations Research, May 2022 - A suspension technique for efficient large-scale cancer organoid culturing and perturbation screens
Stacey Price, Shriram Bhosle, Emanuel Gonçalves, Xiaodun Li, Dylan P. McClurg, Syd Barthorpe, Alex Beck, Caitlin Hall, Howard Lightfoot, Luke Farrow, Rizwan Ansari, David A. Jackson, Laura Allen, Kirsty Roberts, Charlotte Beaver, Hayley E. Francies, Mathew J. Garnett,
Scientific Reports, vol. 12, DOI https://doi.org/10.1038/s41598-022-09508-y, April 2022 - Boolean function metrics can assist modelers to check and choose logical rules
John Zobolas, Pedro T. Monteiro, Martin Kuiper, Asmund Flobak,
Journal of Theoretical Biology, vol. 538, pages 111025, DOI 10.1016/j.jtbi.2022.111025, April 2022 - Exact Hypervolume Subset Selection Through Incremental Computations
Andreia Guerreiro, Vasco Manquinho, José Rui Figueira,
Computers & Operations Research, vol. 136, pages 15, DOI https://doi.org/10.1016/j.cor.2021.105471, December 2021 - Fixing vulnerabilities potentially hinders maintainability
Sofia Oliveira Reis, Rui Abreu, Luís Cruz,
Empirical Software Engineering, December 2021 - Prediction and Boolean logical modelling of synergistic microRNA regulatory networks during reprogramming of male germline pluripotent stem cells
Praveen Kumar Guttula, Pedro T. Monteiro, Mukesh Kumar Guptaa,
Biosystems, vol. 207, DOI 10.1016/j.biosystems.2021.104453, September 2021 - Genome and metabolome: chance and necessity
Emanuel Gonçalves, Christian Frezza,
Genome Biology, DOI https://doi.org/10.1186/s13059-021-02501-0, September 2021 - The N.C.Yeastract and CommunityYeastract databases to study gene and genomic transcription regulation in non-conventional yeasts
Claudia P. Godinho, Margarida Palma, Jorge dos Santos Oliveira, Marta N. Mota, Miguel Antunes, Miguel C. Teixeira, Pedro T. Monteiro, Isabel Sá-Correia,
FEMS Yeast Research, DOI 10.1093/femsyr/foab045, August 2021 - The Hypervolume Indicator: Computational Problems and Algorithms
Andreia Guerreiro, Carlos M. Fonseca, Luís Paquete,
Computing Surveys, vol. 54, n. 6, pages 42, DOI https://doi.org/10.1145/3453474, July 2021 - From a genome assembly to full regulatory network prediction: the case study of Rhodotorula toruloides putative Haa1-regulon
Jorge dos Santos Oliveira, Miguel Antunes, Cláudia P. Godinho, Miguel C. Teixeira, Isabel Sá-Correia, Pedro T. Monteiro,
BMC Bioinformatics, July 2021 - Automated narrative planning model extension
Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza,
Autonomous Agents and Multi-Agent Systems, vol. 35, n. 19, pages 1-29, DOI https://doi.org/10.1007/s10458-021-09501-1, May 2021 - Transcriptome-wide differences between Saccharomyces cerevisiae and Saccharomyces cerevisiae var. boulardii: clues on host survival and probiotic activity based on promoter sequence variability
Pedro Pais, Jorge dos Santos Oliveira, Vanda Almeida, Melike Yilmaz, Pedro T. Monteiro, Miguel C. Teixeira,
Genomics, vol. 113, n. 2, DOI 10.1016/j.ygeno.2020.11.034, March 2021 - Disruptions in Timetables: A Case Study at Universidade de Lisboa
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce,
Journal of Scheduling, vol. 24, n. 1, pages 35-48, February 2021 - Multiple fault localization of software programs: A systematic literature review
Abubakar Zakari, Sai Peck Lee, Rui Abreu, Babiker Hussien Ahmed,
Information and Software Technology, vol. 124, DOI https://doi.org/10.1016/j.infsof.2020.106312, December 2020 - Distance-based phylogenetic inference from typing data: a unifying view
Cátia Vaz, Marta Alexandra Fragoso Nascimento, João Carriço, Tatiana Rocher, A. P. Francisco,
Briefings in Bioinformatics, DOI 10.1093/bib/bbaa147, December 2020 - A Game AI Competition to foster Collaborative AI research and development
Ana Salta, Rui Prada, Francisco S. Melo,
IEEE Transactions on Games, vol. 13, n. 4, pages 398-409, DOI 10.1109/TG.2020.3024160, September 2020 - Assessing regulatory features of the current transcriptional network of Saccharomyces cerevisiae
Pedro T. Monteiro, Tiago Godinho de Ornelas Pedreira, Monica Galocha, Miguel C. Teixeira, Claudine Chaouiya,
Scientific Reports, DOI 10.1038/s41598-020-74043-7, September 2020 - Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors
Gianluca Selvaggio, Sara Canato, Archana Pawar, Pedro T. Monteiro, Patrícia S. Guerreiro, M. Manuela Brás, Florence Janody, Claudine Chaouiya,
Cancer Research, vol. 80, n. 11, DOI 10.1158/0008-5472.CAN-19-3147, June 2020 - A Boolean Logical model for Reprogramming of Testes-derived male Germline Stem Cells into Germline pluripotent stem cells
Praveen Kumar Guttula, Pedro T. Monteiro, Mukesh Kumar Gupta,
Computer Methods and Programs in Biomedicine, vol. 192, DOI 10.1016/j.cmpb.2020.105473, March 2020 - Revision of Boolean models of regulatory networks using stable state observations
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro,
Journal of Computational Biology, vol. 27, n. 2, pages 144-155, DOI 10.1089/cmb.2019.0289, February 2020 - YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts
Pedro T. Monteiro, Jorge dos Santos Oliveira, Pedro Pais, Miguel Antunes, Margarida Palma, Mafalda Cavalheiro, Mónica Galocha, Cláudia P Godinho, Luís C Martins, Nuno Bourbon, Marta N Mota, Ricardo A Ribeiro, Romeu Viana, Isabel Sá-Correia, Miguel C Teixeira,
Nucleic Acids Research, vol. 48, pages D642-D649, DOI 10.1093/nar/gkz859, January 2020 - {RC2:} an Efficient MaxSAT Solver
Alexey Ignatiev, António José dos Reis Morgado, Joao Marques-Silva,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 11, n. 1, pages 53--64, DOI 10.3233/SAT190116, December 2019 - Impact of Changing Cell-Cell Communication Network in Models of Epithelial Pattern Formation
Pedro Varela, Pedro T. Monteiro, Claudine Chaouiya,
IFAC-PapersOnLine, vol. 52, n. 26, pages 38-44, DOI 10.1016/j.ifacol.2019.12.233, October 2019 - Virtual machine consolidation using constraint-based multi-objective optimization
Miguel Neves, Inês Lynce, Vasco Manquinho,
Journal of Heuristics, vol. 25, n. 3, pages 339-375, DOI 10.1007/s10732-018-9400-2, June 2019 - Room Usage Optimization in Timetabling: A Case Study at Universidade de Lisboa
Alexandre Lemos, Francisco S. Melo, Pedro T. Monteiro, Inês Lynce,
Operations Research Perspectives, vol. 6, pages 100092, DOI 10.1016/j.orp.2018.100092, May 2019 - On Logical Bifurcation Diagrams
Wassim Abou-Jaoudé, Pedro T. Monteiro,
Journal of Theoretical Biology, vol. 466, pages 39-63, DOI 10.1016/j.jtbi.2019.01.008, April 2019 - Repairing Boolean logical models from time-series data using Answer Set Programming
Alexandre Lemos, Inês Lynce, Pedro T. Monteiro,
Algorithms for Molecular Biology , vol. 14, pages 9, DOI 10.1186/s13015-019-0145-8, March 2019 - EpiLog: A software for the logical modelling of epithelial dynamics
Pedro Varela, Camila Ramos, Pedro T. Monteiro, Claudine Chaouiya,
F1000Research, vol. 7, pages 1145, DOI 10.12688/f1000research.15613.2), March 2019 - JaVerT 2.0: compositional symbolic execution for JavaScript
José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner,
Proc. {ACM} Program. Lang., vol. 3, pages 66:1--66:31, February 2019 - Estimating attractor reachability in asynchronous logical models
Nuno D. Mendes, Rui Miguel Carrasqueiro Henriques, Elisabeth Remy, Jorge Carneiro, Pedro T. Monteiro, Claudine Chaouiya,
Frontiers in Physiology, vol. 9, pages 1161, DOI 10.3389/fphys.2018.01161, July 2018 - The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks
Aurélien Naldi, Celine Hernandez, Nicolas Levy, Gautier Stoll, Pedro T. Monteiro, Claudine Chaouiya, Tomas Helikar, Andrei Zinovyev, Laurence Calzone, Sarah Cohen-Boulakia, Denis Thieffry, Loïc Paulevé,
Frontiers in Physiology, vol. 9, pages 680, DOI 10.3389/fphys.2018.00680, June 2018 - Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0
Aurélien Naldi, Celine Hernandez, Wassim Abou-Jaoudé, Pedro T. Monteiro, Claudine Chaouiya, Denis Thieffry,
Frontiers in Physiology, vol. 9, pages 646, DOI 10.3389/fphys.2018.00646, June 2018 - Large-Scale Simulations of Bacterial Populations over Complex Networks
Andreia Sofia Teixeira, Pedro T. Monteiro, João A. Carriço, Francisco C. Santos, A. P. Francisco,
Journal of Computational Biology, DOI https://doi.org/10.1089/cmb.2018.0083, May 2018 - Stable states of Boolean regulatory networks composed over hexagonal grids
Pedro Varela, Inês Lynce, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro,
Electronic Notes in Theoretical Computer Science, vol. 335, pages 113-130, DOI 10.1016/j.entcs.2018.03.011, April 2018 - Fast phylogenetic inference from typing data
João Carriço, Maxime Crochemore, A. P. Francisco, Solon Pissis, Bruno Ribeiro‑Gonçalves, Cátia Vaz,
Algorithms for Molecular Biology, vol. 13, n. 4, DOI 10.1186/s13015-017-0119-7, February 2018 - YEASTRACT, an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae
Miguel C. Teixeira, Pedro T. Monteiro, Margarida Palma, Catarina Costa, Claudia P. Godinho, Pedro Pais, Mafalda Cavalheiro, Miguel Antunes, Alexandre Lemos, Tiago Godinho de Ornelas Pedreira, Isabel Sá-Correia,
Nucleic Acids Research, vol. 46, pages D348-D353, DOI 10.1093/nar/gkx842, January 2018 - Minimal sets on propositional formulae. Problems and reductions
Joao-Marques-Silva, Mikolas Janota, Carlos Mencia,
, DOI 10.1016/j.artint.2017.07.005, November 2017 - The PathoYeastract database: an information system for the analysis of gene and genomic transcription regulation in pathogenic yeasts
Pedro T. Monteiro, Pedro Pais, Catarina Costa, Sauvagya Manna, Isabel Sá-Correia, Miguel C. Teixeira,
Nucleic Acids Research, vol. 45, pages D597-D603, DOI 10.1093/nar/gkw817, January 2017 - PHYLOViZ 2.0: Providing scalable data integration and visualization for multiple phylogenetic inference methods
Marta Alexandra Fragoso Nascimento, A. Sousa, M. Ramirez, A. P. Francisco, João Carriço, Cátia Vaz,
Bioinformatics, DOI 10.1093/bioinformatics/btw582, September 2016 - Solving QBF with Counterexample Guided Refinement
Mikolas Janota, William Klieber, Joao Marques-Silva, Edmund Clarke,
Artificial Intelligence, vol. 234, pages 1-25, DOI 10.1016/j.artint.2016.01.004, May 2016 - Logical modeling and dynamical analysis of cellular networks
Wassim Abou-Jaoudé, Pauline Traynard, Pedro T. Monteiro, Julio Saez-Rodriguez, Tomas Helikar, Denis Thieffry, Claudine Chaouiya,
Frontiers in Genetics, vol. 7, pages 94, DOI 10.3389/fgene.2016.00094, May 2016 - On the Query Complexity of Selecting Minimal Sets for Monotone Predicates
Mikolas Janota, Joao Marques-Silva,
, vol. 233, pages 73-83, DOI 10.1016/j.artint.2016.01.002, April 2016 - Geo-Replication: Fast If Possible, Consistent If Necessary
Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sergio Duarte, C. Ferreira, Johannes Gehrke, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis,
IEEE Data Eng. Bull., vol. 39, n. 1, pages 81-92, March 2016 - PHYLOViZ Online: web-based tool for visualization, phylogenetic inference, analysis and sharing of minimum spanning trees
B. Ribeiro-Gonçalves, A. P. Francisco, Cátia Vaz, M. Ramirez, João Carriço,
Nucleic Acids Research, DOI 10.1093/nar/gkw359, January 2016 - On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
Ruben Carlos Gonçalves Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 9, pages 59-81, December 2015 - Improving linear search algorithms with model-based approaches for MaxSAT solving
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
Journal of Experimental and Theoretical Artificial Intelligence, vol. 27, n. 5, pages 673-701, DOI 10.1080/0952813X.2014.993508, November 2015 - Deterministic Parallel MaxSAT Solving
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
International Journal on Artificial Intelligence Tools, vol. 24, n. 3, DOI 10.1142/s0218213015500050, June 2015 - Expansion-based QBF solving versus Q-resolution
Mikolas Janota, Joao Marques Silva,
Theoretical Computer Science, vol. 577, n. 0, pages 25-42, DOI 10.1016/j.tcs.2015.01.048, April 2015 - Not seeing the forest for the trees: Size of the minimum spanning trees (MSTs) forest and branch significance in MST-based phylogenetic analysis
Andreia Sofia Teixeira, Pedro T. Monteiro, Mário Ramirez, João Carriço, A. P. Francisco,
PLoS One, vol. 10, n. 3, DOI 10.1371/journal.pone.0119315, March 2015 - Algorithms for computing backbones of propositional formulae
Mikolas Janota, Inês Lynce, Joao Marques Silva,
AI Communications, vol. 28, n. 2, pages 161-177, DOI 10.3233/AIC-140640, February 2015 - MaxSAT-based encodings for Group MaxSAT
Federico Heras, António José dos Reis Morgado, Joao Marques Silva,
AI Communications, vol. 28, n. 2, pages 195-214, DOI 10.3233/AIC-140636, February 2015 - Model checking to assess T-helper cell plasticity
W. Abou-Jaoudé, Pedro T. Monteiro, A. Naldi, M. Grandclaudon, V. Soumelis, C. Chaouiya, D. Thieffry,
Frontiers in Bioengineering and Biotechnology, vol. 2, pages 86, DOI 10.3389/fbioe.2014.00086, January 2015 - Cooperative development of logical modelling standards and tools with CoLoMoTo
Aurélien Naldi, Pedro T. Monteiro, Christoph Müssel, Hans A. Kestler, Denis Thieffry, Ioannis Xenarios, Julio Saez-Rodriguez, Tomas Helikar, Claudine Chaouiya,
Bioinformatics, vol. 31, n. 7, pages 1154-1159, DOI 10.1093/bioinformatics/btv013, January 2015 - Algorithms for computing minimal equivalent subformulas
Anton Belov, Mikolas Janota, Inês Lynce, Joao Marques Silva,
Artificial Intelligence, vol. 216, n. 0, pages 309-326, DOI 10.1016/j.artint.2014.07.011, November 2014 - An ontology-based approach to conflict resolution in Home and Building Automation Systems
Rui Camacho, Paulo Jorge Fernandes Carreira, Inês Lynce, Sílvia Resendes,
Expert Systems with Applications, vol. 41, n. 14, pages 6161-6173, DOI http://dx.doi.org/10.1016/j.eswa.2014.04.017, October 2014 - TypOn: The Microbial Typing Ontology
Cátia Vaz, A. P. Francisco, Mickael Silva, Keith A Jolley, James E Bray, Hannes Pouseele, Joerg Rothganger, Mário Ramirez, João Carriço,
Journal of Biomedical Semantics, vol. 5, n. 43, pages 1-11, DOI 10.1186/2041-1480-5-43, October 2014 - Inferring phylogenetic trees using pseudo-Boolean optimization
Miguel Miranda, Inês Lynce, Vasco Manquinho,
AI Communications, vol. 27, n. 3, pages 229-243, DOI 10.3233/AIC-140592, September 2014 - The YEASTRACT database: an upgraded information system for the analysis of gene and genomic transcription regulation in Saccharomyces cerevisiae
Miguel Teixeira, Pedro T. Monteiro, Joana Guerreiro, Joana Gonçalves, Nuno Mira, Sandra dos Santos, Tânia Cabrito, Margarida Palma, Catarina Costa, A. P. Francisco, Sara C. Madeira, Arlindo L. Oliveira, Ana T. Freitas, Isabel Sá-Correia,
Nucleic Acids Research , vol. 42, n. 1, pages D1-D6, DOI 10.1093/nar/gkt1015, January 2014 - A Two-Variable Model for SAT-Based ATPG
Huan Chen, Joao Marques Silva,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 32, pages 1943 - 1956 , DOI 10.1109/TCAD.2013.2275254, December 2013 - SBML Qualitative Models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools
C. Chaouiya, D. Berenguier, S.M. Keating, A. Naldi, M.P. van Iersel, N. Rodriguez, A. Drager, F. Buchel, T. Cokelaer, B. Kowal, B. Wicks, E. Gonçalves, J. Dorier, M. Page, Pedro T. Monteiro, A. von Kamp, I. Xenarios, H. de Jong, M. Hucka, S. Klamt, D. Thieffry, N. Le Novere, J. Saez-Rodriguez, T. Helikar,
BMC Systems Biology, vol. 7, n. 1, pages 135, December 2013 - Dynamical modeling and analysis of large cellular regulatory networks
Duncan Bérenguier, Claudine Chaouiya, Pedro T. Monteiro, Aurélien Naldi, Elisabeth Remy, Denis Thieffry, Laurent Tichit,
Chaos, vol. 23, n. 2, pages 025114, DOI 10.1063/1.4809783, June 2013 - Iterative and core-guided MaxSAT solving: A survey and assessment
António José dos Reis Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques Silva,
Constraints, vol. 18, pages 478-534, DOI 10.1007/s10601-013-9146-2, April 2013 - On the analysis of compensation correctness
Cátia Vaz, C. Ferreira,
Journal of Logic and Algebraic Programming, vol. 81, n. 5, pages 585-605, December 2012 - MUSer2: An Efficient MUS Extractor
Anton Belov, Joao Marques Silva,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 8, n. 1, pages 123-128, December 2012 - Hybrid Incremental Algorithms for Boolean Satisfiability
Florian Letombe, Joao Marques Silva,
International Journal on Artificial Intelligence Tools, vol. 21, n. 6, DOI 10.1142/S021821301250025X, December 2012 - SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Lucas Cordeiro, Bernd Fischer, Joao Marques Silva,
IEEE Transactions on Software Engineering, vol. 38, n. 4, pages 957-974, DOI 10.1109/TSE.2011.59, July 2012 - Towards Efficient MUS Extraction
Anton Belov, Inês Lynce, Joao Marques Silva,
AI Communications, vol. 25, n. 2, pages 97-116, DOI http://dx.doi.org/10.3233/AIC-2012-0523, June 2012 - Parallel search for maximum satisfiability
Ruben Carlos Gonçalves Martins, Inês Lynce, Vasco Manquinho,
AI Communications, vol. 25, n. 2, pages 75-95, DOI http://dx.doi.org/10.3233/AIC-2012-0517, June 2012 - PHYLOViZ: Phylogenetic inference and data visualization for sequence based typing methods
A. P. Francisco, Cátia Vaz, Pedro T. Monteiro, J. Melo-Cristino, M. Ramirez, João Carriço,
BMC Bioinformatics, vol. 13, n. 87, DOI 10.1186/1471-2105-13-87, May 2012 - An overview of parallel SAT solving
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
Constraints, vol. 17, n. 3, pages 304-347, DOI http://dx.doi.org/10.1007/s10601-012-9121-3, April 2012 - TG-Pro: A SAT-based ATPG System
Huan Chen, Joao Marques Silva,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 8, n. 1, pages 83-88, January 2012 - Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà,
Journal of Multiple-Valued Logic and Soft Computing, vol. 19, n. 1, pages 3-23, January 2012 - Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions
Joao Marques Silva,
Journal of Multiple-Valued Logic and Soft Computing, vol. 19, n. 1, pages 163-183, January 2012 - PackUp: Tools for Package Upgradability Solving
Mikolas Janota, Inês Lynce, Vasco Manquinho, Joao Marques Silva,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 8, n. 1, pages 89-94, January 2012 - Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae
Pedro T. Monteiro, Paulo J. Dias, Delphine Ropers, Arlindo L. Oliveira, Isabel Sá-Correia, Miguel C. Teixeira, Ana T. Freitas,
IET Systems Biology, vol. 5, n. 5, pages 308-316, DOI doi: 10.1049/iet-syb.2011.0001, September 2011 - Restoring CSP Satisfiability with MaxSAT
Inês Lynce, Joao Marques Silva,
Fundamenta Informaticae, vol. 107, n. 2, pages 249-266, September 2011 - Boolean lexicographic optimization: algorithms & applications
Joao Marques Silva, Josep Argelich, Ana Sofia Graça, Inês Lynce,
Annals of Mathematics and Artificial Intelligence, vol. 62, n. 3, pages 317-343, July 2011 - Anatomy and Empirical Evaluation of Modern SAT Solvers.
Karem A. Sakallah, Joao Marques Silva,
Bulletin of the EATCS, vol. 103, n. 2, pages 96-121, February 2011 - YEASTRACT: Providing a programmatic access to curated transcriptional regulatory associations in Saccharomyces cerevisiae through a web services interface
Dario Abdulrehman, Pedro T. Monteiro, Miguel C. Teixeira, Nuno P. Mira, Artur B. Lourenço, Sónia C. dos Santos, Tânia R. Cabrito, A. P. Francisco, Sara C. Madeira, Ricardo Rubén dos Santos Aires, Arlindo L. Oliveira, Isabel Sá-Correia, Ana T. Freitas,
Nucleic Acids Research, vol. 39, n. 1, pages D136-D140, DOI 10.1093/nar/gkq964, January 2011 - Haplotype inference with pseudo-Boolean optimization
Ana Sofia Graça, Joao Marques Silva, Inês Lynce, Arlindo L. Oliveira,
Annals of Operations Research, vol. 184, n. 1, pages 137-162, DOI 10.1007/s10479-009-0675-4, January 2011 - Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
Gregory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong,
Bioinformatics, vol. 26, n. 18, pages i603-i610, DOI 10.1093/bioinformatics/btq387, December 2010 - CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong,
Theoretical Computer Science, December 2010 - Refining current knowledge on the yeast FLR1 regulatory network by combined experimental and computational approaches
Miguel C. Teixeira, Paulo J. Dias, Pedro T. Monteiro, Arlindo L. Oliveira, Ana T. Freitas, Isabel Sá-Correia,
Molecular BioSystems, vol. 6, n. 12, pages 2471-2481, DOI DOI:10.1039/C004881J, November 2010 - Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
João Delgado, Inês Lynce, Vasco Manquinho,
Journal of Computational Biology, vol. 17, n. 9, pages 1243-1265, DOI 10.1089/cmb.2010.0098, September 2010 - Haplotype Inference by Pure Parsimony: a Survey
Ana Sofia Graça, Inês Lynce, Joao Marques Silva, Arlindo L. Oliveira,
Journal of Computational Biology, vol. 17, n. 8, DOI 10.1089/cmb.2009.0101, August 2010 - Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
Antonio Morgado, Joao Marques Silva,
Fundamenta Informaticae, vol. 102, n. 3, pages 363-389, DOI 10.3233/FI-2010-311, March 2010 - A service-oriented architecture for integrating the modeling and verification of genetic regulatory networks
Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong,
BMC Bioinformatics, vol. 10, n. 450, DOI doi:10.1186/1471-2105-10-450, December 2009 - A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Subformulas
Mark Liffiton, Maher Mneimneh, Inês Lynce, Zaher Andraus, Joao Marques Silva, Karem Sakallah,
Constraints Journal, vol. 14, n. 4, pages 415-442, DOI 10.1007/s10601-008-9058-8, December 2009 - Conceptual Model for Continuous Organizational Auditing with Real Time Analysis and Modern Control Theory
Carlos Alberto Lourenço dos Santos, Pedro Manuel Moreira Vaz Antunes de Sousa, C. Ferreira, José Manuel Nunes Salvador Tribolet,
JOURNAL OF EMERGING TECHNOLOGIES IN ACCOUNTING, vol. 5, pages 37-63, December 2008 - Guest Editors Conclusion
Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, pages 279-280, September 2008 - Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong,
Bioinformatics, vol. 24, n. 16, pages i227-i233, DOI 10.1093/bioinformatics/btn275, August 2008 - Boosting Haplotype Inference with Local Search
Inês Lynce, Joao Marques Silva, Steve Prestwich,
Constraints Journal, vol. 13, n. 1, pages 155-179, June 2008 - Haplotype Inference with Boolean Satisfiability
Inês Lynce, Joao Marques Silva,
International Journal on Artificial Intelligence Tools, vol. 17, n. 2, pages 355-387, April 2008 - YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae
Pedro T. Monteiro, Nuno D. Mendes, Miguel C. Teixeira, Sofia Orey, Sandra Tenreiro, Nuno Mira, Hélio Pais, A. P. Francisco, Alexandra M. Carvalho, Artur Lourenço, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas,
Nucleic Acids Research, vol. 36, pages D132-D136, DOI 10.1093/nar/gkm976, January 2008 - Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
Joao Marques Silva, Karem Sakallah, Inês Lynce,
AI Magazine, vol. 28, n. 4, pages 135-136, December 2007 - Search in the Patience Game Black Hole
Ian Gent, Chris Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara Smith, Armagan Tarim,
AI Communications, vol. 20, n. 3, pages 211-226, September 2007 - Random Backtracking in Backtrack Search Algorithms for Satisfiability
Inês Lynce, Joao Marques Silva,
Discrete Applied Mathematics, vol. 155, n. 12, pages 1604-1612, June 2007 - Propositional Satisfiability: Techniques, Algorithms and Applications
Inês Lynce,
AI Communications, vol. 19, n. 2, pages 187-189, June 2006 - The First Evaluation of Pseudo-Boolean Solvers (PB'05)
Vasco Manquinho, Olivier Roussel,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 2, pages 103-143, March 2006 - On Using Cutting Planes in Pseudo-Boolean Optimization
Vasco Manquinho, João Marques-Silva,
Journal on Satisfiability, Boolean Modeling and Computation, vol. 2, pages 209-219, March 2006 - The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae
Miguel C. Teixeira, Pedro T. Monteiro, Pooja Jain, Sandra Tenreiro, Alexandra R. Fernandes, Nuno P. Mira, Marta Alenquer, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá-Correia,
Nucleic Acids Research, vol. 34, pages D446-D451, DOI 10.1093/nar/gkj013, January 2006 - Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
Ateet Bhalla, Inês Lynce, José T. de Sousa, Joao Marques Silva,
Journal of Automated Resoning, vol. 35, n. 1, pages 3-24, October 2005 - A Bioinformática e as Bases de Dados: o exemplo de uma Base de Dados para Análise de Macanismos de Regulação em Levedura
Miguel C. Teixeira, Pedro T. Monteiro, Pooja Jain, Sandra Tenreiro, Alexandra R. Fernandes, Nuno Mira, Marta Alenquer, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá-Correia,
, vol. 81, pages 23-31, August 2005 - Precise Modelling of Compensating Business Transactions and its Application to BPEL
Michael Butler, C. Ferreira, Muan Yong Ng,
Journal of Universal Computer Science, vol. 11, n. 5, pages 712-743, May 2005 - Efficient data structures for backtrack search SAT solvers
Inês Lynce, Joao Marques Silva,
Annals of Mathematics and Artificial Intelligence, vol. 43, n. 1, pages 137-152, January 2005 - Satisfiability-Based Algorithms for Boolean Optimization
Vasco Manquinho, Joao Marques Silva,
Annals of Mathematics and Artificial Intelligence, vol. 20, n. 2, pages 353-372, March 2004 - Solving Satisfiability in Combinational Circuits
Joao Marques Silva, Luis Guerra e Silva,
IEEE Design and Test of Computers, pages 16-21, July 2003 - An Overview of Backtrack Search Satisfiability Algorithms
Inês Lynce, Joao Marques Silva,
Annals of Mathematics and Artificial Intelligence, vol. 37, n. 3, pages 307-326, March 2003 - Extending the Concept of Transaction Compensation
Mandy Chessell, Catherine Griffin, David Vines, Michael Butler, C. Ferreira, Peter Henderson,
IBM Systems Journal, vol. 41, n. 4, pages 743-758, November 2002 - Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem
Vasco Manquinho, Joao Marques Silva,
IEEE Transactions on Computer-Aided Design, vol. 21, n. 5, pages 505-516, May 2002 - Satisfiability Models and Algorithms for Circuit Delay Computation
Luis Guerra e Silva, Joao Marques Silva, L. Miguel Silveira, K. A. Sakallah,
ACM Transactions on Design Automation of Electronic Systems, vol. 7, n. 1, pages 137-158, January 2002 - An exact solution to the minimum-size test pattern problem
Paulo Flores, Horácio C. Neto, Joao Marques Silva,
ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 6, n. 4, pages 629-644, October 2001 - Efficient Algorithms For The Inference Of Minimum Size DFAs
Arlindo L. Oliveira, Joao Marques Silva,
Machine Learning, vol. 44, n. 1, pages 93-119, DOI 10.1023/A:1010828029885, July 2001 - GRASP: A Search Algorithm for Propositional Satisfiability
Joao Marques Silva, Karem A. Sakallah,
IEEE Transactions on Computers, vol. 48, n. 5, pages 506-521, May 1999 - Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation
Michael A. Riepe, Joao Marques Silva, Karem A. Sakallah, Richard B. Brown,
IEEE Transactions on VLSI Systems, vol. 4, n. 1, pages 113-129, March 1996
In Proceedings (Author)
- Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
Eduard Pinconschi, Sofia Oliveira Reis, Chi Zhang, Rui Abreu, Hakan Erdogmus, Corina Pasareanu, Limin Jia,
International Conference on AI Engineering (CAIN) – Software Engineering for AI (Co-located with the International Conference in Software Engineering), December 2023 - Best Practices when Writing Security Commit Messages: Are we there yet?
Sofia Oliveira Reis, Hakan Erdogmus, Rui Abreu, Corina Pasareanu,
, December 2023 - Are security commit messages informative? Not enough!
Sofia Oliveira Reis, Rui Abreu, Corina Pasareanu,
International Conference on Evaluation and Assessment in Software Engineering, December 2023 - SECOMlint: A linter for Security Commit Messages
Sofia Oliveira Reis, Corina Pasareanu, Rui Abreu, Hakan Erdogmus,
, December 2023 - RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos,
Proceedings of 44th IEEE Symposium on Security and Privacy (S&P), December 2023 - Explaining Wikipedia page similarity using network science
João Tiago Aparicio, Thomas Tiam-Lee, Carlos J. Costa,
World Conference on Information Systems and Technologies, December 2023 - Polarization and similarly of news in Portugal and the Philippines
João Tiago Aparicio, Thomas Tiam-Lee, Carlos J. Costa,
World Conference on Information Systems and Technologies, December 2023 - UpMax: User partitioning for MaxSAT
Pedro Orvalho, Vasco Manquinho, Ruben Martins,
International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 2023 - Graph Neural Networks For Mapping Variables Between Programs
Pedro Orvalho, Jelle Piepenbrock, Mikolas Janota, Vasco Manquinho,
European Conference on Artificial Intelligence (ECAI), July 2023 - Community structure in transcriptional regulatory networks of yeast species
Fábio Cruz, Pedro T. Monteiro, Andreia Sofia Teixeira,
International Conference on Complex Networks (CompleNet), April 2023 - New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Joao Cortes, Inês Lynce, Vasco Manquinho,
Tools and Algorithms for Construction and Analysis of Systems (TACAS), April 2023 - Extending EcoAndroid with Automated Detection of Resource Leaks
Ricardo Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu,
9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022, December 2022 - A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
Miguel Trinca, João F. Ferreira, Rui Abreu,
2nd International Workshop on Artificial Intelligence in Software Testing (AIST'22), December 2022 - Concolic Execution for WebAssembly
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão,
Proceedings of European Conference on Object-Oriented Programming (ECOOP), December 2022 - SECOM: Towards a convention for security commit messages
Sofia Oliveira Reis, Rui Abreu, Hakan Erdogmus, Corina Pasareanu,
International Conference on Mining Software Repositories (MSR), December 2022 - SAT-based Leximax Optimisation Algorithms
Miguel Bettencourt Moniz Cabral, Mikolas Janota, Vasco Manquinho,
International Conference on Theory and Applications of Satisfiability Testing (SAT), December 2022 - Verified Password Generation from Password Composition Policies
Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes,
17th International Conference on integrated Formal Methods (iFM), December 2022 - Leveraging Practitioners’ Feedback to Improve a Security Linter
Sofia Oliveira Reis, Rui Abreu, Marcelo D'Amorim, Daniel Antunes Bustorff Fortunato,
37th IEEE/ACM International Conference on Automated Software Engineering, Rochester, MI, USA, November 2022 - MultIPAs : Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
Pedro Orvalho, Mikolas Janota, Vasco Manquinho,
30th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (ESEC/FSE 2022), November 2022 - TestSelector: Automatic Test Suite Selection for Student Projects
Filipe Marques, António Morgado, José Fragoso Santos, Mikolas Janota,
Runtime Verification, Lecture Notes in Computer Science, Springer, vol. 13498, pages 283--292, Springer, Tbilisi, Georgia, September 2022 - Predicting blood donor return in Portugal: the role of demographics
João Castanheira, Andreia Sofia Teixeira, Sara C. Madeira, Pedro T. Monteiro,
13th INForum - Simpósio de Informática (INForum'22), Guarda, PT, September 2022 - Community detection for the characterization of transcriptional regulatory networks of yeast species
Fábio Cruz, Pedro T. Monteiro, Andreia Sofia Teixeira,
INForum, September 2022 - GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
Nuno Saavedra, João F. Ferreira,
37th IEEE/ACM International Conference on Automated Software Engineering (ASE), July 2022 - Studying Users' Willingness to Use a Formally Verified Password Manager
Carolina Carreira,
PhD Symposium at the 17th International Conference on integrated Formal Methods (iFM), June 2022 - Consolidation of massive medical emergency events with heterogeneous situational context data sources
Thomas Tiam-Lee, Rui Miguel Carrasqueiro Henriques, José Costa, Vasco Manquinho, Helena Galhardas,
6th International workshop on Data Analytics solutions for Real-LIfe APplications @ EDBT/ICDT 2022, March 2022 - Automatic Generation of Neural Architecture Search Spaces
David António Cóias Calhas, Vasco Manquinho, Inês Lynce,
AAAI-2022 Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations (CLeaR), February 2022 - Functional characterization of transcriptional regulatory networks of yeast species
Paulo Dias, Pedro T. Monteiro, Andreia Sofia Teixeira,
International School and Conference on Network Science (NetSciX'22), LNCS, vol. 13197, February 2022 - Supervised Learning for Test Suit Selection in Continuous Integration
Ricardo Martins, Rui Abreu, Manuel Lopes, João Nadkarni,
2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), December 2021 - Vehicle Smart Grid Allocation using Multi-Agent Systems sensitive to Irrational Behavior and Unstable Power Supply
João Tiago Aparicio, Miguel Trinca, Daniel Castro, Rui Miguel Carrasqueiro Henriques,
Iberian Conference on Information Systems and Technologies, December 2021 - EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
Ana Sofia Gonçalves Ribeiro, João F. Ferreira, Alexandra Mendes,
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS), IEEE, IEEE, December 2021 - On using distributed representations of source code for the detection of C security vulnerabilities
David Ferreira Coimbra, Sofia Oliveira Reis, Rui Abreu, Corina Pasareanu, Hakan Erdogmus,
International Workshop on Principles of Diagnosis, December 2021 - Hybrid Information Flow Control for Low-Level Code
Eduardo Geraldo, José Fragoso Santos, João Costa Seco,
Software Engineering and Formal Methods, Lecture Notes in Computer Science, Springer, vol. 13085, pages 141--159, Springer, December 2021 - A ground-truth dataset of real security patches
Sofia Oliveira Reis, Rui Abreu,
, December 2021 - Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
Rui Lima, João F. Ferreira, Alexandra Mendes,
International Workshop on Refactoring (IWoR 21), November 2021 - Counterfeiting Congestion Control Algorithms
Margarida Ferreira, Akshay Narayan, Justine Sherry, Inês Lynce, Ruben Carlos Gonçalves Martins,
HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, pages 132-139, November 2021 - Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin,
1st International Workshop on Applicable Formal Methods (appFM), November 2021 - The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
Mikolas Janota, António José dos Reis Morgado, José Fragoso Santos, Vasco Manquinho,
27th International Conference on Principles and Practice of Constraint Programming, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, vol. 210, pages 31:1--31:16, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, Montpellier, France, October 2021 - Where are the Passengers? Individual Passenger Route Choice Estimation from Gate Information in Urban Rail Transit Systems
Thomas Tiam-Lee, Rui Miguel Carrasqueiro Henriques,
European Transport Conference (ETC), September 2021 - Gillian, Part II: Real-World Verification for JavaScript and C
Sacha Elie-Ayoun, Petar Maksimovic, José Fragoso Santos, Philippa Gardner,
Computer Aided Verification, Lecture Notes in Computer Science, Springer, vol. 12760, pages 827--850, Springer, Virtual Event, July 2021 - How to Approximate Leximax-optimal Solutions
Miguel Cabral, Mikolas Janota, Vasco Manquinho,
Pragmatics of SAT 2021, June 2021 - AlloyMax: Bringing Maximum Satisfaction toRelational Specifications
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang,
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), June 2021 - SOAR: A Synthesis Approach for Data Science API Refactoring
Ansong Ni, Daniel Rosa Ramos, Aidan Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues,
International Conference on Software Engineering (ICSE), May 2021 - UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles
Leonor Pimenta de Oliveira e Silva, Helena Galhardas, Vasco Manquinho, Rui Miguel Carrasqueiro Henriques,
SIAM International Conference on Data Mining, April 2021 - FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Margarida Ferreira, Miguel Neves, Miguel Ventura, Inês Lynce, Ruben Carlos Gonçalves Martins,
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, Springer, pages 152-169, Springer, March 2021 - A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner,
34th European Conference on Object-Oriented Programming, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, vol. 166, pages 28:1--28:29, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, Berlin, Germany, November 2020 - UnchartIt: An Interactive Framework for Program Recovery from Charts
Daniel Rosa Ramos, Jorge Pereira, Inês Lynce, Vasco Manquinho, Ruben Carlos Gonçalves Martins,
IEEE/ACM International Conference on Automated Software Engineering, October 2020 - Minimal Perturbation in University Timetabling with Maximum Satisfiability
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce,
17th Intl. Conf. on Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'20), LNCS, vol. 12296, pages 1-17, September 2020 - ModRev - Model Revision tool for Boolean logical models of biological regulatory networks
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro,
18th Intl. Conf. on Computational Methods in Systems Biology (CMSB'20), LNBI, vol. 12314, pages 1-10, September 2020 - ITC 2019: University Course Timetabling with MaxSAT
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce,
Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2021:, vol. 1, pages 105-128, August 2020 - Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
David Filipe Borges Pereira, João F. Ferreira, Alexandra Mendes,
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) – 5th International Workshop on Reliability and Security Data Analysis (RSDA), August 2020 - Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry,
15th ACM ASIA Conference on Computer and Communications Security, July 2020 - SAT-Based Encodings for Optimal Decision Trees with Explicit Paths.
Mikolas Janota, António José dos Reis Morgado,
Theory and Applications of Satisfiability Testing - {SAT} 2020, Lecture Notes in Computer Science, Springer, vol. 12178, pages 501--518, Springer, July 2020 - SQUARES : A SQL Synthesizer Using Query Reverse Engineering
Pedro Orvalho, Miguel Neves, Miguel Ventura, Ruben Carlos Gonçalves Martins, Vasco Manquinho,
International Conference on Very Large Databases, vol. 13, pages 2853-2856, July 2020 - SmartBugs: A Framework to Analyze Solidity Smart Contracts
João F. Ferreira, António Pedro Cruz Monteiro, Thomas Durieux, Rui Abreu,
35th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, July 2020 - A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Gabriela Sampaio, José Santos, Petar Maksimovic, Philippa Gardner,
European Conference on Object-Oriented Programming (ECOOP 2020), June 2020 - Gillian, Part I: A Multi-language Platform for Symbolic Execution
José Fragoso Santos, Petar Maksimovic, Sacha-Elie Ayoun, Philippa Gardner,
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM, pages 16, ACM, London, April 2020 - Extending Narrative Planning Domains with Linguistic Resources
Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza,
International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), January 2020 - Visual Sketching: From Image Sketches to Code
Rui Abreu, Marcelo D'Amorim, Carlos Mello,
The 42th International Conference on Software Engineering (ICSE'20), ACM, ACM, Seoul, South Korea., January 2020 - Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Thomas Durieux, João F. Ferreira, Rui Abreu, António Pedro Cruz Monteiro,
42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, December 2019 - Narrative Planning Model Acquisition from Text Summaries and Descriptions
Thomas Hayton, Julie Porteous, João F. Ferreira, Alan Lindsay,
AAAI Conference on Artificial Intelligence (AAAI-20), November 2019 - Encodings for Enumeration-Based Program Synthesis
Pedro Orvalho, Miguel Neves, Miguel Ventura, Ruben Carlos Gonçalves Martins, Vasco Manquinho,
25th International Conference on Principles and Practice of Constraint Programming, CP 2019, Springer, pages 583-599, Springer, October 2019 - Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
Andreia Guerreiro, Miguel Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho,
25th International Conference Principles and Practice of Constraint Programming, CP 2019, Springer, pages 232-250, Springer, October 2019 - Solving Motion and Action Planning for a Cooperative Agent Problem Using Geometry Friends
Ana Salta, Rui Prada, Francisco S. Melo,
EPIA Conference on Artificial Intelligence, Lecture Notes in Computer Science, Springer, vol. 11804, pages 86-97, Springer, September 2019 - Open and Interactive Learning Resources for Algorithmic Problem Solving
João F. Ferreira, Alexandra Mendes,
9th International Workshop on Open Community approaches to Education, Research and Technology (OpenCert), August 2019 - Model-Based Diagnosis with Multiple Observations
Alexey Ignatiev, António José dos Reis Morgado, Georg Weissenbacher, Joao Marques-Silva,
International Joint Conference on Artificial Intelligence, {IJCAI} 2019, ijcai.org, pages 1108--1115, ijcai.org, August 2019 - Logic, Algebra, and Geometry at the Foundation of Computer Science
Tony Hoare, Alexandra Mendes, João F. Ferreira,
Formal Methods Teaching Workshop (FMTea), August 2019 - DRMaxSAT with MaxHS: First Contact
António José dos Reis Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joao Marques-Silva, Sam Buss,
Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science, Springer, vol. 11628, pages 239--249, Springer, July 2019 - DRMaxSAT with MaxHS: First Contact
António José dos Reis Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joao Marques-Silva, Sam Buss,
Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science, Springer, vol. 11628, pages 239--249, Springer, July 2019 - Integrating Constraint Reasoning in Multi-Objective Evolutionary Algorithms
Miguel Neves, Inês Lynce, Vasco Manquinho,
28th International Joint Conference on Artificial Intelligence, IJCAI 2019, May 2019 - Model revision of Boolean regulatory networks at stable state
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro,
International Symposium on Bioinformatics Research and Applications, Lecture Notes in Computer Science, vol. 11490, pages 100-112, May 2019 - Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization
Rui Abreu, Sofia Oliveira Reis, Marcelo D'Amorim,
28th International Joint Conference on Artificial Intelligence (IJCAI19), AAAI, AAAI, Macao, May 2019 - Efficient Symmetry Breaking for SAT-Based Minimum {DFA} Inference
Ilya Zakirzyanov, António José dos Reis Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva,
International Conference Language and Automata Theory and Applications, Lecture Notes in Computer Science, Springer, vol. 11417, pages 159--173, Springer, March 2019 - Concurrency Debugging with MaxSMT
Miguel Neves, Nuno Machado, Inês Lynce, Vasco Manquinho,
Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, January 2019 - Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
Miguel Neves, Inês Lynce, Vasco Manquinho,
Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 2018 - PySAT: {A} Python Toolkit for Prototyping with {SAT} Oracles
Alexey Ignatiev, António José dos Reis Morgado, Joao Marques-Silva,
Theory and Applications of Satisfiability Testing , Lecture Notes in Computer Science, Springer, vol. 10929, pages 428--437, Springer, July 2018 - Multi-Objective Optimization Through Pareto Minimal Correction Subsets
Miguel Neves, Inês Lynce, Vasco Manquinho,
Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 2018 - Model Revision of Logical Regulatory Networks Using Logic-Based Tools
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro,
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 2018 - Towards Generalization in QBF Solving via Machine Learning
Mikolas Janota,
Thirty-Second AAAI Conference on Artificial Intelligence , April 2018 - MaxSAT Resolution With the Dual Rail Encoding
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, António José dos Reis Morgado,
Artificial Intelligence, {AAAI} Press, pages 6565--6572, {AAAI} Press, https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16782, February 2018 - Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
Miguel Neves, Inês Lynce, Vasco Manquinho,
AAAI Conference on Artificial Intelligence, AAAI 18, AAAI Press, AAAI Press, https://www.aaai.org/ocs/index.php/AAAI/AAAI18/pap, February 2018 - SECBENCH: A Database of Real Security Vulnerabilities
Sofia Oliveira Reis, Rui Abreu,
International Workshop on Secure Software Engineering in DevOps and Agile Development @ ESORICS, CEUR, vol. 1977, pages 69-85, CEUR, Norway, December 2017 - Using Spark and GraphX to Parallelize Large-Scale Simulations of Bacterial Populations over Host Contact Networks
Andreia Sofia Teixeira, Pedro T. Monteiro, João Carriço, Francisco C. Santos, A. P. Francisco,
International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'17), pages 591-600, September 2017 - Logic-Based Encodings for Ricochet Robots
Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce,
EPIA Conference on Artificial Intelligence (EPIA'17), LNCS, vol. 10423, pages 657-680, September 2017 - Introducing Pareto Minimal Correction Subsets
Miguel Neves, Inês Lynce, Vasco Manquinho,
International Conference on Theory and Applications of Satisfiability Testing (SAT), Lecture Notes in Computer Science, Springer, pages 195-211, Springer, August 2017 - Towards distance-based phylogenetic inference in average-case linear-time
Maxime Crochemore, A. P. Francisco, Solon P. Pissis, Cátia Vaz,
WABI, LIPIcs, vol. 88, pages 1-14, LIPIcs, August 2017 - An Achilles' Heel of Term-Resolution
Mikolas Janota, Joao-Marques-Silva,
EPIA Conference on Artificial Intelligence, August 2017 - NGSPipes: Fostering Reproducibility and Scalability in Biosciences
Bruno Miguel das Neves Dantas, Calmenelias Pino Fleitas, Alexandre Teixeira de Almeida, João Nuno Gonçalves Forja, A. P. Francisco, José Simão, Cátia Vaz,
8th International Conference on Bioinformatics, Computational Biology, and Health Informatics, ACM, ACM, August 2017 - Using Spark and MapReduce to Parallelize Large Scale Simulations Over Host Contact Networks
Andreia Sofia Teixeira, Pedro T. Monteiro, João Carriço, Francisco C. Santos, A. P. Francisco,
, In: Ibrahim S., Choo KK., Yan Z., Pedrycz W. (eds). Proc. of, Lecture Notes in Computer Science, Springer, vol. 10393, Lecture Notes in Computer Science, Springer, July 2017 - Leafactor: Improving energy efficiency of android apps via automatic refactoring
Rui Abreu, Luís Cruz,
2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft), IEEE, pages 205-206, IEEE, May 2017 - Evaluating & improving fault localization techniques
Rui Abreu, Spencer Pearson, Jose Campos, Gordon Fraser, Michael D Ernst, Deric Pang, Benjamin Keller,
Proceedings of the 39th International Conference on Software Engineering (ICSE), pages 609-620, May 2017 - Performance-based guidelines for energy efficient mobile applications
Rui Abreu, Luís Cruz,
2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft), pages 46-57, May 2017 - A test-suite diagnosability metric for spectrum-based fault localization approaches
Rui Abreu, Alexandre Perez,
Proceedings of the 39th International Conference on Software Engineering (ICSE), pages 654-664, May 2017 - Prevalence of single-fault fixes and its impact on fault localization
Rui Abreu, Alexandre Perez, Marcelo D'Amorim,
IEEE International Conference on Software Testing, Verification and Validation (ICST), pages 12-22, April 2017 - Non-Portfolio Approaches for Distributed Maximum Satisfiability
Miguel Neves, Inês Lynce, Vasco Manquinho,
IEEE International Conference on Tools with Artificial Intelligence, IEEE Press, pages 436-443, IEEE Press, November 2016 - On Incremental Core-Guided MaxSAT Solving
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey S. Ignatiev, Mayur Naik,
International Conference Principles and Practice of Constraint Programming (CP 2016), Lecture Notes in Computer Science, Springer, pages 473-482, Springer, September 2016 - SAT-based identification of stable states in composed Boolean regulatory networks
Pedro Varela, Inês Lynce, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro,
International Workshop on Static Analysis and Systems Biology (SASB 2016), Edinburgh, UK, September 2016 - NGSPipes: From Specification to Automatic Deployment of NGS pipelines
Calmenelias Pino Fleitas, Bruno Miguel das Neves Dantas, A. P. Francisco, Cátia Vaz, José Simão,
Inforum, September 2016 - Reversing Boolean gene regulatory networks
Sébastien Fueyo, Pedro T. Monteiro, Aurélien Naldi, Elisabeth Remy, Claudine Chaouiya,
[Abstract and oral presentation at] 10th European Conference on Mathematical and Theoretical Biology (ECMTB), Nottingham, UK, July 2016 - On the number and structure of Boolean functions compatible with a regulatory network topology
Pedro T. Monteiro, José E.R. Cury, Claudine Chaouiya,
[Abstract and Presentation at] 10th European Conference on Mathematical and Theoretical Biology (ECMTB), Nottingham, UK, July 2016 - On Q-Resolution and CDCL QBF Solving
Mikolas Janota,
Theory and Applications of Satisfiability Testing – SAT 2016, June 2016 - Making Weak Consistency Great Again
Valter Balegas, Nuno Preguiça, Sergio Duarte, C. Ferreira, Rodrigo Rodrigues,
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2016)., April 2016 - Yeast Drug:H+ antiporters: comparative genomic and phylogenetic analyses and design and implementation of a dedicated database
Paulo J. Dias, André Machado, Kaiyang Zhang, T. Blake, Pedro T. Monteiro, Isabel Sá-Correia,
[Poster at] Congress of Microbiology and Biotechnology (MicroBiotec'15), December 2015 - MILP for the Multi-objective VM Reassignment Problem
Takfarinas Saber, Anthony Ventresque, James Thorburn, Liam Murphy, Joao Marques Silva,
International Conferences on Tools with AI, IEEE, pages 41-48, IEEE, Italy, November 2015 - Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
M. Fareed Arif, Carlos Mencia, Joao Marques Silva,
Theory and Applications of Satisfiability Testing, LNCS, Springer, pages 324-342, Springer, Austin, TX, USA, September 2015 - SAT-Based Horn Least Upper Bounds
Carlos Mencia, Alessandro Previti, Joao Marques Silva,
Theory and Applications of Satisfiability Testing, LNCS, Springer, pages 423-433, Springer, Austin, TX, USA, September 2015 - Predicting T-helper cell differentiation and plasticity using logical modelling and model-checking
Wassim Abou-Jaoudé, Maximilien Grandclaudon, Pedro T. Monteiro, Aurélien Naldi, Claudine Chaouiya, Vassili Soumelis, Denis Thieffry,
[Poster at] 4th European Congress of Immunology (ECI'15), Vienna, Austria, September 2015 - Computing Maximal Autarkies with Few and Simple Oracle Queries
Oliver Kullmann, Joao Marques Silva,
Theory and Applications of Satisfiability Testing, LNCS, Springer, pages 138-155, Springer, Austin, TX, USA, September 2015 - Exploiting Resolution-Based Representations for MaxSAT Solving
Miguel Neves, Ruben Carlos Gonçalves Martins, Mikolas Janota, Inês Lynce, Vasco Manquinho,
International Conference on Theory and Applications of Satisfiability Testing - (SAT 2015), LNCS, Springer, vol. 9340, pages 272-286, Springer, September 2015 - SAT-Based Formula Simplification
Alexey S. Ignatiev, Alessandro Previti, Joao Marques Silva,
Theory and Applications of Satisfiability Testing, LNCS, Springer, pages 287-298, Springer, Austin, TX, USA, September 2015 - Efficient Axiom Pinpointing with EL2MCS
M. Fareed Arif, Carlos Mencia, Joao Marques Silva,
Annual German Conference on AI, LNCS, Springer, pages 225-233, Springer, Dresden, Germany, September 2015 - Smallest MUS Extraction with Minimal Hitting Set Dualization
Alexey S. Ignatiev, Alessandro Previti, Joao Marques Silva,
Principles and Practice of Constraint Programming, LNCS, Springer, pages 173-182, Springer, Cork, Ireland, August 2015 - Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Saurabh Joshi, Ruben Carlos Gonçalves Martins, Vasco Manquinho,
International Conference Principles and Practice of Constraint Programming (CP 2015), LNCS, Springer, vol. 9255, pages 200-209, Springer, August 2015 - Solving QBF by Clause Selection
Mikolas Janota, Joao Marques Silva,
International Joint Conference on Artificial Intelligence, AAAI Press, pages 325-331, AAAI Press, Buenos Aires, Argentina, July 2015 - Literal-Based MCS Extraction.
Carlos Mencia, Alessandro Previti, Joao Marques Silva,
International Joint Conference on Artificial Intelligence, AAAI Press, pages 1973-1979, AAAI Press, Buenos Aires, Argentina, July 2015 - Efficient Model Based Diagnosis with Maximum Satisfiability
Joao Marques Silva, Mikolas Janota, Alexey S. Ignatiev, António José dos Reis Morgado,
International Joint Conference on Artificial Intelligence, AAAI Press, pages 1966-1972 c1, AAAI Press, Buenos Aires, Argentina, July 2015 - Prime Compilation of Non-Clausal Formulae
Alessandro Previti, Alexey S. Ignatiev, António José dos Reis Morgado, Joao Marques Silva,
International Joint Conference on Artificial Intelligence, AAAI Press, pages 1980-1988, AAAI Press, Buenos Aires, Argentina, July 2015 - A computational framework for the logical modelling of epithelial patterning
Pedro Varela, Adrien Fauré, Claudine Chaouiya, Pedro T. Monteiro,
[Presentation and Poster at] 12th Basel Computational Biology Conference ([BC]2'15), Basel, Switzerland, June 2015 - Logical modeling of T-helper cell differentiation and plasticity
Wassim Abou-Jaoudé, Maximilien Grandclaudon, Pedro T. Monteiro, Aurélien Naldi, Claudine Chaouiya, Vassilis Soumelis, Denis Thieffry,
[Poster at] 6th Young Researchers in Life Sciences Conference (YRLS'15), Paris, France, May 2015 - Proof Complexity of Resolution-based QBF Calculi
Olaf Beyersdorff, Leroy Chew, Mikolas Janota,
32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, vol. 30, pages 76--89, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, February 2015 - Efficient Relaxations of Over-constrained CSPs
Carlos Mencia, Joao Marques Silva,
International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Press, pages 725-732, IEEE Press, Cyprus, November 2014 - Core-Guided MaxSAT with Soft Cardinality Constraints
António José dos Reis Morgado, Carmine Dodaro, Joao Marques Silva,
Principles and Practice of Constraint Programming (CP), LNCS, Springer, pages 564-573, Springer, September 2014 - Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
Saïd Jabbour, Joao Marques Silva, Lakhdar Sais, Yakoub Salhi,
European Conference on Logics in Artificial Intelligence, LNCS, Springer, pages 152-165, Springer, September 2014 - EpiLog, a computational tool for the logical modelling of epithelial pattern formation
Pedro Varela, Pedro T. Monteiro, Nuno D. Mendes, Adrien Fauré, Claudine Chaouiya,
[Poster at] 13th European Conference on Computational Biology (ECCB'14), Strasbourg, France, September 2014 - Logical modeling of T-helper cell differentiation and plasticity
Wassim Abou-Jaoudé, M. Grandclaudon, Pedro T. Monteiro, A. Naldi, C. Chaouiya, V. Soumelis, D. Thieffry,
Logical Modelling and Analysis of Cellular Networks (LMACN-ECCB'14), September 2014 - GINsim: a software tool for the modelling and analysis of logical regulatory networks
Aurélien Naldi, Pedro T. Monteiro, Denis Thieffry, Claudine Chaouiya,
[Poster at] 13th European Conference on Computational Biology (ECCB'14), Strasbourg, France, September 2014 - Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joao Marques Silva,
European Conference on Logics in Artificial Intelligence (ECAI), IOS Press, pages 1065-1066, IOS Press, August 2014 - On Unification of QBF Resolution-Based Calculi
Mikolas Janota, Olaf Beyersdorff, Leroy Chew,
Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Springer Berlin Heidelberg, vol. 8635, pages 81-93, Springer Berlin Heidelberg, August 2014 - Open-WBO: A Modular MaxSAT Solver
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
Theory and Applications of Satisfiability Testing - SAT 2014, Springer, vol. 8561, pages 438-445, Springer, July 2014 - On Reducing Maximum Independent Set to Minimum Satisfiability
Alexey S. Ignatiev, António José dos Reis Morgado, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT), LNCS, Springer, pages 103-120, Springer, http://dx.doi.org/10.1007/978-3-319-09284-3_9, July 2014 - Towards a Plant Experimental Assay Ontology
Nuno D. Mendes, Pedro T. Monteiro, Cátia Vaz, Inês Chaves,
[Poster at] 10th International Conference on Data Integration in the Life Sciences (DILS'14), Lisbon, Portugal, July 2014 - Incremental Cardinality Constraints for MaxSAT
Ruben Carlos Gonçalves Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce,
Principles and Practice of Constraint Programming - 20th International Conference, Lecture Notes in Computer Science, Springer, vol. 8656, pages 531-548, Springer, July 2014 - YEASTRACT-NET: extracting and visualizing transcription regulatory networks in S. cerevisiae
Pedro T. Monteiro, Miguel C. Teixeira, A. P. Francisco, Isabel Sá-Correia,
[Poster and oral presentation] at XX Jornadas de leveduras Professor Nicolau van Uden, Lisboa, Portugal, July 2014 - MUS Extraction Using Clausal Proofs
Anton Belov, Marijn Heule, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT), LNCS, Springer, pages 48-57, Springer, http://dx.doi.org/10.1007/978-3-319-09284-3_5, July 2014 - A Repository for Biological Data applied to the Woody Plants Domain
Filipa Rebelo, Inês Chaves, Nuno D. Mendes, Pedro T. Monteiro, José Borbinha,
[Poster at] 10th International Conference on Data Integration in the Life Sciences (DILS'14), Lisbon, Portugal, July 2014 - On Computing Preferred MUSes and MCSes
Joao Marques Silva, Alessandro Previti,
Theory and Applications of Satisfiability Testing (SAT), LNCS, Springer, pages 58-74, Springer, http://dx.doi.org/10.1007/978-3-319-09284-3_6, July 2014 - Towards efficient optimization in package management systems
Alexey S. Ignatiev, Mikolas Janota, Joao Marques Silva,
International Conference on Software Engineering (ICSE), ACM, pages 745-755, ACM, http://doi.acm.org/10.1145/2568225.2568306, May 2014 - Efficient Autarkies
Joao Marques Silva, Alexey S. Ignatiev, António José dos Reis Morgado, Vasco Manquinho, Inês Lynce,
ECAI 2014 - 21st European Conference on Artificial Intelligence, IOS Press, vol. 263, pages 603-608, IOS Press, May 2014 - A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joao Marques Silva,
Integration of AI and OR Techniques in Constraint Programming, LNCS, Springer, pages 368-376, Springer, http://dx.doi.org/10.1007/978-3-319-07046-9_26, May 2014 - Progression in Maximum Satisfiability
Alexey S. Ignatiev, António José dos Reis Morgado, Vasco Manquinho, Inês Lynce, Joao Marques Silva,
ECAI 2014 - 21st European Conference on Artificial Intelligence, IOS Press, vol. 263, pages 453-458, IOS Press, May 2014 - Model Checking Logical Regulatory Networks
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya,
12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES'14), pages 170-175, May 2014 - Synthesizing Safe Bit-Precise Invariants
Arie Gurfinkel, Anton Belov, Joao Marques Silva,
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, Springer, pages 93-108, Springer, http://dx.doi.org/10.1007/978-3-642-54862-8_7, March 2014 - On lazy and eager interactive reconfiguration
Mikolas Janota, Goetz Botterweck, Joao Marques Silva,
Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, ACM, http://doi.acm.org/10.1145/2556624.2556644, January 2014 - On QBF Proofs and Preprocessing
Mikolas Janota, Radu Grigore, Joao Marques Silva,
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), LNCS, Springer, pages 473-489, Springer, http://dx.doi.org/10.1007/978-3-642-45221-5_32, December 2013 - Maximal Falsifiability: Definitions, Algorithms, and Applications
Alexey S. Ignatiev, António José dos Reis Morgado, Jordi Planes, Joao Marques Silva,
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), LNCS, Springer, pages 439-456, Springer, http://dx.doi.org/10.1007/978-3-642-45221-5_30, December 2013 - SAT-Based Preprocessing for MaxSAT
Anton Belov, António José dos Reis Morgado, Joao Marques Silva,
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), LNCS, Springer, pages 96-111, Springer, http://dx.doi.org/10.1007/978-3-642-45221-5_7, December 2013 - Solving QBF with Free Variables
William Klieber, Mikolas Janota, Joao Marques Silva, Edmund M. Clarke,
Principles and Practice of Constraint Programming (CP), LNCS, Springer, pages 415-431, Springer, http://dx.doi.org/10.1007/978-3-642-40627-0_33, October 2013 - NetPopSim - a population simulator for microbial allelic profiles for simulating spread and evolution within social networks
Andreia Sofia Teixeira, A. P. Francisco, Pedro T. Monteiro, R. Oliveira, Mario Ramirez, João Carriço,
[Poster at] 10th International Meeting on Microbial Epidemiological Markers (IMMEM), October 2013 - Model-Guided Approaches for MaxSAT Solving
António José dos Reis Morgado, Federico Heras, Joao Marques Silva,
International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Press, IEEE Press, October 2013 - EpiLog: a novel tool for the qualitative modelling of epithelial patterning
Pedro L. Varela, Nuno D. Mendes, Pedro T. Monteiro, Adrien Fauré, Claudine Chaouiya,
5th INForum - Simpósio de Informática (INForum'13), Évora, Portugal, September 2013 - Degrees of separation on a dynamic social network
André Domingos, Hugo Ferreira, Pedro Rijo, Cátia Vaz, A. P. Francisco,
Mining and Learning with Graphs - Knowledge Discovery and Data Mining (MLG-KDD'13), ACM, ACM, August 2013 - On Computing Minimal Correction Subsets.
Joao Marques Silva, Federico Heras, Mikolas Janota, Alessandro Previti, Anton Belov,
International Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, AAAI Press, http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/pa, August 2013 - Spanning edge betweenness
Andreia Sofia Teixeira, Pedro T. Monteiro, João Carriço, Mário Ramirez, A. P. Francisco,
Mining and Learning with Graphs - Knowledge Discovery and Data Mining (MLG-KDD'13), ACM, ACM, August 2013 - Quantified Maximum Satisfiability: A Core-Guided Approach
Alexey S. Ignatiev, Mikolas Janota, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT), LNCS, Springer, pages 250-266, Springer, http://dx.doi.org/10.1007/978-3-642-39071-5_19, July 2013 - Model-based Partitioning for MaxSAT Solving
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'13), July 2013 - Partial MUS Enumeration
Alessandro Previti, Joao Marques Silva,
AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, AAAI Press, http://www.aaai.org/ocs/index.php/AAAI/AAAI13/pape, July 2013 - Parallel MUS Extraction
Anton Belov, Norbert Manthey, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT), LNCS, Springer, pages 133-149, Springer, http://dx.doi.org/10.1007/978-3-642-39071-5_11, July 2013 - Minimal Sets over Monotone Predicates in Boolean Formulae
Joao Marques Silva, Mikolas Janota, Anton Belov,
Computer-Aided Verification (CAV), LNCS, Springer, pages 592-607, Springer, http://dx.doi.org/10.1007/978-3-642-39799-8_39, July 2013 - Community-Based Partitioning for MaxSAT Solving
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
16th International Conference on Theory and Applications of Satisfiability Testing, LNCS, Springer, vol. 7962, pages 182-191, Springer, Helsinki, Finland, July 2013 - On Propositional QBF Expansions and Q-Resolution
Mikolas Janota, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT), LNCS, Springer, pages 67-82, Springer, http://dx.doi.org/10.1007/978-3-642-39071-5_7, July 2013 - Core minimization in SAT-based abstraction
Anton Belov, Huan Chen, Alan Mishchenko, Joao Marques Silva,
Design, Automation and Test in Europe (DATE), ACM, pages 1411-1416, ACM, http://dl.acm.org/citation.cfm?id=2485624, March 2013 - Epilog: a software for the logical modelling of epithelial patterning
Pedro Varela, Nuno D. Mendes, Pedro T. Monteiro, Adrien Fauré, Claudine Chaouiya,
[Poster at] Bioinformatic Open Days'13, March 2013 - Formula Preprocessing in MUS Extraction
Anton Belov, Matti Jarvisalo, Joao Marques Silva,
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, Springer, pages 108-123, Springer, http://dx.doi.org/10.1007/978-3-642-36742-7_8, March 2013 - Reasoning over Biological Networks Using Maximum Satisfiability
João Guerra, Inês Lynce,
International Conference on Principles and Practice of Constraint Programming, LNCS, Springer, pages 941-956, Springer, November 2012 - MaxSAT-Based MCS Enumeration
Antonio Morgado, Mark H. Liffiton, Joao Marques Silva,
Haifa Verification Conference (HVC 2012), Springer, Springer, November 2012 - Iterative SAT Solving for Minimum Satisfiability
Federico Heras, Antonio Morgado, Jordi Planes, Joao Marques Silva,
International Conference on Tools with Artificial Intelligence (ICTAI 2012), IEEE, IEEE, October 2012 - Efficient handling of large signalling-regulatory networks by focusing on their core control
Aurélien Naldi, Pedro T. Monteiro, Claudine Chaouiya,
10th Intl. Conf. on Computational Methods in Systems Biology (CMSB'12), October 2012 - On Computing Minimal Equivalent Subformulas
Anton Belov, Mikolas Janota, Inês Lynce, Joao Marques Silva,
International Conference on Principles and Practice of Constraint Programming, LNCS, Springer, pages 158-174, Springer, October 2012 - On Partitioning for Maximum Satisfiability
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
European Conference on Artificial Intelligence (ECAI), pages 913-914, September 2012 - Clause Sharing in Deterministic Parallel Maximum Satisfiability
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, June 2012 - Improvements to Core-Guided Binary Search for MaxSAT
Antonio Morgado, Federico Heras, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT 2012), Springer, pages 284-297, Springer, http://dx.doi.org/10.1007/978-3-642-31612-8_22, June 2012 - Experimental Analysis of Backbone Computation Algorithms
Mikolas Janota, Inês Lynce, Joao Marques Silva,
RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, June 2012 - On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Lucas Bordeaux, Mikolas Janota, Joao Marques Silva, Pierre Marquis,
Principles of Knowledge Representation and Reasoning (KR 2012), AAAI, AAAI, http://www.aaai.org/ocs/index.php/KR/KR12/paper/vi, June 2012 - Solving QBF with Counterexample Guided Refinement
Mikolas Janota, William Klieber, Joao Marques Silva, Edmund M. Clarke,
Theory and Applications of Satisfiability Testing (SAT 2012), Springer, pages 114-128, Springer, http://dx.doi.org/10.1007/978-3-642-31612-8_10, June 2012 - On Efficient Computation of Variable MUSes
Anton Belov, Alexander Ivrii, Arie Matsliah, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT 2012), Springer, pages 298-311, Springer, http://dx.doi.org/10.1007/978-3-642-31612-8_23, June 2012 - An Empirical Study of Encodings for Group MaxSAT
Federico Heras, Antonio Morgado, Joao Marques Silva,
Canadian Conference on Artificial Intelligence (AAI 2012), Springer, pages 85-96, Springer, http://dx.doi.org/10.1007/978-3-642-30353-1_8, May 2012 - New & improved models for SAT-based bi-decomposition
Huan Chen, Joao Marques Silva,
Great Lakes Symposium on VLSI (GLS VLSI 2012), ACM, ACM, http://doi.acm.org/10.1145/2206781.2206817, May 2012 - Efficient verification for logical models of regulatory networks
Pedro T. Monteiro, Claudine Chaouiya,
6th Intl. Conf. on Practical Applications on Computational Biology & Bioinformatics (PACBB'12), March 2012 - QBF-based boolean function bi-decomposition
Huan Chen, Mikolas Janota, Joao Marques Silva,
Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), IEEE, pages 816-819, IEEE, http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arn, March 2012 - Knowledge Compilation with Empowerment
Lucas Bordeaux, Joao Marques Silva,
Current Trends in Theory and Practice of Computer Science (SOFSEM 2012), Springer, pages 612-624, Springer, http://dx.doi.org/10.1007/978-3-642-27660-6_50, January 2012 - Clause Sharing in Parallel MaxSAT
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
Learning and Intelligent OptimizatioN Conference (LION), LNCS, Springer, pages 455-460, Springer, January 2012 - Lower Bounds and Upper Bounds for MaxSAT
Federico Heras, Antonio Morgado, Joao Marques Silva,
Learning and Intelligent Optimization (LION 2012), Springer, pages 402-407, Springer, http://dx.doi.org/10.1007/978-3-642-34413-8_35, January 2012 - On Validating Boolean Optimizers
Antonio Morgado, Joao Marques Silva,
International Conference on Tools with Artificial Intelligence (ICTAI 2011), IEEE, pages 924-926, IEEE, http://doi.ieeecomputersociety.org/10.1109/ICTAI.2, November 2011 - Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Press, pages 313-320, IEEE Press, Boca Raton, FL, USA, November 2011 - Improvements to satisfiability-based boolean function bi-decomposition
Huan Chen, Joao Marques Silva,
International Conference on VLSI and System-on-Chip (VLSI SoC 2011), IEEE, pages 142-147, IEEE, http://dx.doi.org/10.1109/VLSISoC.2011.6081636, October 2011 - On Deciding MUS Membership with QBF
Mikolas Janota, Joao Marques Silva,
Principles and Practice of Constraint Programming (CP 2011), LNCS, Springer, pages 414-428, Springer, Perugia, Italy, September 2011 - Accelerating MUS extraction with recursive model rotation
Anton Belov, Joao Marques Silva,
Formal Methods in Computer-Aided Design (FMCAD 2011), ACM, pages 37-40, ACM, http://dl.acm.org/citation.cfm?id=2157663, September 2011 - Core-Guided Binary Search Algorithms for Maximum Satisfiability
Federico Heras, António José dos Reis Morgado, Joao Marques Silva,
Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011), AAAI Press, AAAI Press, San Francisco, CA, USA, August 2011 - Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
Federico Heras, Joao Marques Silva,
International Joint Conference on Artificial Intelligence (IJCAI 2011), AAAI, AAAI, http://ijcai.org/papers11/Papers/IJCAI11-103.pdf, July 2011 - Parallel Search for Boolean Optimization
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Barcelona, Spain, July 2011 - On Improving MUS Extraction Algorithms
Joao Marques Silva, Inês Lynce,
Theory and Applications of Satisfiability Testing (SAT 2011), LNCS, Springer, pages 159-173, Springer, Ann Arbor, MI, USA, June 2011 - Empirical Study of the Anatomy of Modern Sat Solvers
Hadi Katebi, Karem A. Sakallah, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT 2011), Springer, pages 343-356, Springer, http://dx.doi.org/10.1007/978-3-642-21581-0_27, June 2011 - Minimally Unsatisfiable Boolean Circuits
Anton Belov, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT 2011), Springer, pages 145-158, Springer, http://dx.doi.org/10.1007/978-3-642-21581-0_13, June 2011 - Abstraction-Based Algorithm for 2QBF
Mikolas Janota, Joao Marques Silva,
Theory and Applications of Satisfiability Testing (SAT 2011), LNCS, Springer, pages 230-244, Springer, Ann Arbor, MI, USA, June 2011 - cmMUS: A Tool for Circumscription-Based MUS Membership Testing
Mikolas Janota, Joao Marques Silva,
Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), LNCS, Springer, pages 266-271, Springer, Vancouver, Canada, May 2011 - An Ontology and a REST API for Sequence Based Microbial Typing Data [Extended abstract]
J. Almeida, J. Tiple, M. Ramirez, J. Melo-Cristino, Cátia Vaz, A. P. Francisco, João Carriço,
Xth Spanish Symposium on Bioinformatics - Bioinformatics for personalized medicine, October 2010 - Improving Search Space Splitting for Parallel SAT Solving
Ruben Carlos Gonçalves Martins, Vasco Manquinho, Inês Lynce,
22th IEEE International Conference on Tools with Artificial Intelligence (ICTAI10), IEEE, vol. 1, pages 336-343, IEEE, October 2010 - Apt-pbo: Solving the Software Dependency Problem using Pseudo-Boolean Optimization
Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira,
25th IEEE/ACM International Conference on Automated Software Engineering, ACM, pages 427-436, ACM, September 2010 - Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Mikolas Janota, Radu Grigore, Joao Marques Silva,
12th European Conference on Logics in Artificial Intelligence (JELIA10), LNAI 6341, Springer, pages 195-207, Springer, September 2010 - Computational Modeling and Analysis of the Yeast FLR1 Regulatory Network in Mancozeb-challenged Cells [Extended Abstract]
Pedro T. Monteiro, Paulo J. Dias, Delphine Ropers, Arlindo L. Oliveira, Isabel Sá-Correia, Miguel C. Teixeira, Ana T. Freitas,
Eleven International Conference on Systems Biology, September 2010 - Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
Ana Sofia Graça, Inês Lynce, Joao Marques Silva, Arlindo L. Oliveira,
Algebraic and Numeric Biology (ANB10), August 2010 - On Computing Backbones of Propositional Theories
Joao Marques Silva, Mikolas Janota, Inês Lynce,
9th European Conference on Artificial Intelligence (ECAI10), IOS Press, pages 15-20, IOS Press, August 2010 - Phyloviz: Visualizing epidemiological information on phylogenetic relationships inferred by goeBURST algorithm [Abstract and Poster]
A. P. Francisco, Cátia Vaz, J. Melo-Cristino, M. Ramirez, João Carriço,
International Conference on Research in Computational Molecular Biology (RECOMB 2010), August 2010 - The Seventh QBF Solvers Evaluation (QBFEVAL10)
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce,
13th International Conference on Theory and Applications of Satisfiability Testing (SAT10), LNCS 6175, Springer, pages 237-250, Springer, July 2010 - Improving Unsatisfiability-Based Algorithms for Boolean Optimization
Vasco Manquinho, Ruben Carlos Gonçalves Martins, Inês Lynce,
13th International Conference on Theory and Applications of Satisfiability Testing (SAT10), LNCS 6175, Springer, pages 181-193, Springer, July 2010 - Solving Linux Upgradeability Problems Using Boolean Optimization
Josep Argelich, Daniel Le Berre, Inês Lynce, Joao Marques Silva, Pascal Rapicault,
First International Workshop on Logics for Component Configuration (LoCoCo), EPTCS 29, pages 11-22, July 2010 - Boolean Lexicographic Optimization
Joao Marques Silva, Josep Argelich, Ana Sofia Graça, Inês Lynce,
7th RCRA International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA10), June 2010 - New Insights into Encodings from MaxCSP into Partial MaxSAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà,
40th IEEE International Symposium on Multiple-Valued Logic (ISMVL10), IEEE, pages 46-52, IEEE, May 2010 - On the Expressive Power of Primitives for Compensation Handling
Cátia Vaz, C. Ferreira,
19th European Symposium on Programming , LNCS, Springer, vol. 6012, pages 366-386, Springer, March 2010 - The regulatory network underlying the transcriptional up-regulation of the FLR1 gene in mancozeb stressed yeast cells: qualitative modeling and simulation
Pedro T. Monteiro, Paulo J. Dias, Delphine Ropers, Arlindo L. Oliveira, Ana T. Freitas, Isabel Sa-Correia, Miguel C. Teixeira,
Congresso Nacional MICRO-BIOTEC 2009, December 2009 - goeBURST software: a scalable platform for the data analysis, integration and visualization of sequence based typing methods data [Extended abstract]
A. P. Francisco, Miguel Bugalho, Cátia Vaz, J. Melo-Cristino, M. Ramirez, João Carriço,
Jornadas de Bioinformatica, November 2009 - Exploring the relationship of strains characterized by sequence based typing methods using goeBURST algorithm
A. P. Francisco, Miguel Bugalho, Cátia Vaz, J. Melo-Cristino, M. Ramirez, João Carriço,
MicroBiotec 2009, November 2009 - Restoring CSP Satisfiability with MaxSAT
Inês Lynce, Joao Marques Silva,
Portuguese Conference on Artificial Inteligence (EPIA), October 2009 - On Improving Local Search for Unsatisfiability
David Pereira, Inês Lynce, Steve Prestwich,
CP Workshop on Local Search Techniques in Constraint Satisfaction (LSCS), September 2009 - Preprocessing in Pseudo-Boolean Optimization: An Experimental Evaluation
Ruben Carlos Gonçalves Martins, Inês Lynce, Vasco Manquinho,
CP Workshop on Constraint Modelling and Reformulation (ModRef), September 2009 - Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes using Pseudo-Boolean Optimization
João Delgado, Inês Lynce, Vasco Manquinho,
RECOMB Satellite Workshop on Comparative Genomics, LNBI, Springer, vol. 5817, pages 138-149, Springer, September 2009 - Haplotype Inference Combining Pedigrees and Unrelated Individuals
Ana Sofia Graça, Inês Lynce, Joao Marques Silva, Arlindo L. Oliveira,
CP Workshop on Constraint Based Methods for Bioinformatics (WCB), September 2009 - Algorithms for Weighted Boolean Optimization
Vasco Manquinho, Joao Marques Silva, Jordi Planes,
International Conference on Theory and Applications of Satisfiability Testing (SAT), pages 495-508, June 2009 - Sequential Encodings from MAX-CSP into Partial MAX-SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà,
International Conference on Theory and Applications of Satisfiability Testing (SAT), LNCS, Springer, Springer, June 2009 - New Encodings from MAX-CSP into Partial MAX-SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà,
IEEE International Symposia on Multiple-Valued Logic (ISMVL), IEEE, IEEE, May 2009 - CNF Instances from the Software Package Installation Problem
Josep Argelich, Inês Lynce,
15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, December 2008 - Learning Techniques for Pseudo-Boolean Solving
José Santos, Vasco Manquinho,
International Workshop on Implementation of Logics, November 2008 - Dynamic Recovering of Long Running Transactions
Cátia Vaz, C. Ferreira, A. Ravara,
International Symposium on Trustworthy Global Computing (TGC 2008), Lecture Notes in Computer Science, Springer, vol. 5474, pages 201-215, Springer, November 2008 - Symmetry Breaking for Maximum Satisfiability
Joao Marques Silva, Inês Lynce, Vasco Manquinho,
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 08), LNAI, Springer, Springer, November 2008 - Effective CNF Encodings for the Towers of Hanoi
Ruben Carlos Gonçalves Martins, Inês Lynce,
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 08) - short paper, November 2008 - Haplotype Inference with Boolean Constraint Solving: an Overview
Inês Lynce, Ana Sofia Graça, Joao Marques Silva, Arlindo L. Oliveira,
20th IEEE International Conference on Tools with Artificial Intelligence, IEEE, IEEE, November 2008 - Computation Tree Regular Logic for Genetic Regulatory Networks
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong,
Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA08), LNCS, Springer Verlag, vol. 5311, pages 48-63, Springer Verlag, Seoul, South Korea, October 2008 - The YEASTRACT database and its exploitation in Toxicogenomics: the Yeast response to the herbicide 2,4-D
Miguel C. Teixeira, Pedro T. Monteiro, Nuno P. Mira, Pedro M. Santos, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sa-Correia,
First Portuguese Forum in Computational Biology, July 2008 - Temporal logic patterns for querying dynamic models of cellular interaction networks
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong,
First Portuguese Forum in Computational Biology, July 2008 - Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong,
Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 08), IOS Press, pages 229-233, IOS Press, http://www.iospress.nl/loadtop/load.php?isbn=97815, July 2008 - Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong,
Journees Ouvertes Biologie, Informatique et Mathematiques (JOBIM08), Jacques van Helden, Yves Moreau, pages 71-6, Jacques van Helden, Yves Moreau, Lille, France, June 2008 - Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong,
22nd International Workshop on Qualitative Reasoning (QR08), Elizabeth Bradley, Louise Trave-Massuyes, pages 102-7, Elizabeth Bradley, Louise Trave-Massuyes, Boulder, CO, USA, June 2008 - Generic ILP vs Specialized 0-1 ILP for Haplotype Inference
Ana Sofia Graça, Inês Lynce, Joao Marques Silva, Arlindo L. Oliveira,
Workshop on Constraint Based Methods for Bioinformatics, May 2008 - On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
Federico Heras, Vasco Manquinho, Joao Marques Silva,
AAAI Conference of the Florida Artificial Intelligence Research Society (FLAIRS), pages 71-76, May 2008 - Modelling Max-CSP as Partial Max-SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà,
SAT 08, Springer, Springer, May 2008 - Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
Joao Marques Silva, Vasco Manquinho,
International Conference on Theory and Applications of Satisfiability Testing (SAT), pages 225-230, May 2008 - Encoding MAX-CSP into Partial MAX-SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà,
ISMVL 08, IEEE, IEEE, May 2008 - Efficient Haplotype Inference with Combined CP and OR Techniques
Ana Sofia Graça, Joao Marques Silva, Inês Lynce, Arlindo L. Oliveira,
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS, Springer, vol. 5015, pages 308-312, Springer, May 2008 - CSP2SAT4J: A Simple CSP to SAT Translator
Daniel Le Berre, Inês Lynce,
Second International CSP Solver Competition, January 2008 - Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony
Joao Marques Silva, Inês Lynce, Ana Sofia Graça, Arlindo L. Oliveira,
13th Portuguese Conference on Aritficial Intelligence (EPIA 07), LNAI, Springer, vol. 4874, pages 621-632, Springer, December 2007 - Analysis of new and known DNA-binding site motifs in Saccharomyces cerevisiae using the YEASTRACT-DISCOVERER tools (Extended abstract and poster)
Pedro T. Monteiro, Nuno D. Mendes, Miguel Teixeira, Sofia d'Orey, Sandra Tenreiro, Nuno Mira, Hélio Pais, A. P. Francisco, Alexandra M. Carvalho, Artur Lourenço, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas,
Congresso Nacional de Micro’07-Biotec’07-XXXIII, Lisbon, December 2007 - Towards Automated Verification of Web Services
Cátia Vaz, C. Ferreira,
IADIS WWW/Internet 2007, Vila Real, Portugal, October 2007 - Towards Robust CNF Encodings of Cardinality Constraints
Joao Marques Silva, Inês Lynce,
International Conference on Principles and Practice of Constraint Programming, LNCS, Springer, pages 483-497, Springer, Providence, RI, September 2007 - Symmetry Breaking in Local Search for Unsatisfiability
Fadi Aloul, Inês Lynce, Steven Prestwich,
7th International Workshop on Symmetry and Constraint Satisfaction Problems, Providence, RI, September 2007 - Efficient Haplotype Inference with Pseudo-Boolean Optimization
Ana Sofia Graça, Joao Marques Silva, Inês Lynce, Arlindo L. Oliveira,
Algebraic Biology, LNCS, Springer, vol. 4545, pages 125-139, Springer, July 2007 - Breaking Local Symmetries in Quasigroup Completion Problems
Ruben Carlos Gonçalves Martins, Inês Lynce,
14th RCRA workshop: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, July 2007 - Refutation by Randomised General Resolution
Steve Prestwich, Inês Lynce,
Twenty-Second Conference on Artificial Intelligence (AAAI), Nectar Track, AAAI Press, AAAI Press, July 2007 - Analysis of transcription regulatory associations in Saccharomyces cerevisiae using the YEASTRACT database
Miguel C. Teixeira, Pedro T. Monteiro, Sandra Tenreiro, Nuno P. Mira, Artur B. Lourenço, Alexandra M. Carvalho, Nuno D. Mendes, Sofia Orey, Hélio Ernesto Coronel Machado Pais, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá-Correia,
3rd Conference on Physiology of Yeasts and Filamentous Fungi (Extended Abstract), June 2007 - Breaking Symmetries in SAT Matrix Models
Inês Lynce, Joao Marques Silva,
10th International Conference on Theory and Applications of Satisfiability Testing, Springer, pages 22-27, Springer, May 2007 - Modelação e Verificação Formal de Processos de Negócio em Ambiente Hospitalar
Carlos Santos, C. Ferreira, José Manuel Nunes Salvador Tribolet,
7ª Conferência da Associação Portuguesa de Sistemas de Informação, January 2007 - The YEASTRACT database: application to the analysis of Saccharomyces Cerevisiae genome-wide expression data (Extended abstract)
Miguel Teixeira, Pedro T. Monteiro, Nuno Mira, Sandra Tenreiro, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá-Correia,
National Congress of Biochemistry, ieeta/Aveiro, vol. 1, pages 30, ieeta/Aveiro, Aveiro, December 2006 - Counting Models in Integer Domains
António José dos Reis Morgado, Paulo Jorge de Oliveira Cantante de Matos, Vasco Manquinho, Joao Marques Silva,
International Conference on Theory and Applications of Satisfiability Testing, LNCS, Springer, pages 410-423, Springer, August 2006 - Local Search for Unsatisfiability
Steve Prestwich, Inês Lynce,
9th International Conference on Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science, Springer, pages 283-296, Springer, Seattle, August 2006 - Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel
Oliver Kullmann, Inês Lynce, Joao Marques Silva,
9th International Conference on Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science, Springer, pages 22-35, Springer, Seattle, August 2006 - SAT in Bioinformatics: Making the Case with Haplotype Inference
Inês Lynce, Joao Marques Silva,
9th International Conference on Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science, Springer, pages 136-141, Springer, Seattle, August 2006 - Efficient Haplotype Inference with Boolean Satisfiability
Inês Lynce, Joao Marques Silva,
Twenty-First National Conference on Artificial Intelligence, AAAI Press, AAAI Press, Boston, July 2006 - Analysis of transcription regulatory associations in Saccharomyces cerevisiae using the YEASTRACT database. (Extended abstract).
Miguel Cacho Teixeira, Pedro T. Monteiro, Sandra Tenreiro, Alexandra M. Carvalho, Nuno D. Mendes, Ana Casimiro, Carlos Filipe Almeida de Oliveira, Christian Sá Nogueira, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá Correia,
2nd FEMS Congress of European Microbiologists, Madrid, July 2006 - Caso de Estudo: Modelação e Verificação Formal de um Serviço de Urgência Hospitalar
Carlos Alberto Lourenço dos Santos, C. Ferreira, José Manuel Nunes Salvador Tribolet,
, 1ª Conferência Ibérica de Sistemas e Tecnologias de Informação (CISTI2006), Esposende – Portugal, June 2006 - CEO Framework Entreprise Models COnformance with ISO14258
Patricia Macedo, C. Ferreira, José Manuel Nunes Salvador Tribolet,
ICEIS 2006, 8th International Conference on Entreprise Information Systems, Paphos, Cyprus, May 2006 - Sudoku as a SAT Problem
Inês Lynce, Jöel Ouaknine,
Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics (AIMATH 2006), January 2006 - Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts
Vasco Manquinho, Joao Marques Silva,
International Conference on Tools with Artificial Intelligence, IEEE, pages 150-155, IEEE, Hong Kong, China, November 2005 - Good Learning and Implicit Model Enumeration
António José dos Reis Morgado, Joao Marques Silva,
International Conference on Tools with Artificial Intelligence, IEEE, IEEE, November 2005 - Organizational Engineering: Support for Internal Control System
Carlos Alberto Lourenço dos Santos, Augusta Ferreira, C. Ferreira, José Manuel Nunes Salvador Tribolet,
6ª Conferência da Associação Portuguesa de Sistemas de Informação, Bragança, Portugal, October 2005 - Improvements to the Implementation of Interpolant-Based Model Checking
Joao Marques Silva,
Correct Hardware Design and Verification Methods, LNCS 3725, Springer Verlag, pages 367-370, Springer Verlag, Saarbrucken, Germany, October 2005 - Identificação e Avaliação do Risco Associado aos Processos de Negócio de um Serviço de Urgência Hospitalar: Um Caso de Estudo
Carlos Alberto Lourenço dos Santos, C. Ferreira, José Manuel Nunes Salvador Tribolet,
6ª Conferência da Associação Portuguesa de Sistemas de Informação, Bragança, Portugal, October 2005 - Organizational Engineering: Support for Real Time Auditing
Carlos Alberto Lourenço dos Santos, Augusta Ferreira, C. Ferreira, José Manuel Nunes Salvador Tribolet,
6ª Conferência da Associação Portuguesa de Sistemas de Informação, Bragança, Portugal, October 2005 - Identification of the risk associated to a process on hospital emergency service: A case study
Carlos Alberto Lourenço dos Santos, Armindo Rebelo, C. Ferreira, José Manuel Nunes Salvador Tribolet,
ISHIMR 2005 - Tenth International Symposium on Health Information Management Research, Thessalonik, Greece, September 2005 - Urgency/Emergency Health Process Modelling: A Case Study
Carlos Alberto Lourenço dos Santos, Armindo Rebelo, C. Ferreira, José Manuel Nunes Salvador Tribolet,
ICMP2005 - 14th International Conference of Medical Physics, Nuremberg, Germany, September 2005 - Reconciling two approaches to compensable flow composition
Roberto Bruni, Michael Butler, C. Ferreira, C.A.R. Hoare, Hernán Melgratti, Ugo Montanari,
16th International Conference on Concurrency Theory (CONCUR 2005), LNCS, Springer, vol. 3525, pages 383-397, Springer, San Francisco, August 2005 - Ontology building process: the wine domain
João Graça, Márcio Duarte Albasini Mourão, Orlando Anunciação, Pedro T. Monteiro, H. Sofia Pinto, Virgilio Loureiro,
EFITA/WCCA 2005, Vila Real, July 2005 - A SAT Encoding for the Social Golfer Problem
Ian Gent, Inês Lynce,
IJCAI'05 workshop on Modelling and Solving Problems with Constraints, Edinburgh, July 2005 - DECIDE A Gene Finding Evaluation Tool
Pedro T. Monteiro, Ana Ramalho, Ana T. Freitas, Arlindo L. Oliveira,
[Poster at] BKDB2005 - Bioinformatics: Knowledge Discovery in Biology, pages 68-72, Lisbon, Portugal, June 2005 - A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas
Maher Mneimneh, Inês Lynce, Zaher Andraus, Joao Marques Silva, Karem Sakallah,
8th International Conference on Theory and Applications of Satisfiability Testing, LNCS, Springer Verlag, vol. 3569, pages 467-474, Springer Verlag, St. Andrews, June 2005 - A SAT Encoding for the Social Golfer Problem: Benchmark Description
Inês Lynce,
8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, June 2005 - On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization
Vasco Manquinho, Joao Marques Silva,
8th International Conference on Theory and Applications of Satisfiability Testing, LNCS 3569, Springer Verlag, pages 451-458, Springer Verlag, St Andrews, June 2005 - YEASTRACT: a database of transcription regulatory associations in Saccharomyces cerevisiae
Pedro T. Monteiro, Miguel C. Teixeira, Pooja Jain, Sandra Tenreiro, Alexandra R. Fernandes, Nuno Mira, Marta Alenquer, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá Correia,
BKDB2005 - Bioinformatics: Knowledge Discovery in Biology, pages 34-38, Lisbon, Portugal, June 2005 - Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
Vasco Manquinho, Joao Marques Silva,
Design Automation and Test in Europe (DATE), ACM, pages 660-665, ACM, Munich, Germany, March 2005 - Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study
Inês Lynce, Joao Marques Silva,
16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-04), IEEE Computer Society, IEEE Computer Society, November 2004 - Integration of Lower Bound Estimates in Pseudo-Boolean Optimization
Vasco Manquinho, Joao Marques Silva,
16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), IEEE Computer Society, IEEE Computer Society, November 2004 - Using Rewarding Mechanisms for Improving Branching Heuristics
Elsa Cristina Batista Bento Carvalho, Joao Marques Silva,
7th International Conference on Theory and Applications of Satisfiability Testing (SAT'04), pages 275-280, Vancouver, May 2004 - On Computing Minimum Unsatisfiable Cores
Inês Lynce, Joao Marques Silva,
7th International Conference on Theory and Applications of Satisfiability Testing (SAT'04), pages 305-310, Vancouver, May 2004 - Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
Vasco Manquinho, Joao Marques Silva,
7th International Conference on Theory and Applications of Satisfiability Testing (SAT'04), pages 120-126, Vancouver, May 2004 - The CQuest SAT Solver
Inês Lynce, Joao Marques Silva,
7th International Conference on Theory and Applications of Satisfiability Testing (SAT'04), Vancouver, May 2004 - An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions
Michael Butler, C. Ferreira,
6th International Conference on Coordination Models and Languages(COORD 2004), LNCS, Springer, vol. 2949, pages 87-104, Springer, Pisa, February 2004 - Concurrent Development of Model and Implementation
Andy Gravell, Yvonne Howard, Juan Augusto, C. Ferreira, Stefan Gruner,
, 16th International Conference of Software and Systems Engine, 16th International Conference of Software and Systems Engine, December 2003 - Heuristic-Based Backtracking for Propositional Satisfiability
Ateet Bhalla, Inês Lynce, José T. de Sousa, Joao Marques Silva,
11th Portuguese Conference on Artificial Intelligence (EPIA'03), December 2003 - Heuristic-Based Backtracking for Propositional Satisfiability
Ateet Bhalla, Inês Lynce, José T. de Sousa, Joao Marques Silva,
11th Portuguese Conference on Artificial Intelligence (EPIA'03), LNAI, Springer, vol. 2902, pages 116-130, Springer, Beja, Portugal, December 2003 - Probing-Based Preprocessing Techniques for Propositional Satisfiability
Inês Lynce, Joao Marques Silva,
15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-03), IEEE Computer Society, pages 105-110, IEEE Computer Society, Sacramento, California, USA, November 2003 - The Benefits of Rapid Modelling for E-Business System Development
Juan Augusto, C. Ferreira, Andy Gravell, Michael Leuschel, Karen Ng,
4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), Chicago, USA, October 2003 - Model-Based Trace-Checking
Yvonne Howard, Stefan Gruner, Andy Gravell, C. Ferreira, Juan Augusto,
UK Software Testing Workshop, York, UK, September 2003 - Model-Based Approaches for Validating Business Critical Systems
Juan Augusto, Yvonne Howard, Andy Gravell, C. Ferreira, Stefan Gruner, Michael Leuschel,
System Testing and Validation Workshop, Amsterdam, Netherlands, September 2003 - Propositional Satisfiability Algorithms based on Inference of Constraints
Inês Lynce, Joao Marques Silva,
Eighth International Joint Conference on Artificial Intelligence, Doctoral Consortium, August 2003 - Using SPIN and STeP to verify StAC specifications
Juan Augusto, Michael Butler, C. Ferreira, Stephen Craig,
5th International A.P. Ershov Conference on Perspectives of System Informatics (PSI 2003), LNCS, Springer, vol. 2890, pages 207-213,, Springer, Novosibirsk, July 2003 - Using B Refinement to Analyse Compensating Business Processes
C. Ferreira, Michael Butler,
3rd International ZB Conference (ZB 2003), LNCS, Springer, vol. 2651, pages 477-496, Springer, Turku, June 2003 - Heuristic Backtracking Algorithms for SAT
Ateet Bhalla, Inês Lynce, José T. de Sousa, Joao Marques Silva,
Proceedings IEEE 4th International Workshop on Microprocessor Test and Verification (MTV), May 2003 - OpenSAT: An Open Source SAT Software Project
Gilles Audemard, Daniel Le Berre, Olivier Roussel, Inês Lynce, Joao Marques Silva,
Sixth International Conference on Theory and Applications of Satisfiability Testing, May 2003 - Heuristic Backtracking Algorithms for SAT
Ateet Bhalla, Inês Lynce, José T. de Sousa, Joao Marques Silva,
4th International Workshop on Microprocessor Test and Verification (MTV'03), IEEE Computer Society, pages 69-74, IEEE Computer Society, Austin, Texas, USA, May 2003 - On Implementing More Efficient SAT Data Structures
Inês Lynce, Joao Marques Silva,
Sixth International Conference on Theory and Applications of Satisfiability Testing, May 2003 - Using the Extensible Model Checker XTL to Verify StAC Business Specifications
Juan Augusto, Michael Leuschel, Michael Butler, C. Ferreira,
3rd Workshop on AutomatedVerification of Critical Systems (AVoCS 2003), pages pp. 253-266, UK, April 2003 - The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms
Inês Lynce, Joao Marques Silva,
Recent Advances in Constraints, LNAI, LNAI, March 2003 - Tuning Randomization in Backtrack Search SAT Algorithms
Inês Lynce, Joao Marques Silva,
International Conference on Principles and Practice of Constraint Programming, September 2002 - Building State-of-the-Art SAT solvers
Inês Lynce, Joao Marques Silva,
European Conference on Artificial Intelligence, July 2002 - The Effect of Nogood Recording in MAC-CBJ SAT Algorithms
Inês Lynce, Joao Marques Silva,
ERCIM Workshop on Constraint Solving and Constraint Logic Programming, June 2002 - Efficient data structures for backtrack search SAT solvers
Inês Lynce, Joao Marques Silva,
Fifth International Symposium on the Theory and Applications of Satisfiability Testing, May 2002 - Complete unrestricted backtracking algorithms for Satisfiability
Inês Lynce, Joao Marques Silva,
Fifth International Symposium on the Theory and Applications of Satisfiability Testing, May 2002 - Comparing SAT preprocessing techniques
L. Drake, A. Frisch, Inês Lynce, Joao Marques Silva, T. Walsh,
Ninth Workshop on Automated Reasoning, April 2002 - Improving SAT Algorithms by Using Search Pruning Techniques
Inês Lynce, Joao Marques Silva,
Seventh International Conference on Principles and Practice of Constraint Programming - Doctoral Programme, December 2001 - The Interaction Between Simplification and Search in Propositional Satisfiability
Inês Lynce, Joao Marques Silva,
CP'01 - Workshop on Modeling and Problem Formulation, December 2001 - The puzzling role of simplification in propositional satisfiability
Inês Lynce, Joao Marques Silva,
In Workshop on Constraint Satisfaction and Operational Research Techniques for Problem Solving, pages 73-86, December 2001 - Towards provably complete stochastic search algorithms for satisfiability
Luís Manuel Tremoceiro Baptista, Inês Lynce, Joao Marques Silva,
Proceedings of the 10th Portuguese Conference on Artificial Intelligence, In P. Brazdil and A. Jorge, ed, vol. 2258, pages 363-370, In P. Brazdil and A. Jorge, ed, December 2001 - Unrestricted backtracking algorithms for satisfiability
Inês Lynce, Luís Manuel Tremoceiro Baptista, Joao Marques Silva,
AAAI Fall Symposium Using Uncertainty within Computation, pages 76-82, November 2001 - Animation and Model Checking of CSP and B using Prolog Technology
Michael Leuschel, Laksono Adhianto, Michael Butler, C. Ferreira, Leonid Mikhailov,
2nd International Workshop on Verification and Computational Logic, Venice, Italy, September 2001 - Complete search restart strategies for satisfiability
Luís Manuel Tremoceiro Baptista, Inês Lynce, Joao Marques Silva,
IJCAI Workshop on Stochastic Search Algorithms, pages 1-5, August 2001 - Integrating simplification techniques in SAT algorithms
Inês Lynce, Joao Marques Silva,
In Logic in Computer Science (Short Paper Session), June 2001 - Stochastic systematic search algorithms for satisfiability
Inês Lynce, Luís Manuel Tremoceiro Baptista, Joao Marques Silva,
LICS Workshop on Theory and Applications of Satisfiability Testing, pages 1-7, June 2001 - A Configurable Hardware/Software Approach to SAT Solving
José T. de Sousa, Joao Marques Silva, Miron Abramovici,
IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01), May 2001 - Lower bounding techniques for SAT-based boolean optimization
Vasco Manquinho, Joao Marques Silva,
In Third International Workshop on Integration of AI and OR Techniques, pages 375-388, April 2001 - A Process Compensation Language
Michael Butler, C. Ferreira,
Integrated Formal Methods(IFM 2000), LNCS, springer, vol. 1945, pages 61-76, springer, Schloss Dagstuhl, November 2000 - Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability
Luís Manuel Tremoceiro Baptista, Joao Marques Silva,
6th International Conference on Principles and Practice of Constraint Programming (CP), September 2000 - Algebraic Simplification Techniques for Propositional Satisfiability
Joao Marques Silva,
6th International Conference on Principles and Practice of Constraint Programming (CP), September 2000 - On Selecting Problem Instances for Evaluating Satisfiability Algorithms
Joao Marques Silva,
in ECAI Workshop on Empirical Methods in Artificial Intelligence (ECAI-EMAI), August 2000 - Search Pruning Conditionsfor Boolean Optimization
Vasco Manquinho, Joao Marques Silva,
European Conference on Artificial Intelligence (ECAI), August 2000 - Conditions for Non-Chronological Backtracking in Boolean Optimization
Vasco Manquinho, Joao Marques Silva,
AAAI Workshop on Integration of AI and OR Techniques for Combinatorial Optimization (AAAI-AIOR), July 2000 - The Interplay of Randomization and Learning on Real-World Instances of Satisfiability
Luís Manuel Tremoceiro Baptista, Joao Marques Silva,
AAAI Workshop on Leveraging Probability and Uncertainty in Computation (AAAI-LPUC), July 2000 - Boolean Satisfiability in Electronic Design Automation
Joao Marques Silva, Karem A. Sakallah,
IEEE/ACM Design Automation Conference (DAC), June 2000 - On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
Vasco Manquinho, Joao Marques Silva,
IEEE/ACM Design, Automation and Test in Europe Conference (DATE), March 2000 - An Experimental Study of Satisfiability Search Heuristics
Fadi A. Aloul, Joao Marques Silva, Karem A. Sakallah,
IEEE/ACM Design, Automation and Test in Europe Conference (DATE), March 2000 - On Applying Incremental Satisfiability to Delay Fault Testing
Joonyoung Kim, Jesse Whittemore, Joao Marques Silva, Karem A. Sakallah,
IEEE/ACM Design, Automation and Test in Europe Conference (DATE), March 2000 - Realidade Virtual em Subvisão
Cláudia Martins Antunes, Inês Lynce, João António Madeiras Pereira, João Pavão Martins,
9º Encontro Português de Computação Gráfica, pages 16-18, Marinha Grande, Portugal, February 2000 - On Solving Boolean Optimization with Satisfiability-Based Algorithms
Vasco Manquinho, Joao Marques Silva,
Sixth International Symposium on Artificial Intelligence and Mathematics, January 2000 - Test Pattern Generation for Width Compression in BIST
Paulo Flores, Horácio C. Neto, Krishnendu Chakrabarty, Joao Marques Silva,
IEEE International Symposium on Circuits and Systems (ISCAS), pages 114-118, May 1999 - On Applying Set Covering Models to Test Set Compaction
Paulo Flores, Horácio C. Neto, Joao Marques Silva,
IEEE Great Lakes Symposium on VLSI (GLS), pages 8-11, March 1999 - Assignment and Reordering of Incompletely Specified Pattern Sequences Targetting Minimum Power Dissipation
Paulo Flores, José Carlos Campos Costa, Horácio C. Neto, José Monteiro, Joao Marques Silva,
IEEE/ACM International Conference on VLSI Design (VLSI), pages 37-41, Goa, India, January 1999 - An Exact Solution to the Minimum-Size Test Pattern Problem
Paulo Flores, Horácio C. Neto, Joao Marques Silva,
IEEE International Conference on Computer Design (ICCD), pages 510-515, Austin, Texas, USA, October 1998 - Models and algorithms for computing minimum size prime implicants
Vasco Manquinho, Arlindo L. Oliveira, Joao Marques Silva,
International Workshop on Boolean Problems, pages 83--92, Freiberg, Germany, September 1998 - Efficient search techniques for the inference of minimum size finite automata
Arlindo L. Oliveira, Joao Marques Silva,
Fifth String Processing and Information Retrieval Symposium, IEEE, pages 81--89, IEEE, Santa Cruz, Bolivia, September 1998 - An Exact Solution to the Minimum-Size Test Pattern Problem
Paulo Flores, Horácio C. Neto, Joao Marques Silva,
IEEE/ACM International Workshop on Logic Synthesis (IWLS, pages 452-470, July 1998 - Satisfiability-based algorithms for 0-1 integer programming
Vasco Manquinho, Joao Marques Silva, Arlindo L. Oliveira, K. Sakallah,
International Workshop on Logic Synthesis, pages 25--34, Lake Tahoe, CA, June 1998 - A Model and Algorithm for Computing Minimum-Size Test Patterns
Paulo Flores, Horácio C. Neto, Krishnendu Chakrabarty, Joao Marques Silva,
IEEE European Test Workshop (ETW), pages 147-148, May 1998 - Exploiting Don't Cares in Test Patterns to Reduce Power During BIST
José Carlos Campos Costa, Paulo Flores, Horácio C. Neto, José Monteiro, Joao Marques Silva,
IEEE European Test Workshop, May 1998 - Prime implicant computation using satisfiability algorithms
Vasco Manquinho, Paulo Flores, Joao Marques Silva, Arlindo L. Oliveira,
9th IEEE International Conference on Tools with Artificial Intelligence, IEEE, pages 232--239, IEEE, Monterey, CA, November 1997 - Testability Analysis of Circuits using Data-Dependent Power Management
José Monteiro, Joao Marques Silva,
IX IFIP International Conference on Very Large Scale Integration, pages 353-364, August 1997 - Efficient search techniques for the inference of minimum sized finite state machines
Arlindo L. Oliveira, Joao Marques Silva,
ICML-97 Workshop on Automata Induction, Grammatical Inference, and Language Acquisition, Nashville, TN, July 1997 - Automatic Generation of C-code or PLD circuits under SFC Graphical Environment
C. Ferreira, Sérgio Monteiro, João Monteiro,
IEEE International Symposium on Industrial Electronics (ISIE 1997), IEEE, vol. 2, IEEE, Guimarães, July 1997 - Improving satisfiability algorithms with dominance and partioning
Joao Marques Silva, Arlindo L. Oliveira,
International Workshop on Logic Synthesis, Lake Tahoe, CA, June 1997 - Test Pattern Generation for Circuits Using Power Management Techniques
Joao Marques Silva, José Monteiro, K. Sakallah,
IEEE European Test Workshop, May 1997
In Book (Author)
- Prediction of Gene and Genomic Regulation in Candida Species, Using the PathoYeastract Database: A Comparative Genomics Approach
Pedro Pais, Jorge dos Santos Oliveira, Romeu Viana, Inês V. Costa, Isabel Sá-Correia, Pedro T. Monteiro, Miguel C. Teixeira,
Yeast Functional Genomics. Methods in Molecular Biology, Humana, May 2022 - Pseudo-Boolean and Cardinality Constraints
Olivier Roussel, Vasco Manquinho,
Handbook of Satisfiability - Second Edition, IOS Press, December 2021 - Parallel Maximum Satisfiability
Inês Lynce, Vasco Manquinho, Ruben Carlos Gonçalves Martins,
Handbook of Parallel Constraint Reasoning, Springer, May 2018 - Predicting Gene and Genomic Regulation in Saccharomyces cerevisiae, using the YEASTRACT Database: A Step By Step Guided Analysis
Miguel C. Teixeira, Pedro T. Monteiro, Isabel Sá-Correia,
Yeast Functional Genomics: Methods and Protocols, Humana Press, January 2016 - Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
Huan Chen, Joao Marques Silva,
VLSI-SoC: Advanced Research for Systems on Chip, Springer, http://link.springer.com/book/10.1007/978-3-642-32, May 2012 - Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks
Gregory Batt, Bruno Besson, Pierre-Emanuel Ciron, Hidde de Jong, Estelle Dumas, Johannes Geiselmann, Regis Monte, Pedro T. Monteiro, Michel Page, François Rechenmann, Delphine Ropers,
Bacterial molecular networks, Humana Press Inc, January 2012 - Algorithms for Maximum Satisfiability Using Unsatisfiable Cores
Joao Marques Silva, Jordi Planes,
Advanced Techniques in Logic Synthesis, Optimizations and Applications, Springer, http://www.springer.com/engineering/circuits+%26+s, March 2011 - Qualitative analysis of genetic regulatory networks in bacteria
Valentina Baldazzi, Pedro T. Monteiro, Michel Page, Johannes Geiselmann, Hidde de Jong,
Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology, Springer-Verlag, January 2011 - Haplotype Inference Using Propositional Satisfiability
Ana Sofia Graça, Joao Marques Silva, Inês Lynce,
Mathematical Approaches to Polymer Sequence Analysis and Related Problems, Springer, January 2011 - Haplotype Inference using Propositional Satisfiability
Ana Sofia Graça, Joao Marques Silva, Inês Lynce,
Mathematical Approaches to Polymer Sequence Analysis and Related Problems, Springer, October 2010 - Pseudo-Boolean and Cardinality Constraints
Olivier Roussel, Vasco Manquinho,
Handbook of Satisfiability, IOS Press, February 2009 - Conflict-Driven Clause Learning SAT Solvers
Joao Marques Silva, Inês Lynce, Sharad Malik,
Handbook of Satisfiability, IOS Press, February 2009 - Backtracking
Inês Lynce, Vasco Manquinho, Joao Marques Silva,
Encyclopedia of Computer Science and Engineering, Wiley InterScience, January 2009 - A trace semantics for long-running transactions
Michael Butler, C.A.R. Hoare, C. Ferreira,
Communicating Sequential Processes: The First 25 Years, Springer, July 2005 - GRASP - A New Search Algorithm for Satisfiability
Joao Marques Silva, Karem A. Sakallah,
The Best of ICCAD -- 20 Years of Excellence in Computer Aided Design The Best of ICCAD: 20 Years of Excellence in Compu, Kluwer Academic Publishers, March 2003 - SAT and ATPG: Algorithms for Boolean Decision Problems
W. Kunz, Joao Marques Silva, S. Malik,
Logic Synthesis and Verication, Kluwer Academic Publishers, November 2001
Proceedings (Editor)
- Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
João F. Ferreira, Alexandra Mendes, Claudio Menghi,
, Springer, November 2021 - Proceedings of the Second Workshop on Logics for Component Configuration
Conrad Drescher, Inês Lynce, Ralf Treinen,
, October 2011 - Proceedings First International Workshop on Logics for Component Configuration
Inês Lynce, Ralf Treinen,
, July 2010 - Journal on Satisfiability, Boolean Modeling and Computation
Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li,
, IOS Press, September 2008
Technical Report (Author)
- Repairing Boolean regulatory networks using Answer Set Programming
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce,
TechnicalReport, INESC-ID Lisboa, n. 5, July 2016 - MSCG: Robust Core-Guided MaxSAT Solving (Extended System Description)
António José dos Reis Morgado, Alexey S. Ignatiev, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 18, December 2015 - Large scale simulation of bacterial population evolution over host contact networks
Andreia Sofia Teixeira, Vanda Sofia Torres Ribeiro, Pedro T. Monteiro, João Carriço, Mário Ramirez, A. P. Francisco,
TechnicalReport, INESC-ID Lisboa, n. 17, June 2014 - Topological representation of the within-species evolutionary structure of bacterial populations: the SLV graph
Pedro T. Monteiro, A. P. Francisco, Mário Ramirez, João Carriço,
TechnicalReport, INESC-ID Lisboa, n. 16, June 2014 - Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
Nuno P. Lopes, Levent Aksoy, Vasco Manquinho, José Monteiro,
TechnicalReport, INESC-ID Lisboa, n. 43, November 2010 - ASP: Kakuro, Hidato, Hexágonos Mágicos, Rotas de Distribuição e Checkfam
Filipe Gouveia,
TechnicalReport, INESC-ID Lisboa, n. 41, October 2010 - ASP: Codificação do Heyawake, Quadrado Mágico, Maximum Density Still-Life e Detecção de Erros em Pedigrees
Tiago Augusto Escudeiro Almeida,
TechnicalReport, INESC-ID Lisboa, n. 39, October 2010 - Resolução de problemas em ASP: Akari, Nonagramas, Round-Robin Tournaments e Pedcheck
Marta Pereira dos Santos,
TechnicalReport, INESC-ID Lisboa, n. 40, October 2010 - Resolução de Problemas de Satisfação de Restrições utilizando ASP - Nurikabe, Problema de Langford, ACC Basketball Schedule e Caminhos de Menor Custo
Rodrigo Joel Lucas Santos,
TechnicalReport, INESC-ID Lisboa, n. 42, October 2010 - Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Mikolás Janota, Radu Grigore, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 32, June 2010 - Qualitative modeling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae
Pedro T. Monteiro, Paulo J. Dias, Delphine Ropers, Arlindo L. Oliveira, Isabel Sá-Correia, Miguel C. Teixeira, Ana T. Freitas,
TechnicalReport, INESC-ID Lisboa, n. 33, June 2010 - Characterization and modeling of a specific transcriptional regulatory network required for multidrug resistance in yeast
Pedro T. Monteiro, Ana T. Freitas,
TechnicalReport, INESC-ID Lisboa, n. 30, June 2010 - Practical Applications of Boolean-Based Optimization: A Bibliography
Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 58, December 2009 - New Encodings from Max-CSP into Partial Max-SAT
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà,
TechnicalReport, INESC-ID Lisboa, n. 55, December 2008 - Effective CNF Encodings of the Towers of Hanoi
Ruben Carlos Gonçalves Martins, Inês Lynce,
TechnicalReport, INESC-ID Lisboa, n. 47, September 2008 - Symmetry Breaking for Maximum Satisfiability
Joao Marques Silva, Inês Lynce, Vasco Manquinho,
TechnicalReport, INESC-ID Lisboa, n. 39, February 2008 - Problema de Satisfação Proposicional: Redundância em Fórmulas CNF
Ana Maria Patrício Knopfli,
TechnicalReport, INESC-ID Lisboa, n. 19, July 2007 - Formal Verification of Workflow Patterns
Cátia Vaz, C. Ferreira,
TechnicalReport, INESC-ID Lisboa, n. 12, April 2007 - Boosting Haplotype Inference with Local Search
Inês Lynce, Joao Marques Silva, Steve Prestwich,
TechnicalReport, INESC-ID Lisboa, n. 13, April 2007 - Efficient and tight upper bounds for haplotype inference
Joao Marques Silva, Inês Lynce, Ana Sofia Graça, Arlindo L. Oliveira,
TechnicalReport, INESC-ID Lisboa, n. 16, July 2006 - Improved Lower Bounds for SAT-Based Haplotype Inference
Joao Marques Silva, Inês Lynce, Arlindo L. Oliveira,
TechnicalReport, INESC-ID Lisboa, n. 17, June 2006 - Assessing the efficacy of haplotype inference by pure parsimony on biological data
Inês Lynce, Joao Marques Silva, Arlindo L. Oliveira,
TechnicalReport, INESC-ID Lisboa, n. 12, March 2006 - Counting Models in Integer Domains
António José dos Reis Morgado, Paulo Jorge de Oliveira Cantante de Matos, Vasco Manquinho, João Marques-Silva,
TechnicalReport, INESC-ID Lisboa, n. 5, March 2006 - Efficient Haplotype Inference with Boolean Satisfiability
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 2, February 2006 - Solving Hard Computational Problems using Propositional Logic
Inês Lynce,
TechnicalReport, INESC-ID Lisboa, n. 12, August 2005 - Search in the Patience Game 'Black Hole'
Ian Gent, Christopher Jefferson, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara Smith, Armagan Tarim,
TechnicalReport, INESC-ID Lisboa, n. 11, May 2005 - Algorithms for Propositional Model Enumeration and Counting
António José dos Reis Morgado, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 39, February 2005 - On Computing Minimum Unsatisfiable Cores
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 30, May 2004 - The CQuest SAT Solver
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 23, March 2004 - On Computing Minimum Unsatisfiable Cores
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 48, October 2003 - Probing-Based Formula Manipulation Techniques for SAT
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 2, June 2003 - Tuning Randomization in Backtrack Search SAT - Technical Report RT/05/2002
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 23, June 2002 - Building State-of-the-Art SAT Solvers - Technical Report RT/02/2002
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 26, April 2002 - Introdução aos Problemas NP-Completos - Technical Report RT/03/2002
Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 25, April 2002 - The Effect of Nogood Recording in MAC-CBJ SAT Algorithms - Technical Report RT/04/2002
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 24, April 2002 - Hypothetical Reasoning in Propositional Satisfiability
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 37, March 2002 - Pattern-Based Simplification Techniques for Satisfiability
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 2, December 2001 - Efficient Data Structures for fast SAT Solvers
Inês Lynce, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 1, November 2001 - Unrestricted Backtrack Search for Propositional Satisfiability
Inês Lynce, Luís Manuel Tremoceiro Baptista, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 5, July 2001 - Stochastic Systematic Search Algorithms for Satisfiability
Inês Lynce, Luís Manuel Tremoceiro Baptista, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 4, June 2001 - On Computing Minimum Size Test Patterns
Paulo Flores, Horácio C. Neto, Joao Marques Silva,
TechnicalReport, INESC-ID Lisboa, n. 8, November 2000
Miscellaneous (Author)
- Evolutionary Multiobjective Optimization
Andreia Guerreiro, Carlos M. Fonseca,
, November 2020 - Estágio de Verão QuizzesTutor - Discussão de Perguntas
Hugo Rafael Fecha Martins, António Rito Silva,
, July 2020 - Quantification of reachable attractors in asynchronous discrete dynamics
Nuno D. Mendes, Pedro T. Monteiro, Jorge Carneiro, Elisabeth Remy, Claudine Chaouiya,
, arXiv:1411.3539, November 2014 - On When and How to use SAT to Mine Frequent Itemsets
Rui Miguel Carrasqueiro Henriques, Inês Lynce, Vasco Manquinho,
, CoRR, December 2012 - YEASTRACT: a database to search for transcription regulatory associations in Saccharomyces Cerevisiae. (Extended abstract).
Teixeira MC, Pedro T. Monteiro, Jain P, Tenreiro S, Fernandes AR, Mira N, Alenquer M, Ana T. Freitas, Arlindo L. Oliveira, Sá-Correia I,
, Yeast 22(S1), S192: 16-1, August 2005