Alain Finkel
Orcid: 0000-0003-2482-6141Affiliations:
- ENS Cachan, Paris, France
According to our database1,
Alain Finkel
authored at least 115 papers
between 1983 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
An Automata-Based Method to Formalize Psychological Theories - The Case Study of Lazarus and Folkman's Stress Theory.
CoRR, January, 2025
2024
Log. Methods Comput. Sci., 2024
Textualized and Feature-based Models for Compound Multimodal Emotion Recognition in the Wild.
CoRR, 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2023
Analysis of recurrent neural networks via property-directed verification of surrogate models.
Int. J. Softw. Tools Technol. Transf., June, 2023
Log. Methods Comput. Sci., 2023
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation.
CoRR, 2023
Proceedings of the Reachability Problems - 17th International Conference, 2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels.
Proceedings of the Extraction et Gestion des Connaissances, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Log. Methods Comput. Sci., 2022
2021
J. ACM, 2021
Fundam. Informaticae, 2021
Discret. Event Dyn. Syst., 2021
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.
Proceedings of the 15th International Conference on Grammatical Inference, 2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Log. Methods Comput. Sci., 2020
Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Formal Aspects Comput., 2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
2017
2016
Theor. Comput. Sci., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Reachability Problems - 10th International Workshop, 2016
2015
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
Dagstuhl Reports, 2014
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
2013
Inf. Comput., 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
2012
Log. Methods Comput. Sci., 2012
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
On the Expressiveness of Parikh Automata and Related Models.
Proceedings of the Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, July 18, 2011
2010
J. Appl. Non Class. Logics, 2010
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2009
Proceedings of the Joint Proceedings of the 8th, 2009
Proceedings of the Joint Proceedings of the 8th, 2009
2008
Int. J. Softw. Tools Technol. Transf., 2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008
2007
Proceedings of the Infinity in Logic and Computation, International Conference, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
The convex hull of a regular set of integer vectors is polyhedral and effectively computable.
Inf. Process. Lett., 2005
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), 2002
Proceedings of the LATIN 2002: Theoretical Informatics, 2002
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002
2001
Springer, ISBN: 9783540415237, 2001
2000
Inf. Process. Lett., 2000
Proceedings of the STACS 2000, 2000
An Algorithm Constructing the Semilinear Post<sup>*</sup> for 2-Dim Reset/Transfer VASS.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
1998
J. Adv. Comput. Intell. Intell. Informatics, 1998
Proceedings of the LATIN '98: Theoretical Informatics, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
Theor. Comput. Sci., 1997
Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997
Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract).
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Theor. Comput. Sci., 1996
1994
RAIRO Theor. Informatics Appl., 1994
Distributed Comput., 1994
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994
1991
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991
Proceedings of the Advances in Petri Nets 1993, 1991
1990
1988
1987
A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987
Proceedings of the Advances in Petri Nets 1988, 1987
1986
Applications of residues for the analysis of parallel systems communicating by fifo channels.
Bull. EATCS, 1986
1985
Theor. Comput. Sci., 1985
Theor. Comput. Sci., 1985
1984
Petri Nets and monogenous FIFO nets.
Bull. EATCS, 1984
1983
Proceedings of the Theoretical Computer Science, 1983