Research output per year
Research output per year
Fingerprint
Dive into the research topics where Ian Mackie is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Rivaroxaban versus warfarin to treat patients with thrombotic antiphospholipid syndrome, with or without systemic lupus erythematosus (RAPS): a randomised, controlled, open-label, phase 2/3, non-inferiority trial
Cohen, H., Hunt, B. J., Efthymiou, M., Arachchillage, D. R. J., Mackie, I. J., Clawson, S., Sylvestre, Y., Machin, S. J., Bertolaccini, M. L., Ruiz-Castellano, M., Muirhead, N., Doré, C. J., Khamashta, M. & Isenberg, D. A., 30 Sept 2016, In: The Lancet Haematology. 3, 9, p. e426-e436Research output: Contribution to journal › Article › peer-review
Open AccessFile339 Citations (Scopus)492 Downloads (Pure) -
The Power of Linear Functions
Alves, S., Fernandez, M. I., Florido, M. & Mackie, I., 2006, Proceedings of the 15th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science. Springer, Vol. 4207 LNCS. p. 119 - 134 16 p. (EACSL Annual Conference on Computer Science Logic).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
15 Citations (Scopus) -
Closed Reduction: explicit substitutions without alpha conversion
Fernandez, M., Mackie, I. & Sinot, F.-R., Apr 2005, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 15, 2, p. 343 - 381 39 p.Research output: Contribution to journal › Article › peer-review
32 Citations (Scopus) -
Interaction Nets vs. the Rho Calculus: Introducing Bigraphical Nets. Proc. of the 12th International Workshop on Expressiveness in Concurrency
Fernandez, M. & Mackie, I., 2005, In: Electronic Notes in Theoretical Computer Science.Research output: Contribution to journal › Article › peer-review
-
Lambda-Calculus with Director Strings
Fernandez, M., Mackie, I. & Sinot, F.-R., Apr 2005, In: APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING. 15, 6, p. 393 - 437 45 p.Research output: Contribution to journal › Article › peer-review
10 Citations (Scopus)
Projects
- 2 Finished
-
Semantics of quantum computation
Mackie, I. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/06/2006 → 31/05/2009
Project: Research
-
Computational Applications of Nominal Sets
Fernandez, M. (Primary Investigator) & Mackie, I. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/10/2005 → 30/09/2009
Project: Research
Activities
-
Termgraph
Mackie, I. (Chair)
2007 → …Activity: Participating in or organising an event › Participation in conference
-
Termgraph
Mackie, I. (Chair)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
DCM
Mackie, I. (Organiser)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
DCM
Mackie, I. (Chair)
2006 → …Activity: Participating in or organising an event › Participation in conference
-
Termgraph
Mackie, I. (Organiser)
2006 → …Activity: Participating in or organising an event › Participation in conference