Axel Poigné

Fraunhofer Society — Germany

Computer Science · Physical Sciences

13h-index593citations78works5.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(28), Formal Methods in Verification(21), Logic, Reasoning, and Knowledge(14), Embedded Systems Design Techniques(12), Advanced Algebra and Logic(12)

Publications78 total

Efficient closed pattern mining in strongly accessible set systems
2025· 5 citedOpen Access
BioVeL: a virtual laboratory for data analysis and modelling in biodiversity science and ecology
BMC Ecology·2016· 34 citedOpen Access
The Dicode Data Mining Services
Studies in big data·2014· 3 cited
Building on the Synergy of Machine and Human Reasoning to Tackle Data-Intensive Collaboration and Decision Making
Smart innovation, systems and technologies·2011· 8 cited
LifeWatch - a Large-scale eScience Infrastructure to Assist in Understanding and Managing our Planet's Biodiversity
EGU General Assembly Conference Abstracts·2010· 1 cited
LifeWatch deliverable 5.1.3: Technical construction plan –Reference Model
2010· 1 cited
Listing closed sets of strongly accessible set systems with applications to data.
LWA·2010
Listing closed sets of strongly accessible set systems with applications to data mining
Theoretical Computer Science·2009· 57 citedOpen Access
Towards a Reference Model for the LifeWatch ICT Infrastructure.
2009· 1 cited
Evaluation of a "Smart" Pedestrian Counting System Based on Echo State Networks
EURASIP Journal on Embedded Systems·2009· 13 citedOpen Access
Aspects of Designing and Implementing a Synchronous Programming Language
Vieweg+Teubner eBooks·2009
An Echo State Network based pedestrian counting system using wireless sensor networks
2008· 15 cited
Efficient Closed Pattern Mining in Strongly Accessible Set Systems (Extended Abstract)
Lecture notes in computer science·2007· 8 citedOpen Access
synERJY An Object-oriented Synchronous Language
Electronic Notes in Theoretical Computer Science·2006· 5 citedOpen Access
Vibration control with adaptive structures: MAVO FASPAS project review
Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE·2006
On algebras of computation sequences and proofs of equivalence of operational and denotational semantics
Lecture notes in computer science·2006· 2 cited
Another look at parameterization using algebras with subsorts
Lecture notes in computer science·2006· 10 cited
Typed horn logic (extended abstract)
Lecture notes in computer science·2005
On algebras of computation sequences and proofs of equivalence of operational and denotational semantics
Lecture notes in computer science·2005
The Fraunhofer MAVO FASPAS for smart system design
Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE·2005· 1 cited
page 1 of 4Next →

Frequent Co-authors

G. Pinna(4), Reinhard Budde(4), Mario Boley(3), Tamás Horváth(3), Stefan Wrobel(3), Leszek Holenderski(3), Alex Hardisty(2), Jonathan Giddy(2), Vera Hernández Ernst(2), Karl-Heinz Sylla(2), Emi Mathews(2), Josef Voss(2), Stefan Rüping(2), David H. Pitt(2), Samson Abramsky(2), David Rydeheard(2), Hagen Huwig(1), Finn Bacall(1), Niall Beard(1), Maria-Paula Balcázar-Vargas(1)