WorldCat Identities

Castellini, Claudio

Overview
Works: 55 works in 61 publications in 6 languages and 239 library holdings
Genres: Graphic novels  Comic books, strips, etc  Comics (Graphic works)  Fiction  Superhero comics  Science fiction comics  Action and adventure comics  Fantasy comics 
Roles: Editor, Illustrator, Author, Artist
Classifications: PN6728.S6, 741.5973
Publication Timeline
.
Most widely held works about Claudio Castellini
 
Most widely held works by Claudio Castellini
Wolverine : the end by Paul Jenkins( Book )

3 editions published between 2004 and 2005 in English and held by 136 WorldCat member libraries worldwide

In the distant future, news of the death of former friend and foe Saber Tooth sends Logan, a.k.a. Wolverine, on a quest that ends in the truth about his origins
Peripheral nervous system-machine interfaces( )

1 edition published in 2018 in English and held by 25 WorldCat member libraries worldwide

Star wars tales by Ron Marz( Book )

1 edition published in 2002 in English and held by 8 WorldCat member libraries worldwide

A collection of short graphic stories based on the "Star Wars" movies created by Lucasfilm
Conan the barbarian by Roland J Green( Book )

1 edition published in 1997 in English and held by 5 WorldCat member libraries worldwide

Spider-man : Revenge of the Green Goblin by Roger Stern( Book )

in French and held by 4 WorldCat member libraries worldwide

Following a lengthy absence, the Green Goblin has resurfaced with the appearance of sanity, continuing to strike at Spider-Man by targeting those closest to him
DC versus Marvel/Marvel versus DC by Ron Marz( Book )

1 edition published in 1996 in English and held by 4 WorldCat member libraries worldwide

Characters from DC and Marvel Comics face off in a series of battles
Wolverine by Paul Jenkins( Book )

1 edition published in 2016 in French and held by 2 WorldCat member libraries worldwide

Humains et X-Men by Christopher Claremont( Book )

1 edition published in 2009 in French and held by 2 WorldCat member libraries worldwide

Star Wars - opowieści( Book )

1 edition published in 2004 in Polish and held by 2 WorldCat member libraries worldwide

La force invisible ; [Agent spécial Alfa] ; [Terreur dans l'Arctique] by Michele Medda( Book )

2 editions published in 1993 in French and held by 2 WorldCat member libraries worldwide

L'étreinte du vampire by Howard Mackie( Book )

2 editions published between 1999 and 2008 in French and held by 2 WorldCat member libraries worldwide

Automated reasoning in quantified modal and temporal logics by Claudio Castellini( )

2 editions published between 2004 and 2005 in English and held by 2 WorldCat member libraries worldwide

This thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods. Quantified modal and temporal logics are extensions of classical first-order logic in which the notion of truth is extended to take into account its necessity or equivalently, in the temporal setting, its persistence through time. Due to their high complexity, these logics are less widely known and studied than their propositional counterparts. Moreover, little so far is known about their mechanisability and usefulness for formal methods. The relevant contributions of this thesis are threefold: firstly, we devise a sound and complete set of sequent calculi for quantified modal logics; secondly, we extend the approach to the quantified temporal logic of linear, discrete time and develop a framework for doing automated reasoning via Proof Planning in it; thirdly, we show a set of experimental results obtained by applying the framework to the problem of Feature Interactions in telecommunication systems. These results indicate that (a) the problem can be concisely and effectively modeled in the aforementioned logic, (b) proof planning actually captures common structures in the related proofs, and (c) the approach is viable also from the point of view of efficiency
Silver Surfer : dangerous artifacts / by Ron Marz, story, and Claudio Castellini, art by Ron Marz( Book )

1 edition published in 1996 in English and held by 2 WorldCat member libraries worldwide

Conan el bárbaro, el bosque infernal by Roland Green( Book )

2 editions published in 1998 in Spanish and held by 2 WorldCat member libraries worldwide

Lobezno, el fin by Paul Jenkins( Book )

1 edition published in 2005 in Spanish and held by 1 WorldCat member library worldwide

Agente especial Alfa by Antonio Serra( Book )

1 edition published in 2016 in Spanish and held by 1 WorldCat member library worldwide

Nathan Never by Michele Medda( Book )

1 edition published in 1992 in Italian and held by 1 WorldCat member library worldwide

Wolverine : koniec by Paul Jenkins( Book )

1 edition published in 2004 in Polish and held by 1 WorldCat member library worldwide

Marvel Comics versus DC : round two by Peter David( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

A Human-Robot Interaction Perspective on Assistive and Rehabilitation Robotics by Philipp Beckerle( )

1 edition published in 2017 in German and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.41 (from 0.19 for Star wars ... to 0.99 for L'étreint ...)

Wolverine : the end
Covers
Star wars tales
Alternative Names
Claudio Castellini dessinateur de bandes dessinées

Claudio Castellini disegnatore italiano

Claudio Castellini historietista italiano

Claudio Castellini Italiaans striptekenaar

Claudio Castellini Italian comic book artist

Claudio Castellini italienischer Comiczeichner

Languages