1.1k citations
- N. Mavromatos2 profiles42 · h 46
- Peter Sollich3 profiles34 · h 49
- M. Sakellariadou23 · h 76
- D. Nanopoulos17 · h 93
- G. Papadopoulos5 profiles17 · h 34
- J. Alexandre12 · h 26
- J. Gutowski2 profiles12 · h 31
- Ulf Gran12 · h 30
- A. Coolen6 profiles11 · h 23
- J. Ellis2 profiles11 · h 123
- P. West11 · h 63
- S. Sarkar9 · h 24
- King's College SchoolGB29 papers
- European Organization for Nuclear ResearchCH28 papers
- University of LondonGB24 papers
- University College LondonGB22 papers
- University of CambridgeGB19 papers
- Centre National de la Recherche ScientifiqueFR16 papers
- Imperial College LondonGB16 papers
- Universitat de BarcelonaES15 papers
- University of OxfordGB10 papers
- Columbia UniversityUS8 papers
- Houston Advanced Research CenterUS8 papers
- Texas A&M UniversityUS8 papers
12 papers · 1 filter
Elementary Deduction Problem for Locally Stable Theories with Normal Forms
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient a…
Wideband Spectrum Sensing for Cognitive Radio Networks: A Survey
Hongjian Sun, Arumugam Nallanathan, Cheng-Xiang Wang +1
Cognitive radio has emerged as one of the most promising candidate solutions to improve spectrum utilization in next generation cellular networks. A crucial requirement for future…
Immune networks: multi-tasking capabilities at medium load
Elena Agliari, Alessia Annibale, Adriano Barra +2
Associative network models featuring multi-tasking properties have been introduced recently and studied in the low load regime, where the number of simultaneously retrievable p…
Bigraphical Nets
Maribel Fernández, Ian Mackie, Matthew Walker
Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. How…
Assembling the Proofs of Ordered Model Transformations
Maribel Fernández, Jeffrey Terrell
In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its o…
Order Preserving Matching
Jinil Kim, Peter Eades, Rudolf Fleischer +5
We introduce a new string matching problem called order-preserving matching on numeric strings where a pattern matches a text if the text contains a substring whose relative orders…