Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 19 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01250369v1 Direction d'ouvrage, Proceedings Stefan Haar, Roland Meyer. Proceedings 15th International Conference on Application of Concurrency to System Design (ACSD), 2015 Stefan Haar and Roland Meyer. ACSD 2015, Jun 2015, Brussels, Belgium. IEEE 2015, IEEE, <10.1109/ACSD.2015.23>. <http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7352411>
	hal-01322956v1 Pré-publication, Document de travail Stefan Haar, Simon Theissing. A Passenger-centric Multi-agent System Model for Multimodal Public Transportation 2016
	hal-01286476v2 Pré-publication, Document de travail Stefan Haar, Simon Theissing. Predicting traffic load in public transportation networks 2016
	hal-01294498v1 Pré-publication, Document de travail Stefan Haar, Simon Theissing. Decoupling Passenger Flows for Improved Load Prediction 2016
	hal-01354079v1 Communication dans un congrès Hugues Mandon, Stefan Haar, Loïc Paulevé. Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph Eugenio Cinquemani; Alexandre Donzé. Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. Springer International Publishing, 9957, pp.113-127, Lecture Notes in Computer Science. <http://hsb2016.imag.fr/>. <10.1007/978-3-319-47151-8_8>
	hal-01259585v2 Pré-publication, Document de travail Stefan Haar, Simon Theissing. Forecasting Passenger Loads in Transportation Networks 2016
	hal-00796006v1 Pré-publication, Document de travail Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model Based Testing for Concurrent Systems with Labeled Event Structures Submitted to a journal. 2013
	hal-01242885v1 Communication dans un congrès Hernan Ponce de León, César Rodriguez, Josep Carmona, Keijo Heljanko, Stefan Haar. Unfolding-Based Process Discovery 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15), 2015, Shanghai, China. Springer, Lecture Notes in Computer Science, 9364
	hal-01242903v1 Communication dans un congrès Stefan Haar, Simon Theissing. A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
	hal-01242934v1 Communication dans un congrès Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon. Active Diagnosis with Observable Quiescence 54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan. IEEE Control System Society
	hal-01242990v1 Article dans une revue Stefan Haar. Cyclic Ordering through Partial Orders Journal of Multiple-Valued Logic and Soft Computing, 2015
	hal-01330136v1 Communication dans un congrès Stefan Haar, Simon Theissing. Decoupling Passenger Flows for Improved Load Prediction 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
	hal-01329632v1 Communication dans un congrès Stefan Haar, Simon Theissing. Predicting Traffic Load in Public Transportation Networks 2016 American Control Conference, Jul 2016, Boston, United States
	hal-01242994v1 Article dans une revue Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model-based Testing for Concurrent Systems: Unfolding-based Test Selection International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015
	hal-01241129v1 Communication dans un congrès Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon. Non-Atomic Transition Firing in Contextual Nets Springer. 36th International Conference on Applications and Theory of Petri Nets (ICATPN'15), 2015, Brussels, Belgium. Lecture Notes in Computer Science, 9115
	hal-01354109v2 Communication dans un congrès Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé. Unfolding of Parametric Boolean Networks The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. Elsevier, accepted, Electronic Notes in Theoretical Computer Science. <http://sasb2016.fi.muni.cz/>
	hal-01257113v4 Article dans une revue Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia. Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, <10.1016/j.jlamp.2016.09.001>
	hal-01242989v1 Article dans une revue Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon. Diagnosability under Weak Fairness ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, 14 (4)
	hal-01408047v1 Article dans une revue Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal constructions for active diagnosis Journal of Computer and System Sciences, Elsevier, 2017, 83 (1), pp.101-120. <10.1016/j.jcss.2016.04.007>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 19 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact