Follow
Axel Poigné
Axel Poigné
Fraunhofer-Institut für Intelligente Analyse- und Informationssysteme IAIS
Verified email at iais.fraunhofer.de
Title
Cited by
Cited by
Year
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
882010
A note on inconsistencies caused by fixpoints in a cartesian closed category
H Huwig, A Poigné
Theoretical Computer Science 73 (1), 101-112, 1990
781990
On the nature of events: another perspective in concurrency
GM Pinna, A Poigné
Theoretical Computer Science 138 (2), 425-454, 1995
751995
Basic category theory
A Poigné
Handbook of Logic in Computer Science Volume 1, Backgrounds: Mathematical …, 1992
691992
On specifications, theories, and models with higher types
A Poigné
Information and Control 68 (1-3), 1-46, 1986
671986
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
441998
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
372016
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
341987
On the nature of events
GM Pinna, A Poigne
Mathematical Foundations of Computer Science 1992: 17th International …, 1992
321992
Parametrization for order-sorted algebraic specification
A Poigné
Journal of Computer and System Sciences 40 (2), 229-268, 1990
321990
Another look at parameterization using algebras with subsorts
A Poigné
International Symposium on Mathematical Foundations of Computer Science, 471-479, 1984
291984
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
251986
Algebra categorically
A Poigné
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005
232005
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
212009
Category Theory and Computer Science, LNCS 283
DH Pitt, S Abramsky, A Poigne, DE Rydeheard
Springer-Verlag, 1987
21*1987
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
202007
On the combination of synchronous languages
A Poigné, L Holenderski
Compositionality: The Significant Difference: International Symposium …, 1998
201998
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
192008
Foundations are rich institutions, but institutions are poor foundations
A Poigné
Categorical methods in Computer Science with aspects from Topology, 82-101, 2005
192005
Synchronous automata for reactive, real-time or embedded systems
O Maffeis, A Poigné
GMD-Forschungszentrum Informationstechnik, 1996
161996
The system can't perform the operation now. Try again later.
Articles 1–20