Claudio Castellini
https://orcid.org/0000-0002-7346-2180
https://www.wikidata.org/entity/Q47146899
https://www.researcherid.com/rid/M-8555-2017
https://d-nb.info/gnd/1078322325
Markus Nowak
Ivan Vujaklija
Agnes Sturma
Claudio Castellini
Dario Farina
Simultaneous and Proportional Real-Time Myocontrol of Up to Three Degrees of Freedom of the Wrist and Hand.
459-469
2023
February
70
IEEE Trans. Biomed. Eng.
2
https://doi.org/10.1109/TBME.2022.3194104
db/journals/tbe/tbe70.html#NowakVSCF23
Fabio Egle
Dario Di Domenico
Andrea Marinelli
Nicoló Boccardo
Michele Canepa
Matteo Laffranchi
Lorenzo De Michieli
Claudio Castellini
Preliminary Assessment of Two Simultaneous and Proportional Myocontrol Methods for 3-DoFs Prostheses Using Incremental Learning.
1-6
2023
ICORR
https://doi.org/10.1109/ICORR58425.2023.10304813
conf/icorr/2023
db/conf/icorr/icorr2023.html#EgleDMBCLMC23
Marek Sierotowicz
Claudio Castellini
Robot-Inspired Human Impedance Control Through Functional Electrical Stimulation.
1-6
2023
ICORR
https://doi.org/10.1109/ICORR58425.2023.10304750
conf/icorr/2023
db/conf/icorr/icorr2023.html#SierotowiczC23
Marek Sierotowicz
Marc-Anton Scheidl
Claudio Castellini
Adaptive Filter for Biosignal-Driven Force Controls Preserves Predictive Powers of sEMG.
1-6
2023
ICORR
https://doi.org/10.1109/ICORR58425.2023.10304772
conf/icorr/2023
db/conf/icorr/icorr2023.html#SierotowiczSC23
Claudio Castellini
Peripheral Nervous System Interfaces: Invasive or Non-invasive?
846866
2022
16
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2022.846866
db/journals/finr/finr16.html#Castellini22
Philipp Beckerle
Claudio Castellini
Bigna Lenggenhager
Strahinja Dosen
Editorial: Embodiment and Co-adaptation Through Human-Machine Interfaces: At the Border of Robotics, Neuroscience and Psychology.
871785
2022
16
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2022.871785
db/journals/finr/finr16.html#BeckerleCLD22
Marek Sierotowicz
Donato Brusamento
Benjamin Schirrmeister
Mathilde Connan
Jonas Bornmann
José González-Vargas
Claudio Castellini
Unobtrusive, natural support control of an adaptive industrial exoskeleton using force myography.
2022
9
Frontiers Robotics AI
https://doi.org/10.3389/frobt.2022.919370
db/journals/firai/firai9.html#SierotowiczBSCBGC22
Marek Sierotowicz
Nicola Lotti
Laura Nell
Francesco Missiroli
Ryan Alicea
Xiaohui Zhang
Michele Xiloyannis
Rüdiger Rupp
Emese Papp
Jens Krzywinski
Claudio Castellini
Lorenzo Masia
EMG-Driven Machine Learning Control of a Soft Glove for Grasping Assistance and Rehabilitation.
1566-1573
2022
7
IEEE Robotics Autom. Lett.
2
https://doi.org/10.1109/LRA.2021.3140055
db/journals/ral/ral7.html#SierotowiczLNMA22
Andrea Gigli
Arjan Gijsberts
Claudio Castellini
Unsupervised Myocontrol of a Virtual Hand Based on a Coadaptive Abstract Motor Mapping.
1-6
2022
ICORR
https://doi.org/10.1109/ICORR55369.2022.9896414
conf/icorr/2022
db/conf/icorr/icorr2022.html#GigliGC22
Marek Sierotowicz
Nicola Lotti
Rüdiger Rupp
Lorenzo Masia
Claudio Castellini
A Comprehensive Framework for the Modelling of Cartesian Force Output in Human Limbs.
1-6
2022
ICORR
https://doi.org/10.1109/ICORR55369.2022.9896547
conf/icorr/2022
db/conf/icorr/icorr2022.html#SierotowiczLRMC22
Marco C. Bettoni
Claudio Castellini
Interaction in Assistive Robotics: A Radical Constructivist Design Framework.
675657
2021
15
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2021.675657
db/journals/finr/finr15.html#BettoniC21
Alessandro Del Vecchio
Claudio Castellini
Philipp Beckerle
Peripheral Neuroergonomics - An Elegant Way to Improve Human-Robot Interaction?
691508
2021
15
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2021.691508
db/journals/finr/finr15.html#VecchioCB21
Mathilde Connan
Risto Kõiva
Claudio Castellini
Online Natural Myocontrol of Combined Hand and Wrist Actions Using Tactile Myography and the Biomechanics of Grasping.
2020
14
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2020.00011
https://www.wikidata.org/entity/Q90344646
db/journals/finr/finr14.html#ConnanKC20
11
Marek Sierotowicz
Mathilde Connan
Claudio Castellini
Human-In-The-Loop Assessment of an Ultralight, Low-Cost Body Posture Tracking Device.
890
2020
20
Sensors
3
https://doi.org/10.3390/s20030890
https://www.wikidata.org/entity/Q89658695
db/journals/sensors/sensors20.html#SierotowiczCC20
Karan Sharma
Claudio Castellini
Freek Stulp
Egon L. van den Broek
Continuous, Real-Time Emotion Annotation: A Novel Joystick-Based Analysis Framework.
78-84
2020
11
IEEE Trans. Affect. Comput.
1
https://doi.org/10.1109/TAFFC.2017.2772882
db/journals/taffco/taffco11.html#SharmaCSB20
Roberto Meattini
Markus Nowak
Claudio Melchiorri
Claudio Castellini
Automated Instability Detection for Interactive Myocontrol of Prosthetic Hands.
2019
13
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2019.00068
https://www.wikidata.org/entity/Q90049825
db/journals/finr/finr13.html#MeattiniNMC19
68
Karan Sharma
Marius Wagner
Claudio Castellini
Egon L. van den Broek
Freek Stulp
Friedhelm Schwenker
A functional data analysis approach for continuous 2-D emotion annotations.
41-52
2019
17
Web Intell.
1
https://doi.org/10.3233/WEB-190399
db/journals/wias/wias17.html#SharmaWCBSS19
Dario Guidotti
Francesco Leofante
Claudio Castellini
Armando Tacchella
Repairing Learned Controllers with Convex Optimization: A Case Study.
364-373
2019
CPAIOR
https://doi.org/10.1007/978-3-030-19212-9_24
conf/cpaior/2019
db/conf/cpaior/cpaior2019.html#GuidottiLCT19
Karoline Heiwolt
Claudio Zito
Markus Nowak
Claudio Castellini
Rustam Stolkin
Automatic Detection of Myocontrol Failures Based upon Situational Context Information.
398-404
2019
ICORR
https://doi.org/10.1109/ICORR.2019.8779478
https://www.wikidata.org/entity/Q92371410
conf/icorr/2019
db/conf/icorr/icorr2019.html#HeiwoltZNCS19
Andrea Gigli
Arjan Gijsberts
Claudio Castellini
Natural Myocontrol in a Realistic Setting: a Comparison Between Static and Dynamic Data Acquisition.
1061-1066
2019
ICORR
https://doi.org/10.1109/ICORR.2019.8779364
https://www.wikidata.org/entity/Q92371924
conf/icorr/2019
db/conf/icorr/icorr2019.html#GigliGC19
Karoline Heiwolt
Claudio Zito
Markus Nowak
Claudio Castellini
Rustam Stolkin
Automatic Detection of Myocontrol Failures Based upon Situational Context Information.
2019
abs/1906.11564
CoRR
http://arxiv.org/abs/1906.11564
db/journals/corr/corr1906.html#abs-1906-11564
Philipp Beckerle
Matteo Bianchi 0002
Claudio Castellini
Gionata Salvietti
Mechatronic designs for a robotic hand to explore human body experience and sensory-motor skills: a Delphi study.
670-680
2018
32
Adv. Robotics
12
https://doi.org/10.1080/01691864.2018.1489737
https://www.wikidata.org/entity/Q58026940
db/journals/ar/ar32.html#BeckerleBCS18
Philipp Beckerle
Risto Kõiva
Elsa Andrea Kirchner
Robin Bekrater-Bodmann
Strahinja Dosen
Oliver Christ
David A. Abbink
Claudio Castellini
Bigna Lenggenhager
Feel-Good Robotics: Requirements on Touch for Embodiment in Assistive Robotics.
2018
12
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2018.00084
https://www.wikidata.org/entity/Q60960044
db/journals/finr/finr12.html#BeckerleKKBDCAC18
84
Roberto Meattini
Markus Nowak
Claudio Melchiorri
Claudio Castellini
Towards Improving Myocontrol of Prosthetic Hands: A Study on Automated Instability Detection.
1-7
2018
Humanoids
https://doi.org/10.1109/HUMANOIDS.2018.8625021
conf/humanoids/2018
db/conf/humanoids/humanoids2018.html#MeattiniNMC18
Karan Sharma
Claudio Castellini
Egon L. van den Broek
Alin Albu-Schäffer
Friedhelm Schwenker
A dataset of continuous affect annotations and physiological signals for emotion analysis.
2018
abs/1812.02782
CoRR
http://arxiv.org/abs/1812.02782
db/journals/corr/corr1812.html#abs-1812-02782
Philipp Beckerle
Gionata Salvietti
Ramazan Unal
Domenico Prattichizzo
Simone Rossi
Claudio Castellini
Sandra Hirche
Satoshi Endo
Heni Ben Amor
Matei T. Ciocarlie
Fulvio Mastrogiovanni
Brenna D. Argall
Matteo Bianchi 0002
A Human-Robot Interaction Perspective on Assistive and Rehabilitation Robotics.
2017
11
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2017.00024
https://www.wikidata.org/entity/Q38674012
db/journals/finr/finr11.html#BeckerleSUPRCHE17
24
Michael Wininger
Panagiotis K. Artemiadis
Claudio Castellini
Patrick M. Pilarski
Editorial: Peripheral Nervous System-Machine Interfaces (PNS-MI).
2017
11
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2017.00054
https://www.wikidata.org/entity/Q47140363
db/journals/finr/finr11.html#WiningerACP17
54
Markus Nowak
Thomas Eiband
Claudio Castellini
Multi-modal myocontrol: Testing combined force- and electromyography.
1364-1368
2017
ICORR
https://doi.org/10.1109/ICORR.2017.8009438
https://www.wikidata.org/entity/Q88788891
conf/icorr/2017
db/conf/icorr/icorr2017.html#NowakEC17
Christian Nissler
Nikoleta Mouriki
Claudio Castellini
Optical Myography: Detecting Finger Movements by Looking at the Forearm.
2016
10
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2016.00003
https://www.wikidata.org/entity/Q27320402
db/journals/finr/finr10.html#NisslerMC16
3
Mathilde Connan
Eduardo Ruiz Ramírez
Bernhard Vodermayer
Claudio Castellini
Assessment of a Wearable Force- and Electromyography Device and Comparison of the Related Signals for Myocontrol.
2016
10
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2016.00017
https://www.wikidata.org/entity/Q37418634
db/journals/finr/finr10.html#ConnanRVC16
17
Markus Nowak
Beatrice Aretz
Claudio Castellini
Wrist and grasp myocontrol: Online validation in a goal-reaching task.
132-137
2016
RO-MAN
https://doi.org/10.1109/ROMAN.2016.7745101
conf/ro-man/2016
db/conf/ro-man/ro-man2016.html#NowakAC16
Claudio Castellini
Incremental Learning of Muscle Synergies: From Calibration to Interaction.
171-193
2016
Human and Robot Hands
https://doi.org/10.1007/978-3-319-26706-7_11
books/sp/BM2016
db/books/collections/BM2016.html#Castellini16
Davide Brunelli
Andualem Maereg Tadesse
Bernhard Vodermayer
Markus Nowak
Claudio Castellini
Low-cost wearable multichannel surface EMG acquisition for prosthetic hand control.
94-99
2015
IWASI
https://doi.org/10.1109/IWASI.2015.7184964
https://www.wikidata.org/entity/Q62652730
conf/iwasi/2015
db/conf/iwasi/iwasi2015.html#BrunelliTVNC15
Arjan Gijsberts
Rashida Bohra
David Sierra González
Alexander Werner
Markus Nowak
Barbara Caputo
Máximo A. Roa
Claudio Castellini
Stable myoelectric control of a hand prosthesis using non-linear incremental learning.
2014
8
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2014.00008
https://www.wikidata.org/entity/Q30572753
db/journals/finr/finr8.html#GijsbertsBGWNCRC14
8
Claudio Castellini
Panagiotis K. Artemiadis
Michael Wininger
Arash Ajoudani
Merkur Alimusaj
Antonio Bicchi
Barbara Caputo
William Craelius
Strahinja Dosen
Kevin B. Englehart
Dario Farina
Arjan Gijsberts
Sasha B. Godfrey
Levi J. Hargrove
Mark Ison
Todd A. Kuiken
Marko Markovic
Patrick M. Pilarski
Rüdiger Rupp
Erik J. Scheme
Proceedings of the first workshop on Peripheral Machine Interfaces: going beyond traditional surface electromyography.
2014
8
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2014.00022
https://www.wikidata.org/entity/Q38245225
db/journals/finr/finr8.html#CastelliniAWAABCCDEFGGHIKMPRS14
22
Vikram Ravindra
Claudio Castellini
A Comparative Analysis of Three Non-Invasive Human-Machine Interfaces for the Disabled.
2014
8
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2014.00024
https://www.wikidata.org/entity/Q42043522
db/journals/finr/finr8.html#RavindraC14
24
Claudio Castellini
Vikram Ravindra
A wearable low-cost device based upon Force-Sensing Resistors to detect single-finger forces.
199-203
2014
BioRob
https://doi.org/10.1109/BIOROB.2014.6913776
https://www.wikidata.org/entity/Q62652750
conf/biorob/2014
db/conf/biorob/biorob2014.html#CastelliniR14
Claudio Castellini
Katharina Hertkorn
Mikel Sagardia
David Sierra González
Markus Nowak
A virtual piano-playing environment for rehabilitation based upon ultrasound imaging.
548-554
2014
BioRob
https://doi.org/10.1109/BIOROB.2014.6913835
https://www.wikidata.org/entity/Q62652748
conf/biorob/2014
db/conf/biorob/biorob2014.html#CastelliniHSGN14
Claudio Castellini
Albert Arquer
Jordi Artigas
sEMG-based estimation of human stiffness: Towards impedance-controlled rehabilitation.
604-609
2014
BioRob
https://doi.org/10.1109/BIOROB.2014.6913844
https://www.wikidata.org/entity/Q62652752
conf/biorob/2014
db/conf/biorob/biorob2014.html#CastelliniAA14
Mikel Sagardia
Katharina Hertkorn
David Sierra González
Claudio Castellini
Ultrapiano: A novel human-machine interface applied to virtual reality.
2089
2014
ICRA
https://doi.org/10.1109/ICRA.2014.6907142
https://www.wikidata.org/entity/Q62652771
conf/icra/2014
db/conf/icra/icra2014.html#SagardiaHGC14
Claudio Castellini
Patrick van der Smagt
Evidence of muscle synergies during human grasping.
233-245
2013
107
Biol. Cybern.
2
https://doi.org/10.1007/s00422-013-0548-4
https://www.wikidata.org/entity/Q45387982
db/journals/bc/bc107.html#CastelliniS13
David Sierra González
Claudio Castellini
A realistic implementation of ultrasound imaging as a human-machine interface for upper-limb amputees.
2013
7
Frontiers Neurorobotics
https://doi.org/10.3389/fnbot.2013.00017
https://www.wikidata.org/entity/Q30448079
db/journals/finr/finr7.html#GonzalezC13
17
Tatiana Tommasi
Francesco Orabona
Claudio Castellini
Barbara Caputo
Improving Control of Dexterous Hand Prostheses Using Adaptive Learning.
207-219
2013
29
IEEE Trans. Robotics
1
https://doi.org/10.1109/TRO.2012.2226386
https://www.wikidata.org/entity/Q58833026
db/journals/trob/trob29.html#TommasiOCC13
Claudio Castellini
Risto Kõiva
Using a high spatial resolution tactile sensor for intention detection.
1-7
2013
ICORR
https://doi.org/10.1109/ICORR.2013.6650365
https://www.wikidata.org/entity/Q43422128
conf/icorr/2013
db/conf/icorr/icorr2013.html#CastelliniK13
Risto Kõiva
Barbara Hilsenbeck
Claudio Castellini
Evaluating subsampling strategies for sEMG-based prediction of voluntary muscle contractions.
1-7
2013
ICORR
https://doi.org/10.1109/ICORR.2013.6650492
https://www.wikidata.org/entity/Q62652781
conf/icorr/2013
db/conf/icorr/icorr2013.html#KoivaHC13
Claudio Castellini
David Sierra González
Ultrasound imaging as a human-machine interface in a realistic scenario.
1486-1492
2013
IROS
https://doi.org/10.1109/IROS.2013.6696545
https://www.wikidata.org/entity/Q62652784
conf/iros/2013
db/conf/iros/iros2013.html#CastelliniG13
Risto Kõiva
Barbara Hilsenbeck
Claudio Castellini
FFLS: An accurate linear device for measuring synergistic finger contractions.
531-534
2012
EMBC
https://doi.org/10.1109/EMBC.2012.6345985
https://www.wikidata.org/entity/Q51834453
conf/embc/2012
db/conf/embc/embc2012.html#KoivaHC12
Claudio Castellini
Tatiana Tommasi
Nicoletta Noceti
Francesca Odone
Barbara Caputo
Using Object Affordances to Improve Object Recognition.
207-215
2011
3
IEEE Trans. Auton. Ment. Dev.
3
https://doi.org/10.1109/TAMD.2011.2106782
https://www.wikidata.org/entity/Q58833038
db/journals/tamd/tamd3.html#CastelliniTNOC11
Claudio Castellini
Patrick van der Smagt
Preliminary evidence of dynamic muscular synergies in human grasping.
28-33
2011
ICAR
https://doi.org/10.1109/ICAR.2011.6088612
https://www.wikidata.org/entity/Q62652801
conf/icar/2011
db/conf/icar/icar2011.html#CastelliniS11
Hannes Höppner
Dominic Lakatos
Holger Urbanek
Claudio Castellini
Patrick van der Smagt
The Grasp Perturbator: Calibrating human grasp stiffness during a graded force task.
3312-3316
2011
ICRA
https://doi.org/10.1109/ICRA.2011.5980217
https://www.wikidata.org/entity/Q62652802
conf/icra/2011
db/conf/icra/icra2011.html#HoppnerLUCS11
Roberto Lampariello
Duy Nguyen-Tuong
Claudio Castellini
Gerd Hirzinger
Jan Peters 0001
Trajectory planning for optimal robot catching in real-time.
3719-3726
2011
ICRA
https://doi.org/10.1109/ICRA.2011.5980114
https://www.wikidata.org/entity/Q62652804
conf/icra/2011
db/conf/icra/icra2011.html#LamparielloNCHP11
Jörn Vogel
Claudio Castellini
Patrick van der Smagt
EMG-based teleoperation and manipulation with the DLR LWR-III.
672-678
2011
IROS
https://doi.org/10.1109/IROS.2011.6094739
conf/iros/2011
db/conf/iros/iros2011.html#VogelCS11
Claudio Castellini
Georg Passig
Ultrasound image features of the wrist are linearly related to finger positions.
2108-2114
2011
IROS
https://doi.org/10.1109/IROS.2011.6094831
https://www.wikidata.org/entity/Q62652799
conf/iros/2011
db/conf/iros/iros2011.html#CastelliniP11
Francesco Orabona
Claudio Castellini
Barbara Caputo
Jie Luo
Giulio Sandini
On-line independent support vector machines.
1402-1412
2010
43
Pattern Recognit.
4
https://doi.org/10.1016/j.patcog.2009.09.021
https://www.wikidata.org/entity/Q60560452
db/journals/pr/pr43.html#OrabonaCCLS10
Claudio Castellini
Patrick van der Smagt
Surface EMG in advanced hand prosthetics.
35-47
2009
100
Biol. Cybern.
1
https://doi.org/10.1007/s00422-008-0278-1
https://www.wikidata.org/entity/Q45964251
db/journals/bc/bc100.html#CastelliniS09
Nicoletta Noceti
Barbara Caputo
Claudio Castellini
Luca Baldassarre
Annalisa Barla
Lorenzo Rosasco
Francesca Odone
Giulio Sandini
Towards a Theoretical Framework for Learning Multi-modal Patterns for Embodied Agents.
239-248
2009
ICIAP
https://doi.org/10.1007/978-3-642-04146-4_27
https://www.wikidata.org/entity/Q60560467
conf/iciap/2009
db/conf/iciap/iciap2009.html#NocetiCCBBROS09
Francesco Orabona
Claudio Castellini
Barbara Caputo
Angelo Emanuele Fiorilla
Giulio Sandini
Model adaptation with least-squares SVM for adaptive hand prosthetics.
2897-2903
2009
ICRA
https://doi.org/10.1109/ROBOT.2009.5152247
https://www.wikidata.org/entity/Q60560464
conf/icra/2009
db/conf/icra/icra2009.html#OrabonaCCFS09
Claudio Castellini
Patrick van der Smagt
Giulio Sandini
Gerd Hirzinger
Surface EMG for force control of mechanical hands.
725-730
2008
ICRA
https://doi.org/10.1109/ROBOT.2008.4543291
https://www.wikidata.org/entity/Q62652828
conf/icra/2008
db/conf/icra/icra2008.html#CastelliniSSH08
Claudio Castellini
Francesco Orabona
Giorgio Metta
Giulio Sandini
Internal models of reaching and grasping.
1545-1564
2007
21
Adv. Robotics
13
https://doi.org/10.1163/156855307782148587
https://www.wikidata.org/entity/Q58026240
db/journals/ar/ar21.html#CastelliniOMS07
Francesco Orabona
Claudio Castellini
Indoor Place Recognition using Online Independent Support Vector Machines.
2007
BMVC
https://doi.org/10.5244/C.21.111
https://www.wikidata.org/entity/Q60560478
conf/bmvc/2007
db/conf/bmvc/bmvc2007.html#OrabonaC07
1-10
Claudio Castellini
Automated reasoning in quantified modal and temporal logics.
183-185
2006
19
AI Commun.
2
http://content.iospress.com/articles/ai-communications/aic365
db/journals/aicom/aicom19.html#Castellini06
Claudio Castellini
Automated reasoning in quantified modal and temporal logics.
2005
University of Edinburgh, UK
https://hdl.handle.net/1842/753
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561883
British Library, EThOS
Claudio Castellini
Automated Reasoning in Quantified Modal and Temporal Logics.
13-21
2005
2
Intelligenza Artificiale
4
db/journals/ia/ia2.html#Castellini05
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
Marco Maratea
The SAT-based Approach to Separation Logic.
237-263
2005
35
J. Autom. Reason.
1-3
https://doi.org/10.1007/s10817-005-9002-1
https://www.wikidata.org/entity/Q62652851
db/journals/jar/jar35.html#ArmandoCGM05
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
Fausto Giunchiglia
Armando Tacchella
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
46-58
2005
conf/birthday/2005siekmann
Mechanizing Mathematical Reasoning
https://doi.org/10.1007/978-3-540-32254-2_4
https://www.wikidata.org/entity/Q62652847
db/conf/birthday/siekmann2005.html#ArmandoCGGT05
Claudio Castellini
Alan Smaill
Proof Planning for First-Order Temporal Logic.
235-249
2005
conf/cade/2005
CADE
https://doi.org/10.1007/11532231_17
https://www.wikidata.org/entity/Q62652843
db/conf/cade/cade2005.html#CastelliniS05
Alessandro Armando
Claudio Castellini
Jacopo Mantovani
Software Model Checking Using Linear Constraints.
209-223
https://doi.org/10.1007/978-3-540-30482-1_22
https://www.wikidata.org/entity/Q62652853
2004
conf/icfem/2004
ICFEM
db/conf/icfem/icfem2004.html#ArmandoCM04
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
Marco Maratea
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
2004
conf/sat/2004
SAT
http://www.satisfiability.org/SAT04/programme/71.pdf
db/conf/sat/sat2004.html#ArmandoCGM04
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
Marco Maratea
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.
16-29
2004
conf/sat/2004lncs
SAT (Selected Papers
https://doi.org/10.1007/11527695_2
https://www.wikidata.org/entity/Q62652840
db/conf/sat/sat2004lncs.html#ArmandoCGM04a
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
Massimo Idini
Marco Maratea
TSAT++: an Open Platform for Satisfiability Modulo Theories.
25-36
2004
conf/smt/2004
D/PDPAR@IJCAR
https://doi.org/10.1016/j.entcs.2004.06.065
https://www.wikidata.org/entity/Q62652837
db/conf/smt/pdpar2004.html#ArmandoCGIM05
Claudio Castellini
Enrico Giunchiglia
Armando Tacchella
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.
85-117
2003
147
Artif. Intell.
1-2
https://doi.org/10.1016/S0004-3702(02)00375-2
https://www.wikidata.org/entity/Q62652857
db/journals/ai/ai147.html#CastelliniGT03
Claudio Castellini
Alan Smaill
A Systematic Presentation of Quantified Modal Logics.
571-599
2002
10
Log. J. IGPL
6
https://doi.org/10.1093/jigpal/10.6.571
db/journals/igpl/igpl10.html#CastelliniS02
Claudio Castellini
Alan Smaill
Proof Planning for Feature Interactions: A Preliminary Report.
102-114
2002
conf/lpar/2002
LPAR
https://doi.org/10.1007/3-540-36078-6_7
https://www.wikidata.org/entity/Q62652861
db/conf/lpar/lpar2002.html#CastelliniS02
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
SAT-Based Procedures for Temporal Reasoning.
97-108
1999
conf/ecp/1999
ECP
db/conf/ecp/ecp1999.html#ArmandoCG99
https://doi.org/10.1007/10720246_8
https://www.wikidata.org/entity/Q62652866
David A. Abbink
Arash Ajoudani
Alin Albu-Schäffer
Ryan Alicea
Merkur Alimusaj
Heni Ben Amor
Beatrice Aretz
Brenna D. Argall
Alessandro Armando
Albert Arquer
Panagiotis K. Artemiadis
Jordi Artigas
Luca Baldassarre
Annalisa Barla
Philipp Beckerle
Robin Bekrater-Bodmann
Marco C. Bettoni
Matteo Bianchi 0002
Antonio Bicchi
Nicoló Boccardo
Rashida Bohra
Jonas Bornmann
Egon L. van den Broek
Davide Brunelli
Donato Brusamento
Michele Canepa
Barbara Caputo
Oliver Christ
Matei T. Ciocarlie
Mathilde Connan
William Craelius
Dario Di Domenico
Strahinja Dosen
Fabio Egle
Thomas Eiband
Satoshi Endo
Kevin B. Englehart
Dario Farina
Angelo Emanuele Fiorilla
Andrea Gigli
Arjan Gijsberts
Enrico Giunchiglia
Fausto Giunchiglia
Sasha B. Godfrey
David Sierra González
José González 0001José González-Vargas
Dario Guidotti
Levi J. Hargrove
Karoline Heiwolt
Katharina Hertkorn
Barbara Hilsenbeck
Sandra Hirche
Gerd Hirzinger
Hannes Höppner
Massimo Idini
Mark Ison
Elsa Andrea Kirchner
Risto Kõiva
Jens Krzywinski
Todd A. Kuiken
Matteo Laffranchi
Dominic Lakatos
Roberto Lampariello
Bigna Lenggenhager
Francesco Leofante
Nicola Lotti
Jie Luo
Andualem Tadesse MaeregAndualem Maereg Tadesse
Jacopo Mantovani
Marco Maratea
Andrea Marinelli
Marko Markovic
Lorenzo Masia
Fulvio Mastrogiovanni
Roberto Meattini
Claudio Melchiorri
Giorgio Metta
Lorenzo De Michieli
Francesco Missiroli
Nikoleta Mouriki
Laura Nell
Duy Nguyen-Tuong
Christian Nissler
Nicoletta Noceti
Markus Nowak
Francesca Odone
Francesco Orabona
Emese Papp
Georg Passig
Jan Peters 0001
Patrick M. Pilarski
Domenico Prattichizzo
Eduardo Ruiz Ramírez
Vikram Ravindra
Máximo A. Roa
Lorenzo Rosasco
Simone Rossi
Rüdiger Rupp
Mikel Sagardia
Gionata Salvietti
Giulio Sandini
Marc-Anton Scheidl
Erik J. Scheme
Benjamin Schirrmeister
Friedhelm Schwenker
Karan Sharma
Marek Sierotowicz
Patrick van der Smagt
Alan Smaill
Rustam Stolkin
Freek Stulp
Agnes Sturma
Armando Tacchella
Tatiana Tommasi
Ramazan Unal
Holger Urbanek
Alessandro Del Vecchio
Bernhard Vodermayer
Jörn Vogel
Ivan Vujaklija
Marius Wagner
Alexander Werner
Michael Wininger
Michele Xiloyannis
Xiaohui Zhang
Claudio Zito