| | |
|---|
| 2010 | Listing closed sets of strongly accessible set systems with applications to data mining
Boley, M.; Horváth, T.; Poigné, A.; Wrobel, S. | Journal Article |
| 2009 | Evaluation of a "smart" pedestrian counting system based on echo state networks
Mathews, E.; Poigné, A. | Journal Article |
| 2009 | The LifeWatch ICT Reference Model
Poigné, A.; Hernández Ernst, V.; Voss, H.; Voss, A.; Hardisty, A.; Giddy, J.; Berendsohn, W.; Gebhardt, M. | Poster |
| 2009 | The LifeWatch ICT Reference Model
Poigné, A.; Hernandez-Ernst, V.; Voss, H.; Voß, A.; Hardisty, A.; Giddy, J.; Berendsohn, W.; Gebhardt, M. | Poster |
| 2009 | Towards a reference model for the lifewatch ICT infrastructure
Hernandez-Ernst, V.; Poigné, A.; Giddy, J.; Hardisty, A.; Voss, A.; Voss, H. | Conference Paper |
| 2009 | The vision for a LifeWatch ICT infrastructure
Hardisty, A.; Giddy, J.; Hernandez-Ernst, V.; Poigné, A.; Voss, H.; Voss, A.; Berendsohn, W.; Gebhardt, M. | Poster |
| 2008 | An echo state network based pedestrian counting system using wireless sensor networks
Mathews, E.; Poigné, A. | Conference Paper |
| 2007 | Efficient closed pattern mining in strongly accessible set systems
Boley, M.; Horváth, T.; Poigné, A.; Wrobel, S. | Conference Paper |
| 2006 | synERJY - an object-oriented synchronous language
Poigné, A.; Budde, R.; Sylla, K.-H. | Journal Article, Conference Paper |
| 2006 | Vibration control with adaptive structures
Hanselka, H.; Melz, T.; Drossel, W.-G.; Sporn, D.; Schönecker, A.; Poigné, A. | Conference Paper |
| 2005 | Eingebettete Systeme zur Regelung adaptiver Strukturen
Ahmed, S.; Mayer, D.; Poigné, A.; Riedler, M. | Conference Paper |
| 2005 | The Fraunhofer MAVO FASPAS for smart system design
Melz, T.; Matthias, M.; Drossel, W.-G.; Sporn, D.; Schönecker, A.; Poigné, A. | Conference Paper |
| 2003 | synERJY: a High-Level Language for Embedded Controllers
Budde, R.; Poigné, A.; Sylla, K.-H. | Journal Article |
| 2003 | Zur Konstruktion verlässlicher eingebetteter Software durch Synchrone Programmierung
Budde, R.; Poigné, A.; Sylla, K.-H. | Journal Article |
| 2002 | Synchrone Programmierung - Anwendung
Budde, R.; Poigné, A.; Sylla, K.-H. | Journal Article |
| 2002 | Synchrone Programmierung - Grundlagen
Budde, R.; Poigné, A.; Sylla, K.-H. | Journal Article |
| 2002 | Synchrone Programmierung - Sprachen
Budde, R.; Poigné, A.; Sylla, K.-H. | Journal Article |
| 2002 | Synchronous programming-foundations. 1
Budde, R.; Poigne, A.; Sylla, K.H. | Journal Article |
| 2001 | Complex Reactive Control with Simple Synchronous Models
Budde, R.; Poigne, A. | Conference Paper |
| 2001 | Foreword. Editorial
Benveniste, A.; Poigné, A. | Journal Article |
| 2001 | Workshop on Edutainment Robotics 2000. Proceedings
: Christaller, T.; Indiveri, G.; Poigne, A. | Conference Proceedings |
| 2000 | On the Synthesis of Distributed processes
Budde, R.; Poigne, A. | Conference Paper |
| 1999 | Coordination of Synchronous Programs
Budde, R.; Pinna, M.; Poigne, A. | Conference Paper |
| 1998 | On the combination of synchronous languages
Poigne, A.; Holenderski, L. | Conference Paper |
| 1998 | SWB - Synchronie Workbench
Poigne, A. | Journal Article |
| 1998 | The synchronous approach to designing reactive systems
Poigne, A.; Morley, M.; Holenderski, L.; Budde, R. | Journal Article |
| 1997 | Synchronous automata for synchronous programming languages
Holenderski, L.; Poigne, A. | Book Article |
| 1997 | Vertrauenswürdige reaktive Systeme durch synchrone Technologie
Müllerburg, M.; Poigne, A. | Conference Paper |
| 1996 | Synchronous automata for reactive, real-time or embedded systems
Maffeis, O.; Poigne, A. | Book |
| 1995 | Boolean automata for implementing pure esterel
Poigne, A.; Holenderski, L. | Book |
| 1995 | Event automata as a generic model of reactive systems
Pinna, M.G.; Poigne, A. | Book Article |
| 1995 | On the nature of events: A new perspective of concurrency
Pinna, M.G.; Poigne, A. | Journal Article |
| 1994 | Identity and existence, and types in algebra
Poigne, A. | Conference Paper |
| 1994 | On the specification of elementary event automata
Pinna, M.G.; Poigne, A. | Conference Paper |
| 1993 | Modeling and specifying reactive behaviour for information systems
Pinna, M.G.; Poigné, A. | Conference Paper |
| 1993 | On the nature of events
Pinna, G.M.; Poigné, A. | Technical Report |
| 1992 | Basic category of logic in computer science
Poigné, A. | Book Article |
| 1992 | A functorial semantics for observed concurrency
Murphy, D.; Poigné, A. | Conference Paper |
| 1992 | On the nature of events
Pinna, M.G.; Poigné, A. | Conference Paper |
| 1991 | Once more on order-sorted algebras
Poigné, A. | Report |
| 1991 | Towards a uniform presentation of nets
Poigné, A. | Report |
| 1990 | A note on inconsistencies caused by fixpoints in a cartesian closed category
Poigné, A.; Huwig, H. | Journal Article |
| 1990 | Parametrization for order-sorted algebraic specification
Poigné, A. | Journal Article |
| 1990 | Partial models, subsorting and dependent types
Poigné, A. | Report |
| 1990 | Systementwurf mit kausalitätsbasierten Modellen
Goltz, U.; Best, E.; Poigne, A. | Book Article |
| 1990 | Typed horn logic
Poigné, A. | Conference Paper |
| 1990 | Typed horn logic
Poigné, A. | Report |
| 1989 | Bisimulation as cointersection
Poigné, A. | Journal Article |
| 1989 | Category theory and computer science
: Pitt, D.H. (Hrsg.); Rydeheard, D.E. (Hrsg.); Dybjer, P. (Hrsg.); Pitts, A.M. (Hrsg.); Poigne, A. (Hrsg.) | Conference Proceedings |
| 1989 | Foundations are rich institutions, but institutions are poor foundations
Poigné, A. | Conference Paper |
| 1989 | Partial algebras, suborting, and dependant types
Poigné, A. | Conference Paper |