Search - IFIP - Lecture Notes in Computer Science

7 results

	For these 7 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Regulated Tree Automata Henning Fernau , Martin Vu 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.124-136, ⟨10.1007/978-3-030-23247-4_9⟩ Conference papers hal-02387294v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues Tilo Mentler , Philippe Palanque , Susanne Boll , Chris Johnson , Kristof van Laerhoven IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩ Conference papers hal-03376237v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Contextual Array Grammars with Matrix and Regular Control Henning Fernau , Rudolf Freund , Rani Siromoney , K. G. Subramanian 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.98-110, ⟨10.1007/978-3-319-41114-9_8⟩ Conference papers hal-01633942v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity Henning Fernau , Lakshmanan Kuppusamy , Indhumathi Raman 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.128-139, ⟨10.1007/978-3-319-60252-3_10⟩ Conference papers hal-01657011v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Descriptional Complexity of Graph-Controlled Insertion-Deletion Systems Henning Fernau , Lakshmanan Kuppusamy , Indhumathi Raman 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.111-125, ⟨10.1007/978-3-319-41114-9_9⟩ Conference papers hal-01633956v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Descriptional Complexity of Matrix Simple Semi-conditional Grammars Henning Fernau , Lakshmanan Kuppusamy , Indhumathi Raman 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.111-123, ⟨10.1007/978-3-030-23247-4_8⟩ Conference papers hal-02387307v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances Petra Wolf 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.272-284, ⟨10.1007/978-3-030-23247-4_21⟩ Conference papers hal-02387299v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More