Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Segal, M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An approach for lifetime reliability analysis using theorem proving
Naeem Abbasi
,
Osman Hasan
,
Sofiène Tahar
Journal of Computer and System Sciences
80
(2), 2014, pp. 323-345
A complexity question in justification logic
Antonis Achilleos
Journal of Computer and System Sciences
80
(6), 2014, pp. 1038-1045
Positive Dedalus programs tolerate non-causality
Tom J. Ameloot
,
Jan Van den Bussche
Journal of Computer and System Sciences
80
(7), 2014, pp. 1191-1213
Range LCP
Amihood Amir
,
Alberto Apostolico
,
Gad M. Landau
,
Avivit Levy
,
Moshe Lewenstein
,
Ely Porat
Journal of Computer and System Sciences
80
(7), 2014, pp. 1245-1253
Maximum number of fixed points in AND-OR-NOT networks
J. Aracena
,
A. Richard
,
L. Salinas
Journal of Computer and System Sciences
80
(7), 2014, pp. 1175-1190
Bounded-width QBF is PSPACE-complete
Albert Atserias
,
Sergi Oliva
Journal of Computer and System Sciences
80
(7), 2014, pp. 1415-1429
String analysis by sliding positioning strategy
Manuel Baena-García
,
José M. Carmona-Cejudo
,
Rafael Morales-Bueno
Journal of Computer and System Sciences
80
(1), 2014, pp. 3-15
Self-adaptive federated authorization infrastructures
Christopher Bailey
,
David W. Chadwick
,
Rogério de Lemos
Journal of Computer and System Sciences
80
(5), 2014, pp. 935-952
A mechanisation of some context-free language theory in HOL4
Aditi Barthwal
,
Michael Norrish
Journal of Computer and System Sciences
80
(2), 2014, pp. 346-362
Parameterized complexity of firefighting
Cristina Bazgan
,
Morgan Chopin
,
Marek Cygan
,
Michael R. Fellows
,
Fedor V. Fomin
,
Erik Jan van Leeuwen
Journal of Computer and System Sciences
80
(7), 2014, pp. 1285-1297
Bisimulation equivalence and regularity for real-time one-counter automata
Stanislav Böhm
,
Stefan Göller
,
Petr Janc̑ar
Journal of Computer and System Sciences
80
(4), 2014, pp. 720-743
Branching-time model-checking of probabilistic pushdown automata
Tomás̑ Brázdil
,
Václav Broz̑ek
,
Vojtȇch Forejt
,
Antonín Kuc̑era
Journal of Computer and System Sciences
80
(1), 2014, pp. 139-156
Verifying of interface assertions for infinite state Mealy machines
Manfred Broy
Journal of Computer and System Sciences
80
(7), 2014, pp. 1298-1322
Realizing public announcements by justifications
Samuel Bucheli
,
Roman Kuznets
,
Thomas Studer
Journal of Computer and System Sciences
80
(6), 2014, pp. 1046-1066
Unshuffling a square is NP-hard
Sam Buss
,
Michael Soltys
Journal of Computer and System Sciences
80
(4), 2014, pp. 766-776
The complexity of complex weighted boolean \#CSP
Jin-Yi Cai
,
Pinyan Lu
,
Mingji Xia
Journal of Computer and System Sciences
80
(1), 2014, pp. 217-236
Automatic learners with feedback queries
John Case
,
Sanjay Jain
,
Yuh Shin Ong
,
Pavel Semukhin
,
Frank Stephan
Journal of Computer and System Sciences
80
(4), 2014, pp. 806-820
Hierarchical multi-label classification using local neural networks
Ricardo Cerri
,
Rodrigo C. Barros
,
André C.P.L.F. de Carvalho
Journal of Computer and System Sciences
80
(1), 2014, pp. 39-56
Dynamics stability in wireless sensor networks active defense model
Zhide Chen
,
Cheng Qiao
,
Yihui Qiu
,
Li Xu
,
Wei Wu
Journal of Computer and System Sciences
80
(8), 2014, pp. 1534-1548
Column subset selection problem is UG-hard
A. Çivril
Journal of Computer and System Sciences
80
(4), 2014, pp. 849-859
Nominal Lawvere Theories: A category theoretic account of equational theories with names
Ranald Clouston
Journal of Computer and System Sciences
80
(6), 2014, pp. 1067-1086
Algorithms and estimators for summarization of unaggregated data streams
Edith Cohen
,
Nick Duffield
,
Haim Kaplan
,
Carstent Lund
,
Mikkel Thorup
Journal of Computer and System Sciences
80
(7), 2014, pp. 1214-1244
Clone wars: Distributed detection of clone attacks in mobile WSNs
M. Conti
,
R. Di Pietro
,
A. Spognardi
Journal of Computer and System Sciences
80
(3), 2014, pp. 654-669
Belief revision within fragments of propositional logic
Nadia Creignou
,
Odile Papini
,
Reinhard Pichler
,
Stefan Woltran
Journal of Computer and System Sciences
80
(2), 2014, pp. 427-449
Satisfying more than half of a system of linear equations over GF(2): A multivariate approach
R. Crowston
,
M. Fellows
,
G. Gutin
,
M. Jones
,
E.J. Kim
,
F. Rosamond
,
I.Z. Ruzsa
,
S. Thomassé
,
A. Yeo
Journal of Computer and System Sciences
80
(4), 2014, pp. 687-696
Seiten 1
2
3
4
>