Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

3001 - 3100 out of 3,580Page size: 100
RSS feed of this list
  1. Unpublished

    Exploring Situated interaction with Ubiquitious Office Door Displays

    Cheverst, K., Fitton, D., Dix, A. & Rouncefield, M., 11/2002, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  2. Unpublished

    Cultural probes: Eliciting Requirements for Dependable Ubiquitous Computing in the Home

    Cheverst, K., Clarke, K., Dewsbury, G., Fitton, D., Rouncefield, M., Sommerville, I. & Hughes, J., 01/2003, (Unpublished). 0 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  3. Unpublished

    Gathering Requirements for Inclusive Design

    Cheverst, K., Clarke, K., Dewsbury, G., Rouncefield, M., Blythe, M., Baxter, G. & Wright, P., 01/2003, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  4. Unpublished

    Designing Assistive Technologies for Medication Regimes in Care Settings

    Cheverst, K., Clarke, K., Dewsbury, G., Kember, S., Rouncefield, M., Rodden, T. & Hemmings, T., 01/2003, (Unpublished) In: Universal Access in the Information Society. 2, 3

    Research output: Contribution to Journal/Magazine › Journal article

  5. Unpublished

    Exploring the use of Remote Messaging and situated Displays

    Cheverst, K., Fitton, D., Dix, A. & Rouncefield, M., 01/2003, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  6. Published

    Exploring the utility of remote messaging and situated office door displays

    Cheverst, K., Dix, A., Fitton, D., Friday, A. & Rouncefield, M., 8/09/2003, Fifth International Symposium on Human Computer Interaction with Mobile Devices and Services. 2003 ed. Springer-Verlag, Vol. 2795. p. 336-341 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  7. Unpublished

    Designing with Care: Adapting Cultural Probes to Inform Design in Sensitive Settings

    Cheverst, K., Clarke, K., Dewsbury, G., Rouncefield, M., Rodden, T., Hughes, J., Crabtree, A. & Hemmings, T., 11/2003, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  8. Published

    Working Text: Texting Work

    Cheverst, K., Fitton, D. & Rouncefield, M., 2005, The Inside Text: Social, Cultural and Design Perspectives on SMS. Harper, R., Palen, L. & Taylor, A. (eds.). Dordrecht: Springer, p. 253-269 17 p. ( The Kluwer International Series on Computer Supported Cooperative Work ; vol. 4).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  9. Unpublished

    HEAT & SPAM: SMS messaging and community care

    Cheverst, K., Fitton, D. & Rouncefield, M., 03/2004, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  10. Unpublished

    Smart mobs and technology probes: evaluating texting at work

    Cheverst, K., Fitton, D., Rouncefield, M. & Graham, C., 11/2004, (Unpublished)

    Research output: Other contribution

  11. Unpublished

    Exploring Mobile Phone Interaction with Situated Displays

    Cheverst, K., Dix, A., Fitton, D., Kray, C., Rouncefield, M., Sheridan, J. & Saslis-Lagoudakis, G., 01/2005, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  12. Unpublished

    How Do You Turn a Duck Into A Soul Singer? Put It Into The Microwave Until Its Bill Withers

    Cheverst, K., Fitton, D., Rouncefield, M. & Graham, C., 01/2005, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  13. Unpublished

    Going More Public: Situated Display Design through Co-realisation

    Cheverst, K., Rouncefield, M. & Graham, C., 01/2005, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  14. Unpublished

    Probing Designs: Designing Probes

    Cheverst, K., Dix, A., Fitton, D., Kray, C., Rouncefield, M., Graham, C. & Saslis-Lagoudakis, G., 12/2005, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  15. Unpublished

    Whose Probe is it Anyway?

    Cheverst, K., Rouncefield, M. & Graham, C., 12/2005, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

  16. Published

    Exploring awareness related messaging through two situated-display-based systems.

    Cheverst, K., Dix, A., Fitton, D., Rouncefield, M. & Graham, C., 05/2007, In: Human-Computer Interaction. 22, 1-2, p. 173-220 48 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Published

    The Challenge of Evaluating Situated Display based Technology Interventions Designed to Foster a Sense of Community

    Cheverst, K., Taylor, N., Rouncefield, M., Galani, A. & Kray, C., 21/09/2008. 5 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  18. Published

    Exploring Bluetooth based Mobile Phone Interaction with the Hermes Photo Display

    Cheverst, K., Dix, A., Fitton, D., Kray, C., Rouncefield, M., Sas, C., Sheridan, J. & Saslis-Lagoudakis, G., 01/2005, MobileHCI '05 Proceedings of the 7th international conference on Human computer interaction with mobile devices & services. New York: ACM, p. 47-54 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  19. Unpublished

    SPAM on the Menu: the practical use of remote messaging in community care

    Cheverst, K., Clarke, K., Fitton, D., Rouncefield, M., Crabtree, A. & Hemmings, T., 01/2003, (Unpublished) CUU '03 Proceedings of the 2003 conference on Universal usability. ACM, p. 23-29 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    Situatedness of Awareness Information: Impact on the Design and Usage of Awareness Systems

    Cheverst, K., Dix, A., Fitton, D., Graham, C. & Rouncefield, M., 2009, Awareness Systems: Advances in Theory, Methodology and Design. Markopoulos, P., Mackay, W. & Ruyter, B. (eds.). London: Springer Verlag, p. 397-422 26 p. (Human–Computer Interaction Series).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. Published

    Design with care: technology, disability and the home

    Cheverst, K., Clarke, K., Dewsbury, G., Hemmings, T., Hughes, J. & Rouncefield, M., 01/2001, Inside the smart home. Harper, R. (ed.). London: Springer, p. 163-179 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed)

  22. Published

    DCACA: Dual-Model Consensus-Based Anti-Risk Confidence Allocation Trust Management in IoVs

    Cheong, C., Song, Y., Cao, Y., Zhang, Y., Wang, H. & Ni, Q., 15/01/2025, In: IEEE Internet of Things Journal. 12, 2, p. 1890-1906 17 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  23. Published

    Towards Reactive Acoustic Jamming for Personal Voice Assistants

    Cheng, P., Bagci, I. E., Yan, J. & Roedig, U., 15/10/2018, 2nd International Workshop on Multimedia Privacy and Security. ACM Press, 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  24. Published

    SonarSnoop: active acoustic side-channel attacks

    Cheng, P., Bagci, I., Roedig, U. & Yan, J., 1/03/2020, In: International Journal of Information Security. 19, p. 213-228 16 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  25. Published

    Smart Speaker Privacy Control - Acoustic Tagging for Personal Voice Assistants

    Cheng, P., Bagci, I., Yan, J. & Roedig, U., 20/05/2019. 2 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Poster › peer-review

  26. Published

    Smart Speaker Privacy Control - Acoustic Tagging for Personal Voice Assistants

    Cheng, P., Bagci, I. E., Yan, J. & Roedig, U., 23/05/2019, SafeThings 2019 : IEEE Workshop on the Internet of Safe Things. IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  27. Published

    Acoustic-channel attack and defence methods for personal voice assistants

    Cheng, P., 2020, Lancaster University. 232 p.

    Research output: Thesis › Doctoral Thesis

  28. Published

    A Low-Latency Interference Coordinated Routing for Wireless Multi-hop Networks

    Cheng, J., Yang, P., Navaie, K., Ni, Q. & Yang, H., 15/03/2021, In: IEEE Sensors Journal. 21, 6, p. 8679 - 8690 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  29. Published

    An Efficient Visual Tracking Method for Multiple Moving Targets

    Chen, X., Bull, D. R., Mihaylova, L. & Canagarajah, N., 2007, Computational Intelligence and Security Workshops, 2007. CISW 2007. International Conference on. Washington, DC, USA: IEEE Computer Society, p. 267-270 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  30. Published

    Differential space-time block-coded OFDMA for frequency-selective fading channels

    Chen, Z., Zhu, G., Cai, W. & Ni, Q., 2003, Personal, Indoor and Mobile Radio Communications, 2003. PIMRC 2003. 14th IEEE Proceedings on. IEEE, p. 2171-2175 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  31. Published

    A systematic review of evaluation of variability management approaches in software product lines

    Chen, L. & Babar, M. A., 04/2011, In: Information and Software Technology. 53, 4, p. 344-362 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  32. Published

    Coverage and Handoff Analysis of 5G Fractal Small Cell Networks

    Chen, J., Ge, X. & Ni, Q., 02/2019, In: IEEE Transactions on Wireless Communications. 18, 2, p. 1263 - 1276 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  33. Published

    Resource Cube: Multi-Virtual Resource Management for Integrated Satellite-Terrestrial Industrial IoT Networks

    Chen, D., Yang, C., Gong, P., Chang, L., Shao, J., Ni, Q., Anpalagan, A. & Guizani, M., 22/10/2020, In: IEEE Transactions on Vehicular Technology. 69, 10, p. 11963-11974 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  34. Published

    Enabling Cost-Effective Population Health Monitoring By Exploiting Spatiotemporal Correlation

    Chen, D., Wang, J., Ruan, W., Ni, Q. & Helal, S., 30/04/2021, In: ACM Transactions on Computing for Healthcare. 2, 2, p. 1-19 19 p., 11.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  35. Published

    SlowCoach: Mutating Code to Simulate Performance Bugs

    Chen, Y., Schwahn, O., Natella, R., Bradbury, M. & Suri, N., 21/12/2022, 33rd IEEE International Symposium on Software Reliability Engineering. New York: IEEE, p. 274-285 12 p. (2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  36. Published

    Towards Effective Performance Fuzzing

    Chen, Y., Bradbury, M. & Suri, N., 26/12/2022, 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 128-129 2 p. (Proceedings - 2022 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  37. Published

    Towards More Effective Performance Testing

    Chen, Y., 2023, Lancaster University. 160 p.

    Research output: Thesis › Doctoral Thesis

  38. Published

    Communication and Control Co-Design in 6G: Sequential Decision-Making with LLMs

    Chen, X., Wu, C., Shen, Y., Ji, Y., Yoshinaga, T., Ni, Q., Zarakovitis, C. C. & Zhang, H., 31/07/2025, In: IEEE Network. 39, 4, p. 131-138 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  39. Published

    Time-critical fog computing for vehicular networks

    Chebaane, A., Khelil, A. & Suri, N., 5/05/2020, Fog Computing: Theory and Practice. Zomaya, A., Abbas, A. & Khan, S. (eds.). London: Wiley, p. 431-458 28 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  40. Published

    Review of Child Pornography: Law and Policy, by Alisdair A Gillespie

    Chatterjee, B., 2012, In: International Journal of Law and Information Technology. 20, 3, p. 245-248 4 p.

    Research output: Contribution to Journal/Magazine › Book/Film/Article review › peer-review

  41. Published

    International law and cyber warfare: an agenda for future research

    Chatterjee, B. B., 21/07/2014, Lancaster: Lancaster University. 45 p.

    Research output: Book/Report/Proceedings › Other report

  42. Published

    Postcards from Ivory Towers: Report of the SLSA Postgraduate forum held at the IALS in London on 16th December 1998

    Chatterjee, B. B., 03/1999, Vol 27 March 1999 ed. Socio Legal Studies Association. 1 p.

    Research output: Book/Report/Proceedings › Other report

  43. Published

    Ready, aim, click – digital weapons of destruction

    Chatterjee, B. B., 21/08/2014

    Research output: Other contribution

  44. Published

    Ready, aim, click: we need new laws to govern cyberwarfare

    Chatterjee, B. B., 21/08/2014, The Conversation.

    Research output: Other contribution

  45. Published

    Rethinking Alcock in the new media age

    Chatterjee, B. B., 12/2016, In: Journal of European Tort Law . 7, 3, p. 272-299 28 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  46. Published

    Combats, the A-Team and a note on sexuality

    Chatterjee, B. B., 17/05/2017

    Research output: Other contribution

  47. Published

    Essay writing

    Chatterjee, B. B., 2017

    Research output: Other contribution

  48. Published

    Weak signals as predictors of real-world phenomena in social media

    Charitonidis, C., Rashid, A. & Taylor, P. J., 2015, ASONAM '15 Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2015. New York: ACM, p. 864-871 8 p. (ASONAM '15).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  49. Published

    Predicting Collective Action from Micro-Blog Data

    Charitonidis, C., Rashid, A. & Taylor, P. J., 18/03/2017, Prediction and Inference from Social Networks and Social Media. Kawash, J., Agarwal, N. & Özyer, T. (eds.). Springer, Cham, p. 141-170 30 p. (Lecture Notes in Social Networks).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  50. Published

    IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

    Chan, A., Winter, S., Saissi, H., Pattabiraman, K. & Suri, N., 13/03/2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, p. 184-195 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  51. Published

    A Key Exchange Protocol for Wireless Ad-hoc Networks Using ECC

    Catterall, N., Katsaros, I. & Honary, B., 12/2004, First International Symposium on Broadband Communications. Harrogate, p. 30

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  52. Published

    Concatenated wavelet-based ring-TCM

    Castineira Moreira, J., Honary, B. & Farrell, P., 08/2002, In: IEE Proceedings - Communications. 149, 4, p. 189-194 6 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  53. Published

    A new signal set for ring-BCM

    Castineira Moreira, J., Honary, B. & Farrell, P., 07/2001, Proceedings of the 6th International Symposium on Communication Theory and Applications (ISCTA 2001). Lancaster: HW Communications Limited, p. 353–357 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  54. Published

    Long-Wavelength Photoluminescence from Stacked Layers of High-Quality Type-II GaSb/GaAs Quantum Rings

    Carrington, P. J., Young, R. J., Hodgson, P. D., Sanchez, A. M., Hayne, M. & Krier, A., 03/2013, In: Crystal Growth and Design. 13, 3, p. 1226-1230 5 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  55. Published

    Mimicry in online conversations: an exploratory study of linguistic analysis techniques

    Carrick, T., Rashid, A. & Taylor, P. J., 18/08/2016, Advances in Social Networks Analysis and Mining (ASONAM), 2016 IEEE/ACM International Conference on. IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  56. Published

    MCMC-Based Tracking and Identification of Leaders in Groups

    Carmi, A., Mihaylova, L., Septier, F., Pang, S. K. & Godsill, S., 7/11/2011, IEEE International Conference on Computer Vision Workshops (ICCV Workshops), 2011 . IEEE, p. 112-119 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  57. Published

    Unscented compression sensing

    Carmi, A., Mihaylova, L. & Kanevsky, D., 1/03/2012, Acoustics, Speech and Signal Processing (ICASSP), 2012 IEEE International Conference on. Kyoto, Japan: IEEE, p. 5249-5252 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  58. Published

    Compressed sensing and sparse filtering

    Carmi, A., Mihaylova, L. & Godsill, S., 30/06/2013, Springer. 526 p. (Signals and Communication Technology)

    Research output: Book/Report/Proceedings › Book

  59. Published

    Agile collaborative autonomous agents for robust underwater classification scenarios

    Carline, D., Angelov, P. & Clifford, R., 06/2005. 6 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper

  60. Published

    Agile collaborative agents for classification of underwater targets

    Carline, D., Angelov, P. & Clifford, R., 21/06/2005, Proceedings of the Undersea Defense Technology Conference 2005. Amsterdam, The Netherlands

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  61. Published

    Sexual offences

    Card, R., Gillespie, A. & Hirst, M., 2008, Bristol: Jordans. 679 p.

    Research output: Book/Report/Proceedings › Book

  62. Published

    Personality and language

    Caplan, J. E., Adams, K. & Boyd, R. L., 1/10/2020, The Wiley Encyclopedia of Personality and Individual Differences: Models and Theories. Carducci, B. J. & Nave, C. S. (eds.). John Wiley & Sons, p. 311-316 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Entry for encyclopedia/dictionary

  63. Published

    Shielding noises from spins

    Cao, Y., Bennett, A. J., Ellis, D., Farrer, I., Ritchie, D. A., Shields, A. J., Noori, Y., Roberts, J., Woodhead, C. & Young, R. J., 22/03/2016.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper

  64. Published

    Statistical CSIT Aided User Scheduling for Broadcast MU-MISO System

    Cao, Q., Sun, Y., Ni, Q., Li, S. & Tan, Z., 07/2017, In: IEEE Transactions on Vehicular Technology. 66, 7, p. 6102-6114 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  65. Published

    Optical identification using imperfections in 2D materials

    Cao, Y., Robson, A. J., Alharbi, A., Roberts, J., Woodhead, C., Noori, Y., Bernardo Gavito, R., Roedig, U., Falko, V. & Young, R. J., 28/09/2017, In: 2D Materials. 4, 4, 8 p., 045021.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  66. Published

    Performance analysis under finite load and improvements for multirate 802.11

    Cantieni, G. R., Ni, Q., Barakat, C. & Turletti, T., 16/06/2005, In: Computer Communications. 28, 10, p. 1095-1109 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  67. Published

    A probabilistic hypothesis density filter for traffic flow estimation in the presence of clutter

    Canaud, M., Mihaylova, L., El Faouzi, N.-E., Billot, R. & Sau, J., 4/09/2012, Sensor Data Fusion: Trends, Solutions, Applications (SDF), 2012 Workshop on. IEEE, p. 31-36 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  68. Published

    Probability hypothesis density filtering for real-time traffic state estimation and prediction

    Canaud, M., Mihaylova, L., Sau, J. & El Faouzi, N.-E., 09/2013, In: Network and Heterogeneous Media. 8, 3, p. 825-842 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  69. Published

    Corecursion for Compositional Verification

    Caminati, M. B. & Kerber, M., 14/01/2016

    Research output: Other contribution

  70. Published

    Sound auction specification and implementation

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 15/06/2015, Proceedings of the Sixteenth ACM Conference on Economics and Computation (EC '15). ACM, p. 547-564

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  71. Published

    Problem set for first order theorem provers in the TPTP format

    Caminati, M. B., Kerber, M. & Rowat, C., 2015

    Research output: Exhibits, objects and web-based outputs › Software

  72. Published

    Budget imbalance criteria for auctions: a formalized theorem

    Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  73. Published

    Pseudo-Canonical Formulae are Classical

    Caminati, M. B. & Kornilowicz, A., 30/06/2014, In: Formalized Mathematics.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  74. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  75. Published

    A contribution to an Auction Theory Toolbox through code and discussion

    Caminati, M. B., 30/04/2013, 39th Annual Convention of The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (SSAISB).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  76. Published

    VCG-combinatorial Vickrey-clarke-groves auctions

    Caminati, M. B., Kerber, M., Lange-Bever, C. & Rowat, C., 30/04/2015, In: Archive of Formal Proofs.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  77. Published

    Vickrey-clarke-groves (vcg) auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 2015, In: College Inf. Sci. Technol., Pennsylvania State Univ., State College, PA, USA.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  78. Published

    Custom automations in Mizar

    Caminati, M. B. & Rosolini, G., 1/11/2012, In: Journal of Automated Reasoning. 50, p. 147–160

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  79. Published

    Proving soundness of combinatorial Vickrey auctions and generating verified executable code

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

    Research output: Working paper › Preprint

  80. Published

    A simplified framework for first-order languages and its formalization in Mizar

    Caminati, M. B., 19/05/2012

    Research output: Thesis › Doctoral Thesis

  81. Published

    Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 169-178

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  82. Published

    First order languages: Further syntax and semantics

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 179-192

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  83. Published

    Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 193-203

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  84. Published

    Preliminaries to classical first order model theory

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 155-167

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  85. Published

    Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  86. Published

    Basic first-order model theory in Mizar

    Caminati, M. B., 17/12/2010, In: Journal of Formalized Reasoning. 3, 1

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  87. Published

    Einstein Podolsky Rosen correlations involving mesoscopic quantum systems

    Caminati, M., De Martini, F. & Sciarrino, F., 10/07/2006, AIP Conference Proceedings. 1 ed. American Institute of Physics, Vol. 844.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  88. Published

    Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning

    Caminati, M. M., Sciarrino, F. & Caminati, M. B., 2006, In: Laser physics. 16, 11, p. 1551–1556

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  89. Published

    Nonseparable Werner states in spontaneous parametric down-conversion

    Caminati, M., De Martini, F., Perris, R., Sciarrino, F. & Secondi, V., 14/03/2006, In: Physical review a. 73, 032312 .

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  90. Published

    PART A-Quantum information-Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification

    Caminati, M., Martini, F. D., Perris, R., Sciarrino, F. & Secondi, V., 7/12/2006, In: Physical Review-Section A-Atomic Molecular and Optical Physics. 74, 062304.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  91. Published

    Yet another proof of Goedel's completeness theorem for first-order classical logic

    Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

    Research output: Working paper › Preprint

  92. Published

    An upper bound on the number of zeros of a piecewise polinomial function

    Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

    Research output: Working paper › Preprint

  93. Forthcoming

    Representation Theorems Obtained by Mining across Web Sources for Hints

    Caminati, M. & Bowles, J., 30/12/2022, (Accepted/In press) 2023 6th International Conference on Information and Computer Technologies (ICICT). IEEE, 8 p. (2023 6th International Conference on Information and Computer Technologies (ICICT)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  94. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  95. Published

    Reasoning about Dynamic Auctions

    Caminati, M., Kerber, M. & Rowat, C., 30/04/2015.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  96. Published

    Design of a Detector for Characterizing Neutron Fields for Single-Event Effects Testing

    Cai, X. X., Platt, S. & Monk, S. D., 06/2011, In: IEEE Transactions on Nuclear Science. 58, 3 Part 2, p. 1123-1128 6 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  97. Published

    Inferring test results for dynamic software product lines

    Cafeo, B., Noppen, J., Ferrari, F., Chitchyan, R. & Rashid, A., 2011, ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. New York: ACM Press, p. 500-503 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  98. Published

    A performance comparative study on the implementation methods for OFDMA cross-layer optimization

    C. Zarakovitis, C. & Ni, Q., 06/2012, In: Future Generation Computer Systems. 28, 6, p. 923-929 7 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  99. Published

    Power-Efficient Cross-Layer Design for OFDMA Systems With Heterogeneous QoS, Imperfect CSI, and Outage Considerations

    C. Zarakovitis, C., Ni, Q., Skordoulis, D. E. & Hadjinicolaou, M. G., 02/2012, In: IEEE Transactions on Vehicular Technology. 61, 2, p. 781-798 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  100. Published

    Novel Game-Theoretic Cross-Layer Scheduling for Single-Cell OFDMA Systems with Heterogeneous QoS and Partial CSIT

    C. Zarakovitis, C. & Ni, Q., 06/2010, SED Research Conference. Vol. 3. p. 425-431 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...27 28 29 30 31 32 33 34 ...36 Next

Back to top