mathematicselectronic computers

Explore academic connections and research related to this keyword

286
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 252 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 245 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 284 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 231 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 274 views
6
axiomatizing complete positivity
;Oscar Cunningham;Chris Heunen
2015 ama journal of ethics DOI: 10.4204/EPTCS.195.11 248 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 235 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 240 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 191 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 226 views
11
beating the productivity checker using embedded languages
;Nils Anders Danielsson
2010 ama journal of ethics DOI: 10.4204/EPTCS.43.3 208 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 228 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 227 views
14
economical, social and psychological barriers in aplication of teleworking in romania
;Mihaela Ungurean
2007 current eye research 212 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 221 views
16
amending contracts for choreographies
;Laura Bocchi;Julien Lange;Emilio Tuosto
2011 ama journal of ethics DOI: 10.4204/EPTCS.59.10 233 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 189 views
18
perspicuity and granularity in refinement
;Eerke Boiten
2011 ama journal of ethics DOI: 10.4204/EPTCS.55.10 228 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 193 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 180 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