|
Commercial
|
intern |
natürliche Links |
|
Commercial
|
intern |
natürliche Links |
|
Academic
|
intern |
natürliche Links |
|
Boulevard de Grancy 20, 1006 Lausanne, Switzerland
|
extern |
natürliche Links |
|
Lausanne, Switzerland
|
extern |
natürliche Links |
|
ASL
|
extern |
natürliche Links |
|
SSLPS
|
extern |
natürliche Links |
|
Twitter
|
extern |
natürliche Links |
|
arXiv
|
extern |
natürliche Links |
|
ORCID
|
extern |
natürliche Links |
|
LinkedIn
|
extern |
natürliche Links |
|
Lecturer (part-time) at Bern University of Applied Sciences
|
extern |
natürliche Links |
|
University of Luxembourg
|
extern |
natürliche Links |
|
IMSc, Chennai, India
|
extern |
natürliche Links |
|
JSPS
|
extern |
natürliche Links |
|
University of Tsukuba
|
extern |
natürliche Links |
|
INRIA
|
extern |
natürliche Links |
|
Ecole Polytechnique
|
extern |
natürliche Links |
|
SOFTWARE PRODUCTS (WEBAPPS)
|
intern |
natürliche Links |
|
Science & Engineering Applications
|
intern |
natürliche Links |
|
Consumer (Self-Help) Applications
|
intern |
natürliche Links |
|
CONSULTANCY SERVICES
|
intern |
natürliche Links |
|
German
|
intern |
natürliche Links |
|
French
|
intern |
natürliche Links |
|
Computer-Assisted Personality Assessment
|
intern |
natürliche Links |
|
REx logo
|
extern |
natürliche Links |
|
REx (β-release)
|
extern |
natürliche Links |
|
Bookey logo
|
extern |
natürliche Links |
|
Bookey
|
extern |
natürliche Links |
|
MindPad logo
|
extern |
natürliche Links |
|
MindPad
|
extern |
natürliche Links |
|
Marie-Caroline Bertoldo
|
extern |
natürliche Links |
|
ipsative
|
extern |
natürliche Links |
|
original literature
|
extern |
natürliche Links |
|
an English introduction
|
extern |
natürliche Links |
|
unofficial English translations
|
extern |
natürliche Links |
|
LinkedIn-group "The Szondi Forum"
|
extern |
natürliche Links |
|
International Szondi Association
|
extern |
natürliche Links |
|
AGB
|
intern |
natürliche Links |
|
CG
|
intern |
natürliche Links |
|
CGC
|
intern |
natürliche Links |
|
GTC
|
intern |
natürliche Links |
|
TC
|
intern |
natürliche Links |
|
PAPERS
|
intern |
natürliche Links |
|
Journal Articles
|
intern |
natürliche Links |
|
Conference and Workshop Articles
|
intern |
natürliche Links |
|
Theses
|
intern |
natürliche Links |
|
Technical Reports
|
intern |
natürliche Links |
|
Essays
|
intern |
natürliche Links |
|
Notes
|
intern |
natürliche Links |
|
INVITED TALKS
|
intern |
natürliche Links |
|
COURSES
|
intern |
natürliche Links |
|
COMMUNITY
|
intern |
natürliche Links |
|
Services
|
intern |
natürliche Links |
|
Co-Authors
|
intern |
natürliche Links |
|
Networks
|
intern |
natürliche Links |
|
ACM-TOCL:
|
extern |
natürliche Links |
|
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), 2015.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
IfCoLog JLA:
|
extern |
natürliche Links |
|
Computer-Aided Discovery and Categorisation of Personality Axioms, 2014.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
JLC:
|
extern |
natürliche Links |
|
Computer-Aided Decision-Making with Trust Relations and Trust Domains (Cryptographic Applications), 2012.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
JCV:
|
extern |
natürliche Links |
|
A General Definition of Malware, 2010.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
JANCL:
|
extern |
natürliche Links |
|
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding, 2009.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
JLAP:
|
extern |
natürliche Links |
|
Cryptographic Protocol Logic: Satisfaction for (Timed) Dolev-Yao Cryptography, 2008.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
AAA
|
extern |
natürliche Links |
|
LRB
|
extern |
natürliche Links |
|
Quantum Logic as Classical Logic
|
extern |
natürliche Links |
|
AAA
|
intern |
natürliche Links |
|
LRB
|
intern |
natürliche Links |
|
ISA Congress 2014:
|
extern |
natürliche Links |
|
A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
The Fate-Analytic Partner Profile - A Proposal
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
IMLA 2013
|
extern |
natürliche Links |
|
ENTCS
|
extern |
natürliche Links |
|
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
ICLA 2013
|
extern |
natürliche Links |
|
LNCS
|
extern |
natürliche Links |
|
Logic of Non-Monotonic Interactive Proofs
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
REVOTE 2011 (RE-affiliated)
|
extern |
natürliche Links |
|
IEEE
|
extern |
natürliche Links |
|
A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
LiS 2010 (ESSLLI-affiliated):
|
extern |
natürliche Links |
|
Formal Definitions and Complexity Results for Trust Relations and Trust Domains
|
intern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
A Multi-Modal Framework for Achieving Accountability in Multi-Agent Systems
|
intern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
IMLA 2008 (LiCS-affiliated):
|
extern |
natürliche Links |
|
Reducing Provability to Knowledge in Multi-Agent Systems
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
LORI 2007 (LMPS-affiliated)
|
extern |
natürliche Links |
|
The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
FAST 2006 (FM-affiliated)
|
extern |
natürliche Links |
|
LNCS
|
extern |
natürliche Links |
|
Timed Calculus of Cryptographic Communication
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Calculus of Cryptographic Communication
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
FCS 2004 (LiCS/ICALP-affiliated):
|
extern |
natürliche Links |
|
Cryptographic Protocol Logic
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
EC-Web 2000
|
extern |
natürliche Links |
|
LNCS
|
extern |
natürliche Links |
|
MIERA: Method for Inter-Enterprise Role-Based Authorization
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Logical Concepts in Cryptography, 2007.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Prof. S. N. Artëmov, City University of New York and Moscow State University
|
extern |
natürliche Links |
|
Prof. R. Küsters, Eidgenössische Technische Hochschule Zürich
|
extern |
natürliche Links |
|
Prof. L. S. Moss, Indiana University
|
extern |
natürliche Links |
|
ACM SIGACT News, Volume 38, Issue 4 (Logic Column 20), December 2007
|
extern |
natürliche Links |
|
Andy Gordon's blog, 21 June 2007
|
extern |
natürliche Links |
|
EATCS Bulletin Number 93, October 2007
|
extern |
natürliche Links |
|
Riccardo Pucella's blog, 28 November 2007
|
extern |
natürliche Links |
|
SECURITY mailing list (443 recipients), 14 July 2007
|
extern |
natürliche Links |
|
A Formal Specification for a Real-Time Train Controller, 2001.
|
intern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
arXiv:
|
extern |
natürliche Links |
|
Quantum Logic as Classical Logic, 2014.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
A Galois-Connection between Cattell's and Szondi's Personality Profiles, 2014.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Computer-Aided Discovery and Categorisation of Personality Axioms, 2014.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles, 2014.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), 2013.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief), 2012.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders), 2012.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer), 2012.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer), 2012.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
Cryptology ePrint Archive:
|
extern |
natürliche Links |
|
Computer-Aided Decision-Making with Trust Relations and Trust Domains (Cryptographic Applications), 2011.
|
extern |
natürliche Links |
|
BibTeX
|
extern |
natürliche Links |
|
Logical Concepts in Cryptography, 2006.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
ACM SIGACT News (Logic Column):
|
extern |
natürliche Links |
|
Formal Definitions and Complexity Results for Trust Relations and Trust Domains fit for TTPs, the Web of Trust, PKIs, and ID-Based Cryptography, 2010 (March issue).
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
IBM Research Laboratory, Zurich:
|
extern |
natürliche Links |
|
MIERA: A Method for Inter-Enterprise Role-Based Authorization, 2000.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
An Enhancement and Implementation for the MIERA Scheme, 2000.
|
extern |
natürliche Links |
|
BibTeX
|
intern |
natürliche Links |
|
SK-R&D
|
intern |
natürliche Links |
|
A Gödelian Loophole in the Swiss Constitution, 2023.
|
intern |
natürliche Links |
|
SK-R&D
|
intern |
natürliche Links |
|
Conspiracy-Theoretical Accusations are Ad-Hominem Red Herrings, 2022.
|
intern |
natürliche Links |
|
CLPS 2013
|
extern |
natürliche Links |
|
Logic of Intuitionistic Interactive Proofs (Formal Theory of Disjunctive Knowledge Transfer)
|
extern |
natürliche Links |
|
AiML 2010
|
extern |
natürliche Links |
|
An Intuitionistic Foundation for Interactive Computation
|
extern |
natürliche Links |
|
NWPT 2006
|
extern |
natürliche Links |
|
Timed Cryptographic Protocol Logic
|
intern |
natürliche Links |
|
Logical Abstractions for Protocol Engineering
|
extern |
natürliche Links |
|
LiCS 2003
|
extern |
natürliche Links |
|
A Language and a Notion of Truth for Cryptographic Properties
|
intern |
natürliche Links |
|
Swiss Logic Gathering (University of Bern)
|
extern |
natürliche Links |
|
8th World Logic Day (Rényi Institute)
|
extern |
natürliche Links |
|
Federal University of Rio de Janeiro
|
extern |
natürliche Links |
|
University of Bern
|
extern |
natürliche Links |
|
Calcutta Logic Circle
|
extern |
natürliche Links |
|
The School of Cognitive Science, Jadavpur University, Kolkata
|
extern |
natürliche Links |
|
Bern University of Applied Sciences
|
extern |
natürliche Links |
|
University of Amsterdam
|
extern |
natürliche Links |
|
LMU-TU Munich Graduiertenkolleg PUMA
|
extern |
natürliche Links |
|
University of Groningen
|
extern |
natürliche Links |
|
Indian Institute of Technology Delhi
|
extern |
natürliche Links |
|
Vellore Institute of Technology
|
extern |
natürliche Links |
|
The Institute of Mathematical Sciences, Chennai
|
extern |
natürliche Links |
|
Tata Institute of Fundamental Research
|
extern |
natürliche Links |
|
Nanyang Technological University
|
extern |
natürliche Links |
|
National University of Singapore
|
extern |
natürliche Links |
|
Indian Institute of Technology Delhi
|
extern |
natürliche Links |
|
Mysore Park Workshop, Infosys Campus, Mysore
|
extern |
natürliche Links |
|
The Institute of Mathematical Sciences, Chennai
|
extern |
natürliche Links |
|
Tata Institute of Fundamental Research, Mumbai
|
extern |
natürliche Links |
|
National Institute of Information and Communications Technology, Tokyo
|
extern |
natürliche Links |
|
National Institute of Informatics, Tokyo
|
extern |
natürliche Links |
|
University of Tokyo
|
extern |
natürliche Links |
|
Congress on Logic, Methodology and Philosophy of Science
|
extern |
natürliche Links |
|
JAIST, Kanazawa (Workshop on Constructive Aspects of Logic and Mathematics)
|
extern |
natürliche Links |
|
Lorentz Center, Leiden (Workshop on Formal Theories of Communication)
|
extern |
natürliche Links |
|
Federal University of Rio de Janeiro
|
extern |
natürliche Links |
|
National Institute of Information and Communications Technology, Tokyo
|
extern |
natürliche Links |
|
Kyushu University
|
extern |
natürliche Links |
|
National Institute of Informatics, Tokyo
|
extern |
natürliche Links |
|
University of Tokyo
|
extern |
natürliche Links |
|
University of Hyderabad (Workshop on Logic for Information Security)
|
extern |
natürliche Links |
|
Nanyang Technological University
|
extern |
natürliche Links |
|
National University of Singapore
|
extern |
natürliche Links |
|
University of Wollongong
|
extern |
natürliche Links |
|
University of New South Wales
|
extern |
natürliche Links |
|
Macquarie University
|
extern |
natürliche Links |
|
The Australian National University
|
extern |
natürliche Links |
|
Deakin University
|
extern |
natürliche Links |
|
University of Tsukuba
|
extern |
natürliche Links |
|
Ecole Polytechnique Fédérale de Lausanne (EPFL)
|
extern |
natürliche Links |
|
University of Turin
|
extern |
natürliche Links |
|
Lorentz Center, Leiden (Workshop on Logic and Information Security)
|
extern |
natürliche Links |
|
Indiana University at Bloomington
|
extern |
natürliche Links |
|
Université du Luxembourg
|
extern |
natürliche Links |
|
Université libre de Bruxelles
|
extern |
natürliche Links |
|
Cambridge University
|
extern |
natürliche Links |
|
University of Liverpool
|
extern |
natürliche Links |
|
University of Southampton
|
extern |
natürliche Links |
|
Oxford University
|
extern |
natürliche Links |
|
University of Amsterdam
|
extern |
natürliche Links |
|
University of Amsterdam
|
extern |
natürliche Links |
|
Politecnico di Torino
|
extern |
natürliche Links |
|
Ecole Polytechnique, Paris
|
extern |
natürliche Links |
|
Ecole Polytechnique, Paris
|
extern |
natürliche Links |
|
University of Tsukuba
|
extern |
natürliche Links |
|
University of Tokyo
|
extern |
natürliche Links |
|
JAIST Kanazawa
|
extern |
natürliche Links |
|
Alpine Verification Meeting (Aussois, France)
|
extern |
natürliche Links |
|
University of Bern
|
extern |
natürliche Links |
|
Loria Nancy
|
extern |
natürliche Links |
|
CWI Amsterdam
|
extern |
natürliche Links |
|
ENS Paris
|
extern |
natürliche Links |
|
Bern University of Applied Sciences (BFH)
|
extern |
natürliche Links |
|
AI-Aided File-Monitoring and -Wiping Demon
|
extern |
natürliche Links |
|
Rsync Statistics Visualizer
|
extern |
natürliche Links |
|
DMARC-Demon
|
extern |
natürliche Links |
|
"Have I been pwned?"-Monitoring Demon
|
extern |
natürliche Links |
|
HTTP(S)-Upgrader
|
extern |
natürliche Links |
|
Internet-Server Set-Up & Security-Hardening Script
|
extern |
natürliche Links |
|
IoT Hardware Security Module
|
extern |
natürliche Links |
|
Malicious IP-Address Monitor
|
extern |
natürliche Links |
|
LaTeX-Compile-Time Interactive PDF
|
extern |
natürliche Links |
|
LaTeX-Run-Time Interactive PDF
|
extern |
natürliche Links |
|
LaTeX-Indexer
|
extern |
natürliche Links |
|
LaTeX-Package Dependency Grapher
|
extern |
natürliche Links |
|
LaTeX-Screenshooter
|
extern |
natürliche Links |
|
Moodle-Moduler
|
extern |
natürliche Links |
|
Moodle-Rsyncher
|
extern |
natürliche Links |
|
dB-Threshold Event Displayer
|
extern |
natürliche Links |
|
Political-Representation Dashboard
|
extern |
natürliche Links |
|
URL-Archiver
|
extern |
natürliche Links |
|
Claude Fuhrer
|
extern |
natürliche Links |
|
Ulrich Schrag
|
extern |
natürliche Links |
|
Claude Fuhrer
|
extern |
natürliche Links |
|
Jean-Paul Dubois
|
extern |
natürliche Links |
|
Ulrich Schrag
|
extern |
natürliche Links |
|
Ecole Polytechnique Fédérale de Lausanne (EPFL)
|
extern |
natürliche Links |
|
Announcement
|
intern |
natürliche Links |
|
Memorandum
|
intern |
natürliche Links |
|
Introduction
|
intern |
natürliche Links |
|
Terminology
|
intern |
natürliche Links |
|
1
|
intern |
natürliche Links |
|
2
|
intern |
natürliche Links |
|
3
|
intern |
natürliche Links |
|
Hoare Logic
|
intern |
natürliche Links |
|
4
|
intern |
natürliche Links |
|
5
|
intern |
natürliche Links |
|
6
|
intern |
natürliche Links |
|
1
|
intern |
natürliche Links |
|
2
|
intern |
natürliche Links |
|
3
|
intern |
natürliche Links |
|
4
|
intern |
natürliche Links |
|
5
|
intern |
natürliche Links |
|
1
|
intern |
natürliche Links |
|
2
|
intern |
natürliche Links |
|
3
|
intern |
natürliche Links |
|
4
|
intern |
natürliche Links |
|
5
|
intern |
natürliche Links |
|
6
|
intern |
natürliche Links |
|
7
|
intern |
natürliche Links |
|
8
|
intern |
natürliche Links |
|
9
|
intern |
natürliche Links |
|
10
|
intern |
natürliche Links |
|
J. Zahnd. Logique élémentaire: Cours de base pour informaticiens. PPUR, 1998, (2003).
|
extern |
natürliche Links |
|
R. D. Tennent. Specifying Software: A Hands-On Introduction. CUP, 2002.
|
extern |
natürliche Links |
|
Corona-Sources
|
intern |
natürliche Links |
|
International Workshop on Defeasible and Ampliative Reasoning (DARe'19)
|
extern |
natürliche Links |
|
International Workshop on Defeasible and Ampliative Reasoning (DARe'18)
|
extern |
natürliche Links |
|
International Workshop on Defeasible and Ampliative Reasoning (DARe'17)
|
extern |
natürliche Links |
|
International Workshop on Defeasible and Ampliative Reasoning (DARe'16)
|
extern |
natürliche Links |
|
International Workshop on Defeasible and Ampliative Reasoning (DARe'15)
|
extern |
natürliche Links |
|
International Conference on Distributed Computing and Internet Technology (ICDCIT'14)
|
extern |
natürliche Links |
|
Logics for Interactive Computation
|
extern |
natürliche Links |
|
ISLA'12
|
extern |
natürliche Links |
|
Logics in Security
|
extern |
natürliche Links |
|
ESSLLI'10
|
extern |
natürliche Links |
|
Johannes Borgström (Uppsala University)
|
extern |
natürliche Links |
|
Julian C. Bradfield (University of Edinburgh)
|
extern |
natürliche Links |
|
Christelle Braun (Ecole Polytechnique)
|
extern |
natürliche Links |
|
Rajeev Goré (Australian National University)
|
extern |
natürliche Links |
|
Olga Grinchtein (Ericsson R&D)
|
extern |
natürliche Links |
|
Heiko Ludwig (IBM Watson)
|
extern |
natürliche Links |
|
Uwe Nestmann (Technical University Berlin)
|
extern |
natürliche Links |
|
Luke O'Connor (Charles Sturt University)
|
extern |
natürliche Links |
|
Eiji Okamoto (University of Tsukuba)
|
extern |
natürliche Links |
|
Catuscia Palamidessi (Ecole Polytechnique and INRIA)
|
extern |
natürliche Links |
|
Peter Ryan (University of Luxembourg)
|
extern |
natürliche Links |
|
Andrey Rybalchenko (Microsoft Research)
|
extern |
natürliche Links |
|
Joshua Sack (California State University Long Beach)
|
extern |
natürliche Links |
|
Roberto Segala (University of Verona)
|
extern |
natürliche Links |
|
Andrea Turrini (Chinese Academy of Sciences)
|
extern |
natürliche Links |
|
INRIA-Alumni
|
extern |
natürliche Links |
|
JSPS-Net
|
extern |
natürliche Links |
|
Twitter
|
extern |
natürliche Links |
|
arXiv
|
extern |
natürliche Links |
|
ORCID
|
extern |
natürliche Links |
|
LinkedIn
|
extern |
natürliche Links |
|
ASL
|
extern |
natürliche Links |
|
SSLPS
|
extern |
natürliche Links |
|
website validation
|
intern |
natürliche Links |
|
graphically optimised by Zeichenfabrik
|
extern |
natürliche Links |
|
AGB
|
intern |
natürliche Links |
|
CG
|
intern |
natürliche Links |
|
CGC
|
intern |
natürliche Links |
|
GTC
|
intern |
natürliche Links |
|
TC
|
intern |
natürliche Links |
|
Registry of Commerce
|
extern |
natürliche Links |
|
Trademark
|
extern |
natürliche Links |
|
public-key certificate
|
intern |
natürliche Links |
|
Threema-ID
|
intern |
natürliche Links |
|
Why?
|
intern |
natürliche Links |
|
contact card
|
intern |
natürliche Links |