Ph.D. Studenship available: more information here
[@ResearcherID] [@DBLP] [@GoogleScholar]
2016

Learning Definite Horn Formulas from Closure Queries.
M. Arias, J.L. Balcazar, C. Tirnauca.
Special Issue on Horn Formulas, Directed Hypergraphs and Closure Systems.
Theoretical Computer Science (TCS), 2016. 
GeoSRS: A Hybrid Social Recommender System for Geolocated Data.
J. CapdevilaPujol, M. Arias, A. Arratia.
Special Issue on Mining Urban Data.
Information Systems, Vol 57, Apr 2016, pp. 111128.
2015

Characterizing Chronic Disease and Polymedication Prescription Patterns from Electronic Health Records.
M. Zamora, M. Baradad, E. Amado, S. Cordomí, E. Limón, J. Ribera, M. Arias, R. Gavaldà.
2015 IEEE International Conference on Data Science and Advanced Analytics, Oct. 2015. 
A multiscale smoothing kernel for measuring timeseries similarity.
M. Arias, A. Troncoso, J. Riquelme.
Neurocomputing, Vol 167, Nov 2015, pp. 817.
2013

Forecasting with Twitter Data.
M. Arias, A. Arratia, R. Xuriguera.
Special Issue on Social Web Mining.
ACM Transactions on Intelligent Systems and Technology (TIST), Vol 5 (1), December 2013.
2012

A Kernel for Time Series Classification. Application to Atmospheric Pollutants.
M. Arias, A. Troncoso, J. Riquelme.
SOCO 2012, Sep. 2012.
2011

Forecasting financial time series with Twitter. [abstract]
R. Xuriguera, M. Arias, A. Arratia.
4th International Conference of the European Research Consortium for Informatics and Mathematics
Working Group on Computing & Statistics (ERCIM 2011), Dec 2011. 
Construction and learnability of canonical Horn formulas.
M. Arias, J.L. Balcázar.
Machine Learning Journal, Vol. 85 (3), Oct 2011, pp. 273297. 
Learning Theory through Videos  A Teaching Experience in a Theoretical Course based on Selflearning Videos and Problemsolving Sessions.
M. Arias, C. Creus, A. Gascón, G. Godoy.
International Conference on Computer Supported Education (2), May 2011: 9398. 
StructuredContent Extraction from the Web for Bibliographic Reference Generation
R. Xuriguera, M. Arias.
RFIW Atelier (within EGC 2011), Jan 2011.
2010

Exampledependent Basis Vector Selection for KernelBased Classifiers.
A. Ukkonen, M. Arias.
ECML 2010, Sep. 2010.
2009

Canonical Horn Representations and Query Learning.
M. Arias, J.L. Balcázar.
ALT 2009, Oct. 2009. A long version of this paper with all the proofs is available as research report LSI0918R.
2008

Query Learning and Certificates in Lattices.
M. Arias, J.L. Balcázar.
ALT 2008, Oct 2008. 
Compact roundtrip routing with topologyindependent node names.
M. Arias, L. Cowen, K. Laing.
Journal of Computer and System Sciences, Volume 74 (5), Aug 2008, pp. 775795.
2007

Learning regulatory programs that accurately predict differential expression with MEDUSA.
A. Kundaje, S. Lianoglou, X. Li, D. Quigley, M. Arias, C. Wiggins, L. Zhang, C. Leslie.
Annals of the New York Academy of Science, Volume 1115, Dec 2007, pp. 178202. 
Parameterizing Random Test Data According to Equivalence Classes.
C. Murphy, G. Kaiser, M. Arias.
Second International Workshop on Random Testing 2007, Nov 2007. 
Realtime Ranking with Concept Drift Using Expert Advice.
H. Becker, M. Arias.
KDD 2007, Aug 2007. 
An Approach to Software Testing of Machine Learning Applications.
C. Murphy, G. Kaiser, M. Arias.
SEKE 2007, Jul 2007.  Learning Horn Expressions with LogAnH.
M. Arias, R. Khardon, J. Maloberti.
Journal of Machine Learning Research, Vol. 8, Mar 2007, pp. 549587.  Realtime Ranking of Electrical Feeders using Expert Advice.
H. Becker, M. Arias.
European Workshop on Data Stream Analysis, Mar 2007, Caserta, Italy.
2006
 An Online Learning System for the Prediction of Electricity Distribution Feeder Failures.
H. Becker, M. Arias. New York Academy of Sciences Machine Learning Symposium, Oct 2006. [abstract, 2min presentation]
 Workshop in Machine Learning, Grace Hopper Celebration of Women in Computing, Oct 2006. [abstract, poster]
 Compact Routing with Name Idependence.
M. Arias, L. Cowen, K. Laing, R. Rajaraman, O. Taka.
SIAM Journal on Discrete Mathematics, Vol. 20 (3), Sep 2006, pp. 705726.  A Framework for Quality Assurance of Machine Learning Applications.
C. Murphy, G. Kaiser, M. Arias.
Tech Report, CUCS03406, Computer Science, Columbia University. Sep 2006.  Learning regulatory programs that accurately predict differential expression with MEDUSA.
A. Kundaje, D. Quigley, S. Lianoglou, X. Li, M. Arias, C. Wiggins, L. Zhang, C. Leslie.
DIMACS Workshop on Dialogue on Reverse Engineering Assessment and Methods (DREAM), Sep 2006.  Complexity Parameters for First Order Classes.
M. Arias, R. Khardon.
Machine Learning Journal, Vol. 64 (13), Sep 2006, pp. 121144.  Predicting Electricity Distribution Feeder Failures Using Machine Learning Susceptibility Analysis.
P. Gross, A. Boulanger, M. Arias, D. L. Waltz, P. M. Long, C. Lawson, R. Anderson, M. Koenig, M. Mastrocinque, W. Fairechio, J. A. Johnson, S. Lee, F. Doherty, A. Kressner.
AAAI 2006, Jul 2006.  Polynomial Certificates for Propositional Classes.
M. Arias, A. Feigelson, R. Khardon, R. Servedio.
Information and Computation, Vol. 204 (5), May 2006, pp. 816834. Attention: published version contains an error in the order of the references; corrected unofficial version here.  The Subsumption Lattice and Query Learning.
R. Khardon, M. Arias.
Journal of Computer and System Sciences, Vol. 72 (1), Feb 2006, pp. 7294.
2004
 The Subsumption Lattice and Query Learning.
M. Arias, R. Khardon.
ALT 2004, Oct 2004.  BottomUp ILP using Large Refinement Steps.
M. Arias, R. Khardon.
ILP 2004, Sep 2004. 
Exact Learning of FirstOrder Horn Expressions from Queries.
Ph.D. Thesis, Tufts University, May 2004.
Advisor: R. Khardon.
2003
 Complexity Parameters for First Order Classes.
M. Arias, R. Khardon.
ILP 2003, Oct 2003.  Polynomial Certificates for Propositional Classes.
M. Arias, R. Khardon, R. Servedio.
COLT 2003, Aug 2003.  Compact Roundtrip Routing with TopologyIndependent Node Names.
M. Arias, L. Cowen, K. Laing.
PODC 2003, Jul 2003.  Compact Routing with Name Independence.
M. Arias, L. Cowen, K. Laing, R. Rajaraman, O. Taka.
SPAA 2003, Jun 2003.
2002
 Learning Closed Horn Expressions.
M. Arias, R. Khardon.
Information and Computation, Vol. 178 (1), Oct 2002, pp. 214240.
2001
 Learning Closed Horn Expressions.
M. Arias, R. Khardon.
Workshop on Logic and Learning, IEEE Symposium on Logic in Computer Science (LICS), June 2001.
2000
 A New Algorithm for Learning Range Restricted Horn Expressions.
M. Arias, R. Khardon.
ILP 2000, Jul 2000.  Learning Inequated Range Restricted Horn Expressions.
M. Arias, R. Khardon.
Research Report, EDIINFRR0011, Division of Informatics, University of Edinburgh, Mar 2000.  A New Algorithm for Learning Range Restricted Horn Expressions.
M. Arias, R. Khardon.
Research Report, EDIINFRR0010, Division of Informatics, University of Edinburgh, Mar 2000.