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
[1]
Hilfe
Suche: Author="Krishna, Shankara Narayanan"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
First-order definable string transformations
Emmanuel Filiot
,
Shankara Narayanan Krishna
,
Ashutosh Trivedi
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 147-159
Enhanced mobile membranes: Computability results
Gabriel Ciobanu
,
Shankara Narayanan Krishna
Theory of Computing Systems
48
(3), 2011, pp. 715-729
Model checking weighted integer reset timed automata
Lakshmi Manasa
,
Shankara Narayanan Krishna
,
Chinmay Jain
Theory of Computing Systems
48
(3), 2011, pp. 648-679
Membrane computing with transport and embedded proteins
Shankara Narayanan Krishna
Theoretical Computer Science
410
(4-5), 2009, pp. 355-375
Universality results for
P
systems based on brane calculi operations
Shankara Narayanan Krishna
Theoretical Computer Science
371
(1-2), 2007, pp. 83-105
Modal strength reduction in quantified discrete duration calculus
Shankara Narayanan Krishna
,
Paritosh K. Pandya
Lecture Notes in Computer Science
3821
, 2005, pp. 444-456
Breaking DES using
P
systems
Shankara Narayanan Krishna
,
Raghavan Rama
Theoretical Computer Science
299
(1-3), 2003, pp. 495-508