io-port 06084968 Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad

Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 492-495 (2012).

io-port 06037802 Schmidt, Renate A.

J. Appl. Log. 10, No. 1, 52-74 (2012).

io-port 50092593 Schmidt-Richberg, Alexander; Werner, René; Handels, Heinz; Ehrhardt, Jan

Medical Image Analysis 16, No. 1, 150-159 (2012).

io-port 05993043 Gerling, Kathrin; Fuchslocher, Alberto; Schmidt, Ralf; Krämer, Nicole; Masuch, Maic

Anacleto, Junia Coutinho (ed.) et al., Entertainment computing ‒ ICEC 2011. 10th international conference, ICEC 2011, Vancouver, Canada, October 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24499-5/pbk). Lecture Notes in Computer Science 6972, 198-209 (2011).

io-port 05981924 Schmidt, Rainer; Rella, Matthias

Xing, Chunxiao (ed.) et al., Digital libraries: for cultural heritage, knowledge dissemination, and future creation. 13th international conference on Asia-Pacific digital libraries, ICADL 2011, Beijing, China, October 24‒27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24825-2/pbk). Lecture Notes in Computer Science 7008, 172-181 (2011).

io-port 05973297 de O.Schmidt, Ricardo; Pras, Aiko; Gomes, Reinaldo

Lehnert, Ralf (ed.), Energy-aware communications. 17th international workshop, EUNICE 2011, Dresden, Germany, September 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23540-5/pbk). Lecture Notes in Computer Science 6955, 31-42 (2011).

io-port 05967842 Bider, Ilia; Johannesson, Paul; Schmidt, Rainer

Mouratidis, Haralambos (ed.) et al., Advanced information systems engineering. 23rd international conference, CAiSE 2011, London, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21639-8/pbk). Lecture Notes in Computer Science 6741, 299-313 (2011).

io-port 05962909 de O.Schmidt, Ricardo; Pras, Aiko

Chrisment, Isabelle (ed.) et al., Managing the dynamics of networks and services. 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13‒17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21483-7/pbk). Lecture Notes in Computer Science 6734, 169-172 (2011).

io-port 05935006 Schmidt, Renate A. (ed.); Pienka, Brigitte (ed.)

J. Autom. Reasoning 47, No. 2, 107-227 (2011).

io-port 05924302 Schmidt, Robert K.; Kloiber, Bernhard; Schüttler, Florian; Strang, Thomas

Strang, Thomas (ed.) et al., Communication technologies for vehicles. Third international workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19785-7/pbk). Lecture Notes in Computer Science 6596, 176-188 (2011).

io-port 05923025 Schmidt, Renate A.; Tishkovsky, Dmitry

Comput. Res. Repos. 2011, Article No. 1104.4131 (2011).

io-port 05916716 Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad

Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 242-247 (2011).

io-port 05908614 Schmidt, Renate A.

de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 ‒ June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 40-49 (2011).

io-port 05900075 Schmidt, Renate A.; Tishkovsky, Dmitry

Log. Methods Comput. Sci. 7, No. 2, Paper No. 6, 32 p., electronic only (2011).

io-port 05898325 Bruno, Giorgio; Dengler, Frank; Jennings, Ben; Khalaf, Rania; Nurcan, Selmin; Prilla, Michael; Sarini, Marcello; Schmidt, Rainer; Silva, Rito

J. Softw. Maint. Evol., Res. Pract. 23, No. 4, 297-326 (2011).

io-port 50042768 Ehrhardt, Jan; Werner, René; Schmidt-Richberg, Alexander; Handels, Heinz

IEEE Trans. Med. Imaging 30, No. 2, 251-265 (2011).

io-port 50043503 Murphy, Keelin; Van Ginneken, Bram; Reinhardt, Joseph M.; Kabus, Sven; Ding, Kai; Deng, Xiang; Cao, Kunlin; Du, Kaifang; Christensen, Gary E.; Garcia, Vincent; Vercauteren, Tom; Ayache, Nicholas; Commowick, Olivier; Malandain, Grégoire; Glocker, Ben; Paragios, Nikos; Navab, Nassir; Gorbunova, Vladlena; Sporring, Jon; De Bruijne, Marleen; Han, Xiao; Heinrich, Mattias P.; Schnabel, Julia A.; Jenkinson, Mark; Lorenz, Cristian; Modat, Marc; Mcclelland, Jamie; Ourselin, Sébastien; Muenzing, Sascha E. A.; Viergever, Max A.; De Nigris, Dante; Collins, D. Louis; Arbel, Tal; Peroni, Marta; Li, Rui; Sharp, Gregory C.; Schmidt-Richberg, Alexander; Ehrhardt, Jan; Werner, René; Smeets, Dirk; Loeckx, Dirk; Song, Gang; Tustison, Nicholas J.; Avants, Brian B.; Gee, James C.; Staring, Marius; Klein, Stefan; Stoel, Berend C.; Urschler, Martin; Werlberger, Manuel; Vandemeulebroucke, Jef; Rit, Simon; Sarrut, David; Pluim, Josien P. W.

IEEE Trans. Med. Imaging 30, No. 11, 1901-1920 (2011).

io-port 50088503 Stam, Jos; Schmidt, Ryan

ACM Trans. Graph. 30, No. 3, 21 (2011).

io-port 50235870 Mckinley, R. Andy; Mcintire, Lindsey K.; Schmidt, Regina; Repperger, Daniel W.; Caldwell, John A.

Human Factors 53, No. 4, 403-414 (2011).

io-port 50267883 Takayama, Kenshi; Schmidt, Ryan; Singh, Karan; Igarashi, Takeo; Boubekeur, Tamy; Sorkine, Olga

Comput. Graph. Forum 30, No. 2, 613-622 (2011).