mathematicselectronic computers

Explore academic connections and research related to this keyword

297
Views
25
Total Connections
Search More Keywords

Related Articles & Bibliographies

1
a type-safe model of adaptive object groups
;Joakim Bjørk;Dave Clarke;Einar Broch Johnsen;Olaf Owe
2012 ama journal of ethics DOI: 10.4204/EPTCS.91.1 258 views
2
distributed branching bisimulation minimization by inductive signatures
;Stefan Blom;Jaco van de Pol
2009 ama journal of ethics DOI: 10.4204/EPTCS.14.3 252 views
3
lessons learned from microkernel verification — specification is the new bottleneck
;Thorsten Bormer;Holger Blasum;Christoph Baumann;Bernhard Beckert
2012 ama journal of ethics DOI: 10.4204/EPTCS.102.4 288 views
4
synthesizing systems with optimal average-case behavior for ratio objectives
;Barbara Jobstmann;Christian von Essen
2011 ama journal of ethics DOI: 10.4204/EPTCS.50.2 236 views
5
topology and non-deterministic polynomial time computation : avoidance of the misbehaviour of hub-free diagrams and consequences
;Anthony Gasperin
2013 ama journal of ethics DOI: 10.4204/EPTCS.128.15 280 views
6
axiomatizing complete positivity
;Oscar Cunningham;Chris Heunen
2015 ama journal of ethics DOI: 10.4204/EPTCS.195.11 254 views
7
solving the ttc 2011 compiler optimization task with metatools
;Markus Lepper;Baltasar Trancón y Widemann
2011 ama journal of ethics DOI: 10.4204/EPTCS.74.9 257 views
8
the 3rd reactive synthesis competition (syntcomp 2016): benchmarks, participants & results
;Swen Jacobs;Roderick Bloem;Romain Brenguier;Ayrat Khalimov;Felix Klein;Robert Könighofer;Jens Krebe...
2016 ama journal of ethics DOI: 10.4204/EPTCS.229.12 244 views
9
do players reason by forward induction in dynamic perfect information games?
;Sujata Ghosh;Aviad Heifetz;Rineke Verbrugge
2016 ama journal of ethics DOI: 10.4204/EPTCS.215.12 196 views
10
generating complete and finite test suite for ioco: is it possible?
;Adenilso Simao;Alexandre Petrenko
2014 ama journal of ethics DOI: 10.4204/EPTCS.141.5 235 views
11
beating the productivity checker using embedded languages
;Nils Anders Danielsson
2010 ama journal of ethics DOI: 10.4204/EPTCS.43.3 213 views
12
a modular structural operational semantics for delimited continuations
;Neil Sculthorpe;Paolo Torrini;Peter D. Mosses
2016 ama journal of ethics DOI: 10.4204/EPTCS.212.5 232 views
13
correct-by-construction model composition: application to the invasive software composition method
;Mounira Kezadri Hamiaz;Marc Pantel;Benoît Combemale;Xavier Thirioux
2014 ama journal of ethics DOI: 10.4204/EPTCS.147.8 230 views
14
economical, social and psychological barriers in aplication of teleworking in romania
;Mihaela Ungurean
2007 current eye research 216 views
15
on the interpretation of delays in delay stochastic simulation of biological systems
;Andrea Maggiolo-Schettini;Paolo Milazzo;Giulio Caravagna;Roberto Barbuti
2009 ama journal of ethics DOI: 10.4204/EPTCS.6.2 225 views
16
amending contracts for choreographies
;Laura Bocchi;Julien Lange;Emilio Tuosto
2011 ama journal of ethics DOI: 10.4204/EPTCS.59.10 246 views
17
a context-oriented extension of f#
;Andrea Canciani;Pierpaolo Degano;Gian-Luigi Ferrari;Letterio Galletta
2015 ama journal of ethics DOI: 10.4204/EPTCS.201.2 194 views
18
perspicuity and granularity in refinement
;Eerke Boiten
2011 ama journal of ethics DOI: 10.4204/EPTCS.55.10 232 views
19
deterministic automata for unordered trees
;Adrien Boiret;Vincent Hugot;Joachim Niehren;Ralf Treinen
2014 ama journal of ethics DOI: 10.4204/EPTCS.161.17 201 views
20
parameterized linear temporal logics meet costs: still not costlier than ltl
;Martin Zimmermann
2015 ama journal of ethics DOI: 10.4204/EPTCS.193.11 187 views

Related Journals

No Journals Found

No journals are currently associated with this keyword.

Related Research Groups

No Research Groups Found

No research groups are currently associated with this keyword.

Explore Related Keywords

computer science