History


Please fill in your query. A complete syntax description you will find on the General Help page.

Result 61 to 80 of 791 total

Scalable reachability analysis via automated dynamic netlist-based hint generation. (English)
Form. Methods Syst. Des. 45, No. 2, 144-164 (2014).
WorldCat.org
61
Learning register automata: from languages to program structures. (English)
Mach. Learn. 96, No. 1-2, 65-98 (2014).
WorldCat.org
62
Bounding messages for free in security protocols ‒ extension to various security properties. (English)
Inf. Comput. 239, 182-215 (2014).
WorldCat.org
63
Deducibility constraints and blind signatures. (English)
Inf. Comput. 238, 106-127 (2014).
WorldCat.org
64
Are we there yet? 20 years of industrial theorem proving with SPARK. (English)
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14‒17, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08969-0/pbk). Lecture Notes in Computer Science 8558, 17-26 (2014).
WorldCat.org
65
Deciding safety and liveness in TPTL. (English)
Inf. Process. Lett. 114, No. 12, 680-688 (2014).
WorldCat.org
66
Towards the formal reliability analysis of oil and gas pipelines. (English)
Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7‒11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 30-44 (2014).
WorldCat.org
67
Programming and verifying component ensembles. (English)
Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54847-5/pbk). Lecture Notes in Computer Science 8415, 69-83 (2014).
WorldCat.org
68
A formal approach to model emotional agents behaviour in disaster management situations. (English)
Likas, Aristidis (ed.) et al., Artificial intelligence: methods and applications. 8th Hellenic conference on AI, SETN 2014, Ioannina, Greece, May 15‒17, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07063-6/pbk). Lecture Notes in Computer Science 8445. Lecture Notes in Artificial Intelligence, 237-250 (2014).
WorldCat.org
69
European collaboration on automated reasoning. (English)
AI Commun. 27, No. 1, 25-35 (2014).
WorldCat.org
70
Dynamic tags for security protocols. (English)
Log. Methods Comput. Sci. 10, No. 2, Paper No. 11, 50 p., electronic only (2014).
WorldCat.org
71
The Rodin platform has turned ten. (English)
Ait Ameur, Yamine (ed.) et al., Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2‒6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-43651-6/pbk). Lecture Notes in Computer Science 8477, 1-8 (2014).
WorldCat.org
72
Formal description of Alvis language with $α^{0}$ system layer. (English)
Fundam. Inform. 129, No. 1-2, 161-176 (2014).
WorldCat.org
73
Distributed synthesis is simply undecidable. (English)
Inf. Process. Lett. 114, No. 4, 203-207 (2014).
WorldCat.org
74
An approach for lifetime reliability analysis using theorem proving. (English)
J. Comput. Syst. Sci. 80, No. 2, 323-345 (2014).
WorldCat.org
75
An algorithm for the identification of components in biochemical pathways. (English)
Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 69-84 (2013).
WorldCat.org
76
Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey. (English)
Fränzle, Martin (ed.) et al., Proceedings of the first workshop on hybrid autonomous systems, Saarbrücken, Germany, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 297, 3-25 (2013).
WorldCat.org
77
A new representation of two-dimensional patterns and applications to interactive programming. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24‒26, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-40212-8/pbk; 978-3-642-40213-5/ebook). Lecture Notes in Computer Science 8161, 183-198 (2013).
WorldCat.org
78
Verification of initial-state opacity in security applications of discrete event systems. (English)
Inf. Sci. 246, 115-132 (2013).
WorldCat.org
79
Analysis of an electronic boardroom voting system. (English)
Heather, James (ed.) et al., E-voting and identity. 4th international conference, Vote-ID 2013, Guildford, UK, July 17‒19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39184-2/pbk). Lecture Notes in Computer Science 7985, 109-126 (2013).
WorldCat.org
80

Result 61 to 80 of 791 total

Valid XHTML 1.0 Transitional Valid CSS!