| On the efficiency of data collection for crowdsourced classification E Manino, L Tran-Thanh, N Jennings | 20* | 2018 |
| On the efficiency of data collection for multiple Naïve Bayes classifiers E Manino, L Tran-Thanh, NR Jennings Artificial Intelligence 275, 356-378, 2019 | 17 | 2019 |
| Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs FK Aljaafari, R Menezes, E Manino, F Shmarov, MA Mustafa, LC Cordeiro IEEE Access 10, 121365-121384, 2022 | 12 | 2022 |
| Hardware-level Bayesian inference A Serb, E Manino, I Messaris, L Tran-Thanh, T Prodromakis | 10 | 2017 |
| Zealotry and influence maximization in the voter model: when to target partial zealots? G Romero Moreno, E Manino, L Tran-Thanh, M Brede Complex Networks XI, 107-118, 2020 | 9 | 2020 |
| Verifying Quantized Neural Networks using SMT-Based Model Checking L Sena, X Song, E Alves, I Bessa, E Manino, L Cordeiro arXiv preprint arXiv:2106.05997, 2021 | 8 | 2021 |
| ESBMC v7. 4: Harnessing the Power of Intervals: (Competition Contribution) RS Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 7* | 2024 |
| Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective E Manino, J Rozanova, D Carvalho, A Freitas, L Cordeiro 60th Annual Meeting of the Association for Computational Linguistics, 2022 | 7 | 2022 |
| QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking X Song, E Manino, L Sena, E Alves, I Bessa, M Lujan, L Cordeiro arXiv preprint arXiv:2111.13110, 2021 | 5 | 2021 |
| Streaming Bayesian Inference for Crowdsourced Classification E Manino, L Tran-Thanh, N Jennings Advances in Neural Information Processing Systems, 12782-12792, 2019 | 5 | 2019 |
| NeuroCodeBench: a plain C neural network benchmark for software verification E Manino, RS Menezes, F Shmarov, LC Cordeiro arXiv preprint arXiv:2309.03617, 2023 | 3 | 2023 |
| EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs: (Competition Contribution) F Aljaafari, F Shmarov, E Manino, R Menezes, LC Cordeiro International Conference on Tools and Algorithms for the Construction and …, 2023 | 3 | 2023 |
| Counter-Example Guided Neural Network Compression Refinement (CEG4N) JBPM Junior, E Manino, X Song, IV Bessa, LC Cordeiro 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), 2022 | 2* | 2022 |
| Counterexample Guided Neural Network Quantization Refinement JBP Matos, EB de Lima Filho, I Bessa, E Manino, X Song, LC Cordeiro IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 1 | 2023 |
| Towards global neural network abstractions with locally-exact reconstruction E Manino, I Bessa, LC Cordeiro Neural Networks 165, 344-357, 2023 | 1 | 2023 |
| Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement⋆ E Manino, B Magri, MA Mustafa, LC Cordeiro 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS …, 2023 | 1 | 2023 |
| Montague semantics and modifier consistency measurement in neural language models DS Carvalho, E Manino, J Rozanova, L Cordeiro, A Freitas arXiv preprint arXiv:2212.04310, 2022 | 1 | 2022 |
| On the efficiency of data collection and aggregation for the combination of multiple classifiers E Manino University of Southampton, 2020 | 1* | 2020 |
| Was it Slander? Towards Exact Inversion of Generative Language Models A Skapars, E Manino, Y Sun, LC Cordeiro arXiv preprint arXiv:2407.11059, 2024 | | 2024 |
| Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study RS Menezes, E Manino, F Shmarov, M Aldughaim, R de Freitas, ... arXiv preprint arXiv:2406.15281, 2024 | | 2024 |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
