Research Output

Twenty years of rewriting logic

Meseguer, J., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 15-17 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TWO-CRITERIA LQG DECISION PROBLEMS WITH DECENTRALIZED DYNAMIC INFORMATION PATTERNS.

Basar, T., Jan 1 2017, In : [No source information available]. p. 457-465 9 p.

Research output: Contribution to journalArticle

Two degree of freedom robust optimal control design using a linear matrix inequality optimization

Lee, C., Salapaka, S. M. & Voulgaris, P. G., Dec 1 2009, Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009. p. 714-719 6 p. 5399673. (Proceedings of the IEEE Conference on Decision and Control).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Two degrees of freedom control for combine harvester header height control

Xie, Y. & Alleyne, A. G., Dec 1 2012, ASME 2012 5th Annual Dynamic Systems and Control Conference Joint with the JSME 2012 11th Motion and Vibration Conference, DSCC 2012-MOVIC 2012. p. 539-547 9 p. (ASME 2012 5th Annual Dynamic Systems and Control Conference Joint with the JSME 2012 11th Motion and Vibration Conference, DSCC 2012-MOVIC 2012; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Two discourse driven language models for semantics

Peng, H. & Roth, D., Jan 1 2016, 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers. Association for Computational Linguistics (ACL), p. 290-300 11 p. (54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Two hardware-based approaches for deterministic multiprocessor replay

Hower, D. R., Montesinos, P., Ceze, L., Hill, M. D. & Torrellas, J., Jun 1 2009, In : Communications of the ACM. 52, 6, p. 93-100 8 p.

Research output: Contribution to journalArticle

Two-Level Hierarchical Mission-Based Model Predictive Control

Koeln, J. P. & Alleyne, A. G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2332-2337 6 p. 8431370. (Proceedings of the American Control Conference; vol. 2018-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TWO-LEVEL PLANNING AND SCHEDULING APPROACH FOR COMPUTER INTEGRATED MANUFACTURING.

Shaw, M., Dec 1 1986, In : National Bureau of Standards, Special Publication. p. 185-195 11 p.

Research output: Contribution to journalConference article

Two-point coordinate rings for GK-curves

Duursma, I. M., Feb 1 2011, In : IEEE Transactions on Information Theory. 57, 2, p. 593-600 8 p., 5695101.

Research output: Contribution to journalArticle

Two private, perceptual data-hiding games

Goteti, A. K. & Moulin, P., Sep 28 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. III373-III376

Research output: Contribution to journalConference article

Two sides of a coin: Optimizing the schedule of mapreduce jobs to minimize their makespan and improve cluster performance

Verma, A., Cherkasova, L. & Campbell, R. H., Nov 6 2012, Proceedings of the 2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2012. p. 11-18 8 p. 6298160. (Proceedings of the 2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TWO-STEP COMPENSATION METHOD FOR SOLVING SHORT CIRCUIT PROBLEMS.

Gross, G. & Hong, H. W., Jan 1 2017.

Research output: Contribution to conferencePaper

TxProbe: Discovering Bitcoin’s Network Topology Using Orphan Transactions

Delgado-Segura, S., Bakshi, S., Pérez-Solà, C., Litton, J., Pachulski, A., Miller, A. & Bhattacharjee, B., Jan 1 2019, Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Revised Selected Papers. Goldberg, I. & Moore, T. (eds.). Springer, p. 550-566 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11598 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Type-C wind power generator modeling

Pulgar-Painemal, H. A. & Sauer, P. W., 2013, Electrical Manufacturing and Coil Winding Expo 2010-2013. p. 221-227 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Types, regions, and effects for safe programming with object-oriented parallel frameworks

Bocchino, R. L. & Adve, V. S., Aug 10 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 306-332 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6813 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

U.S. Plant Variety Protection: Sound and Fury...?

Kesan, J. P., 2002, In : Houston Law Review. 39, p. 727-778 52 p.

Research output: Contribution to journalArticle

U.S. Southern and Northern differences in perceptions of norms about aggression: Mechanisms for the perpetuation of a culture of honor

Vandello, J. A., Cohen, D. & Ransom, S., Mar 1 2008, In : Journal of Cross-Cultural Psychology. 39, 2, p. 162-177 16 p.

Research output: Contribution to journalArticle

UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models

Fu, Z., Guo, C., Zhang, Z., Ren, S. & Sha, L., May 2020, In : ACM Transactions on Cyber-Physical Systems. 4, 3, 3375405.

Research output: Contribution to journalArticle

Open Access

uCast: Unified connectionless multicast for energy efficient content distribution in sensor networks

Cao, Q., He, T. & Abdelzaher, T., Feb 1 2007, In : IEEE Transactions on Parallel and Distributed Systems. 18, 2, p. 240-250 11 p.

Research output: Contribution to journalArticle

UDP Network Communications for Distributed Wireless Control

Ploplys, N. J. & Alleyne, A. G., Nov 6 2003, In : Proceedings of the American Control Conference. 4, p. 3335-3340 6 p.

Research output: Contribution to journalConference article

UDP network communications for wireless control with loop coordination

Kawka, P. A., Ploplys, N. J. & Aleyne, A. G., Jan 1 2004, p. 487-493. 7 p.

Research output: Contribution to conferencePaper

Ugo Montanari in a nutshell

De Nicola, R., Degano, P. & Meseguer, J., Jul 1 2008, Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. p. 1-8 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5065 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

U-Health: An example of a high-quality individualized healthcare service

Chang, H. L., Shaw, M. J-P., Lai, F., Ko, W. J., Ho, Y. L., Chen, H. S. & Shu, C. C., Nov 1 2010, In : Personalized Medicine. 7, 6, p. 677-687 11 p.

Research output: Contribution to journalArticle

UiRef: Analysis of sensitive user inputs in Android applications

Andow, B., Acharya, A., Li, D., Enck, W., Singh, K. & Xie, T., Jul 18 2017, Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2017. Association for Computing Machinery, Inc, p. 23-34 12 p. (Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ultra-fast hierarchical backprojection for micro-CT reconstruction

Brokish, J. & Bresler, Y., Dec 1 2007, 2007 IEEE Nuclear Science Symposium and Medical Imaging Conference, NSS-MIC. p. 4460-4463 4 p. 4437101. (IEEE Nuclear Science Symposium Conference Record; vol. 6).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ultrafast magnetic resonance spectroscopic imaging using SPICE with learned subspaces

Lam, F., Li, Y., Guo, R., Clifford, B. & Liang, Z. P., Feb 1 2020, In : Magnetic Resonance in Medicine. 83, 2, p. 377-390 14 p.

Research output: Contribution to journalArticle

Ultrananocrystalline diamond tip integrated onto a heated atomic force microscope cantilever

Kim, H. J., Moldovan, N., Felts, J. R., Somnath, S., Dai, Z., Jacobs, T. D. B., Carpick, R. W., Carlisle, J. A. & King, W. P., Dec 14 2012, In : Nanotechnology. 23, 49, 495302.

Research output: Contribution to journalArticle

Ultrasan version 3: Architecture, features, and implementation

Sanders, W. H., Obal, W. D., Qureshit, M. A. & Widjanarkot, F. K., Jan 1 1995, p. 327-338. 12 p.

Research output: Contribution to conferencePaper

UltraSAN version 3 overview

Deavours, D. D., Obal, W. D., Qureshi, M. A., Sanders, W. H. & van Moorsel, A. P. A., Dec 1 1995, p. 216-217. 2 p.

Research output: Contribution to conferencePaper

Unbundled reactive support service: Key characteristics and dominant cost component

Gross, G., Tao, S., Bompard, E. & Chicco, G., May 1 2002, In : IEEE Transactions on Power Systems. 17, 2, p. 283-289 7 p.

Research output: Contribution to journalArticle

Uncertain power flows and transmission expansion planning

Stahlhut, J., Feng, G., Hedman, K., Westendorf, B., Heydt, G., Sauer, P. W. & Sheblé, G., Dec 1 2005, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. p. 489-496 8 p. 1560570. (Proceedings of the 37th Annual North American Power Symposium, 2005; vol. 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Uncertainties in inverse dynamics solutions: A comprehensive analysis and an application to gait

Riemer, R., Hsiao-Wecksler, E. T. & Zhang, X., May 2008, In : Gait and Posture. 27, 4, p. 578-588 11 p.

Research output: Contribution to journalArticle

Uncertainty management in the unit commitment problem

Ruiz, P. A., Philbrick, C. R., Zak, E., Cheung, K. W. & Sauer, P. W., Feb 5 2009, In : IEEE Transactions on Power Systems. 24, 2, p. 642-651 10 p.

Research output: Contribution to journalArticle

Uncertainty reduction for knowledge discovery and information extraction on the world wide web

Ji, H., Deng, H. & Han, J., Jan 1 2012, In : Proceedings of the IEEE. 100, 9, p. 2658-2674 17 p., 6212297.

Research output: Contribution to journalArticle

Uncorq: Unconstrained snoop request delivery in embedded-ring multiprocessors

Strauss, K., Shen, X. & Torrellas, J., Dec 1 2007, Proceedings of the The 40th IEEE/ACM International Symposium on Microarchitecture, MICRO 2007. p. 327-339 13 p. 4408266. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Uncovering bugs in P4 programs with assertion-based verification

Freire, L., Neves, M., Leal, L., Levchenko, K., Schaeffer-Filho, A. & Barcellos, M., Mar 28 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, Inc, 3185499. (Proceedings of the Symposium on SDN Research, SOSR 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Uncovering deception in social media: A special issue in Springer Journal Social Network Analysis and Mining.

Liu, H., Han, J. & Motoda, H., Jan 1 2014, In : Social Network Analysis and Mining. 4, 1, p. 1-2 2 p., 162.

Research output: Contribution to journalEditorial

Underdesigned and opportunistic computing in presence of hardware variability

Gupta, P., Agarwal, Y., Dolecek, L., Dutt, N., Gupta, R. K., Kumar, R., Mitra, S., Nicolau, A., Rosing, T. S., Srivastava, M. B., Swanson, S. & Sylvester, D., Jan 7 2013, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 32, 1, p. 8-23 16 p., 6387697.

Research output: Contribution to journalArticle

Undergraduate education in image and video processing

Moulin, P. & Orchard, M. T., Jul 11 2002, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 4, p. IV/4157-IV/4158

Research output: Contribution to journalConference article

Understanding Aggressive and Nonaggressive Individual Behaviors in Massively Multiplayer Online Games

Ahmed, I., Pilny, A. & Poole, M. S., Jul 5 2018, Social Interactions in Virtual Worlds: An Interdisciplinary Perspective. Lakkaraju, K., Sukthankar, G. & Wigand, R. T. (eds.). Cambridge University Press, p. 43-61

Research output: Chapter in Book/Report/Conference proceedingChapter

Understanding and developing models for detecting and differentiating breakpoints during interactive tasks

Iqbal, S. T. & Bailey, B. P., Oct 22 2007, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems 2007, CHI 2007. p. 697-706 10 p. (Conference on Human Factors in Computing Systems - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Understanding and encouraging communication with visualization

Karahalios, K. G., Jan 1 2015, Exploring the Material Conditions of Learning: Computer Supported Collaborative Learning Conference 2015, CSCL 2015 - Conference Proceedings. Lindwall, O., Hakkinen, P., Koschmann, T., Tchounikine, P. & Ludvigsen, S. (eds.). International Society of the Learning Sciences (ISLS), 1 p. (Computer-Supported Collaborative Learning Conference, CSCL; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Understanding and Improving Regression Test Selection in Continuous Integration

Shi, A., Zhao, P. & Marinov, D., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 228-238 11 p. 8987498. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Understanding and Optimizing Power Consumption in Memory Networks

Jian, X., Hanumolu, P. K. & Kumar, R., May 5 2017, Proceedings - 2017 IEEE 23rd Symposium on High Performance Computer Architecture, HPCA 2017. IEEE Computer Society, p. 229-240 12 p. 7920828

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Understanding bandwidth-delay product in mobile ad hoc networks

Chen, K., Xue, Y., Shah, S. H. & Nahrstedt, K., Jun 20 2004, In : Computer Communications. 27, 10, p. 923-934 12 p.

Research output: Contribution to journalArticle

Understanding deja reviewers

Gilbert, E. & Karahalios, K. G., Apr 20 2010, 2010 ACM Conference on Computer Supported Cooperative Work, CSCW 2010. p. 225-228 4 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

Research output: Chapter in Book/Report/Conference proceedingConference contribution