| Listing closed sets of strongly accessible set systems with applications to data mining M Boley, T Horváth, A Poigné, S Wrobel Theoretical Computer Science 411 (3), 691-700, 2010 | 89 | 2010 |
| A note on inconsistencies caused by fixpoints in a cartesian closed category H Huwig, A Poigné Theoretical Computer Science 73 (1), 101-112, 1990 | 79 | 1990 |
| On the nature of events: another perspective in concurrency GM Pinna, A Poigné Theoretical Computer Science 138 (2), 425-454, 1995 | 78 | 1995 |
| Basic category theory A Poigné Handbook of Logic in Computer Science Volume 1, Backgrounds: Mathematical …, 1992 | 70 | 1992 |
| On specifications, theories, and models with higher types A Poigné Information and Control 68 (1-3), 1-46, 1986 | 67 | 1986 |
| The synchronous approach to designing reactive systems A Poigné, M Morley, O Maffeïs, L Holenderski, R Budde Formal Methods in System Design 12, 163-187, 1998 | 43 | 1998 |
| BioVeL: a virtual laboratory for data analysis and modelling in biodiversity science and ecology AR Hardisty, F Bacall, N Beard, MP Balcázar-Vargas, B Balech, Z Barcza, ... BMC ecology 16, 1-16, 2016 | 37 | 2016 |
| Partial algebras, subsorting, and dependent types: Prerequisites of error handling in algebraic specifications A Poigné Workshop on the Specification of Abstract Data Types, 208-234, 1987 | 33 | 1987 |
| On the nature of events GM Pinna, A Poigne Mathematical Foundations of Computer Science 1992: 17th International …, 1992 | 31 | 1992 |
| Parametrization for order-sorted algebraic specification A Poigné Journal of Computer and System Sciences 40 (2), 229-268, 1990 | 31 | 1990 |
| Another look at parameterization using algebras with subsorts A Poigné International Symposium on Mathematical Foundations of Computer Science, 471-479, 1984 | 29 | 1984 |
| Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings DH Pitt, S Abramsky, A Poigné, DE Rydeheard CTCS, 1986 | 25 | 1986 |
| Evaluation of a" smart" pedestrian counting system based on echo state networks E Mathews, A Poigné EURASIP Journal on Embedded Systems 2009, 1-9, 2009 | 22 | 2009 |
| Algebra categorically A Poigné Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005 | 22 | 2005 |
| On the combination of synchronous languages A Poigné, L Holenderski Compositionality: The Significant Difference: International Symposium …, 1998 | 20 | 1998 |
| An echo state network based pedestrian counting system using wireless sensor networks E Mathews, A Poigne 2008 International Workshop on Intelligent Solutions in Embedded Systems, 1-14, 2008 | 19 | 2008 |
| Efficient closed pattern mining in strongly accessible set systems M Boley, T Horváth, A Poigné, S Wrobel Knowledge Discovery in Databases: PKDD 2007: 11th European Conference on …, 2007 | 19 | 2007 |
| Foundations are rich institutions, but institutions are poor foundations A Poigné Categorical methods in Computer Science with aspects from Topology, 82-101, 2005 | 19 | 2005 |
| Category Theory and Computer Science, LNCS 283 DH Pitt, S Abramsky, A Poigne, DE Rydeheard Springer-Verlag, 1987 | 19* | 1987 |
| Synchronous automata for reactive, real-time or embedded systems O Maffeis, A Poigné GMD Forschungszentrum Informationstechnik, 1996 | 17 | 1996 |
David RydeheardDepartment of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
