Παρακολούθηση
Axel Poigné
Axel Poigné
Fraunhofer-Institut für Intelligente Analyse- und Informationssysteme IAIS
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα iais.fraunhofer.de
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
902010
On the nature of events: another perspective in concurrency
GM Pinna, A Poigné
Theoretical Computer Science 138 (2), 425-454, 1995
801995
A note on inconsistencies caused by fixpoints in a cartesian closed category
H Huwig, A Poigné
Theoretical Computer Science 73 (1), 101-112, 1990
791990
Basic category theory
A Poigné
Handbook of Logic in Computer Science Volume 1, Backgrounds: Mathematical …, 1992
701992
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
431998
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
392016
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
331987
On the nature of events
GM Pinna, A Poigne
Mathematical Foundations of Computer Science 1992: 17th International …, 1992
311992
Parametrization for order-sorted algebraic specification
A Poigné
Journal of Computer and System Sciences 40 (2), 229-268, 1990
311990
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
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
232009
Algebra categorically
A Poigné
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005
222005
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
202008
On the combination of synchronous languages
A Poigné, L Holenderski
Compositionality: The Significant Difference: International Symposium …, 1998
201998
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
192007
Foundations are rich institutions, but institutions are poor foundations
A Poigné
Categorical methods in Computer Science with aspects from Topology, 82-101, 2005
192005
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
171996
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20