Find Research outputs

Search results

• Towards a theory of actor computation

  Agha, G., Mason, I. A., Smith, S. & Talcott, C., 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Springer, p. 565-579 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 630 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a theory of anonymous networking

  Ghaderi, J. & Srikant, R., 2010, 2010 Proceedings IEEE INFOCOM. 5462155. (Proceedings - IEEE INFOCOM).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a theory of free-lunch privacy in cyber-physical systems

  Jia, R., Dong, R., Ganesh, P., Sastry, S. & Spanos, C., Jul 1 2017, 55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017. Institute of Electrical and Electronics Engineers Inc., p. 902-910 9 p. (55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017; vol. 2018-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a theory of policy timing

  Mittenzwei, K., Bullock, D. S. & Salhofer, K., Oct 2012, In: Australian Journal of Agricultural and Resource Economics. 56, 4, p. 583-596 14 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a theory of revealed economic behavior: The economic-neurosciences interface

  Pennings, J. M. E., Garcia, P. G. & Hendrix, E. H., Jan 2005, In: Journal of Bioeconomics. 7, 2, p. 113-127 15 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a theory of trade finance

  Schmidt-Eisenlohr, T., Sep 2013, In: Journal of International Economics. 91, 1, p. 96-112 17 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a thread-based parallel direct execution simulator

  Dickens, P., Hainesa, M., Mehrotraa, P. & Nicol, D., 1996, Architecture and Software Technology. IEEE Computer Society, p. 424-432 9 p. 495490. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a transmission line limit preserving algorithm for large-scale power system equivalents

  Jang, W., Mohapatra, S. & Overbye, T. J., Mar 26 2015, Proceedings of the 48th Annual Hawaii International Conference on System Sciences, HICSS 2015. Bui, T. X. & Sprague, R. H. (eds.). IEEE Computer Society, p. 2759-2765 7 p. 7070147. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2015-March).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

  Chen, X., Lin, Z., Trinh, M. T. & Roşu, G., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer, p. 477-499 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Towards a U.S. national program for monitoring native bees

  Woodard, S. H., Federman, S., James, R. R., Danforth, B. N., Griswold, T. L., Inouye, D., McFrederick, Q. S., Morandin, L., Paul, D. L., Sellers, E., Strange, J. P., Vaughan, M., Williams, N. M., Branstetter, M. G., Burns, C. T., Cane, J., Cariveau, A. B., Cariveau, D. P., Childers, A., Childers, C., & 18 othersCox-Foster, D. L., Evans, E. C., Graham, K. K., Hackett, K., Huntzinger, K. T., Irwin, R. E., Jha, S., Lawson, S., Liang, C., López-Uribe, M. M., Melathopoulos, A., Moylett, H. M. C., Otto, C. R. V., Ponisio, L. C., Richardson, L. L., Rose, R., Singh, R. & Wehling, W., Dec 2020, In: Biological Conservation. 252, 108821.

  Research output: Contribution to journal › Article › peer-review

• Towards a unified proof framework for automated fixpoint reasoning using matching logic

  Chen, X., Trinh, M. T., Rodrigues, N., Peña, L. & Roşu, G., Nov 13 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 161.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Towards a unified theory of operational and axiomatic semantics

  Rośu, G. & Ştefǎnescu, A., 2012, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Proceedings. PART 2 ed. Springer, p. 351-363 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7392 LNCS, no. PART 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a unified thermodynamic sorption database; uranium (VI) and chromate (VI) adsorption on iron oxides

  Bompoti, N., Chrysochoou, M. & Machesky, M., 2018, V.M. Goldschmidt Conference - Program and Abstracts. Vol. 28.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a Unified Understanding of Lithium Action in Basic Biology and its Significance for Applied Biology

  Jakobsson, E., Argüello-Miranda, O., Chiu, S. W., Fazal, Z., Kruczek, J., Nunez-Corrales, S., Pandit, S. & Pritchet, L., Dec 1 2017, In: Journal of Membrane Biology. 250, 6, p. 587-604 18 p.

  Research output: Contribution to journal › Review article › peer-review

  Open Access

• Towards a universal, quanti able, and scalable file format converter

  McHenry, K., Kooper, R. & Bajcsy, P., 2009, e-Science 2009 - 5th IEEE International Conference on e-Science. p. 140-147 8 p. 5380873. (e-Science 2009 - 5th IEEE International Conference on e-Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a universal viewer for digital content

  McHenry, K., Ondrejcek, M., Marini, L., Kooper, R. & Bajcsy, P., 2011, In: Procedia Computer Science. 4, p. 732-739 8 p.

  Research output: Contribution to journal › Conference article › peer-review

• Towards authentic emotion recognition

  Sebe, N., Sun, Y., Bakker, E., Lew, M. S., Cohen, I. & Huang, T. S., 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 623-628 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards auto-documentary: Tracking the evolution of news stories

  Duygulu, P., Pan, J. Y. & Forsyth, D. A., 2004, ACM Multimedia 2004 - proceedings of the 12th ACM International Conference on Multimedia. p. 820-827 8 p. (ACM Multimedia 2004 - proceedings of the 12th ACM International Conference on Multimedia).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automated prediction of relationships among scientific datasets

  Alawini, A., Maier, D., Tufte, K., Howe, B. & Nandikur, R., Jun 29 2015, SSDBM 2015 - Proceedings of the 27th International Conference on Scientific and Statistical Database Management. Gupta, A. & Rathbun, S. (eds.). Association for Computing Machinery, a35. (ACM International Conference Proceeding Series; vol. 29-June-2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automated safety vetting of PLC code in real-world plants

  Zhang, M., Chen, C. Y., Kao, B. C., Qamsane, Y., Shao, Y., Lin, Y., Shi, E., Mohan, S., Barton, K., Moyne, J. & Mao, Z. M., May 2019, Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019. Institute of Electrical and Electronics Engineers Inc., p. 522-538 17 p. 8835244. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2019-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Towards automatic generation of semantic types in scientific workflows

  Bowers, S. & Ludäscher, B., 2005, Web Information Systems Engineering, WISE 2005 Workshops - WISE 2005 International Workshops, Proceedings. p. 207-216 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3807 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automatic performance analysis

  Sinha, A. B. & Kale, L. V., 1996, Software. Pingali, K. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 53-60 8 p. 538559. (Proceedings of the International Conference on Parallel Processing; vol. 3).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automatic phone-to-phone communication for vehicular networking applications

  Hu, S., Liu, H., Su, L., Wang, H., Abdelzaher, T. F., Hui, P., Zheng, W., Xie, Z. & Stankovic, J. A., 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1752-1760 9 p. 6848113. (Proceedings - IEEE INFOCOM).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards Automatic Recognition of Scientifically Rigorous Clinical Research Evidence

  Kilicoglu, H., Demner-Fushman, D., Rindflesch, T. C., Wilczynski, N. L. & Haynes, R. B., Jan 2009, In: Journal of the American Medical Informatics Association. 16, 1, p. 25-31 7 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a verification logic for rewriting logic

  Fiadeiro, J. L., Maibaum, T., Martí-Oliet, N., Meseguer, J. & Pita, I., 2000, Recent Trends in Algebraic Development Techniques - 14th International Workshop, WADT 1999, Selected Papers. Bert, D., Choppy, C. & Mosses, P. (eds.). Springer, p. 438-458 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1827).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a verified model of the algorand consensus protocol in coq

  Alturki, M. A., Chen, J., Luchangco, V., Moore, B., Palmskog, K., Peña, L. & Roşu, G., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer, p. 362-367 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a video-capable wireless underwater modem: Doppler tolerant broadband acoustic communication

  Riedl, T. & Singer, A., Jan 20 2014, 2014 Underwater Communications and Networking, UComms 2014. Institute of Electrical and Electronics Engineers Inc., 7017122. (2014 Underwater Communications and Networking, UComms 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a weighted version of the hajnal-szemerédi theorem

  Balogh, J., Kemkes, G., Lee, C. & Young, S. J., May 2013, In: Combinatorics Probability and Computing. 22, 3, p. 346-350 5 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a wind farm reduced-order model

  Pulgar-Painemal, H. A. & Sauer, P. W., Aug 2011, In: Electric Power Systems Research. 81, 8, p. 1688-1695 8 p.

  Research output: Contribution to journal › Article › peer-review

• Towards behavioral maude: Behavioral membership equational logic

  Meseguer, J. & Roşu, G., Oct 2002, In: Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

  Research output: Contribution to journal › Conference article › peer-review

• Towards best-effort merge of taxonomically organized data

  Thau, D., Bowers, S. & Ludaescher, B., May 28 2010, ICDE Workshops 2010 - The 2010 IEEE 26th International Conference on Data Engineering Workshops. p. 151-154 4 p. 5452756. (Proceedings - International Conference on Data Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards better than human capability in diagnosing prostate cancer using infrared spectroscopic imaging

  Llorá, X., Reddy, R., Matesic, B. & Bhargava, R., 2007, Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference. p. 2098-2105 8 p. (Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards biohythane production from biomass: Influence of operational stage on anaerobic fermentation and microbial community

  Si, B., Liu, Z., Zhang, Y., Li, J., Shen, R., Zhu, Z. & Xing, X., Feb 23 2016, In: International Journal of Hydrogen Energy. 41, 7, p. 4429-4438 10 p.

  Research output: Contribution to journal › Article › peer-review

• Towards blackbox identity testing of log-variate circuits

  Forbes, M. A., Ghosh, S. & Saxena, N., Jul 1 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 54. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards Boosting Patch Execution On-the-Fly

  Benton, S., Xie, Y., Lu, L., Zhang, M., Li, X. & Zhang, L., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. IEEE Computer Society, p. 2165-2176 12 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards building a MetaQuerier: Extracting and matching web query interfaces

  He, B., Zhang, Z. & Chang, K. C-C., Dec 12 2005, Proceedings - 21st International Conference on Data Engineering, ICDE 2005. p. 1098-1099 2 p. (Proceedings - International Conference on Data Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards building large scale multimedia systems and applications: Challenges and status

  Nahrstedt, K. & Balke, W. T., Nov 11 2005, MSC 2005 - Proceedings of the 1st ACM International Workshop on Multimedia Service Composition, co-located with ACM Multimedia 2005. Association for Computing Machinery, Inc, p. 3-10 8 p. (MSC 2005 - Proceedings of the 1st ACM International Workshop on Multimedia Service Composition, co-located with ACM Multimedia 2005).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Toward scalable performance visualization with jumpshot

  Zaki, O., Lusk, E., Gropp, W. & Swider, D., 1999, In: International Journal of High Performance Computing Applications. 13, 3, p. 277-288 12 p.

  Research output: Contribution to journal › Article › peer-review

• Toward scaling model-based engineering for systems of systems

  Antul, L., Ricks, S., Cho, L. M. K., Cotter, M., Jacobs, R. B., Markina-Khusid, A., Kamenetsky, J., Dahmann, J. & Tran, H. T., Jun 25 2018, 2018 IEEE Aerospace Conference, AERO 2018. IEEE Computer Society, p. 1-9 9 p. (IEEE Aerospace Conference Proceedings; vol. 2018-March).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards certifying domain-specific properties of synthesized code

  Roşu, G. & Whittle, J., 2002, Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 289-294 6 p. 1115032. (Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards Certifying the Asymmetric Robustness for Neural Networks: Quantification and Applications

  Li, C., Ji, S., Weng, H., Li, B., Shi, J., Beyah, R., Guo, S., Wang, Z. & Wang, T., Nov 1 2022, In: IEEE Transactions on Dependable and Secure Computing. 19, 6, p. 3987-4001 15 p.

  Research output: Contribution to journal › Article › peer-review

• Towards chirality-controlled SWCNTs: Can a plasma help?

  Sankaran, R. M., May 4 2011, In: Journal of Physics D: Applied Physics. 44, 17, 174005.

  Research output: Contribution to journal › Article › peer-review

• Towards classification of social streams

  Tsai, M. H., Aggarwal, C. C. & Huang, T. S., 2015, SIAM International Conference on Data Mining 2015, SDM 2015. Ye, J. & Venkatasubramanian, S. (eds.). Society for Industrial and Applied Mathematics Publications, p. 649-657 9 p. (SIAM International Conference on Data Mining 2015, SDM 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards Combining Error-bounded Lossy Compression and Cryptography for Scientific Data

  Shan, R., Di, S., Calhoun, J. C. & Cappello, F., 2021, 2021 IEEE High Performance Extreme Computing Conference, HPEC 2021. Institute of Electrical and Electronics Engineers Inc., (2021 IEEE High Performance Extreme Computing Conference, HPEC 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards complete and error-free genome assemblies of all vertebrate species

  Rhie, A., McCarthy, S. A., Fedrigo, O., Damas, J., Formenti, G., Koren, S., Uliano-Silva, M., Chow, W., Fungtammasan, A., Kim, J., Lee, C., Ko, B. J., Chaisson, M., Gedman, G. L., Cantin, L. J., Thibaud-Nissen, F., Haggerty, L., Bista, I., Smith, M., Haase, B., & 107 othersMountcastle, J., Winkler, S., Paez, S., Howard, J., Vernes, S. C., Lama, T. M., Grutzner, F., Warren, W. C., Balakrishnan, C. N., Burt, D., George, J. M., Biegler, M. T., Iorns, D., Digby, A., Eason, D., Robertson, B., Edwards, T., Wilkinson, M., Turner, G., Meyer, A., Kautt, A. F., Franchini, P., Detrich, H. W., Svardal, H., Wagner, M., Naylor, G. J. P., Pippel, M., Malinsky, M., Mooney, M., Simbirsky, M., Hannigan, B. T., Pesout, T., Houck, M., Misuraca, A., Kingan, S. B., Hall, R., Kronenberg, Z., Sović, I., Dunn, C., Ning, Z., Hastie, A., Lee, J., Selvaraj, S., Green, R. E., Putnam, N. H., Gut, I., Ghurye, J., Garrison, E., Sims, Y., Collins, J., Pelan, S., Torrance, J., Tracey, A., Wood, J., Dagnew, R. E., Guan, D., London, S. E., Clayton, D. F., Mello, C. V., Friedrich, S. R., Lovell, P. V., Osipova, E., Al-Ajli, F. O., Secomandi, S., Kim, H., Theofanopoulou, C., Hiller, M., Zhou, Y., Harris, R. S., Makova, K. D., Medvedev, P., Hoffman, J., Masterson, P., Clark, K., Martin, F., Howe, K., Flicek, P., Walenz, B. P., Kwak, W., Clawson, H., Diekhans, M., Nassar, L., Paten, B., Kraus, R. H. S., Crawford, A. J., Gilbert, M. T. P., Zhang, G., Venkatesh, B., Murphy, R. W., Koepfli, K. P., Shapiro, B., Johnson, W. E., Di Palma, F., Marques-Bonet, T., Teeling, E. C., Warnow, T., Graves, J. M., Ryder, O. A., Haussler, D., O’Brien, S. J., Korlach, J., Lewin, H. A., Howe, K., Myers, E. W., Durbin, R., Phillippy, A. M. & Jarvis, E. D., Apr 29 2021, In: Nature. 592, 7856, p. 737-746 10 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Towards constraint-based explanations for answers and non-answers

  Glavic, B., Köhler, S., Riddle, S. & Ludäscher, B., 2015.

  Research output: Contribution to conference › Paper › peer-review

• Towards constraint provenance games

  Riddle, S., Köhler, S. & Ludäscher, B., 2014.

  Research output: Contribution to conference › Paper › peer-review

• Towards content distribution networks with latency guarantees

  Huang, C. & Abdelzaher, T., 2004, 2004 Twelfth IEEE International Workshop on Quality of Service, IWQoS 2004. p. 181-192 12 p. (2004 Twelfth IEEE International Workshop on Quality of Service, IWQoS 2004).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards context aware data fusion: Modeling and integration of situationally qualified human observations to manage uncertainty in a hard + soft fusion process

  Jenkins, M. P., Gross, G. A., Bisantz, A. M. & Nagi, R., Jan 2015, In: Information Fusion. 21, 1, p. 130-144 15 p.

  Research output: Contribution to journal › Article › peer-review

• Towards context-aware hard/soft information fusion: Incorporating situationally qualified human observations into a fusion process for intelligence analysis

  Jenkins, M. P., Gross, G., Bisantz, A. M. & Nagi, R., May 23 2011, 2011 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2011. p. 74-81 8 p. 5753757. (2011 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2011).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution