Refine
Has Fulltext
- yes (246) (remove)
Author
- Hamann, Wolf-Rainer (6)
- Feldmeier, Achim (5)
- Hillier, D. J. (5)
- Puls, Joachim (5)
- Schroeder, Ulrik (5)
- Bergner, Nadine (4)
- Fullerton, A. W. (4)
- Kubát, Jiří (4)
- Magenheim, Johannes (4)
- Massa, D. L. (4)
- Moffat, Anthony F. J. (4)
- Owocki, S. P. (4)
- Romeike, Ralf (4)
- Vink, J. S. (4)
- Weicker, Karsten (4)
- Blaum, Niels (3)
- Bronstert, Axel (3)
- Cairns, Paul (3)
- Cassinelli, Joseph P. (3)
- Haugsbakken, Halvdan (3)
- Ifenthaler, Dirk (3)
- Jeltsch, Florian (3)
- Keil, Reinhard (3)
- Knobelsdorf, Maria (3)
- Kujath, Bertold (3)
- Lücking, Andy (3)
- Meinel, Christoph (3)
- Oskinova, Lidia M. (3)
- Prinja, R. K. (3)
- Reinhardt, Wolfgang (3)
- Rieser, Hannes (3)
- Schulte, Carsten (3)
- Staudacher, Marc (3)
- Stone, Matthew (3)
- Townsend, R. H. D. (3)
- Badeck, Franz-Werner (2)
- Badó, Attila (2)
- Bartle, Richard (2)
- Benaglia, P. (2)
- Berges, Marc (2)
- Bogost, Ian (2)
- Bröker, Kathrin (2)
- Carlon, May Kristine Jonson (2)
- Cohen, David H. (2)
- Corti, Paola (2)
- Cox, Anna L. (2)
- Crowther, P. A. (2)
- Dagiene, Valentina (2)
- Davies, B. (2)
- Diethelm, Ira (2)
- Ebner, Martin (2)
- Egloffstein, Marc (2)
- Engbring, Dieter (2)
- Engel, Christine (2)
- Fadeev, Vladimir Ivanovič (2)
- Fitschen, Thomas (2)
- Fühner, Thea Heidi (2)
- Gayed, John Maurice (2)
- Geske, Ulrich (2)
- Glashüttner, Robert (2)
- Goltz, Hans-Joachim (2)
- Grillenberger, Andreas (2)
- Gräfener, G. (2)
- Göttel, Timo (2)
- Günzel, Stephan (2)
- Hanson, M. M. (2)
- Herre, Heinrich (2)
- Hoffstadt, Christian (2)
- Hoof, Karsten (2)
- Hubwieser, Peter (2)
- Hummel, Axel (2)
- Hüfner, Klaus (2)
- Ignace, R. (2)
- Itzerott, Sibylle (2)
- Jennett, Charlene (2)
- Juul, Jesper (2)
- Karvovskaya, Lena (2)
- Kholtygin, A. F. (2)
- Kliegl, Reinhold (2)
- Kramer, Matthias (2)
- Kreitz, Christoph (2)
- Krtička, Jiri (2)
- Leonhardt, Thiemo (2)
- Leutenegger, M. A. (2)
- Liboriussen, Bjarke (2)
- Liebe, Michael (2)
- Ljungström, Mattias (2)
- Lorenz, Anja (2)
- Lucke, Ulrike (2)
- Løvlie, Anders Sundnes (2)
- Meldgaard, Betty Li (2)
- Metzger, Christiane (2)
- Moura Santos, Ana (2)
- Mukherjee, Souvik (2)
- Märker, Michael (2)
- Mühling, Andreas (2)
- Nagenborg, Michael (2)
- Najarro, F. (2)
- Opel, Simone (2)
- Oudmaijer, R. D. (2)
- Pinchbeck, Dan (2)
- Pohl, Kirsten (2)
- Popp, Alexander (2)
- Rehak, Katrin (2)
- Reimer, A. (2)
- Rolf, Arno (2)
- Rossmanith, Eva (2)
- Rätzel, D. (2)
- Röhr, Christine Tanja (2)
- Schmidt, Michael (2)
- Schrape, Niklas (2)
- Schröder-Esselbach, Boris (2)
- Schubert, Sigrid (2)
- Schulze, Carola (2)
- Schön, Sandra (2)
- Serth, Sebastian (2)
- Sonneborn, G. (2)
- St-Louis, N. (2)
- Staubitz, Thomas (2)
- Stavropoulou, Pepi (2)
- Strecker, Manfred (2)
- Teich, Paula (2)
- Thurner, Veronika (2)
- Titov, Elena (2)
- Vogel, Melanie (2)
- Winkelnkemper, Felix (2)
- Wittke, Andreas (2)
- Yli-Jyrä, Anssi (2)
- Zehe, Erwin (2)
- de Koter, A. (2)
- Özdemir, Paker Doğu (2)
- Abdennadher, Slim (1)
- Abke, Jörg (1)
- Abramowicz, Witold (1)
- Abreu-Ellis, Carla Reis (1)
- Agodio, Badiba Olivier (1)
- Aharonian, Felix A. (1)
- Al-Saffar, Loay Talib (1)
- Alario Hoyos, Carlos (1)
- Alegria, Iñaki (1)
- Alekseeva, Diana (1)
- Alexandersson, Jan (1)
- Alexandron, Giora (1)
- Alhazova, Anna (1)
- Allegue, Laura (1)
- Amado-Salvatierra, Héctor R. (1)
- Amirkhanyan, Aragats (1)
- Andone, Diana (1)
- Angondi, Enos Kiforo (1)
- Aotani, Tomoyuki (1)
- Apel, Rebecca (1)
- Araudo, A. T. (1)
- Ardourel, Gilles (1)
- Arlettaz, Jordane (1)
- Arnold, Gabriele (1)
- Arslan, Okan (1)
- Artstein, Ron (1)
- Attias, Melissa (1)
- Audin, Michèle (1)
- Azodi, Amir (1)
- Baader, Galina (1)
- Baberowski, David (1)
- Baeriswyl, Pascale (1)
- Bakos-Kovács, Kitti (1)
- Banda, Gourinath (1)
- Bannert, Maria (1)
- Barbaiani, Mădălina (1)
- Barbas, Helena (1)
- Barkowsky, Matthias (1)
- Barnes, Jan (1)
- Barthélemy, François (1)
- Bató, Szilvia (1)
- Baudo, Valeria (1)
- Bauer, Hartmut (1)
- Baumann, Annette (1)
- Becchetti, Sibilla (1)
- Beck, Christina (1)
- Becker, Ulrike (1)
- Beirne, Elaine (1)
- Bekâŝev, Kamil (1)
- Bellettini, Carlo (1)
- Bellgardt, Martin (1)
- Belling, Detlev W. (1)
- Benacka, Jan (1)
- Bender, Esther (1)
- Bender, Katrin (1)
- Bendrups, Faye (1)
- Bentivenga, Mario (1)
- Benzmüller, Christoph (1)
- Berezovskaya, Polina (1)
- Berg, Tobias (1)
- Bergmann, Kirsten (1)
- Bernaert, Oliver (1)
- Bernd, Mike (1)
- Berndt, Sergei (1)
- Berrada, Khalid (1)
- Berry, Carol (1)
- Besner, Veronika (1)
- Bethge, Joseph (1)
- Betz, Hariolf (1)
- Beuster, Liane (1)
- Beutner, Marc (1)
- Beyssade, Claire (1)
- Bibel, Ariane (1)
- Bieniusa, Annette (1)
- Bikner-Ahsbahs, Angelika (1)
- Binder, Eva (1)
- Bischof, Ulrike (1)
- Bittorf, Robert Marten (1)
- Blackwell, Virginia Katherine (1)
- Blanc, Olivier (1)
- Blasini, Bettina (1)
- Bloch, Yanina (1)
- Blomme, R. (1)
- Bobrowa, Vera K. (1)
- Boch, Florian (1)
- Bock, Nikolai (1)
- Bock, Stefanie (1)
- Bondeau, Alberte (1)
- Bonfante, Guillaume (1)
- Bonorden, Leif (1)
- Bookhagen, Bodo (1)
- Borowski, Andreas (1)
- Bothe, Max (1)
- Bottino, Rosa (1)
- Bouret, J.-C. (1)
- Brambilla, Federica (1)
- Brandt, Christopher (1)
- Brass, Stefan (1)
- Braun, Iris (1)
- Breitlauch, Linda (1)
- Brinda, Torsten (1)
- Brown, Mark (1)
- Bruillard, Éric (1)
- Brylla, Wolfgang (1)
- Brück, Rainer (1)
- Brühl, Tanja (1)
- Buchem, Ilona (1)
- Burnley, A. W. (1)
- Buschmann, Jana (1)
- Busquets, Jaime (1)
- Busse, Beatrix (1)
- Buth, Katrin (1)
- Butt, Miriam (1)
- Buyurucu, Gamze (1)
- Bynens, Maarten (1)
- Bárdossy, András (1)
- Bóka, János (1)
- Bögel, Tina (1)
- Böhm, Klaus (1)
- Böhne, Sebastian (1)
- Böttcher, Axel (1)
- Böttcher, Karl-Ludwig (1)
- Büchner, Christiane (1)
- Büchner, Steffen (1)
- Cabalar, Pedro (1)
- Calabretto, Roberto (1)
- Callaway, Charles B. (1)
- Calvillo-Gámez, Eduardo H. (1)
- Can Bayer, Burak (1)
- Cancedda, Nicola (1)
- Cann, Ronnie (1)
- Capolongo, Domenico (1)
- Carvallo, Juan Pablo (1)
- Casacuberta, Francisco (1)
- Casiraghi, Daniela (1)
- Cecconello, Manuele (1)
- Chatti, Mohamed Amine (1)
- Chen, Sihwei (1)
- Cheng, Feng (1)
- Chené, A.-N. (1)
- Chioccariello, Augusto (1)
- Cho, J. (1)
- Cho, Shinya (1)
- Chounta, Irene-Angelica (1)
- Christensen, Rhonda (1)
- Christians, Heiko (1)
- Cisse, Ousmane (1)
- Clark, Brian (1)
- Cmil, Milena (1)
- Concia, Francesca (1)
- Congnard, Laureline (1)
- Constant, Matthieu (1)
- Coppock, Elizabeth (1)
- Coppock, Patrick (1)
- Costa, Luis Felipe Coimbra (1)
- Coulson, Geoff (1)
- Crestani, Marcus (1)
- Cross, Jeffrey S. (1)
- Cross, Jeffrey Scott (1)
- Csatlós, Erzsébet (1)
- Curzon, Paul (1)
- Czachórski, Tadeusz (1)
- Czernik, Sofie (1)
- Daciuk, Jan (1)
- Dadashnia, Sharam (1)
- Damineli, A. (1)
- Damnik, Gregor (1)
- Dance, Chris (1)
- Das, Partha-Pratim (1)
- Davis, Niki (1)
- Dawson, Virginia (1)
- DeVault, David (1)
- Degen, Markus (1)
- Delgado Kloos, Carlos (1)
- Delgado, Julio (1)
- Dennert-Möller, Elisabeth (1)
- Desel, Jörg (1)
- Despujol, Ignacio (1)
- Didakowski, Jörg (1)
- Diderichsen, Philip (1)
- Dietz, Michael (1)
- Dinger, Henriette (1)
- Dirwelis, Swenja (1)
- Distler, Petr (1)
- Dittler, Ullrich (1)
- Dixon, Fred (1)
- Doktor, Daniel (1)
- Dombert, Matthias (1)
- Domptail, Stephanie (1)
- Domsch, Horst (1)
- Dopper, Sofia (1)
- Doroshenko, Egor N. (1)
- Douence, Rémi (1)
- Draude, Claude (1)
- Drews, Paul (1)
- Drubek, Natascha (1)
- Drużbicka, Aleksandra (1)
- Duangchinda, Vorasuang (1)
- Ducourtioux, Catherine (1)
- Dulgheru, Elena (1)
- Dzikovska, Myroslava O. (1)
- Dörge, Christina (1)
- Dünnebier, Malte (1)
- Düring, Michael (1)
- Eberhardt, Felix (1)
- Ebseev, Boris S. (1)
- Echtler, Helmut Peter (1)
- Edelsbrunner, Sarah (1)
- Efird, Robert (1)
- Ehlenz, Matthias (1)
- Eickelmann, Birgit (1)
- Eirund, Helmut (1)
- Elbeshausen, Stefanie (1)
- Elkina, Margarita (1)
- Ellis, Jason Brent (1)
- Eloff, J. H. P. (1)
- Engels, Christoph (1)
- Engels, James J. (1)
- Engl, Anna-Teresa (1)
- Erb, Ulrike (1)
- Erstad, Ola (1)
- Eršova, Inna (1)
- Esveld, Selma van (1)
- Faber, Lukas (1)
- Fabian, Benjamin (1)
- Fabisz, Karol (1)
- Fan, Yang (1)
- Fazekas, Szilárd (1)
- Feinbube, Frank (1)
- Fekete, Balázs (1)
- Fell Kurban, Caroline (1)
- Fernando, Tim (1)
- Fettke, Peter (1)
- Fiedler, Adrian (1)
- Fiedlerowa, Alicja (1)
- Fietkau, Julian (1)
- Fisser, Petra (1)
- Foellmi, C. (1)
- Follmar-Otto, Petra (1)
- Fortenbacher, Albrecht (1)
- Franz, Norbert P. (1)
- Franzke, Jochen (1)
- Freckmann, Janine (1)
- Frede, Christiane (1)
- Freischlad, Stefan (1)
- Frenkel, Marcus (1)
- Friedemann, Stefan (1)
- Friedrich, Björn (1)
- Friedrich, Christoph M. (1)
- Frieß, Nina (1)
- Frister, Jonas (1)
- Froitzheim, Manuel (1)
- Frommer, Andreas (1)
- Frühwirth, Thom (1)
- Fähnrich, Cindy (1)
- Février, Loïc (1)
- Gabor, Kiss (1)
- Gallagher, John P. (1)
- Garmann, Robert (1)
- Gasbichler, Martin (1)
- Gattinger, Thorsten (1)
- Gaussier, Éric (1)
- Gawron, Marian (1)
- Gayley, K. G. (1)
- Gaál, Tamás (1)
- Gebhardt, Kai (1)
- Gebser, Martin (1)
- Gedeon, Magdolna (1)
- Gerstberger, Herbert (1)
- Gerstenberger, Dietrich (1)
- Giannatelli, Ada (1)
- Gibas, Marta (1)
- Gibson, David (1)
- Gierl, Mark J. (1)
- Gies, D. (1)
- Gimbel, Katharina (1)
- Ginzburg, Jonathan (1)
- Gioko, Anthony Maina (1)
- Gladis, Lea (1)
- Glasemann, Marie (1)
- Glittenberg, Barbara (1)
- Glowinski, Ingrid (1)
- Gojenola, Koldo (1)
- Golle, Kathleen (1)
- Golovnina, Anna (1)
- González, Jorge (1)
- Gorenstein, Dan (1)
- Grace, Paul (1)
- Granacher, Urs (1)
- Gračeva, Elena (1)
- Greven, Christoph (1)
- Grgurina, Nataša (1)
- Griesbaum, Joachim (1)
- Groh, J. H. (1)
- Gronewold, Sabine (1)
- Grospietsch, Finja (1)
- Grossmann, Wilfried (1)
- Große, Gerrit (1)
- Große-Bölting, Gregor (1)
- Gruzdeva, Anastasija (1)
- Gröger, Stefan (1)
- Gröngröft, Alexander (1)
- Guemar, Carine (1)
- Gujberová, Monika (1)
- Gull, T. R. (1)
- Gunnarsson, Logi (1)
- Guyomard, Marc (1)
- Götz, Christian (1)
- Gül, Senol (1)
- Gülbahar, Yasemin (1)
- Günther, Clemens (1)
- Günther, Oliver (1)
- Güntner, Andreas (1)
- Haag, Johann (1)
- Hadaya, Abdulmasih (1)
- Haertel, Tobias (1)
- Hafer, Jörg (1)
- Hagelia, Marianne (1)
- Hagen, Wieland (1)
- Hainzl, Sebastian (1)
- Hajdú, Dóra (1)
- Hamann, Fabian (1)
- Hannousse, Abdelhakim (1)
- Hansen-Kokoruš, Renate (1)
- Hanus, Michael (1)
- Hara, Tenshi C. (1)
- Hara, Yurie (1)
- Harrison, William (1)
- Hautli, Annette (1)
- Healey, Patrick G. T. (1)
- Hebeler, Timo (1)
- Hecht, Sonja (1)
- Heidegger, Phillip (1)
- Heinisch, Isabelle (1)
- Heinz, Wolfgang S. (1)
- Hellmann, Katharina (1)
- Helzel, Andreas (1)
- Henrichs, H. F. (1)
- Hense, Julia (1)
- Hensinger, Johannes (1)
- Hentschel, Christian (1)
- Herbstreit, Stephanie (1)
- Hernández Reyes, César Augusto (1)
- Hernández-Rizzardini, Rocael (1)
- Herpel, Nicole (1)
- Herrero, A. (1)
- Herrmann, Philipp (1)
- Herscheid, Lena (1)
- Hilse, Michael (1)
- Hinrichs, Henrik (1)
- Hinton, J. (1)
- Hintz, Martin (1)
- Hirschi, Raphael (1)
- Hodges, S. E. (1)
- Hodges, Steve (1)
- Hoffman, T. T. (1)
- Hofmann, Josefine (1)
- Hofmann, Judith (1)
- Hofmann, W. (1)
- Hofuku, Yayoi (1)
- Hohaus, Vera (1)
- Hohla-Sejkora, Katharina (1)
- Holz, Jan (1)
- Homenko, Elena (1)
- Hoppe, S. (1)
- Hoppe, Uwe (1)
- Horn, Florian (1)
- Hossa, Tymoteusz (1)
- Huber, Angela (1)
- Hucht, K. A. van der (1)
- Huczalla, Eva (1)
- Humbert, Ludger (1)
- Hurtienne, Dominik (1)
- Häfner, Tanja (1)
- Härle, Gerhard (1)
- Hölscher, Michael (1)
- Höttecke, Dietmar (1)
- Hübner, Sandra (1)
- Hünemohr, Holger (1)
- Idzik, Anna (1)
- Igel, Christoph (1)
- Ihringer, Jürgen (1)
- Ilaghef, Youssef (1)
- Ilarraza, Arantza Díaz de (1)
- Iping, R.C. (1)
- Ismail, Haythem (1)
- Ivanov, Ivaylo (1)
- Izadpanah, Babak (1)
- Izutsu, Katsunobu (1)
- Jacobsen, Dan Yngve (1)
- Jacqmin, Julien (1)
- Jacsó, Judit (1)
- Jaeger, David (1)
- Jahnke, Isa (1)
- Jaisli, Isabel (1)
- Jakoblew, Marcel (1)
- Janz, Mariska (1)
- Jekutsch, Ulrike (1)
- Jenks, Peter (1)
- Jevsikova, Tatjana (1)
- Jin, Tonje (1)
- Jones, Anthony (1)
- Joosen, Wouter (1)
- Jürgens, Norbert (1)
- Kaden, Klaus (1)
- Kahn, S. M. (1)
- Kalas, Ivan (1)
- Kallookaran, Michael (1)
- Kanemune, Susumu (1)
- Kapp, Felix (1)
- Kappe, Leonard (1)
- Karagjosova, Elena (1)
- Karp Gershon, Sa’ar (1)
- Karsten, Weicker (1)
- Karttunen, Lauri (1)
- Kastens, Uwe (1)
- Kaufmann, Hermann (1)
- Kedmi, Ganit Eshel (1)
- Kehrer, Timo (1)
- Keil, Manfred (1)
- Keir, Jonathan (1)
- Kelemen, Katalin (1)
- Kelter, Udo (1)
- Kempson, Ruth (1)
- Kennedy, Eileen (1)
- Kennewell, Steve (1)
- Kerl, Stefan (1)
- Kerr, John (1)
- Keverpütz, Claudia (1)
- Khaddage, Ferial (1)
- Khalil, Mohammad (1)
- Khaneboubi, Mehdi (1)
- Khlaisang, Jintavee (1)
- Khoury, Frederick (1)
- Kiendl, Doris (1)
- Kilis, Selcan (1)
- Kim, Seungyon (1)
- Kimmelman, Vadim (1)
- Kimmelmann, Vadim (1)
- Kindsmüller, Martin Christof (1)
- Kirjuchina, Ljuba (1)
- Klaeren, Herbert (1)
- Klann, Mechthild (1)
- Klar, Tilman-Mathies (1)
- Klein, Eckart (1)
- Klinger, Melanie (1)
- Kloos, Carlos Delgado (1)
- Kluth, Winfried (1)
- Knauel, Eric (1)
- Kneiphoff, Anika Hanna (1)
- Knezek, Gerald (1)
- Knott, Alistair (1)
- Koelle, Ralph (1)
- Koenen, Jenna (1)
- Komorek, Michael (1)
- Konert, Johannes (1)
- Kopp, Stefan (1)
- Koschnicke, Sven (1)
- Koschutnig-Ebner, Markus (1)
- Koskinen, Johanna (1)
- Koslowsky, Dirk (1)
- Koubek, Jochen (1)
- Kramer, Charlotte (1)
- Kranstedt, Alfred (1)
- Kraus, M. (1)
- Krcmar, Helmut (1)
- Krekeler, Larissa (1)
- Kriehuber, Eva (1)
- Kruijff-Korbayová, Ivana (1)
- Kruzslicz, Péter (1)
- Krömker, Detlef (1)
- Kubaczyk, Mateusz (1)
- Kubica, Tommy (1)
- Kudritzki, R.-P. (1)
- Kufner, Sabrina (1)
- Kuhnert, Matthias (1)
- Kulik, Alexei Michajlovič (1)
- Kundisch, Dennis (1)
- Kunow, Rüdiger (1)
- Kurbel, Karl (1)
- Kurschat, N. (1)
- Kusterer, D.-J. (1)
- Kusterer, Peter (1)
- Kutzner, Tobias (1)
- Kwiatkowska, Anna Beata (1)
- Kwiecien, Alexandra (1)
- Köhlmann, Wiebke (1)
- Körndle, Hermann (1)
- Köstler, Verena (1)
- Kühling, Matthias (1)
- Küppers, Bastian (1)
- Laging, Ralf (1)
- Lai, Kwok-Wing (1)
- Langerwisch, F. (1)
- Langseth, Inger (1)
- Lanz, T. (1)
- Larisch, Kathrin (1)
- Laroque, Christoph (1)
- Lascarides, Alex (1)
- Laurillard, Diana (1)
- Law, Gareth (1)
- Lawall, Julia L. (1)
- Lazarian, A. (1)
- Le Roux, Joseph (1)
- Lebeau, Gilles (1)
- Leicht-Scholten, Carmen (1)
- Lessner, Daniel (1)
- Lettow, Karsten (1)
- Lewalter, Doris (1)
- Lewin, Cathy (1)
- Leyder, J.-C. (1)
- Liermann, A. (1)
- Linck, Barbara (1)
- Linschinger, Nadine (1)
- Lipp, Silvia (1)
- Lobel, A. (1)
- Lohmann, Georg (1)
- Lonati, Violetta (1)
- Loos, Peter (1)
- Luchterhandt, Otto (1)
- Ludwig, Joachim (1)
- Längrich, Matthias (1)
- López-Tarazón, José Andrés (1)
- Lück, Erika (1)
- Maahs, Mirjam (1)
- Mac Lochlainn, Conchúr (1)
- Macerata, Elena (1)
- Mach, Michael (1)
- Macura, Zoran (1)
- Mahner, Sebastian (1)
- Maier, Jürgen (1)
- Mair, Bettina (1)
- Maisel, Markus (1)
- Malchiodi, Dario (1)
- Maldonado-Mahauad, Jorge (1)
- Marandin, Jean-Marie (1)
- Marchenko, S. V. (1)
- Mariani, Ennio (1)
- Mariani, Mario (1)
- Markmann, Friedrich (1)
- Markova, N. (1)
- Martens, Alke (1)
- Martens, Jens (1)
- Martin Garrido, F. (1)
- Martyn, Cornelia (1)
- Martín-Pintado, J. (1)
- Martínez-Monés, Alejandra (1)
- Masanek, Nicole (1)
- Mascher, Michael (1)
- Massa, D.L. (1)
- Masuhara, Hidehiko (1)
- Mattick, Volker (1)
- Mauch, Martina (1)
- Mayer, Jürgen (1)
- Mayer, Michael (1)
- McAllister, Murdock (1)
- McNicol, Sarah (1)
- Mehlmann, Nelli (1)
- Meier, Monique (1)
- Meng, Tianhui (1)
- Mercan, Duygu (1)
- Merceron, Agathe (1)
- Merkel, Florian (1)
- Mersch, Dieter (1)
- Meyer, Jork (1)
- Mezei, Péter (1)
- Michaleva, Nadezda A. (1)
- Micheuz, Peter (1)
- Mihaescu, Vlad (1)
- Miled, Mahdi (1)
- Miller, N. A. (1)
- Mills, Gregory J. (1)
- Milton, Sue (1)
- Mitjukov, Mitjukov, Michail Alekseevič (1)
- Mitsuishi, Yara (1)
- Moebert, Tobias (1)
- Moldt, Daniel (1)
- Monga, Mattia (1)
- Montenegro, Felix (1)
- Moore, Johanna D. (1)
- Morales-Chan, Miguel (1)
- Morelli, Frank (1)
- Morgiel, Anna (1)
- Morisse, Marcel (1)
- Morpurgo, Anna (1)
- Morrison, N. D. (1)
- Mossini, Eros (1)
- Mucha, Anne (1)
- Muijres, L. (1)
- Muller, Gilles (1)
- Murphy, N. (1)
- Mutti, Maria (1)
- Mägdefrau, Jutta (1)
- Mäker, Daniela (1)
- Müller, Britta-Kornelia (1)
- Müller, Christian (1)
- Müller, David (1)
- Müller, Dorothee (1)
- Müller, Petra (1)
- Müller, Wolfgang (1)
- Nagahama, Toru (1)
- Nagel, T. (1)
- Nakano, Yoshiaki (1)
- Narciss, Susanne (1)
- Narutto, Svetlana Vasil'evna (1)
- Nasyrova, Regina (1)
- Naumann, Uwe (1)
- Negrin, Maddalena (1)
- Neitzel, Britta (1)
- Nelles, Wolfgang (1)
- Nerdel, Claudia (1)
- Netzer, Cajus Marian (1)
- Neuböck, Kristina (1)
- Neugebauer, Jonas (1)
- Neuwirth, Erich (1)
- Neves, Mariana (1)
- Nic Giolla Mhichíl, Mairéad (1)
- Nielsen, K. E. (1)
- Nielson, Flemming (1)
- Nielson, Hanne Riis (1)
- Niesel, Verena (1)
- Niesen, Tim (1)
- Nilsson, Charlotta (1)
- Nishida, Tomohiro (1)
- Noerenberg, Julita (1)
- Nohr, Magnus (1)
- Nordemann, Oliver (1)
- Norkus, Oliver (1)
- Noskova, Tatiana N. (1)
- Nowak, Dawid (1)
- Nuppenau, Ernst-August (1)
- Nycz, Monika (1)
- Nycz, Tomasz (1)
- Nylén, Aletta (1)
- Oberhänsli, Roland (1)
- Oetsch, Johannes (1)
- Ohrnberger, Matthias (1)
- Ohrndorf, Laura (1)
- Okatan, Ebru (1)
- Opalka, Jakub (1)
- Or-Bach, Rachel (1)
- Oronoz, Maite (1)
- Ortega-Arranz, Alejandro (1)
- Ortiz, Pascal (1)
- Otaegi, Maialen (1)
- Ottinger, Sarah (1)
- Ouahib, Sara (1)
- Ouédraogo, Françoise (1)
- Owassapian, Dominik (1)
- Padró, Lluís (1)
- Padró, Muntsa (1)
- Paerels, F. B. S. (1)
- Palix, Nicolas (1)
- Papenfuß, Anja (1)
- Paperny, Vladimir (1)
- Park, Seongbin (1)
- Passig, David (1)
- Patuchova, Nadezda B. (1)
- Pellanda, Marina (1)
- Perach, Shai (1)
- Perscheid, Cindy (1)
- Peter, Carina (1)
- Petre, Marian (1)
- Petrow, Theresia (1)
- Petsche, Hans-Joachim (1)
- Petzer, Tatjana (1)
- Pfeiffer, Thies (1)
- Pfleger, Norbert (1)
- Pflüger, Georg A. (1)
- Pickert, Tina (1)
- Pieth, Norbert (1)
- Piller, Gunther (1)
- Piskorski, Jakub (1)
- Planteu, Lukas (1)
- Plauth, Max (1)
- Plöger, Sabrina (1)
- Poce, Antonella (1)
- Poduzova, Ekaterina (1)
- Poesio, Massimo (1)
- Pohlenz, Philipp (1)
- Polutina, Olena (1)
- Polze, Andreas (1)
- Ponce, Eva (1)
- Postier, Rüdiger (1)
- Pottbäcker, Florian (1)
- Preston, Christina (1)
- Proske, Antje (1)
- Przybylla, Mareen (1)
- Pursian, Andreas (1)
- Putten, Saskia van (1)
- Raassen, A. J. J. (1)
- Ragonis, Noa (1)
- Raimer, Stephan (1)
- Raiser, Frank (1)
- Rami Gaddem, Mohamed (1)
- Rampelt, Florian (1)
- Rathgeber, Theodor (1)
- Raue, M. (1)
- Re, Maria Rosaria (1)
- Reeh, Lucas (1)
- Reffay, Christophe (1)
- Reichwein, Wilko (1)
- Reimer, O. (1)
- Reiter, Christian (1)
- Reißner, Maria (1)
- Renans, Agata (1)
- Rensing, Christoph (1)
- Rentsch, Susanne (1)
- Reyes-Iturbide, J. (1)
- Reynolds, Nicholas (1)
- Richter, Chris (1)
- Richter, Gudrun (1)
- Richter-Gebert, Jürgen (1)
- Rick, Detlef (1)
- Riedel, Michael R. (1)
- Robra-Bissantz, Susanne (1)
- Roderus, Simon (1)
- Roelly, Sylvie (1)
- Rohde, Andreas (1)
- Rohloff, Tobias (1)
- Rolf, Meinhardt (1)
- Rombey, Wolfgang (1)
- Romero, G. E. (1)
- Rosado, M. (1)
- Roth, Dennis (1)
- Rother, R. (1)
- Rothkoegel, Anna (1)
- Ruipérez-Valiente, José A. (1)
- Runacres, M. C. (1)
- Ruzhansky, Michael (1)
- Röpke, René (1)
- Saad, S. M. (1)
- Sack, Harald (1)
- Sadkovsky, Feudor (1)
- Sadovnikova, Galina D. (1)
- Sagawe, Arno (1)
- Saget, Sylvie (1)
- Saito, Toshinori (1)
- Salden, Peter (1)
- Salvestroni, Simonetta (1)
- Saléschus, Dirk (1)
- Samaniego-Erazo, Nicolay (1)
- Sancassani, Susanna (1)
- Sande, Hannah (1)
- Sapegin, Andrey (1)
- Sauer, Jürgen (1)
- Schaber, Jörg (1)
- Schanze, Sascha (1)
- Schaper, Niclas (1)
- Schapranow, Matthieu-Patrick (1)
- Schaub, Torsten (1)
- Schell, Timon (1)
- Schenk, Nathanael (1)
- Scheppach, Lukas (1)
- Scherbaum, Frank (1)
- Schermann, Michael (1)
- Scheuermann, Bernd (1)
- Schiffhauer, Silke (1)
- Schiller, Thomas (1)
- Schirmer, Ingrid (1)
- Schlegel, Hans-Joachim (1)
- Schlierkamp, Kathrin (1)
- Schmetz, Arno (1)
- Schmid, Gerhard (1)
- Schmidt, Carmen (1)
- Schmidt, Christopher (1)
- Schmidt, Nora (1)
- Schmidt, Thilo (1)
- Schmitz, Dennis (1)
- Schnerr, R. S. (1)
- Schnurr, O. (1)
- Scholten, Nina (1)
- Scholz, Matthias (1)
- Schrijvers, Tom (1)
- Schulte, Jonas (1)
- Schulte-Ostermann, Juleka (1)
- Schultz, Christoph (1)
- Schultze, Winfried (1)
- Schulz, Karsten (1)
- Schulz, René (1)
- Schulze, Götz (1)
- Schulze, Jörg (1)
- Schumann, Marlen (1)
- Schumann, Matthias (1)
- Schwab, Marco (1)
- Schwager, Monika (1)
- Schwartz, Matthias (1)
- Schwarz, Christian (1)
- Schwarzrock, Sebastian (1)
- Schween, Michael (1)
- Schweer, Ilias (1)
- Schwengerer, Martin (1)
- Schwerer, Florian (1)
- Schwidrowski, Kirstin (1)
- Schwill, Andreas (1)
- Schwirtlich, Vincent (1)
- Schäfer, Len Ole (1)
- Schütze, Christopher (1)
- Sedelmaier, Yvonne (1)
- Seegerer, Stefan (1)
- Seeker, Wolfgang (1)
- Seipel, Dietmar (1)
- Selke, Harald (1)
- Seng, Cheyvuth (1)
- Sentance, Sue (1)
- Sethmann, Richard (1)
- Shlaka, Souhad (1)
- Shuangshuang, Guo (1)
- Siegeris, Juliane (1)
- Sitzmann, Daniel (1)
- Sliva, Anatolij J. (1)
- Smith, Nathan (1)
- Smyshliaeva, Maria (1)
- Sokolowska, Wioletta (1)
- Soldat, Cornelia (1)
- Soll, Marcus (1)
- Sommer, Michael (1)
- Spannagel, Christian (1)
- Sperber, Michael (1)
- Sprenger, Sandra (1)
- Sproede, Alfred (1)
- Srinath, Sindhu (1)
- Stahl, Lukas (1)
- Standl, Bernhard (1)
- Stechert, Peer (1)
- Steen, Alexander (1)
- Steinbeck, Hendrik (1)
- Steinert, Christian (1)
- Steinert, Markus (1)
- Steinhorst, Lars (1)
- Steinkellner, Iris (1)
- Stemme, Jonas (1)
- Stender, Peter (1)
- Stetten, Alexander von (1)
- Steuer, Horst (1)
- Stojcevic, Ivana (1)
- Straschun, Boris A. (1)
- Striewe, Michael (1)
- Stumpf, Sarah (1)
- Stupuriene, Gabriele (1)
- Sulger, Sebastian (1)
- Suonpää, Maija (1)
- Surajbali, Bholanathsingh (1)
- Susanne, Boll (1)
- Suyama, Hiroshi (1)
- Swainston, Andrew (1)
- Synessios, Natasha (1)
- Syrbe, Jörn (1)
- Sysło, Maciej M. (1)
- Syuzyukina, Oxana (1)
- Szabó, Béla P. (1)
- Szalai, Cynthia (1)
- Szeifert, T. (1)
- Szűcs, Tünde (1)
- Taeva, Natal’â (1)
- Taraschewski, Christian (1)
- Tavangarian, Djamshid (1)
- Terzieva, Liliya (1)
- Thammetar, Thapanee (1)
- Theeraroungchaisri, Anuchai (1)
- Thieken, Annegret (1)
- Thiele, Carmen (1)
- Thiele, Sven (1)
- Thiemann, Peter (1)
- Thies, Heike (1)
- Thirouard, Maria (1)
- Thomas, Gaël (1)
- Thomas, Kavita E. (1)
- Thomas, Max (1)
- Thorbrügge, Carsten (1)
- Thota, Neena (1)
- Tilch, Georg (1)
- Tillmann, Alexander (1)
- Todt, Helge Tobias (1)
- Tokar, Anna (1)
- Tomasini, Alessandra (1)
- Tomcsányi, Peter (1)
- Tompits, Hans (1)
- Topali, Paraskevi (1)
- Torelli, Mauro (1)
- Trabucchi, Stefania (1)
- Trommen, Michael (1)
- Tronicke, Jens (1)
- Truyen, Eddy (1)
- Trócsányi, Lázló (1)
- Tscherejkina, Anna (1)
- Tunç Pekkan, Zelha (1)
- Turró, Carlos (1)
- Tuszyńska, Joanna (1)
- Tzuriel, David (1)
- Uegaki, Wataru (1)
- Ungar, Patrizia (1)
- Unverricht, Katja (1)
- Urban, Diana (1)
- Urbaneja, M. A. (1)
- Utunen, Heini (1)
- Valdiviezo, Javier (1)
- Valente, Mara (1)
- Valkenburg, Willem van (1)
- Valleriani, Angelo (1)
- Van Landuyt, Dimitri (1)
- Vaníček, Jiří (1)
- Vasilevskaâ, Lûdmila (1)
- Vasiu, Radu (1)
- Vassilieva, Ekaterina (1)
- Velázquez, P. (1)
- Vielhaber, Michael (1)
- Villagrá-Sobrino, Sara L. (1)
- Villèsbrunne, Marie de la (1)
- Vlugter, Peter (1)
- Vohland, Katrin (1)
- Volger, Helmut (1)
- Vosseberg, Karin (1)
- Votruba, V. (1)
- Vries, Nardo de (1)
- Waga, Rosemary (1)
- Wahl, Marina (1)
- Waldron, W. (1)
- Walter, R. (1)
- Walter, Satjawan (1)
- Wamsley, James C. (1)
- Warlen, Maria V. (1)
- Wasilewski, Julie (1)
- Wasiolka, Bernd (1)
- Wassermann, Joachim (1)
- Watrin, Patrick (1)
- Watson, Bruce W. (1)
- Webb, Mary (1)
- Weber, Gerhard (1)
- Wedernikov, Nikolaij T. (1)
- Wegehenkel, Martin (1)
- Wegner, Christian (1)
- Wehrhahn, Olena (1)
- Weicker, Nicole (1)
- Weigend, Michael (1)
- Weingartz, Siena (1)
- Weinknecht, Elisa (1)
- Weis, K. (1)
- Weise, Martin (1)
- Weiß, Norman (1)
- Wenzlaff, Boris (1)
- Werner, K. (1)
- Weßels, Doris (1)
- Whibley, Fred (1)
- Whittaker, Michael (1)
- Wichmann, Maren (1)
- Wiemers, Gerald (1)
- Wienkop, Uwe (1)
- Wiese, Lena (1)
- Williams, Simon E. (1)
- Wiltrout, Mary Ellen (1)
- Winkler, Iris (1)
- Wiradarma, Timur Pratama (1)
- Wisniewski, Max (1)
- Wolf, Armin (1)
- Wolska, Magdalena (1)
- Wuttke, Tobias (1)
- Wöhlke, Carina (1)
- Xiaoxiao, Wang (1)
- Xue, Wei (1)
- Yokoi, Kensuke (1)
- Younie, Sarah (1)
- Yustus, Ekaterina (1)
- Zaki, Katja (1)
- Zarrieß, Sina (1)
- Zehnder, Christian (1)
- Zeilinger, Gerold (1)
- Zeitoun, Samar (1)
- Zender, Raphael (1)
- Zenin, Sergej (1)
- Zenin, Sergey S. (1)
- Zhou, Neng-Fa (1)
- Ziemann, Martin Andreas (1)
- Ziepprecht, Kathrin (1)
- Zieris, Holger (1)
- Zillgens, Birgit (1)
- Zimak, Alexander (1)
- Zimmermann, Andreas (1)
- Zimmermann, Malte (1)
- Zoerner, Dietmar (1)
- Zoltán, Péteri (1)
- Zoyke, Andrea (1)
- Zscheyge, Oliver (1)
- Zurita-Heras, J. (1)
- Zwiauer, Charlotte (1)
- Zöller, Gert (1)
- Zühlsdorf, Felix (1)
- ud-Doula, A. (1)
- van Putten, Saskia (1)
- van der Walt, Estée (1)
- von Treskow, Isabella (1)
- von Wachter, Jana-Kristin (1)
- İlkhan, Mustafa (1)
- Şahin, Muhittin (1)
- Štrok, Marko (1)
- Булгакова, Oксана (1)
- Вардиц, Владислава (1)
- Градинари, Ирина (1)
- Киршбаум, Генрих (1)
- Кононенко, Наталия (1)
- Салынский, Дмитрий (1)
- Тарковская, Марина (1)
Year of publication
Document Type
- Conference Proceeding (246) (remove)
Language
- English (186)
- German (49)
- Multiple languages (10)
- French (1)
Keywords
- Archiv (4)
- Information Structure (4)
- Nachlass (4)
- Cloud Computing (3)
- E-Learning (3)
- middleware (3)
- Constraint Solving (2)
- Deduction (2)
- EMOTIKON (2)
- Forschungsprojekte (2)
Institute
- Extern (137)
- Interdisziplinäres Zentrum für Musterdynamik und Angewandte Fernerkundung (23)
- Institut für Künste und Medien (20)
- Institut für Informatik und Computational Science (15)
- Institut für Slavistik (14)
- Institut für Physik und Astronomie (11)
- Institut für Geowissenschaften (10)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (9)
- Sonderforschungsbereich 632 - Informationsstruktur (7)
- Bürgerliches Recht (6)
Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.
Arlettaz, Jordane ; Badó, Attila ; Bakos-Kovács, Kitti ; Bató, Szilvia ; Bóka, János ; Congnard, Laureline ; Csatlós, Erzsébet ; Gedeon, Magdolna ; Guemar, Carine ; Hajdú, Dóra ; Jacsó, Judit ; Kelemen, Katalin ; Fekete, Balázs ; Kruzslicz, Péter ; Mezei, Péter ; Szűcs, Tünde ; Zoltán, Péteri ; Szabó, Béla P.
Die Konferenz „International Conference for the 10th Anniversary of the Institute of Comparative Law” hat am 24. Mai 2013 in Szeged stattgefunden. Im Rahmen der viersprachigen Konferenz haben mehr als dreißig Teilnehmer ihre Forschungsergebnisse präsentiert. Der Essay von Zoltán Péteri blickt auf die Disziplin aus der Perspektive der Wissenschaftsgeschichte. Katalin Kelemen und Balázs Fekete gehen in ihrem Aufsatz der Frage nach, welchen Weg die Versuche der Klassifikation der Rechtssysteme von Osteuropa in der späten Phase der Umbrüche der 1980/90er Jahren genommen haben. Die historische Betrachtungsweise mit Bezug auf Rechtsgeschichte und Rechtsvergleichung spiegelt sich auch in anderen Essays wider, vor allem in den Aufsätzen von Szilvia Bató, Magdolna Gedeon und Béla Szabó P. sowie auch in den Aufsätzen von Péter Mezei und Tünde Szűcs. Attila Badó analysiert die Rechtsvergleichung aus der Sicht des Rechts, der Soziologie und der Politikwissenschaft anhand von Untersuchungen über das Sanktionsystem der Richter in den USA. Diese politikwissenschaftliche Seite wird auch in den Aufsätzen über die aktuellen Fragen der europäischen Integration von Carine Guemar und Laureline Congnard betont. Eine Reihe von Aufsätzen behandeln die konventionelle normative Komparatistik auf dem Gebiet des Verfassungsrechts (Jordane Arlettaz und Péter Kruzslicz), Gesellschaftsrechts (Kitti Bakos-Kovács), Urheberrechts (Dóra Hajdú) und Steuerrechts (Judit Jacsó). Daneben bilden eine weitere Gruppe die Aufsätze von János Bóka und Erzsébet Csatlós, die die Verwendung der vergleichenden Methode in der Praxis der Rechtsprechung untersuchen. Die Rechtsvergleichung ist eine sich dynamisch entwickelnde Disziplin. Die Konferenz und dieser Band dienen nicht nur der Würdigung der bisherigen Arbeit des Instituts für Rechtsvergleichung, sondern zeigen gleichzeitig neue Ziele auf. Die wichtigsten Grundsätze bleiben aber fest verankert auch in einem sich stets verändernden rechtlichen und geistigen Umfeld. Das Motto des Instituts lautet „instruere et docere omnes qui edoceri desiderant“ – „alle lehren, die lernen wollen.“ Auch in den folgenden Jahrzehnten werden uns der Wille des Lernens und Lehrens, die Freiheit der Forschung sowie die Übertragung und Weiterentwicklung der ungarischen wie globalen Rechtskultur leiten.
In two experiments, many annotators marked antecedents for discourse deixis as unconstrained regions of text. The experiments show that annotators do converge on the identity of these text regions, though much of what they do can be captured by a simple model. Demonstrative pronouns are more likely than definite descriptions to be marked with discourse antecedents. We suggest that our methodology is suitable for the systematic study of discourse deixis.
Integral Fourier operators
(2017)
Audin, Michèle ; Ducourtioux, Catherine ; Ouédraogo, Françoise ; Schulz, René ; Delgado, Julio ; Ruzhansky, Michael ; Lebeau, Gilles
This volume of contributions based on lectures delivered at a school on Fourier Integral Operators
held in Ouagadougou, Burkina Faso, 14–26 September 2015, provides an introduction to Fourier Integral Operators (FIO) for a readership of Master and PhD students as well as any interested layperson. Considering the wide
spectrum of their applications and the richness of the mathematical tools they involve, FIOs lie the cross-road of many a field. This volume offers
the necessary background, whether analytic or geometric, to get acquainted with FIOs, complemented by more advanced material presenting various aspects of active research in that area.
Badó, Attila ; Schulze, Götz ; Günther, Oliver ; Maisel, Markus ; Trócsányi, Lázló ; Belling, Detlev W.
Der Band enthält die Vorträge, welche anlässlich der Verabschiedung von Detlev W. Belling in den Ruhestand gehalten wurden:
Der Beitrag des Ministers der Justiz von Ungarn, László Trócsányi, befasst sich mit dem Thema Demokratie, Identität und Rechtsstaat – die europäische Integration und die Mitgliedstaaten. Entwickelt wird eine Vision der Europäischen Union, die statt auf fortschreitender Zentralisierung stärker auf einer gleichberechtigten Kooperation der Mitgliedstaaten basiert. Die nationalen Verfassungsidentitäten sollen als unentbehrliche Bestandteile der nationalen Souveränität nicht der europäischen Integration geopfert werden. Vor allem der Grundsatz vom Vorrang des Unionsrechts wird in diesem Zusammenhang kritisch hinterfragt. „Integrationswut“ gelte es zu verhindern. Die Rechtsstaatlichkeit einzelner Mitgliedstaaten dürfe durch die Union nicht infrage gestellt werden.
In seiner Abschlussvorlesung geht Detlev W. Belling der Frage nach, ob und inwieweit die Ausübung der Gnadenbefugnisse durch die Gnadenträger in einem säkularen und republikanischen Rechtsstaat der gerichtlichen Kontrolle unterliegen sollte. Detailliert werden in diesem Zusammenhang nicht nur die bisherige Rechtsprechung des Bundesverfassungsgerichts und das breit gefächerte Meinungsspektrum der Literatur abgebildet. Anhand einer Vielzahl von Beispielen aus der ferneren und unmittelbaren Geschichte wird die Entwicklung des Gnadenrechts nachgezeichnet. Missbrauchsgefahren, wie sie nicht nur kennzeichnend für Diktaturen und Monarchien sind, werden aufgezeigt. Die Erkenntnisse aus der historischen Darstellung aufgreifend, wird anhand einer umfassenden Analyse der geltenden Rechtslage nachgewiesen, aus welchen Gründen die Konstitutionalisierung des Begnadigungsrechts geboten ist.
Die zwölfte Konferenz des Forschungskreises Vereinte Nationen wurde am 28. Juni 2014 an der Universität Potsdam veranstaltet und stand unter dem Thema „Konzepte für die Reform der Vereinten Nationen“. Dabei wurde das komplexe Verhältnis zwischen Reformnotwendigkeit und Machbarkeitserwartungen einerseits und ausgebliebenen weitreichenden Strukturreformen und erfolgten „kleineren“, pragmatischen Reformschritten andererseits deutlich. Mit den vier Referaten stellte die Konferenz in der Tradition der Potsdamer UNO-Konferenzen die Verbindung von Wissenschaft und Praxis unter Beteiligung unterschiedlicher Disziplinen her.
Mit der Broschüre soll allen Interessierten die Möglichkeit gegeben werden, Einblick in ausgewählte Schwerpunkte der Reformdiskussion zu erhalten:
An ein Grundsatzreferat zu bisherigen Reformprozessen im UN-System insgesamt schließen sich drei Texte an, die das Verhältnis zwischen den Vereinten Nationen und den nichtstaatlichen Akteuren in den Blick nehmen, die relativ neue Institution des Menschenrechtsrates als Teil der Reformbemühungen betrachten und schließlich Ergebnisse und Trends bei den Reformen der Arbeitsmethoden des Sicherheitsrates erörtern.
Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.
Barbaiani, Mădălina ; Cancedda, Nicola ; Dance, Chris ; Fazekas, Szilárd ; Gaál, Tamás ; Gaussier, Éric
This article describes a HMM-based word-alignment method that can selectively enforce a contiguity constraint. This method has a direct application in the extraction of a bilingual terminological lexicon from a parallel corpus, but can also be used as a preliminary step for the extraction of phrase pairs in a Phrase-Based Statistical Machine Translation system. Contiguous source words composing terms are aligned to contiguous target language words. The HMM is transformed into a Weighted Finite State Transducer (WFST) and contiguity constraints are enforced by specific multi-tape WFSTs. The proposed method is especially suited when basic linguistic resources (morphological analyzer, part-of-speech taggers and term extractors) are available for the source language only.
This paper describes a two-level formalism where feature structures are used in contextual rules. Whereas usual two-level grammars describe rational sets over symbol pairs, this new formalism uses tree structured regular expressions. They allow an explicit and precise definition of the scope of feature structures. A given surface form may be described using several feature structures. Feature unification is expressed in contextual rules using variables, like in a unification grammar. Grammars are compiled in finite state multi-tape transducers.