mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
 
Login
de
en
mediaTUM Content
University Bibliography
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
Research Centers
Carl von Linde Academy
Catalysis Research Center (CRC)
(4665)
Ehemalige Einrichtungen
Research Neutron Source Hein-Maier-Leibnitz (FRM II)
(12)
Research Center for Industrial Biotechnology (to be founded)
Research Center of Brewing and Food Quality
World Agricultural Systems Center - Hans Eisenmann-Forum
(12)
Institute for Advanced Study (IAS)
(4060)
Administration
(17)
Members
(50)
Fellows
(2532)
Active
(1153)
Alumni
(1386)
Abstreiter, Gerhard
Aime, Silvio
Annaswamy, Anuradha M.
Arakawa, Yasuhiko
Arnold, Polly L.
Auwärter, Wilhelm H.
Baras, John
Batzill, Matthias
Bergemann, Dirk
Beutler, Gerhard
Biros, George
Blank, Norman
Blobel, Carl
Blumberger, Jochen
Boniolo, Giovanni
Bonn, Douglas Andrew
Bromberg, Yana
Bruinsma, Robijn F.
Brune, Harald
Buras, Andrzej Jerzy
Buss, Martin
Camilloni, Carl
Campbell, Matthew
Casini, Angela
Chakrabarty, Krishnendu
Davis, Richard A.
De Rijcke, Sarah
Dietz, Hendrik
Dogic, Zvonimir
Ensenauer, Regina
Essiambre, René-Jean
Friebe, Michael
García Morales, Vladimir
Gianola, Daniel
Goodnick, Stephen
Gorbahn, Martin
Haase, Axel
Hager, Gregory
Hegland, Markus
Heilman, Madeleine
Heller, Matthias
Hirata, Tsuyoshi
Hirt, Christian
Horvath, Tamas
Ho, Tsung-Yi
Hutmacher, Dietmar W.
Isidori, Gino
Jäggi, Adrian
Janoschek, Marc
Karrai, Khaled
Kästner, Klaus
Kessler, Horst
Kevrekidis, Yannis
Khan, Stuart
Kirsch, Alexandra
Klüppelberg, Claudia
Koehler, Thomas
Kögel-Knabner, Ingrid
Konnerth, Arthur
Kronfeld, Andreas
Kschischang, Frank R.
Kucharczyk, Walter
Kühnlenz, Kolja
Kuhn, Peer-Hendrik
Kunze-Liebhäuser, Julia
Lamp, Peter
Lasserre, Thierry
Lautenschlager, Nicola T.
Lee, Dongheui
Lee, Shuit- Tong
Lehmann, Johannes
Linic, Suljo
McKeating, Jane
Mehl, Miriam
Menzel, Annette
Misgeld, Thomas
Mok, Chin Man
Morgan, Kaye
Muscholl, Anca
Obradovic, Dragan
Ortiz, Michael
Peer, Angelika
Pfeiffer, Franz
Pokorski, Stefan
Porod, Wolfgang
Punta, Marco
Ramamoorthy, Ayyalusamy
Rant, Ulrich
Ratti, Carlo
Rauschecker, Josef
Reali, Alessandro
Riddell Stanley
Riel, Heike
Rummel, Reiner
Sakamann, Bert
Schrefler, Bernhard
Schröder, Peter
Schuermans, Bruno
Sharp, Ian D.
Sparks, Timothy
Spiegelberg, Gernot
Srinivasan, Mandayam A.
Stelzer, Robert J.
Stemberger, Christian
Stimming, Ulrich
Sugny, Dominique
Sujith, Raman I.
Swindlehurst, Lee
von Wichert, Georg
Vuckovic, Jelena
Weitz, David A.
Werthmann, Christian
Wollher, Dirk
Yosibash, Zohar
Zabaras, Nicholas
Zaccone, Alessio
International Expert Network on Earth System Preservation (IESP)
(38)
Research Areas
(2634)
Munich Center for Technology in Society (MCTS)
Munich Data Science Institute (MDSI)
(41)
Munich Institute of Biomedical Engineering (MIBE)
(144)
Munich School of Engineering
Munich Institute of Robotics and Machine Intelligence (MIRMI)
(1)
Operations Research Center (Prof. Schulz)
(260)
Radiochemistry Munich (RCM)
TUM Graduate School
TUM Science & Study Center Raitenhaslach (Barbara Weiant)
Research Center of History of Technology (Prof. Wengenroth)
(16)
Research Center of Teacher Education and Teacher Training (ZLL)
Research Center of Physical Principles of Semiconductor Electronics - Walter Schottky Institut (WSI)
(260)
Zentralinstitut für translationale Krebsforschung (TranslaTUM)
ZIEL - Institute for Food & Health
TUM Board of Management
Partnerschaftliche Einrichtungen
Schools and Faculties
Service Facilities
TUM Institute for LifeLong Learning
Central Administration
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Institute for Advanced Study (IAS)
Fellows
Alumni
Muscholl, Anca
Sort by:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Publikationsdatum
Publikationsdatum (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Publikationsdatum
Publikationsdatum (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
Items per page
10
20
50
100
Esparza, Javier;Kuperberg, Denis;Muscholl, Anca;Walukiewicz, Igor
Soundness in negotiations
Logical Methods in Computer Science ; Volume 14
2018
Issue 1 ; 1860-5974
La Torre, Salvatore;Muscholl, Anca;Walukiewicz, Igor
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2015
Baschenis, Félix;Gauwin, Olivier;Muscholl, Anca;Puppis, Gabriele
Minimizing Resources of Sweeping and Streaming String Transducers
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2016
Muscholl, Anca;Seidl, Helmut;Walukiewicz, Igor
Reachability for Dynamic Parametric Processes
Lecture Notes in Computer Science
Springer International Publishing
2017
Muscholl, Anca
Automated Synthesis of Distributed Controllers
Automata, Languages, and Programming
Springer Berlin Heidelberg
2015
Esparza, Javier;Muscholl, Anca;Walukiewicz, Igor
Static analysis of deterministic negotiations
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
IEEE
2017
Abiteboul, Serge;Bourhis, Pierre;Muscholl, Anca;Wu, Zhilin
Recursive queries on trees and data trees
the 16th International Conference
Sort by:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Publikationsdatum
Publikationsdatum (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Publikationsdatum
Publikationsdatum (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)