Search results for "IR-laser"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Nobuchika Sakata, Shu Okamoto, Shogo Nishida	Applications of Visible Light Path Laser Projector.	HCI (8)	2009	DBLP DOI BibTeX RDF	Visible Light Path Laser, VLLP, Laser projector, Remote collaboration
80	Zhuo Gao, Ji Luo 0003, Hu Huang 0001, Wei Zhang, Joseph B. Bernstein	Reliable Laser Programmable Gate Array Technology.	ISQED	2002	DBLP DOI BibTeX RDF	Laser Programmable Gate Array (LPGA), Laser Field-Programmable Gate Array (LFPGA), MakeLink technology, laser-induced/laser programmable anti-fuse, digital ASIC design, low electrical resistance anti-fuse, Field-Programmable Gate Array (FPGA)
80	John Laurent, Mario Talbot, Michel Douce	Road Surface Inspection using Laser Scanners Adapted for the High Precision Measurements of Large Flat Surfaces.	3DIM	1997	DBLP DOI BibTeX RDF	optical scanners, road surface inspection, high precision 3D measurements, large flat surfaces, optical configuration, autosynchronized laser scanning, classical triangulation methods, road inspection system, laser telemetry, autosynchronized laser scanners, intensity profiles, measure rutting, cracking conditions, 3D road profiles, pavement section, laser scanners
80	Brad A. Myers, Rishi Bhatnagar, Jeffrey Nichols 0001, Choon Hong Peck, Dave Kong, Robert C. Miller, A. Chris Long	Interacting at a distance: measuring the performance of laser pointers and other devices.	CHI	2002	DBLP DOI BibTeX RDF	user studies, interaction techniques, input devices, handhelds, pebbles, laser pointers, remote interaction, palm pilots
79	Martin Habbecke, Leif Kobbelt	Laser brush: a flexible device for 3D reconstruction of indoor scenes.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF
74	Jessica Burgner, Jörg Raczkowsky, Heinz Wörn	End-effector calibration and registration procedure for robot assisted laser material processing: Tailored to the particular needs of short pulsed CO2 laser bone ablation.	ICRA	2009	DBLP DOI BibTeX RDF
73	Kiyoshi Oka, Akihiro Naganawa, Hiromasa Yamashita, Tetsuya Nakamura, Toshio Chiba	Composite-Type Optical Fiberscope for Laser Surgery for Twin-to-Twin Transfusion Syndrome.	MIAR	2008	DBLP DOI BibTeX RDF	Fetoscopic surgery, Yb fiber laser ablation, Composite-type optical fiberscope
73	Shen Tao, Song Jian-she	Laser Menace Identifying Based on Fuzzy Decision.	FSKD (4)	2007	DBLP DOI BibTeX RDF
67	James Clark 0001, Emanuele Trucco, H.-F. Cheung	Improving Laser Triangulation Sensors Using Polarization.	ICCV	1995	DBLP DOI BibTeX RDF	laser beam applications, polarisation, laser triangulation sensors, polarization based vision, laser light, highly specularly reflective surfaces, visible reflections, range measurements, multiple specular inter reflections, metal components, object detection, disambiguating, image sensors, image processing equipment, range sensors, detection algorithms
67	Yusheng Feng, David Fuentes 0001, Andrea Hawkins, Jon Bass, Marissa Nichole Rylander, Andrew Elliott, Anil Shetty, R. Jason Stafford, J. Tinsley Oden	Nanoshell-mediated laser surgery simulation for prostate cancer treatment.	Eng. Comput.	2009	DBLP DOI BibTeX RDF	Laser-induced thermal therapy, Nanoparticles, Laser-tissue interaction, Bioheat transfer, Finite element method, Prostate cancer
67	Muhua Liu, Luring Zhang, Enyou Guo	Hyperspectral Laser-induced Fluorescence Imaging for Nondestructive Assessing Soluble Solids Content of Orange.	CCTA	2007	DBLP DOI BibTeX RDF	laser-induced fluorescence, orange, soluble solids content, hyperspectral imaging
65	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
60	Benjamin Sheahan, John W. Fattaruso, Jennifer Wong, Karlheinz Muth, Boris Murmann	4.25 Gb/s laser driver: design challenges and EDA tool limitations.	DAC	2006	DBLP DOI BibTeX RDF	electrical to optical interface, laser diode, laser driver
60	Young Sang Choi, Cressel D. Anderson, Jonathan D. Glass, Charles C. Kemp	Laser pointers and a touch screen: intuitive interfaces for autonomous mobile manipulation for the motor impaired.	ASSETS	2008	DBLP DOI BibTeX RDF	amyotrophic lateral sclerosis, laser pointer interface, human-robot interaction, mobile manipulation, assistive robot, ALS
60	Zhenyu Wang, Linghong Zhou, Chaomin Chen, Anyang Wei, Qian Ni, Lin Zhu	Biological Thermal Effects Analysis of High Power Laser for BPH.	BMEI (1)	2008	DBLP DOI BibTeX RDF	thermal effect, thermal damage, biological tissue, BPH, laser
60	Takashi Suzuki, Youhei Nishida, Etsuko Kobayashi, Takayuki Tsuji, Tsuneo Fukuyo, Michihiro Kaneda, Kozo Konishi, Makoto Hashizume, Ichiro Sakuma	Development of a Robotic Laser Surgical Tool with an Integrated Video Endoscope.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
60	Anne Webster, Donna Tatro, Cindy Sanford, Linda Downing, Lisa Covi	Micro labs and laser printing: scenarios and solutions.	SIGUCCS	1987	DBLP DOI BibTeX RDF
54	Christian Wienss, Igor N. Nikitin, Gernot Goebbels, Klaus Troche, Martin Göbel, Lialia Nikitina, Stefan Müller 0002	Sceptre: an infrared laser tracking system for virtual environments.	VRST	2006	DBLP DOI BibTeX RDF	IR-laser, laser pattern, tracking, 3D-reconstruction
54	Kentaro Ishii, Shengdong Zhao, Masahiko Inami, Takeo Igarashi, Michita Imai	Designing Laser Gesture Interface for Robot Control.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	stroke gesture, user interface, human-robot interaction, laser pointer
54	Nam Woo Kim, Seung Jae Lee, Byung-Gook Lee, Joon-Jae Lee	Vision Based Laser Pointer Interaction for Flexible Screens.	HCI (2)	2007	DBLP DOI BibTeX RDF	determining the mouse interaction, recognize laser spot, nonlinear mapping function, camera calibration, Vision-based interaction
53	Ole Mende, Michael Redeker, Markus Rudack, Dieter Treytnar	A Multifunctional Laser Linking and Cutting Structure for Standard 0.25 mum CMOS-Technology.	DFT	2000	DBLP DOI BibTeX RDF
52	J.-Angelo Beraldin, Luc Cournoyer, Marc Rioux, François Blais, Sabry F. El-Hakim, Guy Godin	Object Model Creation from Multiple Range Images: Acquisition, Calibration, Model Building and Verification.	3DIM	1997	DBLP DOI BibTeX RDF	object model creation, multiple range images, prototype laser range camera, laser survey, orbiter docking system, image registration process, theodolites, single point accuracy, image registration, calibration, model building
47	Fei Xing, Weijun Liu, Kai Zhang, Xiaofeng Shang, Tianran Wang	Intelligent Metal Powder Laser Forming System.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Metal Power Laser Forming, laser cladding, apparatus, monitor, control
47	Quentin A. Holmes, Xintong Zhang, Dongming Zhao 0001	Multiresolution surface feature analysis for automatic target identification based on laser radar images.	ICIP (3)	1997	DBLP DOI BibTeX RDF	optical radar, multiresolution surface feature analysis, automatic target identification, laser radar images, range image data, laser radar imagers, defense industries, manufacturing industries, multiscale features, input parameters, target classification, automatic target recognition, geometrical feature, hybrid approach, classification method
47	Nikolaos G. Bourbakis, Richard Andel	Fusing Laser and Image Data for 3D Perceived Space Representations.	ICTAI	1997	DBLP DOI BibTeX RDF	laser data, 3D perceived space representations, fusion process, laser range data, segmented image data, human expertise, sloped surfaces, inspection machine, complex manufacturing environment, visual navigation device, 3D perceived shape representation, modeling environment, image segmentation, autonomous robot, image data, 3D environments
47	Douglas E. Becker, James N. Turner, Howard L. Tanenbaum, Badrinath Roysam	Real-time image processing algorithms for an automated retinal laser surgery system.	ICIP	1995	DBLP DOI BibTeX RDF	laser applications in medicine, real-time image processing algorithms, automated retinal laser surgery system, ophthalmic disorders, computer-controlled instrument, core image-processing methods, retinal map computation, retinal landmark feature points detection, retinal angiograms montaging, real-time image tracking, feature-based method, feature-tagged point sets, real-time systems, medical image processing, surgery, eye
47	Yongqiang Qin, Yuanchun Shi, Hao Jiang, Chun Yu	Structured laser pointer: enabling wrist-rolling movements as a new interactive dimension.	AVI	2010	DBLP DOI BibTeX RDF	performance exploration, structured laser pointer, wrist-rolling movements
47	Liang Zhang, Yuanchun Shi, Boliang Chen	NALP: Navigating Assistant for Large Display Presentation Using Laser Pointer.	ACHI	2008	DBLP DOI BibTeX RDF	Space Segmentation, Presentation Control, Large Display, Laser Pointer, Direct Interaction
47	Kevin J. Bowers, Brian J. Albright, Ben Bergen 0002, Lin Yin, Kevin J. Barker, Darren J. Kerbyson	0.374 Pflop/s trillion-particle kinetic modeling of laser plasma interaction on Roadrunner.	SC	2008	DBLP DOI BibTeX RDF	inertial confinement fusion, laser plasma instability, petaflop, high performance computing, memory management, heterogeneous architecture, particle in cell
47	François Blais, J.-Angelo Beraldin	Recent Developments in 3D Multi-modal Laser Imaging Applied to Cultural Heritage.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Tracking, Texture mapping, Color, 3D modeling, Motion compensation, Laser scanner, Range sensor, Dynamic imaging
47	Geyan Fu, Jianjun Shi, Tuo Shi	Analyze and Research of Corrosion Resistance of Laser Cladding Layer on the Anti-Acid Stainless Steel Surface.	PROLAMAT	2006	DBLP DOI BibTeX RDF	laser cladding, plasma spray welding, corrosion resistance
47	Noriaki Yamanaka, Hiromasa Yamashita, Ken Masamune, Hongen Liao, Toshio Chiba, Takeyoshi Dohi	A Coaxial Laser Endoscope with Arbitrary Spots in Endoscopic View for Fetal Surgery.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
47	Dilan Amarasinghe, George K. I. Mann, Ray G. Gosine	Moving Object Detection in Indoor Environments Using Laser Range Data.	IROS	2006	DBLP DOI BibTeX RDF
47	G. Wild, Yvon Savaria, Michel Meunier	Characterization of laser-induced photoexcitation effect on a surrounding CMOS ring oscillator.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
47	C. Germain, Ying Y. Tsui	Femtosecond Laser Induced Forward Transfer of Materials.	ICMENS	2003	DBLP DOI BibTeX RDF
47	Ilko K. Ilev, Ronald W. Waynant	Infrared tissue imaging at on-the-spot laser delivery using an all-optical-waveguide transmitting system.	ISBI	2002	DBLP DOI BibTeX RDF
47	Toshihiko Sasama, Nobuhiko Sugano, Yoshinobu Sato, Yasuyuki Momoi, Tsuyoshi Koyama, Yoshikazu Nakajima, Ichiro Sakuma, Masakatsu G. Fujie, Kazuo Yonenobu, Takahiro Ochi, Shinichi Tamura	A Novel Laser Guidance System for Alignment of Linear Surgical Tools: Its Principles and Performance Evaluation as a Man-Machine System.	MICCAI (2)	2002	DBLP DOI BibTeX RDF
47	Shan Huang, Huafeng Zhao, Lin Xue	Frequency stabilization of FBG external cavity laser diode.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
46	Chuangming Shi, Xinyu Duan	3D Simulation Technology of Cultural Relics in the Digitalized Yin Ruins.	HCI (14)	2007	DBLP DOI BibTeX RDF	Yin Ruin’s Museum, modeling, texture mapping, digitalization, laser scanning, 3D simulation
45	David G. Mathisen, Robert W. Carey	Orchestrating shots for the national ignition racility.	SIGAda	2005	DBLP DOI BibTeX RDF	java, XML, architecture, concurrency, workflow, framework, CORBA, multi-threaded, state machine, model-based, data driven, Ada95
41	Andreea-Rodica Sterian	Computer Modeling of the Coherent Optical Amplifier and Laser Systems.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	optical amplifier, rate equations, Runge, Kutta method, host material, photon pumping, crystal laser, fiber laser, erbium doped medium, pump wavelength, coherence, numerical simulation
41	Risheng Long, Weijun Liu, Xiaofeng Shang	Numerical Simulation of Transient Temperature Field for Laser Direct Metal Shaping.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Laser Direct Metal Shaping, Transient temperature field, laser cladding, Numerical simulation
41	Dimitri Papadopoulos-Orfanos, Francis Schmitt	Automatic 3 -- D Digitization using a Laser Rangefinder with a Small Field of View.	3DIM	1997	DBLP DOI BibTeX RDF	surface digitization, 3-D digitization, 3-D laser rangefinder, path planning techniques, collision avoidance, image sensors, digitized object, laser rangefinder
41	Réjean Baribeau, Marc Rioux, Guy Godin	Color Reflectance Modeling Using a Polychromatic Laser Range Sensor.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	3D shape measurement, colour reflectance modelling, computer colour vision, polychromatic laser range sensor, Fresnel reflectance, spectral reflectance modeling, pigmentation, measurement by laser beam, reflectometry, computer vision, reflectivity, computerised pattern recognition, triangulation, color images, image sensors, colour, surface orientation, diffuse reflectance, bidirectional reflectance-distribution functions, spatial variables measurement
41	Ming Zhou, Wenzhong Liu, Lei Wan	Multi-information Fusion and Identification System for Laser Welding.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Laser welding, SVM, Feature extraction
41	Björn Schwerdtfeger, Daniel Pustka, Andreas Hofhauser, Gudrun Klinker	Using laser projectors for augmented reality.	VRST	2008	DBLP DOI BibTeX RDF	industrial augmented reality, laser projector, augmented reality
41	Charles C. Kemp, Cressel D. Anderson, Hai Nguyen, Alexander J. Trevor, Zhe Xu	A point-and-click interface for the real world: laser designation of objects for mobile manipulation.	HRI	2008	DBLP DOI BibTeX RDF	3d point estimation, autonomous manipulation, deictic, laser pointer interface, object fetching, robot, human-robot interaction, mobile manipulation, assistive robotics, catadioptric camera
41	Neil Littell, Kari Babski-Reeves, Gary McFadyen, John McGinley	Musculoskeletal and Performance Effects of Monocular Display Augmented, Articulated Arm Based Laser Digitizing.	HCI (17)	2007	DBLP DOI BibTeX RDF	Monocular Display, Augmented Reality Interface, Laser Digitizing, Head Mounted Display, HMD
41	Hee-Jun Kang, Jeong-Woo Jeong, Sung-Weon Shin, Young Soo Suh, Young Shick Ro	Autonomous Kinematic Calibration of the Robot Manipulator with a Linear Laser-Vision Sensor.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Autonomous Kinematic Calibration, Linear Laser-Vision Sensor, Closed-Loop Constraints, Straight Line String
41	Ofer M. Shir, Christian Siedschlag, Thomas Bäck, Marc J. J. Vrakking	The complete-basis-functions parameterization in ES and its application to laser pulse shaping.	GECCO	2006	DBLP DOI BibTeX RDF	evolution strategies, parameterization, laser pulse shaping
41	Lu-Xingchang, Liu-Xianlin	Reconstruction of 3D Model Based on Laser Scanning.	3D-GIS	2006	DBLP DOI BibTeX RDF	image segmentation, image registration, Laser scanning, Three-dimensional modelling
41	Rong Zheng 0002, Zhenglin Wang, Kamal E. Alameh	An Opto-VLSI Based Tunable Fiber Ring Laser.	DELTA	2006	DBLP DOI BibTeX RDF	Opto-VLSI processing, Erbium-doped fiber (EDF), tunable fiber laser
41	Benjamin A. Ahlborn, David Thompson, Oliver Kreylos, Bernd Hamann, Oliver G. Staadt	A practical system for laser pointer interaction on large displays.	VRST	2005	DBLP DOI BibTeX RDF	interaction, tiled displays, laser pointer
41	Haris Baltzakis, Antonis A. Argyros, Panos E. Trahanias	Fusion of laser and visual data for robot motion planning and collision avoidance.	Mach. Vis. Appl.	2003	DBLP DOI BibTeX RDF	Sensor fusion, Motion planning, Stereo vision, Collision avoidance, Laser range scanner
41	Huijing Zhao, Ryosuke Shibasaki	Reconstructing a textured CAD model of an urban environment using vehicle-borne laser range scanners and line cameras.	Mach. Vis. Appl.	2003	DBLP DOI BibTeX RDF	Urban outdoor, Line camera, 3D modeling, Mobile system, Laser range scanner
40	Fang Yuan, Agnes Swadzba, Roland Philippsen, Orhan Engin, Marc Hanheide, Sven Wachsmuth	Laser-based navigation enhanced with 3D time-of-flight data.	ICRA	2009	DBLP DOI BibTeX RDF
40	Dilan Amarasinghe, George K. I. Mann, Ray G. Gosine	Integrated laser-camera sensor for the detection and localization of landmarks for robotic applications.	ICRA	2008	DBLP DOI BibTeX RDF
40	Shao-Wen Yang, Chieh-Chih Wang	Dealing with laser scanner failure: Mirrors and windows.	ICRA	2008	DBLP DOI BibTeX RDF
40	Thinh M. Le, Joseph S. Paul, Hasan Al-Nashash, A. Tan, Andreas R. Luft, Fwu-Shan Sheu, Sim Heng Ong	New Insights into Image Processing of Cortical Blood Flow Monitors Using Laser Speckle Imaging.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
40	Masamitsu Kurisu, Hiroki Muroi, Yasuyoshi Yokokohji	Calibration of laser range finder with a genetic algorithm.	IROS	2007	DBLP DOI BibTeX RDF
40	Fumihito Arai, Toshiaki Endo, Hisataka Maruyama, Toshio Fukuda, Toshimi Shimizu, Shoko Kamiya	3D Manipulation of lipid nanotubes using laser trapped functional gel microbeads.	IROS	2007	DBLP DOI BibTeX RDF
40	Jinshi Cui, Hongbin Zha, Huijing Zhao, Ryosuke Shibasaki	Robust Tracking of Multiple People in Crowds Using Laser Range Scanners.	ICPR (4)	2006	DBLP DOI BibTeX RDF
40	Masafumi Noguchi, Eisuke Aoki, Daiki Yoshida, Etsuko Kobayashi, Shigeru Omori, Yoshihiro Muragaki, Hiroshi Iseki, Katsushige Nakamura, Ichiro Sakuma	A Novel Robotic Laser Ablation System for Precision Neurosurgery with Intraoperative 5-ALA-Induced PpIX Fluorescence Detection.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
40	Ayman Mokhtar, Leonard MacEachern, Samy A. Mahmoud	Semiconductor Laser Diode Model Implementation Including Optical Back-Reflection.	CCECE	2006	DBLP DOI BibTeX RDF
40	Alexandre Douin, Vincent Pouget, Dean Lewis, Pascal Fouillat, Philippe Perdu	Electrical Modeling for Laser Testing with Different Pulse Durations.	IOLTS	2005	DBLP DOI BibTeX RDF
40	Qonita Shahab, Munchurl Kim	Adaptation of MPEG-4 BIFS Scenes into MPEG-4 LASeR Scenes in MPEG-21 DIA Framework.	PCM (2)	2005	DBLP DOI BibTeX RDF
40	Fumihito Arai, Kenichi Yoshikawa, Toshihiro Sakami, Toshio Fukuda	Synchronized Manipulation and Force Measurement by Optical Tweezers Using High-speed Laser Scanning.	ICRA	2004	DBLP DOI BibTeX RDF
40	Guangyi Shi, Qiang Huang 0002, Wen J. Li, Wenqian Huang, Gengchen Shi, Kejie Li	Towards Automated Micromachining of PMMA Micro Channels using CO/Sub 2/ Laser and Sacrificial Mask Process.	ICRA	2004	DBLP DOI BibTeX RDF
40	Hirokazu Nosato, Taro Itatani, Masahiro Murakawa, Tetsuya Higuchi, Hitoshi Noguchi	Automatic wave-front correction of a femtosecond laser using genetic algorithm.	SMC (4)	2004	DBLP DOI BibTeX RDF
40	Hidetoshi Nose, Hiroshi Maeda, Motonao Nakahara	Observation and Application of Laser Induced Shock Wave.	AINA (2)	2004	DBLP DOI BibTeX RDF
40	Ryo Furukawa 0001, Hiroshi Kawasaki	Interactive Shape Acquisition using Marker Attached Laser Projecto.	3DIM	2003	DBLP DOI BibTeX RDF
40	Nobuchika Sakata, Takeshi Kurata, Takekazu Kato, Masakatsu Kourogi, Hideaki Kuzuoka	WACL: Supporting Telecommunications Using Wearable Active Camera with Laser Pointer.	ISWC	2003	DBLP DOI BibTeX RDF
40	Samuel A. Cropsey, Marcia M. Makl, Terris B. Wolff	Cost management for laser printers.	SIGUCCS	1990	DBLP DOI BibTeX RDF
39	V. Antonov, S. Dolgobrodov, V. Gusev	The optical tomographic method in medicine.	ICIP	1995	DBLP DOI BibTeX RDF	optical tomography, laser applications in medicine, medical optical tomographic method, infrared short pulse laser, inner biological structure, light penetration depth, gastroenterology, transplantology, skin diseases, image interactive processing, equalization procedure, histogram analysis, 2D-filtering, shadow function subtraction procedure, technological artifacts detection, artefacts correction, 990 nm, 5E-12 s, 2 to 3 mm, medical image processing, infrared imaging, medical diagnostic imaging, oncology
39	Paul E. Sterian, Octavian Marin, Valerica Ninulescu	Control of the Lasers Dynamics by Pumping Modulation for Biophotonics Applications.	BIRD	2008	DBLP DOI BibTeX RDF	Optical fiber laser, optical stimulation, nonlinear dynamics
39	Sergey V. Matveyev, Martin Göbel	The optical tweezers: multiple-point interaction technique.	VRST	2003	DBLP DOI BibTeX RDF	laser pointer, direct interaction, tremor
39	Steve Mann 0001	Telepointer: Hands-Free Completely Self Contained Wearable Visual Augmented Reality Without Headwear and Without Any Infrastructural Reliance.	ISWC	2000	DBLP DOI BibTeX RDF	Reality User Interface (RUI), Applications free computing, Metaphor free computing, Personal Imaging, Visual AR without head mounted displays, Aremac, Laser aremac, Augmented Reality (AR)
39	Emilio J. González-Galván, Ambrocio Loredo-Flores, Luis A. Raygoza, J. Jesus Palos, Steven B. Skaar	Precise and robust large-shape reproduction using uncalibrated vision.	ICRA	2009	DBLP DOI BibTeX RDF
39	Samuel Gidel, Paul Checchin, Christophe Blanc, Thierry Chateau, Laurent Trassoudaine	Pedestrian detection method using a multilayer laserscanner: Application in urban environment.	IROS	2008	DBLP DOI BibTeX RDF
36	Bertrand Meyer 0001, Martin Nordio (eds.)	Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures	LASER Summer School	2015	DBLP DOI BibTeX RDF
36	Sven Amann, Stefanie Beyer, Katja Kevic, Harald C. Gall	Software Mining Studies: Goals, Approaches, Artifacts, and Replicability.	LASER Summer School	2014	DBLP DOI BibTeX RDF
36	Sebastian Burckhardt	Consistency in Distributed Systems.	LASER Summer School	2014	DBLP DOI BibTeX RDF
36	Carlo Ghezzi, Giovanni Paolo Gibilisco, Claudio Menghi, Marco Miglierina	A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software.	LASER Summer School	2014	DBLP DOI BibTeX RDF
36	Bertrand Meyer 0001	Theory of Programs.	LASER Summer School	2014	DBLP DOI BibTeX RDF
36	Sebastian Proksch, Veronika Bauer, Gail C. Murphy	How to Build a Recommendation System for Software Engineering.	LASER Summer School	2014	DBLP DOI BibTeX RDF
36	Michael Jackson 0001	Behaviours as Design Components of Cyber-Physical Systems.	LASER Summer School	2014	DBLP DOI BibTeX RDF
36		2013 Workshop on Learning from Authoritative Security Experiment Results, LASER 2013, Arlington, VA, USA, October 16-17, 2013	LASER	2013	DBLP BibTeX RDF
36	Dimitris Mitropoulos, Vassilios Karakoidas, Panos Louridas, Georgios Gousios, Diomidis Spinellis	Dismal Code: Studying the Evolution of Security Bugs.	LASER	2013	DBLP BibTeX RDF
36	Temitope Oluwafemi, Tadayoshi Kohno, Sidhant Gupta, Shwetak N. Patel	Experimental Security Analyses of Non-Networked Compact Fluorescent Lamps: A Case Study of Home Automation Security.	LASER	2013	DBLP BibTeX RDF
36	Alexander D. Kent, Lorie M. Liebrock, Joshua Neil	Web Adoption: An Attempt Toward Classifying Risky Internet Web Browsing Behavior.	LASER	2013	DBLP BibTeX RDF
36	Rebecca Balebako, Eyal Péer, Laura Brandimarte, Lorrie Faith Cranor, Alessandro Acquisti	Is it the Typeset or the Type of Statistics? Disfluent Font does not Reduce Self-disclosure.	LASER	2013	DBLP BibTeX RDF
36	Bertrand Meyer 0001, Martin Nordio (eds.)	Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures	LASER Summer School	2012	DBLP DOI BibTeX RDF
36	Bertrand Meyer 0001, Martin Nordio (eds.)	Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures	LASER Summer School	2012	DBLP DOI BibTeX RDF
36	Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani	Model Checking and the State Explosion Problem.	LASER Summer School	2011	DBLP DOI BibTeX RDF
36	Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer 0001	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.	LASER Summer School	2011	DBLP DOI BibTeX RDF
36	Christine Paulin-Mohring	Introduction to the Coq Proof-Assistant for Practical Software Verification.	LASER Summer School	2011	DBLP DOI BibTeX RDF
36	Luke Herbert, K. Rustan M. Leino, Jose Quaresma	Using Dafny, an Automatic Program Verifier.	LASER Summer School	2011	DBLP DOI BibTeX RDF
36	Patrice Godefroid, Shuvendu K. Lahiri	From Program to Logic: An Introduction.	LASER Summer School	2011	DBLP DOI BibTeX RDF
36	César A. Muñoz, Ramiro A. Demasi	Advanced Theorem Proving Techniques in PVS and Applications.	LASER Summer School	2011	DBLP DOI BibTeX RDF
36	Peter Müller 0001 (eds.)	Advanced Lectures on Software Engineering, LASER Summer School 2007/2008	LASER Summer School	2010	DBLP DOI BibTeX RDF