Search

Your search keyword '"Buchs A"' showing total 127 results
Start Over Author "Buchs A" Publisher springer berlin heidelberg
127 results on '"Buchs A"'

12. Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies

Author

Pura, Mihai Lica, Buchs, Didier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Koutny, Maciej, editor, Desel, Jörg, editor, and Haddad, Serge, editor

Published
2015
Full Text
View/download PDF

16. Obstacle Identification and Avoidance Using the ‘EyeCane’: a Tactile Sensory Substitution Device for Blind Individuals

Author

Buchs, Galit, Maidenbaum, Shachar, Amedi, Amir, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Auvray, Malika, editor, and Duriez, Christian, editor

Published
2014
Full Text
View/download PDF

17. Unifying the Semantics of Modular Extensions of Petri Nets

Author

Marechal, Alexis, Buchs, Didier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Colom, José-Manuel, editor, and Desel, Jörg, editor

Published
2013
Full Text
View/download PDF

18. Endoscopic Image Overlay for the Targeting of Hidden Anatomy in Laparoscopic Visceral Surgery

Author

Fusaglia, Matteo, Gavaghan, Kate, Beldi, Guido, Volonté, Francesco, Pugin, François, Peterhans, Matthias, Buchs, Nicolas, Weber, Stefan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Linte, Cristian A., editor, Chen, Elvis C. S., editor, Berger, Marie-Odile, editor, Moore, John T., editor, and Holmes, David R., III, editor

Published
2013
Full Text
View/download PDF

19. Report on the Model Checking Contest at Petri Nets 2011

Author

Kordon, Fabrice, Linard, Alban, Buchs, Didier, Colange, Maximilien, Evangelista, Sami, Lampka, Kai, Lohmann, Niels, Paviot-Adet, Emmanuel, Thierry-Mieg, Yann, Wimmel, Harro, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jensen, Kurt, editor, van der Aalst, Wil M., editor, Ajmone Marsan, Marco, editor, Franceschinis, Giuliana, editor, Kleijn, Jetty, editor, and Kristensen, Lars Michael, editor

Published
2012
Full Text
View/download PDF

20. A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis

Author

Sedlmajer, Nicolas, Buchs, Didier, Hostettler, Steve, Linard, Alban, López Bóbeda, Edmundo, Marechal, Alexis, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jensen, Kurt, editor, van der Aalst, Wil M., editor, Ajmone Marsan, Marco, editor, Franceschinis, Giuliana, editor, Kleijn, Jetty, editor, and Kristensen, Lars Michael, editor

Published
2012
Full Text
View/download PDF

21. Experience-Based Model Refinement

Author

Buchs, Didier, Hostettler, Steve, Marechal, Alexis, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Troubitsyna, Elena A., editor

Published
2011
Full Text
View/download PDF

22. AlPiNA: A Symbolic Model Checker

Author

Buchs, Didier, Hostettler, Steve, Marechal, Alexis, Risoldi, Matteo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lilius, Johan, editor, and Penczek, Wojciech, editor

Published
2010
Full Text
View/download PDF

23. AlPiNA: An Algebraic Petri Net Analyzer

Author

Buchs, Didier, Hostettler, Steve, Marechal, Alexis, Risoldi, Matteo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Esparza, Javier, editor, and Majumdar, Rupak, editor

Published
2010
Full Text
View/download PDF

25. Colorectal Foreign Bodies

Author

Buchs, Nicolas C., Robert-Yap, Joan, Roche, Bruno, Givel, Jean-Claude R., editor, Mortensen, Neil, editor, and Roche, Bruno, editor

Published
2010
Full Text
View/download PDF

27. Composing Visual Syntax for Domain Specific Languages

Author

Pedro, Luis, Risoldi, Matteo, Buchs, Didier, Barroca, Bruno, Amaral, Vasco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Jacko, Julie A., editor

Published
2009
Full Text
View/download PDF

28. Model Checking Techniques for Test Generation from Business Process Models

Author

Buchs, Didier, Lucio, Levi, Chen, Ang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kordon, Fabrice, editor, and Kermarrec, Yvon, editor

Published
2009
Full Text
View/download PDF

29. A Language and a Methodology for Prototyping User Interfaces for Control Systems

Author

Risoldi, Matteo, Amaral, Vasco, Barroca, Bruno, Bazargan, Kaveh, Buchs, Didier, Cretton, Fabian, Falquet, Gilles, Le Calvé, Anne, Malandain, Stéphane, Zoss, Pierrick, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Lalanne, Denis, editor, and Kohlas, Jürg, editor

Published
2009
Full Text
View/download PDF

30. Formal Test Generation from UML Models

Author

Buchs, Didier, Pedro, Luis, Lúcio, Levi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kohlas, Jürg, editor, Meyer, Bertrand, editor, and Schiper, André, editor

Published
2006
Full Text
View/download PDF

31. Prototyping Domain Specific Languages with COOPN

Author

Pedro, Luis, Lucio, Levi, Buchs, Didier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Guelfi, Nicolas, editor, and Savidis, Anthony, editor

Published
2006
Full Text
View/download PDF

32. Towards Service-Based Business Process Modeling, Prototyping and Integration

Author

Chen, Ang, Buchs, Didier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Guelfi, Nicolas, editor, and Savidis, Anthony, editor

Published
2006
Full Text
View/download PDF

33. A Methodology and a Framework for Model-Based Testing

Author

Lucio, Levi, Pedro, Luis, Buchs, Didier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Guelfi, Nicolas, editor

Published
2005
Full Text
View/download PDF

34. Prototyping Object Oriented Specifications

Author

Al-Shabibi, Ali, Buchs, Didier, Buffo, Mathieu, Chachkov, Stanislav, Chen, Ang, Hurzeler, David, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, van der Aalst, Wil M. P., editor, and Best, Eike, editor

Published
2003
Full Text
View/download PDF

35. Real-Time Synchronised Petri Nets

Author

Di Marzo Serugendo, Giovanna, Mandrioli, Dino, Buchs, Didier, Guelfi, Nicolas, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Esparza, Javier, editor, and Lakos, Charles, editor

Published
2002
Full Text
View/download PDF

39. The role of perineal application of prophylactic negative-pressure wound therapy for prevention of wound-related complications after abdomino-perineal resection: a systematic review

Author

Ziad Abbassi, Nicolas C. Buchs, Jeremy Meyer, Elin Roos, Christian Toso, and Frédéric Ris

Subjects
medicine.medical_specialty, Wound therapy, medicine.medical_treatment, MEDLINE, Review, Perineum, Negative-pressure wound therapy, Internal medicine, medicine, Humans, Surgical Wound Infection, Rectal cancer, Wound Healing, Proctectomy, integumentary system, business.industry, Wound dehiscence, Rectal Neoplasms, Gastroenterology, Hepatology, Abdomino perineal resection, medicine.disease, Colorectal cancer, Surgery, Lower incidence, Perineal infection, business, Infection, Surgical site infection, Abdomino-perineal amputation, Negative-Pressure Wound Therapy, Abdomino-perineal resection
Abstract

Background Closed perineal wounds often fail to heal by primary intention after abdomino-perineal resection (APR) and are often complicated by surgical site infection (SSI) and/or wound dehiscence. Recent evidence showed encouraging results of prophylactic negative-pressure wound therapy (pNPWT) for prevention of wound-related complications in surgery. Our objective was to gather and discuss the early existing literature regarding the use of pNPWT to prevent wound-related complications on perineal wounds after APR. Methods Medline, Embase, and Web of Science were searched for original publications and congress abstracts reporting the use of pNPWT after APR on closed perineal wounds. Results Seven publications were included for analysis. Two publications reported significantly lower incidence of SSI in pNPWT patients than in controls with a risk reduction of about 25–30%. Two other publications described similar incidences of SSI between the two groups of patients but described SSI in pNPWT patients to be less severe. One study reported significantly lower incidence of wound dehiscence in pNPWT patients than in controls. Conclusion The largest non-randomized studies investigating the effect of pNPWT on the prevention of wound-related complications after APR showed encouraging results in terms of reduction of SSI and wound dehiscence that deserve further investigation and confirmation.

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results