Search - IFIP - Lecture Notes in Computer Science

5 results

Deposit type : Fulltext

labStructName_s : Centrum voor Wiskunde en Informatica

labStructName_s : Inria Sophia Antipolis - Méditerranée

	For these 5 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

		Unbounded Allocation in Bounded Heaps Jurriaan Rot , Frank De Boer , Marcello Bonsangue 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩ Conference papers hal-01514664v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Storytelling in Visual Analytics Tools for Business Intelligence Micheline Elias , Marie-Aude Aufaure , Anastasia Bezerianos 14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.280-297, ⟨10.1007/978-3-642-40477-1_18⟩ Conference papers hal-00817732v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Semantic Subtyping for Objects and Classes Ornela Dardha , Daniele Gorla , Daniele Varacca 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩ Conference papers hal-00909299v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Future of a Missed Deadline Behrooz Nobakht , Frank De Boer , Mohammad Mahdi Jaghoori 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩ Conference papers hal-01486026v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Human-Computer Interaction –INTERACT 2013 Proceedings, Part IV Paula Kotzé , Gary Marsden , Gitte Lindgaard , Janet Wesson , Marco Winckler Lecture Notes in Computer Science, LNCS-8120 (Part IV), Springer, 2013, Human-Computer Interaction – INTERACT 2013 Proceedings hal-04149510v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More