Ana Sofia Gomes

22 papers A* 1A 1B 3C 1Misc 1Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
MUSE: Multi-Tenant Model Serving With Seamless Model Updates.
CoRR
Cláudio Correia, Alberto E. A. Ferreira, Lucas Martins, Miguel P. Bento, Sofia Guerreiro, Ricardo Ribeiro Pereira, Ana Sofia Gomes, Jacopo Bono, Hugo M. Ferreira, Pedro Bizarro
2024 B conf
RIFF: Inducing Rules for Fraud Detection from Decision Trees.
RuleML+RR
Lucas Martins, João Bravo, Ana Sofia Gomes, Carlos Soares, Pedro Bizarro
2024 J jnl
RIFF: Inducing Rules for Fraud Detection from Decision Trees.
CoRR
João Lucas Martins, João Bravo, Ana Sofia Gomes, Carlos Soares, Pedro Bizarro
2021 J jnl
Railgun: managing large streaming windows under MAD requirements.
CoRR
Ana Sofia Gomes, João Oliveirinha, Pedro Cardoso, Pedro Bizarro
2021 J jnl
Railgun: managing large streaming windows under MAD requirements.
Proc. VLDB Endow.
Ana Sofia Gomes, João Oliveirinha, Pedro Cardoso, Pedro Bizarro
2020 A* conf
Interleaved Sequence RNNs for Fraud Detection.
KDD
Bernardo Branco, Pedro Abreu, Ana Sofia Gomes, Mariana S. C. Almeida, João Tiago Ascensão, Pedro Bizarro
2020 J jnl
Interleaved Sequence RNNs for Fraud Detection.
CoRR
Bernardo Branco, Pedro Abreu, Ana Sofia Gomes, Mariana S. C. Almeida, João Tiago Ascensão, Pedro Bizarro
2020 J jnl
Railgun: streaming windows for mission critical systems.
CoRR
João Oliveirinha, Ana Sofia Gomes, Pedro Cardoso, Pedro Bizarro
2019 B conf
Telco Network Inventory Validation with NoHR.
LPNMR
Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
2018 J jnl
Combining transactions and automatic repairs.
J. Log. Comput.
Ana Sofia Gomes, José Júlio Alferes
2015 — conf
A Procedure for an Event-Condition-Transaction Language.
RR
Ana Sofia Gomes, José Júlio Alferes
2015 — conf
How to Combine Event Stream Reasoning with Transactions for the Semantic Web.
RuleML
Ana Sofia Gomes, José Júlio Alferes
2014 J jnl
A goal-directed implementation of query answering for hybrid MKNF knowledge bases.
Theory Pract. Log. Program.
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2014 J jnl
Transaction Logic with (Complex) Events.
CoRR
Ana Sofia Gomes, José Júlio Alferes
2013 J jnl
Extending Transaction Logic with External Actions.
Theory Pract. Log. Program.
Ana Sofia Gomes, José Júlio Alferes
2013 — conf
External Transaction Logic with Automatic Compensations.
CLIMA
Ana Sofia Gomes, José Júlio Alferes
2012 A conf
Normative systems require hybrid knowledge bases.
AAMAS
Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
2011 J jnl
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
CoRR
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2011 Misc conf
A Proposal for Transactions in the Semantic Web.
EPIA
Ana Sofia Gomes, José Júlio Alferes
2011 — conf
Normative Systems Represented as Hybrid Knowledge Bases.
CLIMA
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
2011 B conf
Transaction Logic with External Actions.
LPNMR
Ana Sofia Gomes, José Júlio Alferes
2010 C conf
Implementing Query Answering for Hybrid MKNF Knowledge Bases.
PADL
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift