# Publications

Muhammad Khan, Lewis Tseng and Nitin H. Vaidya. “Exact Byzantine Consensus on Arbitrary Directed Graphs under Local Broadcast Model,” The 23th International Conference on Principles of Distributed Systems, December 2019

Lewis Tseng, Zezhi Wang, Yajie Zhao. “Resilient Distributed Causal Memory in Client-Server Model,” IEEE 24th Pacific Rim International Symposium on Dependable Computing, December 2019

Lewis Tseng, Yingjian Wu, Haochen Pan, Moayad Aloqaily, Azzedine Boukerche. “Reliable Broadcast in Networks with Trusted Nodes,” IEEE Global Communications Conference, December 2019

Lewis Tseng. “Eventual Consensus: Applications to Storage and Blockchain,” 57th Annual Allerton Conference on Communication, Control, and Computing, September 2019

Haochen Pan, Yingjian Wu, Lewis Tseng, Muntasir Raihan Rahman, Nakjung Choi. “A First Step Towards Production-Ready Network Function Storage: Benchmarking with NFSB,” IEEE 40th Sarnoff Symposium, September 2019

Lewis Tseng, Zezhi Wang, Yajie Zhao, Haochen Pan. “Distributed Causal Memory in the Presence of Byzantine Servers,” IEEE 18th International Symposium on Network Computing and Applications, September 2019

Lewis Tseng, Juan Mantica, James DeAntonis, Takamasa Higuchi, Onur Altintas. “Peer-assisted Content Delivery Network by Vehicular Clouds: Algorithm and Evaluation,” Internet Technology Letter, 2019

Lewis Tseng, Liwen Wong: Work-In-Progress Paper: Towards a Sustainable Ecosystem of Intelligent Transportation Systems. PerCom 2019

Zezhi Wang, Yajie Zhao, Lewis Tseng, Takamasa Higuchi, Onur Altintas: A Distributed System for Reducing Uploaded Data Redundancy in Vehicular Networks. SmartEdge 2019 (workshop co-located with PerCom 2019)

K. Ahmedul, C. Ruiz, and S. A. Alvarez. Mixed bagging: a novel ensemble learning framework for supervised classification based on instance hardness, short paper, IEEE International Conference on Data Mining (ICDM 2018), Singapore, Nov. 2018

S. Paisarnsrisomsuk, M. Sokolovsky, F. Guerrero, C. Ruiz, and S. A. Alvarez. Deep Sleep: convolutional neural networks for predictive modeling of human sleep time-signals, KDD 2018 Deep Learning Day, 2018 ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2018), London, UK, Aug. 2018

M. Sokolovsky*, F. Guerrero*, S. Paisarnsrisomsuk*, C. Ruiz, and S. A. Alvarez, Human expert-level automated sleep stage prediction and feature discovery by deep convolutional neural networks, full paper, *BIOKDD 2018*, in conjunction with the *2018 ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2018)*, London, UK, Aug. 2018

L. Yang, J. Bento, J.-C. Lachance, and B. O. Palsson, Genome-scale estimation of cellular objectives, 2018

S. Safavi, J. Bento, n-metrics for multiple graph alignment, 2018

S. Safavi, J. Bento, Networks and large scale optimization, OSDC 2018 Tutorials

J. Bento, S. Ioannidis, A Family of tractable graph distances, SDM 2018 S. Safavi, B. Joshi, G. França, J. Bento, An explicit convergence rate for Nesterov's method from SDP, ISIT 2018

J. Bento, R. Furmaniak, S. Ray, On the complexity of the weighted fused Lasso, IEEE Letters in Signal Processing 2018

Vaidyanathan, P., Prud’hommeaux, E., Pelz, J., and Alm, C.O. 2018. SNAG: Spoken Narratives and Gaze Dataset. In Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (ACL), 132–137.

Meyers, B., Munaiah, N., Prud’hommeaux, E., Meneely, A., Wolff, J., Alm, C.O., and Murukannaiah, P. 2018. A dataset for identifying actionable feedback in collaborative software development. In Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (ACL), 126–131.

Jimerson, R. and Prud’hommeaux, E. 2018. ASR for documenting acutely under-resourced indigenous languages. To appear in the Proceedings of the 2018 Language Resources and Evaluation Conference (LREC).

H. Straubing, ‘First-order logic and aperiodic languages: a revisionist history’ ACM SIGLOG News 5:3 4-20 (2018).

M. Hahn, A. Krebs and H. Straubing, ‘Wreath products of distributed forest algebras’, 33rd Annual IEEE Symposium on Logic in Computer Science (LICS 2018), 512-520 (2018).

A. Krebs, K. Lodaya, P. Pandya and H. Straubing, ‘An algebraic decision procedure for two-variable logic with a between relation’, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 28:1-28:17, (2018).

Lewis Tseng, James DeAntonis*, Takamasa Higuchi, Onur Altintas: Peer-Assisted Content Delivery Network by Vehicular Micro Clouds. CloudNet 2018: 1-3

Dimitris Sakavalas, Lewis Tseng: Delivery Delay and Mobile Faults. NCA 2018: 1-8

Guo-Shu (Sean) Gau, Zezhi Wang*, Lewis Tseng, Kishori M. Konwar: Benchmarking the Performance of ABD Algorithm. SCNDS 2018 (co-located with DISC 2018).

Dimitris Sakavalas, Lewis Tseng, Nitin H. Vaidya: Effects of Topology Knowledge and Relay Depth on Asynchronous Approximate Consensus. OPODIS 2018: 14:1-14:16

Dimitris Sakavalas, Lewis Tseng, Nitin H. Vaidya: Brief Announcement: Effects of Topology Knowledge and Relay Depth on Asynchronous Consensus. DISC 2018: 51:1-51:4

C. Wang*, S.A. Alvarez, C. Ruiz, and M. Moonis (2017). Modeling and Clustering of Human Sleep Time Series using Dynamic Time Warping: Sequential and Distributed Implementations. In Biomedical Engineering Systems and Technologies, Ninth International Joint Conference, BIOSTEC 2016, Rome, Italy, February 2016, Revised Selected Papers (A. Fred and H. Gamboa, eds.), Communications in Computer and Information Science, Volume 690, Springer, 2017. ISBN: 978-3-319-54716-9

A. Kabir*, C. Ruiz, S.A. Alvarez, and M. Moonis. Predicting outcome of ischemic stroke patients using bootstrap aggregating with M5 model trees, full paper, Proc. Tenth International Conference on Health Informatics (HEALTHINF 2017), Porto, Portugal, Feb. 21-23, 2017

G. França, J. Bento, How is distributed ADMM affected by network topology?, 2017

J. J. Zhu, J Bento, Generative adversarial active learning, NIPS 2017 Workshops and GPU Tech Conference 2017

G. França, J. Bento, Markov chain lifting and distributed ADMM , IEEE Letters in Signal Processing 2017

V. Montazerhodjat, S.E. Chaudhuri, D.J. Sargent, and A.W. Lo, “Use of Bayesian decision analysis to minimize harm in patient-centered randomized clinical trials in oncology,” JAMA Oncology, Apr. 2017, DOI: 10.1001/jamaoncol.2017.0123.

Prud’hommeaux, E., van Santen, J., and Gliner, D. 2017. Vector space models for evaluating semantic fluency in autism. In Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (ACL), 32–37.

Alm, C.O., Meyers, B.S., Prud’hommeaux, E. 2017. An Analysis and Visualization Tool for Case Study Learning of Linguistic Concepts. In Proceedings of the Conference on Empirical Methods in Natural Language Processing Demo Session (EMNLP), 13–18.

Andreas Krebs and Howard Straubing, An effective characterization of the alternation hierarchy in two-variable logic, ACM Transactions on Computational Logic 18(4), (2017).

When Cars Meet Distributed Computing: Data Storage as an Example, Lewis Tseng, Takamasa Higuchi, and Onur Altintas SCNDS 2017: 1st Workshop on Storage, Control, Networking in Dynamic Systems, November 2017

An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults

Lewis Tseng SSS 2017: International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 2017

Towards Reliable Broadcast in Practical Sensor Networks

Lewis Tseng NCA 2017: IEEE International Symposium on Network Computing and Applications, October 2017

T. van Opijnen, S. Dedrick, J. Bento (2016). Strain Dependent Genetic Networks for Antibiotic-Sensitivity in a Bacterial Pathogen with a Large Pan-Genome. *PLoS Pathogens* 12(9): e1005869. doi:10.1371/journal.ppat.1005869

N. Hao, A. Oghbaee, M. Rostami, N. Derbinsky, J. Bento. Testing fine-grained parallelism for the ADMM on a factor-graph. *Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops*, 835-844 (2016)

G. Franca, J. Bento. An Explicit Rate Bound for the Over-Relaxed ADMM. *2016 IEEE International Symposium on Information Theory*, July 10-15, 2016, Barcelona, Spain

C. Wang, S. A. Alvarez, C. Ruiz, and M. Moonis. Deviation-based dynamic time warping for clustering human sleep, *Proc. Ninth International Conference on Bio-inspired Systems and Signal Processing (BIOSIGNALS 2016)*, in conjunction with the *Ninth International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016)*, Rome, Italy, Feb. 21-23, 2016

Yuxiang Ye, Yijuan Lu, Hao Jiang

Human's Scene Sketch Understanding

*ACM on International Conference on Multimedia Retrieval 2016 (ICMR'16)*

Ernesto Brau, Hao Jiang

A Bayesian Part-based Approach to 3D Human Pose and Camera Estimation

*ICPR'16*

Andreas Krebs, Kamal Lodaya, Paritosh Pandya and Howard Straubing, Two-variable logic with a between relation, *LICS 2016*.

V. Montazerhodjat, D.M. Weinstock, and A.W. Lo, “Buying cures versus renting health: financing health care with consumer loans,” Science Translational Medicine, 2016;8:327ps6, DOI: 10.1126/scitranslmed.aad6913.

V. Montazerhodjat, J.J. Frishkopf, and A.W. Lo, “Financing drug discovery via dynamic leverage,” Drug Discovery Today, 2016;21:410–414, DOI: 10.1016/j.drudis.2015.12.004.

Vaidyanathan, P., Pelz, J., Prud’hommeaux, E., Alm, C., Haake, A. 2016. Fusing eye movements and observer narratives for expert-driven image-region annotations. In Proceedings of the ACM Symposium on Eye-Tracking Research and Applications (ETRA), 27–34.

S. A. Alvarez, E. Winner, A. Hawley-Dolan, L. Snapper*. What gaze fixation and pupil dilation can tell us about perceived differences between abstract art by artists vs. by children and animals, *Perception*, 44(11): 1310-1331 (Nov. 2015), doi:10.1177/0301006615596899

A. Kabir, C. Ruiz, S. A. Alvarez, and M. Moonis. Model-based clustering of ischemic stroke patients, full paper, *Proc. Eighth International Conference on Health Informatics (HEALTHINF 2015)*, in conjunction with the *Eighth International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2015)*, Lisbon, Portugal, Jan. 12-15, 2015

J. Bento, N. Derbinsky, C. Mathy, J. Yedidia,

Proximal operators for multi-agent path planning",

*Proceedings of the 29th National Conference on Artificial Intelligence (AAAI)*, 2015.

C. Mathy, N. Derbinsky, J. Bento, J. Yedidia,

The boundary forest algorithm for online supervised and unsupervised learning", *Proceedings of the 29th National Conference on Artificial Intelligence
(AAAI)*, 2015.

Hao Jiang, Tai-Peng Tian and Stan Sclaroff,

Scale and Rotation Invariant Matching Using Linearly Augmented Trees

*IEEE Transactions on Pattern Analysis and Machine Intelligence, *vol. 37, no. 12, December 2015.

Hao Jiang

Matching Bags of Regions in RGBD images

*IEEE Conference on Computer Vision and Pattern Recognition 2015 (CVPR'15).*

Edward Sciore

*Understanding APEX 5 Application Development*. Apress Publishers, July 2015

Andreas Krebs and Howard Straubing, EF+EX forest algebras, in A. Maletti (ed.), *Algebraic Informatics, *Springer Lecture Notes in Computer Science 9270, 128-139 (2015)

Howard Straubing, A new proof of the locality of **R***. International Journal of Algebra and Computation* 25 (1-2), 293-300 (2015)

Prud’hommeaux, E. and Roark, B. 2015. Graph-based word alignment for clinical language evaluation. Computational Linguistics, 41(4):549–578.

Biomedical Engineering Systems and Technologies, 6th International Joint Conference, BIOSTEC 2013, Barcelona, Spain, February 11-14, 2013, Revised Selected Papers Fernández Chimeno, M., Fernandes, P.L., Alvarez, S., Stacey, D., Solé-Casals, J., Fred, A., Gamboa, H. (Eds.) Communications in Computer and Information Science, Vol. 452 Springer, 2014, 409 p. 179 illus. ISBN 978-3-662-44484-9

C. Wang, Alvarez, S., C. Ruiz, and M. Moonis. "Semi-Markov modeling-clustering of human sleep with efficient initialization and stopping'', full paper, Proc. Seventh International Conference on Bio-inspired Systems and Signal Processing (BIOSIGNALS 2014), in conjunction with the Seventh International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2014), Angers, France, Mar. 3-6, 2014

H. Straubing, "New applications of the wreath product of forest algebras," RAIRO - Theoretical Informatics and Applications 47(3), 261 - 291 (2013)

C. Wang, S. A. Alvarez, C. Ruiz, and M. Moonis. "Computational Modeling of Sleep Stage Dynamics using Weibull semi-Markov Chains'", full paper, Proc. Sixth International Conference on Health Informatics (HEALTHINF 2013), in conjunction with the Sixth International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2013), Barcelona, Catalunya, Spain, Feb. 11-14, 2013

S. A. Alvarez and C. Ruiz. "Collective Probabilistic Dynamical Modeling of Sleep Stage Transitions'', short paper, Proc. Sixth International Conference on Bio-inspired Systems and Signal Processing (BIOSIGNALS 2013), in conjunction with the Sixth International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2013), Barcelona, Catalunya, Spain, Feb. 11-14, 2013

A. Khasawneh*, S. A. Alvarez, C. Ruiz, S. Misra*, and M. Moonis. "Similarity Grouping of Human Sleep Recordings using EEG and ECG'', in Biomedical Engineering Systems and Technologies, Fourth International Joint Conference, BIOSTEC 2011, Rome, Italy, January 2011, Revised Selected Papers (A. Fred, J. Filipe and H. Gamboa, eds.), Communications in Computer and Information Science, Volume 273, Springer, 2013. ISBN: 978-3-642-29751-9

A. Krebs and H. Straubing, "An effective characterization of the alternation hierarchy in two-variable logic", FSTTCS 2012: 86-98

M. Bojanczyk, H. Straubing, and I. Walukiewicz, "Wreath prodcucts of forest algebras, with applications to tree logics," Logical Methods in Computer Science 8 (3:19), 38pp. (2012). (An extended abstract was published in Proc. 24th IEEE Symposium on Logic in Computer Science (LICS) (2009) 255-263.)

M. Bojanczyk, L. Segoufin and H. Straubing, "Piecewise testable forest languages", Logical Methods in Computer Science 8 (3:26), 32pp. (2012). (An extended abstract was published in Proc. 23rd IEEE Symposium on Logic in Computer Science (LICS) (2008) 442-451.)

F. W. Usher, C. Wang, S. A. Alvarez, C. Ruiz, and M. Moonis. "Machine Learning of Human Sleep Patterns based on Stage Bout Durations'', full paper, Proc. Fifth International Conference on Health Informatics (HEALTHINF 2012), in conjunction with the Fifth International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2012), Vilamoura, Algarve, Portugal, Feb. 1-4, 2012 to appear.

Howard Straubing and Pascal Weil. An introduction to finite automata and their connection to logic, in Modern applications of automata theory (D. D'Souza, Priti Shankar eds), IISc Research Monographs 2, World Scientific (2012), pp. 3-43.

Hao Jiang, "Linear Solution to Scale Invariant Global Figure Ground Separation", IEEE Conference on Computer Vision and Pattern Recognition 2012 (CVPR'12).

Hao Jiang, Tai-Peng Tian, Kun He and Stan Sclaroff, "Scale Resilient, Rotation Invariant Articulated Object Matching", IEEE Conference on Computer Vision and Pattern Recognition 2012 (CVPR'12).

A. Kirmani, H. Jeelani, V. Montazerhodjat, and V.K. Goyal, “Diffuse imaging: Creating optical images with unfocused time-resolved illumination and sensing,” IEEE Signal Processing Letters 2012;19(1):31–34.

A. Amini, V. Montazerhodjat, and F. Marvasti, “Matrices with small coherence using p-ary block codes,” IEEE Transactions on Signal Processing 2012;60(1):172–181.

E. Sciore and A. Rosenthal. "View and Content-Based Security", invited article, in Encyclopedia of Computer Security (second edition), Springer-Verlag, 2011, 249-253.

S. A. Alvarez, C. Ruiz, T. Kawato, W. Kogel. "Neural Expert Networks for Faster Combined Collaborative and Content-Based Recommendation", Journal of Computational Methods in Sciences and Engineering, vol 11, no 4, Sept. 2011, 161-172 DOI: 10.3233/JCM-2011-0360.

S. Floyd, C. Ruiz, S. A. Alvarez, J. Tseng, and G. Whalen. "Prediction of Pancreatic Cancer Survival through Automated Selection of Predictive Models", in A. Fred, J. Filipe and H. Gamboa (eds.), Biomedical Engineering Systems and Technologies, revised selected papers, BIOSTEC 2010, Valencia, Spain, Communications in Computer and Information Science, Volume 127, Springer, 2011, 29-43, ISBN: 978-3-642-18471-0.

A. Khasawneh, S. A. Alvarez, C. Ruiz, S. Misra, and M. Moonis. "EEG and ECG Characteristics of Human Sleep Composition Types", full paper (acceptance rate: 48/538 = 8.9%), Proc. Fourth International Conference on Health Informatics (HEALTHINF 2011), in conjunction with the Fourth International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2011), Rome, Italy, Jan. 26-29, 2011, 97-106.

Howard Straubing, Algebraic Characerization of the Alternation Hierarchy in FO2[<] on Finite Words, in Computer Science Logic 2011, LIPIcs 12** **(2011) 525-537.

Hao Jiang, "Human Pose Estimation Using Consistent Max-Covering", IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 33, no. 9, 2011.

Hao Jiang, Stella X. Yu and David R. Martin, "Linear Scale and Rotation Invariant Matching", IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 33, no. 7, 2011.

A. Khasawneh, S. A. Alvarez, C. Ruiz, S. Misra, and M. Moonis. "Discovery of Sleep Composition Types using Expectation-Maximization", Proc. 23rd IEEE International Symposium on Computer-Based Medical Systems (CBMS 2010), Perth, Australia, Oct. 12-15, 2010.

S. Floyd, C. Ruiz, S. A. Alvarez, J. Tseng, G. Whalen. "Model selection meta-learning for the prognosis of pancreatic cancer", full paper (acceptance rate: 46/410 = 11.2%), Proc. Third International Conference on Health Informatics (HEALTHINF 2010), in conjunction with the Third International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2010), Valencia, Spain, Jan. 20-23, 2010, 29-37.

J. Hayward, S. A. Alvarez, C. Ruiz, M. Sullivan, J. Tseng, and G. Whalen. "Machine Learning of Clinical Performance in a Pancreatic Cancer Database", Artificial Intelligence in Medicine, special issue on Data Mining Approaches to the Study of Disease Genes and Proteins (Sun Kim, ed.), vol. 49, issue 3, July 2010, 187-195. DOI: 10.1016/j.artmed.2010.04.009.

Michael A. Kiebish, Rob Bell, Kui Yang, Toan Phan, Zhongdan Zhao, William Ames, Thomas N. Seyfried, Richard W. Gross, Jeffrey H. Chuang, and Xianlin Han. J. "Dynamic simulation of cardiolipin remodeling: Greasing the wheels for an interpretative approach to lipidomics", J. Lipid Res., doi:10.1194/jlr.M004796.

Soonmin Bae and Hao Jiang, "Building a Videorama with Shallow Depth of Field", IEEE International Conference on Pattern Recognition (ICPR 2010). To appear.

Hao Jiang, "3D Human Pose Reconstruction Using Millions of Exemplars", IEEE International Conference on Pattern Recognition (ICPR 2010). To appear.

Hao Jiang, Mark S. Drew and Ze-Nian Li, "Action Detection in Cluttered Video with Successive Convex Matching", IEEE Transactions on Circuits and Systems for Video Technology. Jan. 2010.

Howard Straubing, Pascal Tesson and Denis Thérien, "Weakly iterated block products and applications to logic and complexity", International Journal of Algebra and Computation, 20(2) 319-341 (2010).

M. Bojanczyk, H. Straubing, and I. Walukiewicz, "Wreath prodcucts of forest algebras, with applications to tree logics", Proc. 24th IEEE Symposium on Logic in Computer Science (LICS) (2009) 255-263.

H. Jiang and S. X. Yu, "Linear Solution to Scale and Rotation Invariant Object Matching", IEEE Conference on Computer Vision and Pattern Recognition, Miami Beach, Florida, June 2009.

C. Pavlopoulou, D. Martin, S. X. Yu and H. Jiang, "Learning from Disagreements: Discriminative Performance Evaluation", The 11th IEEE International Workshop on Performance Evaluation of Tracking and Surveillance, Miami Beach, Florida, June 2009.

E. Sciore, Database Design and Implementation. John Wiley, October 2008.

J. Hayward, S. A. Alvarez, C. Ruiz, M. Sullivan, J. Tseng, and G. Whalen. "Knowledge Discovery in Clinical Performance of Cancer Patients", to appear in Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, Philadelphia, PA, USA, Nov. 3-5, 2008.

H. Straubing and D. Thérien, "Modular Quantifiers", E. Grädel, J. Flum and T. Wilke (eds.), Logic and Automata: History and Perspectives, vol. 2 of the series Texts in Logic and Games, Amsterdam University Press, 2008, pp. 613-628.

M. Bojanczyk, L. Segoufin and H. Straubing, "Piecewise Testable Tree Languages", to appear in Proceedings of 23rd IEEE Symposium on Logic in Computer Science (LICS 2008).

H. Jiang and D. Martin, "Global Pose Estimation Using Non-tree Models", Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2008).

H. Jiang and D. Martin, "Finding Actions Using Shape Flows", European Conference on Computer Vision, Marseille, October 2008.

S. A. Alvarez, C. Ruiz, and T. Kawato. "More Efficient Mining over Heterogeneous Data using Neural Expert Networks", in Multimedia Data Mining and Knowledge Discovery (V.A. Petrushin and L. Khan, eds.), Springer-Verlag, 2007.

S. Floyd, S. A. Alvarez, C. Ruiz, J. Hayward, M. Sullivan, J. Tseng, and G. Whalen. "Improved Survival Prediction for Pancreatic Cancer using Machine Learning and Regression", Society for the Surgery of the Alimentary Tract 48th Annual Meeting (SSAT 2007), in conjunction with Digestive Disease Week, Washington DC, USA, May 19-23, 2007.

J. Hayward, S. A. Alvarez, C. Ruiz, J. Tseng, M. Sullivan, and G. Whalen. "Survival of Pancreatic Cancer Patients Predicted using Machine Learning", Society of Surgical Oncology 60th Annual Cancer Symposium, Washington DC, USA, March 15-18, 2007.

H. Jiang, S. Fels and J. Little, A Linear Programming Approach for Multiple Object Tracking Computer Vision and Pattern Recognition 2007 (CVPR'07).

H. Jiang, M. S. Drew and Ze-Nian Li, Matching by Linear Programming and Successive convexification, IEEE Transaction on Pattern Analysis and Machine Intelligence, June, 2007.

H. Jiang and M. S. Drew, Shadow Resistant Object Tracking using Inertia Constraints Pattern Recognition, July, 2007.

H. Jiang, Ze-Nian Li and Mark S. Drew, Recognizing Posture in Pictures with Successive Convexification and Linear Programming, IEEE Multimedia, April, 2007.

A. Roy and H. Straubing, Definability of Languages by Generalized First-Order Formulas over (N; +), SIAM Journal on Computing, 37 (2), 502{521, 2007.

R. Signorile, "Integrating Planning Agents and Simulation into a Dynamic Decision Support System for Controlling the Logistics of a Transportation System", Proceedings of the Conceptual Modeling and Simulation (CMS) February, 2007.

P. Laxminarayan, S. A. Alvarez, C. Ruiz, and M. Moonis. "Mining Statistically Significant Associations for Exploratory Analysis of Human Sleep Data", IEEE Transactions on Information Technology in Biomedicine, vol. 10, no. 3, July 2006, 440–450.

A. Roy and H. Straubing, Defineability of First Order Languages over (N; +), by 23rd Annual Symposium on Theoretical Aspects of Computer Science (STACS), 2006. Appeared in Lecture Notes in Computer Science (LNCS) 3884, 489-499.

E. Duenez, S. Miller, A. Roy and H. Straubing, Incomplete Exponential Sums in Several Variables, by Journal of Number Theory, 116 (2006), no. 1, 168-199.

R. Signorile, "Simulation, Logistics and Transportation for Energy Plants", Workshop on Logistics and Transportation", Milan, Italy, November, 2006.

Borowsky, E., Logan, A. and R. Signorile, "Leveraging the client-server model in P2P: Managing concurrent file updates in a P2P system", International Conference on Internet and Web Applications and Services (ICIW'06), February 23-25, 2006 Guadeloupe, French Caribbean.

H. Straubing, "Inexpressibility Results for Regular Languages in Nonregular Settings", in C. de Felice, A. Restivo (eds.), Developments in Language Theory, LNCS 3572, (2005) 69-77. (with D. Thérien) "A Note on Mod p-Mod m Circuits", Theory of Computing Systems 39 (2006) 699-706.

L. Chaubard, J. E. Pin and H. Straubing, "First-order Formulas with Modular Predicates", Proceedings of 2006 21st IEEE Symposium on Logic in Computer Science, (2006), 211-220.

L. Chaubard, J. E. Pin and H. Straubing, "Actions, Wreath Products of C-varieties, and Concatenation Product", Theoretical Computer Science 356 (2006), 73-89.

P. Laxminarayan, C. Ruiz, S. A. Alvarez, and M. Moonis. "Mining Associations over Human Sleep Time Series", Proc. 18th IEEE International Symposium on Computer-Based Medical Systems (IEEE CBMS 2005), Dublin, Ireland, June 2005.

F. Green, A. Roy, H. Straubing, Bounds on an Exponential Sum arising in Boolean Circuit Complexity, Comptes Rendus Mathematique, C.R. Acad. Sci. Paris, Ser I 341 (2005), 279-282.

R. Signorile," Multi-Agent Peer to Peer System for Supply Chain Simulation", Conceptual Modeling and Simulation Conference (CMS'2005), Marseilles, France, October 20-22, 2005.

R. Signorile, "A Decision Support System For Inventory Control Using Planning And Distributed agents", 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, June 22-25, 2005, Bari, Italy.

H. Straubing and D. Thérien, "Regular Languages Defined by Generalized First-order Formulas with a Bounded Number of Bound Variables", Theory of Computing Systems 36 (2003) 29-69. (with J. E. Pin) "Some Results on C-varieties", RAIRO: Theoretical Informatics, 39 (2005) 239-262.

H. Straubing "Inexpressibility Results for Regular Languages in Nonregular Settings", in C. de Felice, A. Restivo (eds.), Developments in Language Theory, LNCS 3572, (2005) 69-77. (with D. Thérien) "A Note on Mod p-Mod m Circuits", Theory of Computing Systems 39 (2006) 699-706.

S. A. Alvarez, "A Theory of Frame Transformations for Belief Combination", Annals of Mathematics and Artificial Intelligence, vol. 40, no. 3/4, 187–213, March 2004 Sergio A. Alvarez

E. Sciore, "Enabling Collaborative Administration and Safety Fences: Factored Privileges in SQL Databases" (with A. Rosenthal). IEEE Data Engineering Bulletin 27:1, March 2004, pp. 42-47. Invited Submission.

R. Signorile, "Combining Cellular Automata and Multi-Agents in a Unified Simulation System for Crowd Control ", 16th European Simulation Conference, Oct. 17-20, 2004, Budapest, Hungary.

S. A. Alvarez, C. Ruiz, and V. Dignum. "Data Mining and Web Knowledge Management", in Web Knowledge Management and Decision Support: Selected Papers from the Fourteenth International Conference on Applications of Prolog, LNCS 2543, Springer-Verlag, 2003.

S. A. Alvarez, T. Kawato, and C. Ruiz. "Mining over Loosely Coupled Data Sources using Neural Experts", Fourth International Workshop on Multimedia Data Mining (MDM/KDD2003), in conjunction with the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD2003), Washington, DC, Aug. 2003.

S. A. Alvarez. "Chi–Squared Computation for Association Rules: Preliminary Results", Technical Report BC-CS-03-01, Computer Science Department, Boston College, July 2003.

R. Muller, Inferring Annotated Types for Inter-procedural Register Allocation with Constructor Flattening, with Torben Amtoft, to appear in the Proceedings of the 2003 Workshop on Types in Language Design and Implementation (TLDI'03), New Orleans, LA, January, 2003.

R. Signorile and A. Bruzzone, "Harbor Management using Simulation and Genetic Algorithms", Port Technology International, Edition 18, January 2003.

R. Signorile and J. Pearlin, "Simulation of a Distributed Mutual Exclusion Algorithm Using Multicast Communication", Proceedings of the ESS2003,October 26-29, 2003 Delft, The Netherlands.

R. Signorile, "Distributed Simulation Using JINI", Proceedings of the 7th IEEE DS-RT'2003 International Symposium on Distributed Simulation and Real Time Applications October 23-26, 2003 Delft, The Netherlands.

R. Signorile, "Simulation for Logistics and Supply Chains", Proceedings of the 2003 Summer Simulation Multiconference, July 20–24, 2003 Montreal, Canada.

H. Straubing and D. Thérien, "Regular Languages Defined by Generalized First-order Formulas with a Bounded Number of Bound Variables", Theory of Computing Systems 36 (2003) 29-69. (with J. E. Pin) "Some Results on C-varieties", RAIRO: Theoretical Informatics, 39 (2005) 239-262.

W.-Y. Lin, S. A. Alvarez, and C. Ruiz. "Efficient Adaptive–Support Association Rule Mining for Recommender Systems", Data Mining & Knowledge Discovery, 6(1), 83-105, Jan. 2002.

S. A. Alvarez. "An Exact Analytical Relation among Recall, Precision, and Classification Accuracy in Information Retrieval", Technical Report BC-CS-02-01, Computer Science Department, Boston College, July 2002.

R. Muller, A Calculus with Polymorphic and Polyvariant Flow Types, with J. B. Wells, Allyn Dimock and Franklyn Turbak. 44 Pages. Journal of Functional Programming, 12 (3):183-227, May 2002.

R. Signorile, A System Dynamic Simulation of Logistics and Customer Service for Business Enterprises, Special issue of the Journal—Simulation - Simulation of Supply Chains, 2002.

R. Signorile, "The Wireless Mobility Integration Protocol for Using TCP/IP over Wired and Wireless Networks, Proceedings of the ESS2002 Modeling and Simulation conference, Dresden, Germany, October 22-25, 2002.

R. Signorile, "Using Distributed Simulation in Logistics and Supply Chain Management", Proceedings of the HMS2002 Conference, Bergeggi, Italy, Oct. 2002.

H. Straubing and D. Thérien, "Weakly Iterated Block Products of Finite Monoids", in Proceedings of LATIN 2002, Lecture Notes in Computer Science 2286 (2002).

H. Straubing "On the Logical Description of Regular Languages", Proceedings of LATIN 2002, Lecture Notes in Computer Science 2286 (2002).

C. Shoemaker, M. Sao Pedro, M. Pungliya, C. Ruiz, S. A. Alvarez, M. Ward, E.F. Ryder, and J. Krushkal. "Computational Methods for Single Point and Multipoint Analysis of Genetic Variants Associated with Simulated Complex Disorder in a General Population", Genetic Epidemiology, vol. 21 (Suppl. 1): S738-S745, Nov. 2001.

M. Streeter, M. Ward, and S. A. Alvarez. "N2VIS – An Interactive Visualization Tool for Neural Networks", Conference on Visual Data Exploration and Analysis VIII, Proc. SPIE Vol. 4302, San Jose, CA, Jan. 2001.

R. Muller, Functioning Without Closure: Type-Safe Customized Function Representations for Standard ML, with Allyn Dimock, Ian Westmacott, Franklyn Turbak and Joe Wells, in the Proceedings of the ACM International Conference on Functional Programming, Florence, Italy, September, 2001.

A. Bruzzone and R. Signorile, Container Terminal planning by using Simulation and Genetic Algorithms, Journal of Maritime Harbor and Port Management, Fall 2001.

R. Signorile, Using Simulation to Optimize the Operations of an Emergency Room, Proceedings of the ESS 2001 Modeling and Simulation conference, Marseilles, France, October 16-21, 2001.

R. Signorile, "A System Dynamic Simulation of Logistics and Customer Service for Business Enterprises", Special Session on Simulation Aided Decision Support and Planning at the Proceedings of the International Conference on Information Systems, Analysis and Synthesis, Orlando, FL, July 2001.

H. Straubing, "Languages Defined by Modular Quantifiers", Information and Computation 166 (2001) 112-132.

R. Signorile, "Multi-Agent Simulation", Proceedings of the International Conference on Systemics, Cybernetics and Informatics, July 2000.

R. Signorile, "Using Simulation for Business Decision Analysis", Proceedings of the International Conference on Information Systems, Analysis and Synthesis, July 2000.

R. Signorile, "Inventory Management Simulation with Agents", Proceedings of the HMS, Genova, Italy, Oct. 2000.

R. Signorile., "Distributed Intelligent Agents For A Collaborative Web-based Simulation", Proceedings of the International Conference on Web-Based Modeling and Simulation, San Diego, CA, January 2000.

H. Straubing, "When Can One Finite Monoid Simulate Another?", in J.C. Birget, S. Margolis, J. Meakin and M. Sapir (eds.) Algorithmic Problems in Groups and Semigroups, Birkh¨auser (2000) 267-288.

E. Sciore, "First Class Views: A Key to User-Centered Computing" (with A. Rosenthal). SIGMOD RECORD, September 1999, pp. 29-36.

R. Signorile, "A framework for distributed intelligent agents in the simulation of external logistics of an enterprise", Proceedings of the HMS, Genova, Italy, Oct. 1999.

R. Signorile, "Simulating the Use of Intelligent Agents in an Automated Distributed Multi-Constrained Scheduling System", Proceedings of the 11th ESS, September, 1999.

A. Bruzzone and R. Signorile, "Crowd Control Simulation in a Java Based Environment", Proceedings of the International Conference on Web-Based Modeling and Simulation, San Francisco, CA, January 1999.

D. Barrington and H. Straubing, "Lower Bounds for Modular Counting by Circuits with Modular Gates", Computational Complexity 8 (1999) 258-272.

Bruzzone, A. and R. Signorile, "Simulation and Genetic Algorithms for Ship Planning and Shipyard Layout", in the Special Issue SIMULATION on Harbor and Maritime Simulation, Oct. 1998.

R. Signorile, "A Study in the Use of Distributed Intelligent Agents in the Simulation of a Flexible Manufacturing Environment", Proceedings of the International the 10th European Simulation Conference, Oct. 1998.

R. Signorile, "Introducing simulation to the small businesses manager: a real live case", Proceedings of the ASTC '98, Boston, MA April 1998.

P. P´eladeau, H. Straubing and D. Thérien, "Finite Semigroup Varieties Defined by Programs", Theoretical Computer Science, 180 (1997) 325-339 "Languages Defined with Modular Counting Quantifiers", Proceedings of 15th Annual Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 1373, Springer, Berlin (1998) 332-343.

R. Muller, Strongly Typed Flow-Directed Representation Transformations (Extended Abstract), with Allyn Dimock, Franklyn Turbak and J. B. Wells, in the Proceedings of the ACM International Conference on Functional Programming, Amsterdam, The Netherlands, June, 1997.

R. Muller, A Typed Intermediate Language for Flow-Directed Compilation (Extended Abstract), with J. B. Wells, Allyn Dimock and Franklyn Turbak, in Formal Aspects of Software Engineering, Theoretical Aspects of Programming and Software Engineering, Lille, France, April, 1997.

R. Muller, Compiling with Polymorphic and Polyvariant Flow Types, with Franklyn Turbak, Allyn Dimock and Joe Wells, in the Proceedings of the First International Workshop on Types in Compilation, Amsterdam, The Netherlands, June, 1997.

R. Signorile and Signorile, D., "Using Simulation As a Planning Tool for A Cytology Laboratory", 9th Annual European Simulation Conference, Oct. 1997.

H. Straubing "Finite Models, Automata, and Circuit Complexity" in N. Immerman and P. Kolaitis (eds.) Descriptive Complexity and Finite Models, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society (1997) 63-96.

P. P´eladeau, H. Straubing and D. Thérien, "Finite Semigroup Varieties Defined by Programs", Theoretical Computer Science, 180 (1997) 325-339 "Languages Defined with Modular Counting Quantifiers", Proceedings of 15th Annual Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 1373, Springer, Berlin (1998) 332-343.

A. Bruzzone and R. Signorile, "Genetic Algorithms and Simulation As Support for Planning a Port Terminal", Proceedings of the International 8th Annual European Simulation Conference, Oct. 1996.

R. Signorile and R. Perry, "A Graduate School Admission Process: An Exercise in Business Process Reengineering", 8th Annual European Simulation Conference, Oct. 1996.

R. Signorile, "An integrated Decision Support System Combining Simulation and Expert Systems", IASTED International Conference on Modeling, Simulation and Optimization, May 1996.

M.H. Safizadeh and R. Signorile, "Optimization of Simulation via Quasi-Newton Methods", ORSA Journal On Computing, Fall 1995.

D. A. Mix Barrington and H. Straubing, "Lower Bounds for Modular Counting by Circuits with Modular Gates", in Proceedings of the 2nd Latin American Symposium on Theoretical Computer Science, Lecture Notes in Computer Science 911 Springer, Berlin (1995), 60-71.

H. Straubing, D. Thérien and W. Thomas, "Regular languages defined with generalized quantifiers", Information and Computation 118 (1995) 289-301. (with R. Beigel) "The Power of Local Self-Reductions", in Proceedings of the Tenth IEEE Conference on Structure in Complexity Theory, 1995.

H. Straubing, D. Thérien and W. Thomas, "Logics for Regular Languages, Finite Monoids, and Circuit Complexity", in J. Fountain (ed.), Semigroups, Formal Languages and Groups, Kluwer Academic Publishers (1995), 119-146.

R. Muller, A Staging Calculus and its Application to the Verification of Translators (Preliminary Report), in Proceedings of the 21st Annual ACM SIGPLAN– SIGACT Symposium on Principles Of Programming Languages, Portland, Oregon, January, 1994.

E. Sciore, "Context Interchange in a Client/Server Architecture" (with M. Siegel and S. Madnick). Journal of Systems and Software (27:3), December 1994, pp. 223-232.

E. Sciore, "Query Abbreviation in the Entity-Relationship Data Model." Information Systems (19:6), November 1994, pp. 493-513.

E. Sciore, "Using Semantic Values to Facilitate Interoperability Among Heterogeneous Information Systems" (with M. Siegel and A. Rosenthal). ACM Transactions on Database Systems (19:2), June 1994, pp. 254-290.

E. Sciore, "Versioning and Configuration Management in an Object-Oriented Data Model." VLDB Journal (3:1), January 1994, pp. 77-106.

D. A. Mix Barrington and H. Straubing, "Complex polynomials and circuit lower bounds for modular counting", in Proceedings of LATIN '92 conference, Lecture Notes in Computer Science 583, Springer, Berlin (1992) 24-31; journal version in Computational Complexity 4 (1994) 325-338.

H. Straubing, P. Tesson and D. Thérien, "Weakly Iterated Block Products and Applications to Logic, Circuits and Communication Complexity", accepted for publication in International Journal of Algebra and Computation, Book Finite Automata, Formal Logic, and Circuit Complexity, Birkha¨user, Boston, 1994.

E. Sciore, "Automatic Rule Derivation for Semantic Query Optimization" (with M. Siegel and S. Salveter). ACM Transactions on Database Systems (17:4), December 1992, pp. 563-600.

E. Sciore, "A Universal Relation Model with Semantic Abstractions" (with T. Chang). IEEE Transactions on Knowledge and Data Engineering (4:1), February 1992, pp. 23-33.

E. Sciore, "Using Semantic Values for Semantic Interoperability." Proc. Scientific Data Management Workshop (Salt Lake City UT, 1992).

D. A. Mix Barrington, K. Compton, H. Straubing and D. Thérien, "Regular Languages in NC1, J. Comp. Syst. Sci. 44 (1992) 478-499.

H. Straubing and P.Weil, "On a conjecture concerning dot-depth two languages", Theoretical Computer Science 104 (1992) 161-183.

J.E. Pin, H. Straubing and D. Thérien, "New Results on the Generalized Star-Height Problem", Information and Computation 101 (1992).

D. A. Mix Barrington and H. Straubing, "Complex polynomials and circuit lower bounds for modular counting", in Proceedings of LATIN '92 conference, Lecture Notes in Computer Science 583, Springer, Berlin (1992) 24-31; journal version in Computational Complexity 4 (1994) 325-338.

K. J. Compton and H. Straubing, "Characterizations of the regular languages in low-level complexity classes", Bulletin of the European Association for Theoretical Computer Science 48 (1992) 134-142.

H. Straubing "Circuit complexity and the expressive power of generalized first-order formulas", in Proceedings of ICALP 92, Lecture Notes in Computer Science 623 Springer, Berlin (1992) 16-27.

E. Sciore, "Using Annotations to Support Multiple Kinds of Versioning in an Object-Oriented Database System." ACM Transactions on Database Systems (16:3), September 1991, pp. 417-438.

E. Sciore, "An Extended Universal Instance Model." Information Systems (16:1), January 1991, pp. 21-34.

E. Sciore, "Modular Rule-Based Query Optimization" (with J. Sieg). TR BCCS-91-15 Boston College, 1991.

H. Straubing "Constant-depth periodic circuits", International J. Algebra and Computation, 1 (1991), 49-87.

H. Straubing "Automata, logic and computational complexity", in Monoids and Semigroups with Applications, (J. Rhodes, ed.), World Scientific, (1991) 467-492.

D. A. Mix Barrington and H. Straubing, "Superlinear lower bounds for bounded-width branching programs", in Proc. 6th IEEE Structure in Complexity Theory Conference (1991) 305-314; journal version to appear in J. Comp. Syst. Sci.

D.A. Mix Barrington, N. Immerman and H. Straubing, "On uniformity in NC1", J. Comp. Syst. Sci. 41 (1990), 274-306.

D. A. Mix Barrington, H. Straubing and D. Thérien, "Non-Uniform automata over groups", Information and Computation. 89 (1990) 109-132.

H. Straubing and D. Thérien, "Finite automata and computational complexity" in Formal Properties of Finite Automata and Applications, (J.E. Pin, ed.) Lecture Notes in Computer Science 386, Springer, Berlin (1990) 199-223.

H. Straubing "The wreath product and its applications" in Formal Properties of Finite Automata and Applications, (J.E. Pin, ed.) Lecture Notes in Computer Science 386, Springer, Berlin (1990) 15-24.