Rechercher

		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 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00407381v1 Rapport Radu Mateescu, Anton Wijs. Efficient On-the-Fly Computation of Weak Tau-Confluence [Research Report] RR-7000, INRIA. 2009, pp.42
	inria-00609585v1 Rapport Radu Mateescu, Anton Wijs. Property-Dependent Reductions for the Modal Mu-Calculus [Research Report] RR-7690, INRIA. 2011, pp.30
	inria-00381682v1 Communication dans un congrès Radu Mateescu, Anton Wijs. Hierarchical Adaptive State Space Caching based on Level Sampling Stefan Kowalewski and Anna Philippou. The 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 2009, York, United Kingdom. Springer Verlag, 5505, pp.215-229, 2009, Lecture Notes in Computer Science; TACAS'2009. <10.1007/978-3-642-00768-2_21>
	inria-00406552v1 Article dans une revue Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker et al. Survey on Directed Model Checking Model Checking and Artificial Intelligence, Springer Verlag, 2009, 5348, pp.65-89. <10.1007/978-3-642-00431-5_5>
	hal-00676451v1 Article dans une revue Radu Mateescu, Anton Wijs. Sequential and distributed on-the-fly computation of weak tau-confluence Science of Computer Programming, Elsevier, 2012, 77 (10-11), pp.1075-1094. <10.1016/j.scico.2011.07.004>
	hal-01016922v1 Article dans une revue Radu Mateescu, Anton Wijs. Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity Science of Computer Programming, Elsevier, 2014, <10.1016/j.scico.2014.04.004>
		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 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM