Find Research outputs

Search results

• Conference contribution

  Symmetry breaking in the plane: Rendezvous by robots with unknown attributes

  Czyzowicz, J., Gasieniec, L., Killick, R. & Kranakis, E., Jul 16 2019, PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 4-13 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

  • Robots
  • Chirality
  • Clocks
  • Visibility
  • Mobile robots
  3 Scopus citations

• Synchronous byzantine agreement with nearly a cubic number of communication bits

  Kowalski, D. R. & Mostéfaoui, A., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 84-91 8 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

  • Communication
  • Message passing
  • Polynomials
  • Costs
  4 Scopus citations

• Synchronous rendezvous for location-aware agents

  Collins, A., Czyzowicz, J., Ga̧sieniec, L., Kosowski, A. & Martin, R., 2011, Distributed Computing - 25th International Symposium, DISC 2011, Proceedings. p. 447-459 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6950 LNCS).

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

  • Euclidean space
  • Grid
  • Graph in graph theory
  • Infinite Graphs
  • Asymptotically Optimal
  17 Scopus citations

• Synthesis, functionalization, characterization, and application of controlled shape nanoparticles in energy production

  Murph, S. E., Serkiz, S. M., Fox, E. B., Colon-Mercado, H., Sexton, L. & Siegfried, M., Jan 1 2011, Fluorine-Related Nanoscience with Energy Applications. American Chemical Society, p. 127-163 37 p. (ACS Symposium Series; vol. 1064).

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

  • Nanoparticles
  • Shells (structures)
  • Metal nanoparticles
  • Precious metals
  • Chemical analysis
  4 Scopus citations

• Synthesis of concurrent systems with many similar sequential processes

  Attie, P. C. & Emerson, E. A., Dec 1 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, p. 191-201 11 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).

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

  • Temporal logic
  • Explosions
  • Synchronization
  • Specifications
  • Testing
  11 Scopus citations

• Synthesis of large concurrent programs via pairwise composition

  Attie, P. C., 1999, CONCUR 1999, Concurrency Theory - 10th International Conference, Proceedings. Springer Verlag, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1664 LNCS).

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

  • Temporal logic
  • Concurrent
  • Explosions
  • Synthesis
  • Pairwise
  13 Scopus citations

• Task decomposition for adaptive data staging in workflows for distributed environments

  Ezenwoye, O., Viswanathan, B., Sadjadi, S. M., Fong, L., Dasgupta, G. & Kalayci, S., Dec 1 2009, Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009. p. 16-19 4 p. (Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009).

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

  • Decomposition
  • Fault tolerance
  • Specifications
  1 Scopus citations

• Teacher preparation programs and response to intervention (RTI): Learning from K-12 educators

  Kuo, N-C., 2012, Teacher preparation programs and response to intervention (RTI): Learning from K-12 educators.

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

• Technical communication education in a digital, visual world

  Armfield, D. M., Gurak, L. J., Kays, T. M. & Weinberg, J., 2012, 2012 IEEE International Professional Communication Conference, IPCC 2012. 6408637. (IEEE International Professional Communication Conference).

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

  • Education
  • Students
  • Visual communication
  • communication
  • classroom

• TEDDY - The Environmental Determinants of Diabetes in the Young: An observational clinical trial

  Hagopian, W. A., Lernmark, Å., Rewers, M. J., Simell, O. G., She, J. X., Ziegler, A. G., Krischer, J. P. & Akolkar, B., Oct 2006, Immunology of Diabetes IV: Progress in Our Understanding. Blackwell Publishing Inc., p. 320-326 7 p. (Annals of the New York Academy of Sciences; vol. 1079).

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

  • Diabetes
  • Clinical Trials
  • Medical problems
  • Newborn
  • Diabetes Mellitus
  74 Scopus citations

• Tell me where I am so I can meet you sooner: (Asynchronous rendezvous with location information)

  Collins, A., Czyzowicz, J., Ga̧sieniec, L. & Labourel, A., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. PART 2 ed. p. 502-514 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6199 LNCS, no. PART 2).

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

  • Mobile agents
  • Visibility
  • Costs
  • Space-filling Curves
  • Labels
  34 Scopus citations

• Temperature dependent behavior of the SPV for n-type GaN

  McNamara, J. D., Foussekis, M., Liu, H., Morkoç, H., Reshchikov, M. A. & Baski, A. A., Apr 16 2012, Gallium Nitride Materials and Devices VII. 826213. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8262).

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

  • photovoltages
  • Dependent
  • Oxygen
  • Temperature
  • Illumination
  10 Scopus citations

• Temporal flows in temporal networks

  Akrida, E. C., Czyzowicz, J., Gasieniec, L., Kuszner, L. & Spirakis, P. G., 2017, Algorithms and Complexity - 10th International Conference, CIAC 2017, Proceedings. Fotakis, D., Pagourtzis, A. & Paschos, V. T. (eds.). Springer Verlag, p. 43-54 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10236 LNCS).

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

  • Availability
  • Polynomials
  • Random variables
  • Flow rate
  • Vertex of a graph
  3 Scopus citations

• Testing isomorphism of outerplanar graphs in parallel

  Chlebus, B. S., Diks, K. & Radzik, T., Jan 1 1988, Mathematical Foundations of Computer Science 1988 - Proceedings of the 13th Symposium. Chytil, M. P., Koubek, V. & Janiga, L. (eds.). Springer Verlag, p. 220-230 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 324 LNCS).

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

  • Outerplanar Graph
  • Isomorphism
  • Testing
  5 Scopus citations

• Testing methods to minimise range-shifting time with conservation actions

  Aloqalaa, D. A., Kowalski, D. R., Hodgson, J. A. & Wong, P. W. H., May 29 2019, Proceedings of 2019 the 11th International Conference on Bioinformatics and Biomedical Technology, ICBBT 2019. Association for Computing Machinery, p. 32-39 8 p. (ACM International Conference Proceeding Series).

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

  • Climate change
  • Conservation
  • Recovery
  • Testing

• The beachcombers' problem: Walking and searching with mobile robots

  Czyzowicz, J., Ga̧sieniec, L., Georgiou, K., Kranakis, E. & MacQuarrie, F., 2014, Structural Information and Communication Complexity - 21st International Colloquium, SIROCCO 2014, Proceedings. Springer Verlag, p. 23-36 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8576 LNCS).

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

  • Mobile Robot
  • Robot
  • Mobile robots
  • Robots
  • Schedule
  7 Scopus citations

• The Benzotriazole Story

  Panda, S. S., 2016, Heterocyclic Chemistry in the 21st Century A Tribute to Alan Katritzky, 2016. Scriven, E. F. V. & Ramsden, C. A. (eds.). Academic Press Inc., Vol. 119. p. 2-23 22 p. (Advances in Heterocyclic Chemistry; vol. 119).

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

  • Acylation
  • benzotriazole
  • Alkylation
  • Peptidomimetics
  • Cyclic Peptides
  8 Scopus citations

• The complete visibility problem for fat robots with lights

  Sharma, G., Alsaedi, R., Busch, C. & Mukhopadhyay, S., Jan 4 2018, Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018. Association for Computing Machinery, 3154319. (ACM International Conference Proceeding Series).

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

  • Oils and fats
  • Visibility
  • Robots
  • Mobile robots
  4 Scopus citations

• The effect of locking screw threads on the fatigue strength in intramedullary nail fixation of femur fractures

  Lovald, S., Khraishi, T., DeCoster, T. & Bozorgnia, S., Dec 1 2009, Society for Experimental Mechanics - SEM Annual Conference and Exposition on Experimental and Applied Mechanics 2009. p. 2436-2438 3 p. (Society for Experimental Mechanics - SEM Annual Conference and Exposition on Experimental and Applied Mechanics 2009; vol. 4).

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

  • Screw threads
  • Nails
  • Fatigue of materials
  • Finite element method
  • Axial loads

• The effects of limited lifetime pseudonyms on certificate revocation list size in VANETS

  Nowatkowski, M. E., Wolfgang, J. E., McManus, C. & Owen, H. L., May 31 2010, IEEE SoutheastCon 2010: Energizing Our Future. p. 380-383 4 p. 5453849. (Conference Proceedings - IEEE SOUTHEASTCON).

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

• The effects of neural networks training factors on stock price prediction errors

  Aleroud, A. F., Alsmadi, I. M., Alaiad, A. I. & Al-Radaideh, Q. A., 2012, Proceedings of the IASTED International Conference on Communication, Internet, and Information Technology, CIIT 2012. p. 362-368 7 p. (Proceedings of the IASTED International Conference on Communication, Internet, and Information Technology, CIIT 2012).

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

  • Neural networks
  • Machine learning

• The effects of quality of service on vehicular network pseudonym distribution in congested urban environments

  Benin, J., Nowatkowski, M. & Owen, H., Jul 16 2012, 2012 IEEE Wireless Communications and Networking Conference Workshops, WCNCW 2012. p. 365-370 6 p. 6215523. (2012 IEEE Wireless Communications and Networking Conference Workshops, WCNCW 2012).

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

  • Electric power distribution
  • Quality of service
  • Throughput
  • Communication

• The environmental determinants of diabetes in the young (TEDDY) study

  Rewers, M., She, J. X., Ziegler, A. G., Simell, O. G., Lernmark, Å., Hagopian, W. A., Krischer, J. P. & Akolkar, B., Dec 2008, Immunology of Diabetes V From Bench to Bedside. Blackwell Publishing Inc., p. 1-13 13 p. (Annals of the New York Academy of Sciences; vol. 1150).

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

  • Diabetes
  • Medical problems
  • Type 1 Diabetes Mellitus
  • Newborn Infant
  • Newborn
  157 Scopus citations

• The impact of hierarchical structure on efficiency of Cloud monitoring

  Alshamrani, S., Kowalski, D. & Gasieniec, L., Feb 8 2017, Proceedings of 2016 International Conference on Cloud Computing Technologies and Applications, CloudTech 2016. Zbakh, M. & Essaaidi, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 40-46 7 p. 7847723. (Proceedings of 2016 International Conference on Cloud Computing Technologies and Applications, CloudTech 2016).

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

  • Virtual machine
  • Monitoring
  • Cloud computing
  • Process monitoring
  1 Scopus citations

• The impact of the transversion/transition ratio on the optimal genetic code graph partition

  Aloqalaa, D. A., Kowalski, D. R., Błazej, P., Wnetrzak, M., Mackiewicz, D. & Mackiewicz, P., Jan 1 2019, BIOINFORMATICS 2019 - 10th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019. De Maria, E., Fred, A. & Gamboa, H. (eds.). SciTePress, p. 55-65 11 p. (BIOINFORMATICS 2019 - 10th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019).

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

  Open Access

  • Amino acids
  • Nucleotides
  • Metabolic Networks and Pathways
  • Clustering algorithms
  • Set theory
  1 Scopus citations

• The marvelous consequences of hardy spaces in quantum physics

  Bohm, A. & Bui, H. V., 2013, Geometric Methods in Physics. Kielanowski, P., Ali, S. T., Odzijewicz, A., Schlichenmaier, M. & Voronov, T. (eds.). Springer International Publishing, p. 211-228 18 p. (Trends in Mathematics; vol. 59).

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

  • Quantum Physics
  • Hilbert space
  • Paul Adrien Maurice Dirac
  • Axiom
  • Lebesgue integral
  1 Scopus citations

• The match-maker: Constant-space distributed majority via random walks

  Gąsieniec, L., Hamilton, D. D., Martin, R. & Spirakis, P. G., 2015, Stabilization, Safety and Security of Distributed Systems - 17th International Symposium, SSS 2015, Proceedings. Pelc, A. & Schwarzmann, A. A. (eds.). Springer Verlag, p. 67-80 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).

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

  • Random walk
  • Color
  • Vertex of a graph
  • Count
  • Dynamic Graphs
  3 Scopus citations

• The multi-source beachcombers’ problem

  Czyzowicz, J., Gąsieniec, L., Georgiou, K., Kranakis, E. & MacQuarrie, F., 2015, Algorithms for Sensor Systems - 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Revised Selected Papers. Gao, J., Fekete, S. P., Efrat, A. & Zhang, Y. (eds.). Springer Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8847).

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

  • Robot
  • Robots
  • Mobile Robot
  • Mobile robots
  • Choose
  4 Scopus citations

• The need for BYOD mobile device security awareness and training

  Harris, M. A., Patten, K. & Regan, E., 2013, 19th Americas Conference on Information Systems, AMCIS 2013 - Hyperconnected World: Anything, Anywhere, Anytime. p. 3441-3451 11 p. (19th Americas Conference on Information Systems, AMCIS 2013 - Hyperconnected World: Anything, Anywhere, Anytime; vol. 5).

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

  • Mobile computing
  • lack
  • PC
  • purchase
  • Personnel
  15 Scopus citations

• Theory for a control architecture of fuzzy discrete event systems for decision making

  Lin, F., Ying, H., Luan, X., MacArthur, R. D., Cohn, J. A., Barth-Jones, D. & Crane, L. R., Dec 1 2005, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. p. 2769-2774 6 p. 1582582. (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; vol. 2005).

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

  • Discrete event simulation
  • Decision making
  • Optimal control systems
  • Medical applications
  • Medicine
  13 Scopus citations

• The policies of inclusive education in the United States and in Taiwan

  Kuo, N-C., 2011, The policies of inclusive education in the United States and in Taiwan.

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

• The Properties of the Standard Genetic Code and Its Selected Alternatives in Terms of the Optimal Graph Partition

  Aloqalaa, D. A., Kowalski, D. R., Błażej, P., Wnȩtrzak, M., Mackiewicz, D. & Mackiewicz, P., 2020, Biomedical Engineering Systems and Technologies - 12th International Joint Conference, BIOSTEC 2019, Revised Selected Papers. Roque, A., Gamboa, H., Tomczyk, A., De Maria, E., Putze, F., Moucek, R. & Fred, A. (eds.). Springer, p. 170-191 22 p. (Communications in Computer and Information Science; vol. 1211 CCIS).

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

  • Genetic Code
  • Graph Partition
  • Optimal Partition
  • Mutation
  • Alternatives

• The Psychological Dynamics of Workplace Bullying: Recognizing Internal Marketing Erosion.

  Mobley, M. F., Mobley, M. C., Basciano, P., Pelton, L. E. & Easley, R. W., 2012, Society for Marketing Advances Proceedings. p. 312 1 p.

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

  • Bullying
  • Marketing
  • Organizations
  • Psychology

• There and back again: The cyclical process of IT use

  Williams, J. A. & Gupta, S., 2018, Americas Conference on Information Systems 2018: Digital Disruption, AMCIS 2018. Association for Information Systems, (Americas Conference on Information Systems 2018: Digital Disruption, AMCIS 2018).

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

  • Terminology

• The role of magnesium sulfate in the treatment of vasospasm in patients with spontaneous subarachnoid haemorrhage

  Fountas, K. N., MacHinis, T. G., Robinson, J. S., Sevin, C., Fezoulidis, N. I., Castresana, M. & Kapsalaki, E. Z., 2008, Cerebral Vasospasm: New Strategies in Research and Treatment. 104 ed. Springer-Verlag Wien, p. 269-273 5 p. (Acta Neurochirurgica, Supplementum; no. 104).

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

  • Magnesium Sulfate
  • Subarachnoid Hemorrhage
  • Glasgow Outcome Scale
  • Nimodipine
  • Length of Stay

• The Spectacle of Intimacy: Marriage as Reform in Measure for Measure

  Kisting, W. R., 1800, Marriage and Law.

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

• The stimulus properties of cocaine: effects of Bay K 8644 and nimodipine

  Cunningham, K. A. & Callahan, P. M., Dec 1 1989, NIDA Research Monograph Series. 95 ed. p. 500-501 2 p.

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

• The Theatre of Conscience: Reforming Punishment in Measure for Measure

  Kisting, W. R., 1800, Shakespeare Between Religion and Philosophy.

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

• The unforeseen in unmanned vehicles

  Maxwell, P. & Nowatkowski, M., Feb 8 2019, 2018 IEEE International Symposium on Technology and Society, ISTAS 2018. Cunningham, P. & Cunningham, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 60-65 6 p. 8638276. (International Symposium on Technology and Society, Proceedings; vol. 2018-November).

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

  • Unmanned vehicles
  • use of vehicles
  • Autonomous vehicles

• Three dimensional MR-based morphometric comparison of schizophrenic and normal cerebral ventricles

  Dean, D., Buckley, P., Bookstein, F., Kamath, J., Kwon, D., Friedman, L. & Lys, C., 1996, Visualization in Biomedical Computing - 4th International Conference, VBC 1996, Proceedings. Hohne, K. H. & Kikinis, R. (eds.). Springer Verlag, p. 362-372 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1131).

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

  • Landmarks
  • Template
  • Ridge
  • Curvature
  • Three-dimensional
  27 Scopus citations

• Tight analysis of a collisionless robot gathering algorithm

  Sharma, G., Busch, C., Mukhopadhyay, S. & Malveaux, C., Dec 11 2015, IROS Hamburg 2015 - Conference Digest: IEEE/RSJ International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers Inc., p. 5189-5194 6 p. 7354108. (IEEE International Conference on Intelligent Robots and Systems; vol. 2015-December).

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

  • Robots
  1 Scopus citations

• Time and communication efficient consensus for crash failures

  Chlebus, B. S. & Kowalski, D. R., 2006, Distributed Computing - 20th International Symposium, DISC 2006, Proceedings. Springer Verlag, p. 314-328 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4167 LNCS).

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

  • Crash
  • Communication
  • Gossiping
  • Message Complexity
  • Message passing
  12 Scopus citations

• Time-efficient randomized multiple-message broadcast in radio networks

  Khabbazian, M. & Kowalski, D. R., 2011, PODC'11 - Proceedings of the 2011 ACM Symposium Principles of Distributed Computing. p. 373-379 7 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

  • Network coding
  • Communication
  • Telecommunication networks
  • Transmitters
  20 Scopus citations

• Topological photobiomodulation

  Liu, T. C. Y., Zhu, L., Zhang, Q. G. & Duan, R., 2017, International Conference on Photonics and Imaging in Biology and Medicine, PIBM 2017. OSA - The Optical Society, (Optics InfoBase Conference Papers; vol. Part F70-PIBM 2017).

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

  • Chemical activation
  • Topology

• Towards a GPGPU-parallel SPIN model checker

  Bartocci, E., DeFrancisco, R. & Smolka, S. A., Jul 21 2014, 2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings. Association for Computing Machinery, Inc, p. 87-96 10 p. (2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings).

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

  • Graphics processing unit
  • Parallel architectures
  • Model checking
  • Program processors

• Towards a service for machine consumable web search results

  Ezenwoye, O. & Pokharel, M., Dec 1 2013, Proceedings - IEEE 10th International Conference on Services Computing, SCC 2013. p. 749-750 2 p. 6649767

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

  • Websites

• Towards large-scale multi-agent based rodent simulation: The "mice in a box" scenario

  Agiriga, E., Coenen, F., Hurst, J., Beynon, R. & Kowalski, D., 2011, Res. and Dev. in Intelligent Syst. XXVIII: Incorporating Applications and Innovations in Intel. Sys. XIX - AI 2011, 31st SGAI Int. Conf. on Innovative Techniques and Applications of Artificial Intel.. Springer London, p. 369-382 14 p. (Res. and Dev. in Intelligent Syst. XXVIII: Incorporating Applications and Innovations in Intel. Sys. XIX - AI 2011, 31st SGAI Int. Conf. on Innovative Techniques and Applications of Artificial Intel.).

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

• Towards load balanced distributed transactional memory

  Sharma, G. & Busch, C., 2012, Parallel Processing - 18th International Conference, Euro-Par 2012, Proceedings. p. 403-414 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7484 LNCS).

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

  • Transactional Memory
  • Distributed Memory
  • Network protocols
  • Data storage equipment
  • Stretch
  4 Scopus citations

• Towards power-sensitive communication on a multiple-access channel

  De Marco, G. & Kowalski, D. R., Aug 27 2010, ICDCS 2010 - 2010 International Conference on Distributed Computing Systems. p. 728-735 8 p. 5541631. (Proceedings - International Conference on Distributed Computing Systems).

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

  • Communication
  • Adaptive algorithms
  10 Scopus citations

• Transactional Memory Scheduling Using Machine Learning Techniques

  Assiri, B. & Busch, C., Mar 31 2016, Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016. Cotronis, Y., Daneshtalab, M. & Papadopoulos, G. A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 718-725 8 p. 7445413. (Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016).

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

  • Transactional Memory
  • Transactions
  • Machine Learning
  • Scheduling
  • Fairness