Security Lancaster

View graph of relations

Lancaster University

Show 26 centres, groups and clusters

Hide 26 centres, groups and clusters

401 - 500 out of 3,580Page size: 100

10
25
50
100
500

RSS feed of this list

Sort by: Author last name

Published
BurstProbe: Debugging Time-Critical Data Delivery in Wireless Sensor Networks
Brown, J., McCarthy, B., Roedig, U., Voigt, T. & Sreenan, C. J., 2011, Proceedings of the 8th European conference on Wireless Sensor Networks (EWSN'11). Marrón, P. J. & Whitehouse, K. (eds.). Springer, Vol. 6567. p. 195-210 16 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Demo Abstract: GinLITE - A MAC Protocol for Real-Time Sensor Networks
Brown, J. & Roedig, U., 15/02/2012.
Research output: Contribution to conference - Without ISBN/ISSN › Other › peer-review
Published
GINSENG: Performance Control in Wireless Sensor Networks
Brown, J., Roedig, U., O’Donovan, T., Sreenan, C. J., He, Z., Voigt, T., Pottner, B., Wolf, L., Klein, A., Silva, J. S., Vassiliou, V. & doO, J., 1/02/2011, p. 51-52. 2 p.
Research output: Contribution to conference - Without ISBN/ISSN › Poster
Published
Defend Your Home! Jamming Unsolicited Messages in the Smart Home
Brown, J., Bagci, I. E., King, A. & Roedig, U., 19/04/2013, HotWiSec '13 Proceedings of the 2nd ACM workshop on Hot topics on wireless network security and privacy. New York: ACM Press, p. 1-6 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Demo Abstract: Home Jamming
Brown, J., Bagci, I. E., King, A. & Roedig, U., 13/02/2013.
Research output: Contribution to conference - Without ISBN/ISSN › Other › peer-review
Published
Estimating packet reception rate in noisy environments
Brown, J., Roedig, U., Boano, C. A. & Roemer, K., 8/09/2014, Proceedings of the 39rd IEEE Conference on Local Computer Networks, 2014. LCN 2014. IEEE, p. 583-591 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Communication and coordination across event phases: A Multi-Team System Emergency Response
Brown, O., Power, N. & Conchie, S., 30/09/2021, In: Journal of Occupational and Organizational Psychology. 94, 3, p. 591-615 25 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
No renderer
Published
A roadmap for autonomous robotic assembly
Bruyninckx, H., Lefebvre, T., Mihaylova, L., Staffetti, E., De Schutter, J. & Xiao, J., 28/05/2001, Assembly and Task Planning, 2001, Proceedings of the IEEE International Symposium on. p. 49 - 54 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Forthcoming
A cloud gaming framework for dynamic graphical rendering towards achieving distributed game engines
Bulman, J. & Garraghan, P., 1/05/2020, (Accepted/In press) The 12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '20).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Designing Mobile Augmented Reality interfaces for locative games and playful experiences
Burnett, D., Coulton, P., Murphy, E. & Race, N., 6/08/2014, Proceedings of Digital Games Research Conference 2014. Digital Games Research Association - DiGRA, 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Implicit trust and automatic attitude activation
Burns, C. & Conchie, S., 2015, Handbook of research methods on trust . 2nd ed. UK: Edward Elgar, p. 292-301 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed)
Published
Review of autonomous navigation for indoor aerial robots within a nuclear decommissioning context
Burrell, T., Montazeri, A., Monk, S. D. & Taylor, C. J., 2015.
Research output: Contribution to conference - Without ISBN/ISSN › Abstract › peer-review
Published
Feedback control-based inverse kinematics solvers for a nuclear decommissioning robot
Burrell, T. I., Montazeri, A., Monk, S. D. & Taylor, C. J., 5/09/2016, MECHATRONICS 2016: 7th IFAC Symposium on Mechatronic Systems & 15th Mechatronics Forum International Conference Loughborough University 5th - 8th September 2016.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Anticrab cavities for the removal of spurious vertical bunch rotations caused by crab cavities
Burt, G., Latina, A., Schulte, D., Dexter, A. C. & McIntosh, P. A., 26/09/2008, In: Physical Review Special Topics: Accelerators and Beams. 11, 9, 6 p., 092801.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Prediction of multipactor in the iris region of rf deflecting mode cavities
Burt, G. & Dexter, A., 2011, In: Physical Review Special Topics: Accelerators and Beams. 14, 12, 11 p., 122002.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
LHC and CLIC LLRF final reports
Burt, G., Dexter, A., Woolley, B., Tahir, I., Syratchev, I. & Wuensch, W., 25/10/2013, Switzerland: CERN. 82 p.
Research output: Book/Report/Proceedings › Book
Published
Design and operation of a compact 1 MeV X-band Linac
Burt, G., Ambattu, P., Lingwood, C., Abram, T., Burrows, I., Corlett, P., Goulden, A., Hartnett, T., Hindley, P., McIntosh, P. A., Middleman, K., Saveliev, Y., Smith, R. & White, C., 2012, Proceedings of LINAC2012, Tel-Aviv, Israel. p. 183-185 3 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
CLARA conceptual design report
Burt, G. & Jamison, S., 9/05/2014, In: Journal of Instrumentation. 9, 5, 97 p., T05001.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Crab Cavity Development
Burt, G. C., 10/2015, The High Luminosity Large Hadron Collider: The New Machine for Illuminating the Mysteries of Universe. Brüning, O. & Rossi, L. (eds.). World Scientific, (Advanced Series on Directions in High Energy Physics; vol. 24).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
International linear collider reference design report volume 2: physics at the ILC
Burt, G. C., 2007, CERN.
Research output: Book/Report/Proceedings › Commissioned report
Published
Designing for social interaction with mundane technologies: issues of security and trust
Bury, S., Ishmael, J., Race, N. J. P. & Smith, P., 04/2010, In: Personal and Ubiquitous Computing. 14, 3, p. 227-236 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Reconciling community resource requirements in U-Nets
Bury, S., Ishmael, J., Race, N. J. P., Rouncefield, M. & Smith, P., 2009, Proceedings of the 1st ACM workshop on User-provided networking: challenges and opportunities. New York, NY, USA: ACM, p. 19-24 6 p. (U-NET '09).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Towards an Understanding of Security Concerns within Communities
Bury, S., Ishmael, J., Race, N. J. P., Smith, P. & Rouncefield, M., 2008, Proceedings of the 2008 IEEE International Conference on Wireless Mobile Computing, Networking Communication. Washington, DC, USA: IEEE Computer Society, p. 478-483 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Towards resilient community wireless mesh networks
Bury, S. & Race, N. J. P., 07/2008, AIMS '08 Proceedings of the 2nd International Conference on Autonomous Infrastructure, Management and Security: Resilient Networks and Services. Springer-Verlag, p. 195-199 5 p. (Lecture Notes in Computer Science).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Service Design, New Media and Community Development
Bury, S., Cheverst, K., Ishmael, J., Mitchell, K., Race, N., Rouncefield, M., Smith, P. & Taylor, N., 2011, Design for services. Meroni, A. & Sangiorgi, D. (eds.). Farnham: Gower, p. 125-130 6 p. (Design for social responsibility).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Interrupting the social amplification of risk process: a case study in collective emissions reduction
Busby, J. S., Alcock, R. E. & MacGillivray, B. H., 2009, In: Environmental Science and Policy. 12, 3, p. 297-308 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Risk and Organizational Networks: Making Sense of Failure in the Division of Labour
Busby, J. & Alcock, R. E., 10/2008, In: Risk Management. 10, 4, p. 235-256 22 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Types of risk transformation: a case study
Busby, J., Alcock, R. E. & MacGillivray, B., 2012, In: Journal of Risk Research. 15, 1, p. 67-84 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Failure to mobilise in reliability-seeking organisations : two cases from the UK railway.
Busby, J., 09/2006, In: Journal of Management Studies. 43, 6, p. 1375-1393 19 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Projects, pathogens and incubation processes
Busby, J. S. & Hughes, E. J., 2004, In: International Journal of Project Management. 22, p. 425-434 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A situational analysis of how barriers to systemic failure are undermined during accident sequences
Busby, J. S., Chung, P. W. H. & Wen, Q., 2004, In: Journal of Risk Research. 7, 7/8, p. 811-826 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The social ascription of obligations to engineers
Busby, J. S. & Coeckelbergh, M., 2003, In: Science and Engineering Ethics. 9, 3, p. 363-376 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The role of distributed cognition in the causation of accidents
Busby, J. S. & Hughes, E. J., 2003, In: International Journal of Risk Assessment and Management. 4, p. 36-51 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
In what ways are designers' and operators' reasonable-world assumptions not reasonable assumptions?
Busby, J. S. & Chung, P. W. H., 03/2003, In: Process Safety and Environmental Protection. 81, 2, p. 114-120 7 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
How plan delegation contributes to systemic failure
Busby, J. S. & Hughes, E. J., 2003, In: Human Systems Management. 22, p. 13-22 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Mutual misconceptions between designers and operators of hazardous systems
Busby, J. S. & Hibberd, R. E., 2002, In: Research in Engineering Design. 13, p. 132-138 7 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The adaptation failures that underlie error-making in organizational processes
Busby, J. S., 2001, In: Human Systems Management. 20, p. 301-312 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
What limits design organisations' ability to predict failure?
Busby, J. S. & Strutt, J. E., 2001, In: Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture. 215, p. 1471-1474 4 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Practices in design concept selection as distributed cognition
Busby, J. S., 2001, In: Cognition, Technology and Work. 3, p. 150-160 11 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The derivation of hazard criteria from historical knowledge
Busby, J. S. & Strutt, J. E., 2001, In: Journal of Engineering Design. 12, 2, p. 117-129 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Error and distributed cognition in design
Busby, J. S., 2001, In: Design Studies. 22, 3, p. 233-254 22 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The coordinating role of organisational artefacts in distributed cognition - and how it fails in maritime operations
Busby, J. S. & Hibberd, R. E., 2006, In: Le Travail Humain. 69, 1, p. 25-47 23 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Credibility in risk assessment: a normative approach
Busby, J. S. & Hughes, E. J., 2006, In: International Journal of Risk Assessment and Management. 6, 4/5/6, p. 508-527 20 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Characterising failures in organised design activity
Busby, J. S., 2001, In: Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture. 215, p. 1417-1424 8 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Failure to mobilize in reliability-seeking organizations: two cases from the UK railway
Busby, J. S., 2006, In: Journal of Management Studies. 43, 6, p. 1375-1393 19 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Distributed problem solving and offshore accidents
Busby, J. S., Sharp, J. V., Strutt, J. E., Hughes, E., Terry, M. & Miles, R., 2002, Major Hazards Offshore. N/A: unknown
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Effects that defeat risk reducing measures
Busby, J. S. & Hughes, E. J., 2003, International Conference on Engineering Design (Stockholm) - 2003. N/A: unknown
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
How distribution in human problem solving imperils systems
Busby, J. S., Hughes, E. J., Terry, M., Sharp, J. V., Strutt, J. E. & Lemon, M., 2003, Hazards XVII (Manchester) - 24-27 March 2003. N/A: unknown
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
How mutual misconceptions between designers and operators cause accidets in hazardous installations
Busby, J. S., Hibberd, E., Das, B. P., Chung, P. W. H. & Hughes, E. J., 2001, 13th International Conference on Engineering Design ICED01 (Glasgow) - 2001. N/A: unknown, p. 601-607 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Distributed cognition and human factors failures in operating and design processes
Busby, J. S., Hughes, E. J., Strutt, J. E., Sharp, J. V. & Terry, E., 2001, Hazards XVII (Manchester) - 24-27 March 2003. N/A: unknown
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Loss of defensive capacity in protective operations: the implications of the Überlingen and Linate disasters
Busby, J. S. & Bennett, S., 2007, In: Journal of Risk Research. 10, 1, p. 3-27 25 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Pushing the boundaries of HRO thinking: non-complex and uncoupled but still deadly
Busby, J. S. & Iszatt-White, M., 2006, SRA Annual Meeting - Risk Analysis in a Dynamic World: Making a Difference (Baltimore, Maryland) - 2006. N/A: unknown
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Analysing complicity in risk
Busby, J. S., 2008, In: Risk Analysis. 28, 6, p. 1571-1582 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The pathogen construct in risk analysis
Busby, J. S. & Zhang, H., 2008, In: International Journal of Project Management. 39, 3, p. 86-96 11 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Analysing the risks of individual and collective intentionality
Busby, J. S. & Bennett, S. A., 2008, In: Journal of Risk Research. 11, 6, p. 797-819 23 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Is there an optimal type for high reliability organization? A study of the UK offshore industry
Busby, J. S., Collins, A. & Miles, R., 2008, ESREL 2008 and 17th SRA-Europe Conference (Valencia) - 2008. N/A: unknown, p. 1251-1258 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Risk and ubiquitous computing in the workplace
Busby, J. S. & Kinder, K. E., 2009, Annual SRA-Europe Meeting, Society for Risk Analysis Europe (Karlstad, Sweden) - 2009. N/A: unknown
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Practices and problems in the management of risk redisributions
Busby, J. S. & Sedmak, M., 2011, In: Journal of Risk Research. 14, 2, p. 259-279 21 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Risk from product counterfeiting and the resilience of legitimate supply chains
Busby, J. & Stevenson, M., 2011, 19th SRA Europe Conference (Stuttgart) - 2011.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Managing the social amplification of risk: a simulation of interacting actors
Busby, J. & Onggo, S., 05/2013, In: Journal of the Operational Research Society. 64, 5, p. 638-653 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Risk leadership and organisational type
Busby, J. & Collins, A., 2009, HSE. 58 p.
Research output: Book/Report/Proceedings › Commissioned report
Published
Social risk amplification as an attribution: the case of zoonotic disease outbreaks
Busby, J. & Duckett, D., 2012, In: Journal of Risk Research. 15, 9, p. 1049-1074 26 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Organizational sensemaking about risk controls: the case of offshore hydrocarbons production
Busby, J. & Collins, A., 09/2014, In: Risk Analysis. 34, 9, p. 1738-1752 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The relational aspect to high reliability organization
Busby, J. & Iszatt-White, M., 06/2014, In: Journal of Contingencies and Crisis Management. 22, 2, p. 69-80 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Agent-based computational modelling of social risk responses
Busby, J. S., Onggo, B. S. S. & Liu, Y., 16/06/2016, In: European Journal of Operational Research. 251, 3, p. 1029-1042 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Network of Excellence in Internet Science: D7.2.2 Social aspects in understanding Internet as critical infrastructure and implications for future networks
Busby, J. S., Hutchison, D., Rouncefield, M. F., Niedermayer, H. & Smith, P., 11/03/2015, 59 p.
Research output: Other contribution
Published
Rationalizing violation: ordered accounts of intentionality in the making and breaking of safety rules
Busby, J. S. & Iszatt-White, M., 01/2016, In: Organization Studies. 37, 1, p. 35-53 19 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Modelling security risk in critical utilities: the system at risk as a three player game and agent society
Busby, J. S., Gouglidis, A., Rass, S. & König, S., 9/10/2016, Proceedings of SMC 2016. IEEE, 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Analysis of affordance, time and adaptation in the assessment of industrial control system cybersecurity risk
Busby, J. S., Green, B. & Hutchison, D., 07/2017, In: Risk Analysis. 37, 7, p. 1298-1314 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Configuring user-designer relations: interdisciplinary perspectives
Buscher, M. (Editor), Slack, R. (Editor), Rouncefield, M. (Editor), Procter, R. (Editor), Hartswood, M. (Editor) & Voss, A. (Editor), 2008, London: Springer Verlag. 235 p. (Computer Supported Cooperative Work)
Research output: Book/Report/Proceedings › Book
Published
Privacy, security, liberty: informing the design of emergency management information systems
Buscher, M., Wood, L. & Perng, S.-Y., 12/05/2013, 10th International Conference on Information Systems for Crisis Response and Management. Comes, T., Fiedrich, F., Fortier, S., Geldermann, J. & Müller, T. (eds.). Karlsruhe: KIT
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Cloud ethics for disaster response
Buscher, M., Easton, C., Kuhnert, M., Wietfeld, C., Ahlsen, M., Pottsbaum, J. & Van Veelen, B., 2014, Proceedings 11th International Conference on Information Systems for Crisis Response and Management.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
ELSI guidelines for networked collaboration and information exchange in PPDR and risk governance
Buscher, M., Becklake, S. J., Easton, C. R., Kerasidou, C. X., Oliphant, R. S., Petersen, K. G., Jasmontaite, L. & Paterour, O., 2016, Proceedings of the 13th International Conference on Information Systems for Crisis Response and Management. Tapia, A. H., Antunes, P., Bañuls, V. A., Larkin, K. & de Albuquerque, J. P. (eds.). ISCRAM, 12 p. (Proceedings of the 13th International Conference on Information Systems for Crisis Response and Management).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A novel approach to estimating current and future states of technical systems: Proc. of the International Conference on Computing, Networking and Communications (ICNC)
Bushminkin, K., Kolev, D., Rodionov, D., Mihaylova, L. & Vikhoreva, A., 2012, International Conference on Computing, Networking and Communications (ICNC), 2012. IEEE, p. 512-516 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Deconstructing ethnography: towards a social methodology for ubiquitous computing and interactive systems design
Button, G., Crabtree, A., Rouncefield, M. F. & Tolmie, P., 10/2015, Springer. (Human–Computer Interaction Series)
Research output: Book/Report/Proceedings › Book
Published
Vision based human activity recognition: a review
Bux, A., Angelov, P. P. & Habib, Z., 7/09/2016, Advances in Computational Intelligence Systems: Contributions Presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK. Angelov, P., Gegov, A., Jayne, C. & Shen, Q. (eds.). Springer, p. 341-371 30 p. (Advances in Intelligent Systems and Computing; vol. 513).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
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
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
Published
Novel Cross-Layer Scheduling for Single-Cell OFDMA Systems with Heterogeneous QoS and Partial CSIT
C. Zarakovitis, C. & Ni, Q., 06/2009, SED Research Conference. Vol. 2. p. 86-92 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A Comparative Study on Iterative Methods Regarding Cross-Layer Optimization for OFDMA Systems
C. Zarakovitis, C., Nikolaros, I., Skordoulis, D., Hadjinicolaou, M. & Ni, Q., 08/2010, IEEE International Conference on Computer and Information Technology (CIT), 10.1109/CIT.2010.98. IEEE, p. 420-425 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
New energy efficiency metric with imperfect channel considerations for OFDMA systems
C. Zarakovitis, C., Ni, Q. & Spiliotis, J., 9/10/2014, In: IEEE Wireless Communications Letters. 3, 5, p. 473-476 4 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
Published
Corecursion for Compositional Verification
Caminati, M. B. & Kerber, M., 14/01/2016
Research output: Other contribution
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
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
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
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
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
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
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
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
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
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
Published
A simplified framework for first-order languages and its formalization in Mizar
Caminati, M. B., 19/05/2012
Research output: Thesis › Doctoral Thesis
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
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
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

Previous 1 2 3 4 5 6 7 8 ...36 Next

Research

Security Lancaster

Quick Links

Connect With Us