Axel Poigné

Publications

369

Citations

H-Index

1986

Active since

Affiliations

Fraunhofer Institute for Intelligent Analysis and Information Systems(Current)

Gesellschaft Fur Mathematik Und Datenverarbeitung

TU Dortmund University

Hochschule Bonn-Rhein-Sieg

Imperial College London

Axel Poigné is an author at Fraunhofer Institute for Intelligent Analysis and Information Systems specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningData ManagementSignal ProcessingIntelligent SystemsGeometryManagementData Mining

Publications per year

1986–2016

Publications

Listing closed sets of strongly accessible set systems with applications to data mining

Mario Boley, Tamás Horváth, Axel Poigné et al. · Theoretical Computer Science · 2009 · 57 citations · Full text

Engineering, Frequent Pattern Mining, Data Science +8

On the nature of events: another perspective in concurrency

G. Pinna, Axel Poigné · Theoretical Computer Science · 1995 · 56 citations

Engineering, Concurrency Theory, Formal Methods +6

On specifications, theories, and models with higher types

Axel Poigné · Information and Control · 1986 · 54 citations

Engineering, Automated Reasoning, Higher Types +4

A note on inconsistencies caused by fixpoints in a cartesian closed category

Hagen Huwig, Axel Poigné · Theoretical Computer Science · 1990 · 45 citations

Higher Category Theory, Categorical Model, Geometry

BioVeL: a virtual laboratory for data analysis and modelling in biodiversity science and ecology

Alex Hardisty, Finn Bacall, Niall Beard et al. · BMC Ecology · 2016 · 34 citations · Full text

Rows per page

1–5 of 11