Search - IFIP - Lecture Notes in Computer Science

4 results

labStructName_s : Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)

labStructName_s : Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes

labStructName_s : Toulouse School of Management Research

Deposit type : Fulltext

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

		Introducing Interval Differential Dynamic Logic Daniel Figueiredo 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.69-75, ⟨10.1007/978-3-030-89247-0_5⟩ Conference papers hal-04074513v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More
		Better Late Than Never or: Verifying Asynchronous Components at Runtime Duncan Paul Attard , Luca Aceto , Antonis Achilleos , Adrian Francalanza , Anna Ingólfsdóttir , et al. 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. pp.207 - 225, ⟨10.1007/978-3-030-78089-0_14⟩ Conference papers hal-03320023v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More
		Adding Proof Calculi to Epistemic Logics with Structured Knowledge Mario Benevides , Alexandre Madeira , Manuel A. Martins 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.53-68, ⟨10.1007/978-3-030-89247-0_4⟩ Conference papers hal-04074528v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More
		Artificial Intelligence and the Evolution of Managerial Skills: An Exploratory Study Laurent Giraud , Ali Zaher , Selena Hernandez , Akram Al Ariss 20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.307-317, ⟨10.1007/978-3-030-85447-8_27⟩ Conference papers hal-03648110v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More

Filter your results

Introducing Interval Differential Dynamic Logic

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Adding Proof Calculi to Epistemic Logics with Structured Knowledge

Artificial Intelligence and the Evolution of Managerial Skills: An Exploratory Study